初等分析中一些定理的新证法

本文给出了初等分析中一些定理证明的一种统一处理方法,所用技巧是借助于如下定义和引理。 定义 区间[a,b]的闭子区间族C称作[a,b]的一个完全复盖(full cover),例如对任一x∈[a,6],存在δ(x)>0,使得[a,b]的每个包含     

初等几何判定问题与机械化证明

机械化证明定理,目前值得注意的是Tarski关于初等几何与初等代数定理的机械证明法。他以及后来一些研究工作者的方法,大都基于Sturm定理的某种推广,这些方法仍极繁复,因之即使使用了计算机,实际上也是难以实现的。本文的目的,在于把定理限制在不牵涉到“之间”关系的情形,应用完全不同的原理给出初等几何定理的机械化证法。这种方法仅用手算即可给出不太简单的定理的证明。     

D ickson定理和H all定理的初等证明及二定理的等价性

论证了二定理的等价性,给出了H a ll定理的初等证明,展示出求得H a ll方程解的个数的可操作性.再利用二定理的等价性,又给出D ickson定理的初等证明.对求解D ickson方程解的个数,也有鲜明的可操作性.     

费尔马小定理的一个初等证明

利用多元多项式定理,给出费尔马小定理的一种完全初等的证明.     

Mazur-Orlicz定理的一个初等证明

在文献[1]中，作为矩阵求和法的一个重要定理——Mazur—Orlicz定理，其证明是借助于许多工具与手段给出的，十分繁琐。现用初等方法给出一个简化而直接的证明。     

Farkas定理的新证法

本文用初等方法对著名的Farkas定理给出新的证明,避免了原有艰涩的证明过程,论述简单明了。     

数学分析中若干定理的证明

Michael W.Botsko在[1]中引入完全覆盖的概念,证明闭区间上完全覆盖的一个重要性质—姑且称之为“完全覆盖定理”([1]中的引理),并且利用这一性质给出初等分析中一些定理的新证法。由此看到完全覆盖定理从又一侧     

二项式定理的概率论证法

应用广泛的二项式定理除了可用数学归纳法证明外,还可用组合分析或数学分析等方法分别证明之。本文给出一个完全只用初等概率论的知识的方法来证明二项式定理。 定理:设a,b里任意实数,n是正整数,     

广义分解定理与两个不等式

本文给出了Banach空间广义分解定理的一个初等证明,并利用它来证明两个对称不等式.这是首次在Banach空间获得这样的不等式.     

广义分解定理与两个不等式

本文给出了Banach空间广义分解定理的一个初等证明,并利用它来证明两个对称不等式.这是首次在Banach空间获得这样的不等式.     

关于“华罗庚-王中烈型不等式”一文的注记

指出了［１］的定理２中的一个错误,推广了［１］中定理１给出的华罗庚－王中烈型不等式,避开控制不等式与动态规划模型等专门工具,改用较为初等的平均值不等式证明之,使改正后的［１］中的定理２成其推论     

推广的Cauchy定理的初等证明

本文给出一个推广的 Cauchy 积分定理的初等证明.它不涉及 Lebesgue 测度和积分等实变函数理论,直观易懂.     

初等几何定理机器证明的基本原理

1976与1977之交,我发现了一个初等几何定理证明的机械化方法,见文献[4].这一方法适用于各种无序的但满足 Pascal 公理的初等几何,或各种初等几何中不牵涉次序关系的那类定理.本文§4叙述了这一方法所依据的基本原理并给出了详细证明.在§2与§3中则阐述了基本原理所依赖的关于多项式组的整序理论与代数簇的构造性理论.二者俱源出 Ritt 的著作,见文献[2,3].最后在§5中以 Morley 定理与我所发现的Pascal 锥线定理为例,说明这一方法在计算机上实施的具体情况.     

齐次函数的一个仿射球定理（英文）

本文研究了相关齐次函数的仿射球定理.利用Hopf极大值原理,对任意给定的带凹性条件的初等对称曲率问题,获得了此类仿射球定理.特别地,这也给出了Deicke齐次函数定理的一个新证明.     

初等微分几何的机械化证明

本文系文献[1]关于初等几何机械化证明的继续,文中指出,应用同样的原理可给出一个算法,足以判定初等微分几何中一个适当的叙述是否是一真实的定理,方法是依据Riquier-Ritt-Thomas的理论^[2,3],这些理论本身就是算法性的。     

齐次函数的一个仿射球定理

本文研究了相关齐次函数的仿射球定理.利用Hopf极大值原理,对任意给定的带凹性条件的初等对称曲率问题,获得了此类仿射球定理.特别地,这也给出了Deicke齐次函数定理的一个新证明.     

《Laffey－Choi定理的一个证明》一文中的错误及纠正

《Ｌａｆｆｅｙ－Ｃｈｏｉ定理的一个证明》一文中的错误及纠正黄礼平（湘潭矿业学院基础科学部４１１２０１）文［１］中给出了Ｌａｆｆｅｙ—Ｃｈｏｉ定理的一个更初等、更简明的“证明”，遗憾的是其中关键的引理中的证明是错误的，现摘录如下：“引理设Ａ，Ｂ是ｎ阶复...     

一个线性组合定理的证明

利用初等行变换与初等矩阵的关系,可证明线性组合定理：初等行变换不改变矩阵中列向量的线性关系.     

蝴蝶定理及其推广

蝴蝶定理是初等几何中的近代名题，可称为数学殿堂里的一颗璀璨的珍珠．自1985年杜锡录教授介绍到我国以来，不少数学家、数学教育工作者对此作过研究．本文在给出蝴蝶定理的一个简洁证明的基础上研究其推广形式并加以证明．     

《实变函数论》中一个定理的初等证明——课程教学改革初探

利用有限覆盖定理给出了一个命题的初等证明,而《实变函数论》中的一个重要定理可作为该命题的一个直接推论.由此展现作为基础的实数完备性在实分析中的重要地位,也为《实变函数论》课程的部分内容的教学改革提供一种值得探讨的新思路.