惯性定理证明方法的应用

对惯性定理的证明进行注解,并且运用惯性定理的证明方法证明了2个二次型有相同的规范型。     

Lindenbaum定理的新证明方法及其应用

模型论研究形式语言及其解释（模型）之间的关系,是形式语言的语法和语义的关系的理论。模型论的主要方法是构造模型。用新的模型论方法得到了几个相关结论,并且利用得到的结论证明了模型论中的Lindenbaum定理和高等代数中向量组极大线性无关组可以由任何一个线性无关组扩充的结论。     

Lagrange定理证明方法探讨

选用７种辅助函数对Ｌagrange定理给以证明。以此开拓对定理证明的思路。     

不等式证明中的概率方法研究

数学上某些不等式若运用确定性数学方法进行证明是比较困难的，而运用随机方法进行证明则较为简易。利用概率论的基本性质、随机概率模型、函数的凹凸性，较为系统地论述了不等式证明中的一些概率方法，总结了应用概率论的思想证明不等式的方法与技巧。     

初等代数中一些不等式和恒等式的导数法证明

微积分知识与传统的初等数学知识联系十分密切，正确认识和处理这两者之间的关系是值得研究的一个重要课题。介绍微积分知识在传统的数学上的有关应用，既可使学生不断地复习、巩固和加深传统的数学知识，也有利于提高学生微积分知识的学习兴趣。利用导数知识能研究函数，讨论函数的增减性与极值，函数的最大值与最小值等，本文就利用导数比较数的大小，证明某些不等式与恒等式作一点探讨。     

Taylor公式在不等式证明中的应用

本文就高等数学中如何运用Taylor公式证明不等式进行了系统的归纳和总结,总结出运用Taylor公式证明不等式的基本方法和一些常用的技巧。     

拉格朗日中值定理的证明和应用

本文从坐标变换、分析表达式、几何意义三个方面分析构造辅助函数的思路和方法,利用该辅助函数证明了拉格朗日中值定理,并以具体实例说明如何应用拉格朗日中值定理。     

有关最小多项式定理及其应用

给出矩阵A的最小多项式的定理,并举例说明了关于矩阵最小多项式的定理在解决某些问题时的有效性.     

关于Goldstone定理的证明

一、引言 本文从拉氏函数密度的φ_i~2项去直接证明无质量的Goldstone玻色子的个数等于破缺生成元的个数。其证明比传统方法较为直观简便。 众所周知,自由标量场的拉氏函数密度是     

用组合方法证明三维情况的Brouwer不动点定理

通过使用组合方法,Sperner引理以及拓扑基础性质(连续性,紧致性)以及连续的向量场与连续变换之间的关系,来证明3维情况下,Brouwer不动点定理,给出了有别于以往代数拓扑证明新方法.     

函数绝对值不等式的证明策略

函数绝对值不等式是高中函数部分课程中的重点内容,常见于高中数学考试当中。学生在进行问题解决或证明时可能会花费较多的时间,甚至出现失误,所以加强对相关证明策略的研究是十分必要的。本文简要就具有较高适用性的函数绝对值不等式证明策略进行分析,并列举实例就具体的证明策略应用进行探讨,以期为高中生的函数绝对值不等式证明提供策略参考。     

关于Stolz定理的一个证明

本文利用极限的定义,极限的四则运算法则及恰当的等价变形给出Stolz定理(型)的1个简单易懂的证明法.     

Brouwer不动点定理的初等证明

利用Banach不动点定理证明了KKM定理,进而证明了FKKM定理,并给出Brouwer不动点定理的一个简洁初等证明。     

一个数论定理的组合证明

对于邹亚清提出的定理 :(a ,b) =1 ,a >0 ,b >0 ,若两个整数的和是ab -a -b ,那么这两个数中有且仅有一个能表示为ax +by(x≥ 0 ,y≥ 0 ) ,给出了其组合证明     

Brouwer不动点定理的初等证明

利用Banach不动点定理证明了KKM定理，进而证明了FKKM定理，并给出Brouwer不动点定理的一个简洁初等证明。     

安培环路定理的一般证明

从毕奥-萨伐尔定律出发,通过建立复连通区域的方法,运用格林公式,给出了安培环路定理的一般证明.证明方法简明易懂、直观,适合在普通物理和电磁学教学与研究中使用.     

Fermat大定理的初等证明

目的探寻费尔马大定理的初等证明。方法利用二项式定理展开式、代数方程根与系数的关系,及其初等数论的知识,采用反证的方法,用初等方法对费尔马大定理进行论证。结果费尔马大定理对任意的正整数n2时,不定方程x~n+y~n=z~n没有正整数解。结论费尔马大定理可以用初等方法直接证明其结论的正确性。避弃了烦琐的间接初等证明法,避开了高深的高等解法,在学习和应用时给出了解决问题的思维方式和思路。     

可靠性数学中一个不等式的证明

给出由不可修元件组成ｍ×ｎ串－并联系统可靠度高于由这ｍ×ｎ个元件组成的对应并－串联系统的可靠度的一个证明。