有限布尔代数结构定理的对偶注释

利用格的对偶原理,引入亚元（对偶原子）的概念,并证明任一有限布尔代数都同构于它的所有亚元之集的集合代数,进而得出定理３、定理４．     

费尔玛定理的证明

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

布尔代数的软商布尔代数

定义了布尔代数的软合同关系、软商代数和软商布尔代数等概念,证明了布尔代数的软合同关系与软理想相互确定,进而由布尔代数的软真理想得到布尔代数的软商布尔代数.最后,证明了布尔代数的软同态具有保软合同性.     

静电学唯一性定理的证明

本文提出一种用积分形式的高斯定理、环路定理（电力线的主要性质是它们的具体表现）和叠加原理来证明有导体存在时的唯一性定理的方法。     

Wigner-Eckart定理的简单证明

从不可约张量算符与角动量算符之间的对易关系出发，利用角动量算符和角动量本征态的有关性质，给出了Wigner-Eckart定理的一种简单证明方法．     

Bolzano定理的一个证明

本文用有限复盖定理证明了 Bolzano 定理。     

一个定理证明的商榷

指出关于生化反应中微分方程权限环存在性的一个证明中的错误，重新给出了证明。     

Rolle定理的一个证明

Rolle定理通常在数学分析中是利用闭区间上连续函数的最值性和Fermat定理加以证明的。1979年Abian和Samelson给出了两个利用闭区间套定理的证明,1981年朱水庚给出了一个利用有限复盖定理的证明。本文对Rolle定理是利用Dedekind分划的基本定     

Macdonald定理的一个证明

设 g 是秩为 l 的复单 Lie 代数,π是它的一个基础根系:Wg 为其 Weyl 群.域 GF(q)上的 g 型 Chevalley 群 g(q)的阶的公式是:(?)g(q)(?)=(1/d)q~N(q-1)~1 sum from w∈W_g g~(l(w)),这里N 是 g 的正根个数,l(w)表示 w 的长度,式中所含的表达式 sum from w∈W_g q~(l(w))的计算是很不方便的,通过对多项式(?)的分解可以简化这个表达式,Solomon 证明了,对每一个 Wg 存在唯一确定的一组正整数 d_1,d_2,…,d_l,也就是 Wg 的基本多项式不变量的     

Sharpley-Snow定理证明的注记

本文给出了对策论中著名的Sharpley-Snow定理必要性的另一证明,明确了其中非奇异矩阵B的取法,且证明方法不同于单纯形证法。     

狄尼定理的多种证明

对狄尼定理给出了简化的等价形式,并对其等价形式作出了三个不同的证明。     

Toeplitz-Hausdorff定理的新证明

利用集合的道路连通性,给出了数值域的Toeplitz-Hausdorff定理的简洁的证明．     

Urysoho定理的推广证明

对正规空间度量化的相关特征进行了探讨，并给出了Urysoho定理的一个推广及证明。     

托勒密定理的新证明

本文给出托勒密定理的一个新证明。     

EropoB定理的逆定理证明

给出了Егоров定理的逆定理的一种证明方法,并指出在mE<+∞时几乎处处收敛与近一致收敛是等价的.     

关于Hahn-Banach定理的证明

Hahn-Banach关于线性泛函的开拓定理是泛函分析中的一个基本定理,这个定理以及它的各种推广有许多重要的应用。1953年Mazur和Orlicz在他们合著的论文中,对这个定理作了极为一般的推广和深入的研究,Mazur-Orlicz定理的证明不久即为Sikorski和Pták相继简化了,即可容易地由Hahn-Banach定理导出Mazur-Orlicz定理。考虑到在Pták关于Mazur-Orlicz定理的证明中只是应用了Hahn-Banach定理的最简单的特款:     

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

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

Bloch定理的一个证明

本文用非常简单的方法找出了平移算符T_a(i=1,2,3)的共同本征函数系,并由有相同θ本征值的全部本征函数的线性组合来得到了哈密顿算符H的本征函数,从而在普遍的形式下证明了Bloch定理。证明未使用任何边界条件,不仅适用于满足Born-Von Karman边界条件的有限晶体,同样适用于无限晶体。