部分变元全局渐近稳定性的一个判定定理

利用Ｌｉａｐｕｎｏｖ直接方法得到了一个判别部分变元全局渐近稳定性的定理。     

关于部分变元渐近稳定性定理的推广

利用Lyapunov函数讨论了微分方程dx/dt=f（t,x）的零解关于部分变元的渐近稳定性,得到关于部分变元的渐近稳定和全局渐近稳定的新的判别准则.     

立体几何定理的计算机证明

在欧氏几何和向量空间中，结合二者的关系，把几何问题转换的代数问题，利用MATLAB的相关知识，编写源代码文件，用计算机证明立体几何的直线垂直于平面的判定理，为机器证明定理提供了一个实例。     

实变函数论中定理证明方法探究

本文首先提出了关于测度理论的一个引理,然后运用引理和新的方法给出了实变函数论中两个定理的证明,进而阐述这种证明改进的必要性。     

关于Vizing定理证明的改进

本对Ｆｏｕｒｎｉｅｒ给出的Ｖｉｚｉｎｇ定理的证切中所使用的引理进行了修订,在此基础上,对Ｖｉｚｉｎｇ定理的证明进行了改进。     

二项式定理的概率证明

通过构造概率模型．证明了二项式定理当a、b为非零整数和非零有理数时成立。     

费尔玛定理的证明

费尔玛定理本是数论问题,笔者采用初等数学形与数结合的方法证出。证法简明,所用知识浅显,高中生很易看懂和理解。故对培养高中生数学兴趣和思维能力以及基础知识的灵活运用能力颇有价值。     

等周定理证明史

等周定理是人类发现最早的数学定理之一，也是现代数学中一个重要定理，本文简要回顾了这一定理被证明的历史，对历代数学家的证明等周定理所作的努力与尝试作了详细的描述，同时，也指出这一定理曾是明清时期中西数学交流的一项重要内容。     

Sard定理和Brown定理的微分拓扑方法证明

本文试用微分拓扑的方法直观而又严谨地证明了Sard定理和Brown定理.     

一类初等几何定理的机械化证明

对一类初等几何定理，通过根理想的分解，给出一种机械化方法，利用这种方法，可恰好同时获得所时的不可约物征列，因而一类几何定量是一般真确的当且仅当终结多项式对这些不可约特征列的余式为零。     

柯西中值定理中值的渐近性

本文就柯西中值定理中值θ的渐近性进行研究,在条件f( x) 、F( x)∈c1[a、b],F'(x)≠0,(?)≠0下,获得limθ=1/2的有意义的结论。