利用参数变导法构造辅助函数

微分学中有3个著名的中值定理，其中Lagrange中值定理的证明，引入了辅助函数，然后由Rolle中值定理来证明Lagrange中值定理，这个突如其来的辅助函数很难理解和接受．利用参数变异法引入辅助函数，给出了一种辅助函数的“统一”构造法，并利用这种方法解决了一些具体问题．     

利用参数变导法引入证明中值定理的辅助函数

微分学中有3个名的中值定理，其中在Lagrange中值定理的证明过程中，引入了辅助函数，然后由Rolle中值定理来证明Lagrange中值定理．这个突如其来的辅助函数很难让学生理解和接受．中从一个全新的角度，利用参数变异法引入辅助函数，攻克了教学难点．     

向前向后法证明一阶逻辑的几个定理

向前向后方法是模型论及其应用研究中的一个很重要的工具．一阶逻辑的内插定理和保持定理确定了符合某些条件的公式的存在性,经典模型论中对这些的证明较为繁难．文中使用向前向后方法,对有限语言下一阶逻辑的内插定理和保持定理等几个定理,给出一种简洁的证明．     

Menelaus定理的矢量证明及其应用

给出了Menelaus定理的一种关于矢量的证明方法，并利用Menelaus定理证明了射影几何中的几个名定理．     

"科斯定理"并不是一个演绎的结论

一位经济学诺贝尔奖获得者乔治·斯蒂格勒（GeorgeStlgler）宣称：“科斯定理”是一个演绎的结论．另一方面，在众多的经济学文献中都以一个双头模型来解释或证明所谓的“科斯定理”．对于这个模型中所给的证明，众多引用此证明的文献都没有直接提出异议．笔者将在详细分析该模型的基础上指出，该模型中的证明是一个虚假的证明，这个所谓的证明从推导到结论的给出存在着隐蔽的诡辩．事实上，“科斯定理”根本不可能是一个“演绎”的结论．     

关于Lebesgue分解定理的证明

提供了Lebesgue分解定理的又一证明,由此可以简化Lebesgue积分基本定理的证明．这对现代分析学教程的简化和学习无疑是非常有益的。     

反映半范数族与局部凸空间关系的一个定理

本文定理2对[1]中一重要定理给出了详细的证明,定理3对在局部凸空间和广义函数论中被广泛使用的一个结论给出了构造性的证明。     

关于机器证明

本文简介机器证明的理论与实践．并附一篇关于用模型论方法证明无限地图的四色定理．     

关于微分中值定理的一个注记

通常教科书中．微分中值定理的证明都经由罗尔定理给出。本文试图从另一角度给出拉格朗日中值定理和柯西中值定理的证明及其几何意义。     

DISCHARGING FUNCTION AND THE THREE COLOUR PROBLEM

由于Ｇｒｏｔｚｓｃｈ，下面的构形是三色可约的：一个五边形连接４个３度的顶点．在Ｇｒｏｔｚｓｃｈ三色定理和Ｇｒｕｎｂａｕｍ三色定理的证明过程中，证明上述构形的存在性是关键的一步．本文运用ｄｉｓｃｈａｒｇｉｎｇ函数加以证明．     

同态基本定理在向量空间中的应用

本文建立了商向量空间的维数公式,在此基础上,应用同态基本定理和第一同构定理获得了对维数公式及Sylvester定理的简单、明了的证明。     

Fuzzy商群的结构

本文讨论了Fuzzy 商群的结构问题.给出了Fuzzy 商群的正规Fuzzy 子群的判别方法,得到了Fuzzy 群的第三同构定理,最后,利用Fuzzy 商群的结构给出了Fuzzy 群第二同构定理一个新的证明.     

模糊商空间理论两个定理的补充

张铃等在"模糊粒度计算方法"中,核心定理证明中构造的等价关系是循环定义的,且没有证明它的截关系与商空间所对应的等价关系是相等的;模糊等价关系的粗细定义与模糊集理论的意义不一致,容易引起歧义.本文用通用的模糊数学符号和序代数理论的方法和观点对其进行修正和补充,给出两个定理的完整证明,使得相关结果的表达更简洁和规范,完善了模糊商空间理论.     

四色定理证明的探讨

目前四色定理的证明还没有简短的数学推理方法,必须借助于计算机才能够完成.在没有借助计算机的情况下,基于极大平面图的性质,通过结点合并的方式,研究了四色定理的证明方法,为该定理的进一步证明提供了重要参考.     

平面上Clifford定理的一般证明

Clifford定理作为几何学的一个最基本定理有着广泛的应用,读者通过该定理可以从整体上提高对几何学的认识。学习Clifford定理须从其证明入手,然而,目前很难找到一个通俗且完整的证明。文章利用实交比值引理给出了平面上Clifford定理的一般证明,这一方法对任意n条一般直线都适用。     

Riesz表示定理的推广形式

常见的Riesz表示定理的证明方法是通过在f的零空间的正交补中,构造满足表示定理公式的向量.这里给出著名的Riesz表示定理的一种推广形式,并尝试从不同的角度给出Riesz表示定理的不同证明方法.利用几何测度论的知识给出了一个直接的证明.     

柯西中值定理的新证明

利用有限覆盖定理给出了柯西中值定理的新的证明方法,并进一步加深了对柯西中值定理的理解.     

动力系统的遍历性

给出遍历性及唯一遍历的几个等价条件.主要结果是定理4、定理6及定理7.并利用定理4给出定理5的一个证明.定理6及定理7给出唯一遍历的等价条件,定理7的证明采用的是泛函分析的方法.     

常微分方程解的延拓定理证明

常微分方程解的延拓定理证明杨占运，张青富（空军电讯工程学院数学教研室，西安７１００７７；第一作者，男，４９岁，讲师）美国大学数学系、电子工程系的研究生教材《常微分方程》［１］在我国有一定影响，其中给出了一个比一般教材中条件较弱的解的延拓定理．不过，这...     

关于Cantor定理的新证法

Ｃａｎｔｏｒ定理的证明，除了对角线法外，其他所有证明实质上都类同于Ｔａｋｅｕｔｉ在１９８２年给出的证法现应用共尾数和不可达基数给出了新的证法，这个证法不同于以往各种证明