圆幂定理及其应用

九年义务制初中几何教材中有相交弦定理、割线定理和切割线定理 ,这三条与圆有关的比例线段定理 ,我们通常称为圆幂定理 .圆幂定理 ,实质上是反映两条相交直线与圆的位置关系的性质定理 .两条相交直线与圆的位置关系 ,可用下图 1-4表示 .交点在圆内 :相交弦定理 ;交点在圆外 :双割线定理、切割线定理、切线长定理 .圆幂定理 ,是反映两条直线与圆有关的比例线段定理 ,它不仅在证明比例式中有着重要的应用 ,而且在其它几何证明题中也经常应用到 .1　证比例线段例 1　如图 5 ,ＡＦ为⊙Ｏ的直径 ,ＡＦ⊥ＢＣ ,垂足为Ｄ ,ＤＥ ⊥ＡＣ ,垂足为Ｅ .…     

Cauchy中值定理的一个证明

本文通过几个引理及应用区间套定理证明了Cauchy中值定理。     

浅析覆盖定理

本文给出了有限覆盖定理在n维欧氏空间中的形式和在一般空间有界闭点集上的形式,进一步推广覆盖定理在一般点集上的形式。在此基础上,本文举了几个应用有限覆盖定理证明的问题。     

关于柯西微分中值定理的一种推广

微分中值定理是微积分学中的重要定理,其中柯西中值定理的应用尤为广泛.为拓展它的应用范围,利用相同的手法,将涉及两个光滑函数的柯西微分中值定理推广到了n个光滑函数的情形,得到另一种推广的微分中值公式.     

Pappus对偶定理及其证明

给出了Pappus定理的对偶定理并应用射影坐标思想证明了Pappus定理的对偶定理.     

一类多项式系统极限环唯一性定理

得出两个多项式系统（Ａ）与（Ｂ）的极限环的唯一性定理，以及在二次系统和若干重要实例中的应用。     

广义微分中值定理

文章对Rolle定理作了进一步的推广 ,并对传统的Cauchy中值定理的条件作了部分修改 ,将微分中值定理推广到有限个函数的情形。     

论微分中值定理点ξ的性质

文章给出两个定理,主要讨论了微分中值定理点ξ的单调性、连续性及可导性。     

正确理解哥德尔不完全性定理

借澄清对哥德尔不完全性定理若干误解的机会，以直观与简明的方式阐述哥德尔不完全定理的内容、意义及哥德尔的相关工作。哥德尔不完全性定理包括两个内容：第一，一个不弱干初等数论的形式系统，如果一致，则不完全；第二，这样的形式系统如果一致，则这种一致性在系统内不可证。     

射影空间Desargues定理的推广

众所周知在射影几何里存在着著名的Desargues定理,在射影空间里,此定理及其逆定理合述为一个定理:两个空间三角形ABC与A′B′C′对应顶点的连线相交于一点的充要条件是它们的三对对应边的交点共线。     

探寻Desargues定理之美

本文从Ｄｅｓａｒｇｕｅｓ定理在公理系统中的地位，Ｄｅｓａｒｇｕｅｓ定理的证法及应用，Ｄｅｓａｒｇｕｅｓ构形特征等方面论述了该定理的美。     

Fuzzy矩阵的分解定理和表现定理

在文[1]的基础上补充了数乘F矩阵和F矩阵的λ强截矩阵等概念及性质,给出了布尔矩阵的产生式集合套等概念。并证明了F矩阵的分解定理和表现定理,从两个不同角度阐明了F矩阵与布尔矩阵以及它们的代数结构之间的关系。     

正确理解哥德尔不完全性定理

借澄清对哥德尔不完全性定理若干误解的机会,以直观与简明的方式阐述哥德尔不完全定理的内容、意义及哥德尔的相关工作.哥德尔不完全性定理包括两个内容:第一,一个不弱于初等数论的形式系统,如果一致,则不完全;第二,这样的形式系统如果一致.则这种一致性在系统内不可证.     

Rolle定理的推广及应用

微分中值定理是数学分析中很重要的基本定理,在数学分析中有着广泛的应用。它是沟通函数及其导数之间的桥梁,是应用导数研究函数在某点的局部性质和在某个区间上的整体性质的重要工具。利用微分中值定理可以论证方程的根的存在问题、方程根的个数问题以及根的存在区间问题,也经常用于证明一些含有导数的等式。在形式结构上,Rolle定理是中值定理的基础,一方面它包含在其它中值定理之中,另一方面其它中值定理的证明又往往通过Rolle定理来实现,但该定理要求自变量的范围是闭区间,这就使某些问题的解决受到了限制。主要将Rolle定理推广到有限开区间和无穷区间,用两种方法进行证明,并且举例说明其应用。     

逻辑悖论与固定点定理

罗素悖论的解决方案被划分为两大范畴:有类型限制的方案和无类型限制的方案.无类型限制方案的背景逻辑是多值逻辑或者不包含否定词的经典逻辑,它的一致性证明在实质上是利用固定点定理构造模型.在介绍克里悖论、莫绍揆悖论和吉尔莫尔悖论,回顾这些悖论的解决方案与布劳威尔固定点定理和塔斯基固定点定理之间的内在关联的基础上,探讨无类型限制方案在二阶罗素悖论中的应用,并且证明一系列相关结果.     

积分中值定理的推广及其应用

本文先就传统的徽积分教材中关于定积分核心理论部分的编排作一小小的调整以克服原有理论中的缺陷,然后对积分中值定理从三个方面进行推广。接着以大量的例子揭示推广了的积分中值定理广泛的应用前景。     

高斯—马尔可夫定理研究新进展

高斯—马尔可夫定理被计量经济学家Hansen推广为“现代”高斯—马尔可夫定理，该定理在不增加任何额外条件的情况下去掉了高斯—马尔可夫定理对估计量的“线性”限制，认为所有线性或非线性估计中，最小二乘估计量是最优无偏估计量。针对Hansen的“现代”高斯—马尔可夫定理创新性提出了三点商榷和两个值得进一步探讨的问题。认为以下两个问题存在进一步探讨的必要性：（1）是否存在非线性无偏估计量的集合；（2）高斯—马尔可夫定理对估计量的“线性”限制是否可以放弃。     

蝴蝶定理的推广

古典的"蝴蝶定理"是以圆为基础给出来的,它具有很大的局限性.将"蝴蝶定理"推广到一般二次曲线上进行讨论,并给出了新的"蝴蝶定理",它弥补了古典"蝴蝶定理"的不足,使"蝴蝶定理"得到了更加广泛的应用.     

Fuzzy属性文法的分解定理与表现定理

提出了广义 Fuzzy 集合与 Fuzzy 属性文法的概念,并给出了 Fuzzy 属性文法的分解定理与表现定理,从两个不同的角度阐明了 Fuzzy 属性文法与普通文法以及它们的代数结构之间的关系。     

维里定理统计性质的应用

本文阐明维里定理统计性质的普遍意义,并通过应用统计性质求解周期性运动问题的实例。论述应用维里定理作为主要计算工具的优越性。