浅析Pascal定理在射影几何中的地位和作用——兼谈对编写射影几何教材的一点建议

本文通过剖析Pascal定理与Steiner定理、Pappus定理以及Desargues定理等射影几何著名定理之间的关系,揭示了Pascal定理在射影几何中的主导地位.并对编写射影几何教材时,在Pascal定理的处理上提出了一点建议.     

罗尔定理的再推广及其应用

罗尔定理是微分中值定理中最基本的定理,给出罗尔定理的4种推广形式及相应的推导证明,并给出了应用实例.     

零点定理的教学设计

零点定理是数学中一个很重要的定理,也是很多实际应用的理论基础,但是学生往往不清楚如何去应用这个定理.基于此,就零点定理的教学设计给出新的探索,通过引入生活中简单有趣的实例,讲授零点定理的基本思想以及在实际中如何应用零点定理.     

关于广义Fuzzy积分的几点注记

本文探讨了广义F积分的表示问题,给出了几个表示定理:截断函数表示定理、中值定理、重排转化定理.     

Fermat大定理的证明

本文应用Faltings定理与超椭圆曲线亏格定理,证明了Fermat大定理.     

唯一性定理在多复变函数中的推广

唯一性定理是单复变函数中的一个重要定理,给出唯一性定理在多复变函数中的推广.     

一个非凸最小化定理与Ekeland变分原理等价

本文证明了一个非凸最小化定理。并利用它证明了Ekeland变分原理,和Caristi不动点定理,且由此证明非凸最小化定理与Ekeland变分原理,Caristi不动点定理等价。     

格区间值Fuzzy集的交分解定理和交表现定理

在重新定义闭区间乘格区间值Fuzzy集下,给出格区间值Fuzzy集的分解定理和表现定理的新的表现形式,称为格区间值Fuzzy集的交分解定理和交表现定理．     

巧构辅助函数证明微分中值定理

通过构造一个辅助函数,证明出了一般的微分中值定理,进而证明了Lagrangge微分中值定理和Cauchy微分中值定理。     

梅涅劳斯定理和塞瓦定理的应用

通过对梅涅劳斯定理和塞瓦定理在解题中的应用研究 ,证明共线点与共点线以及著名定理 .     

（3＋1）维KP方程的新的精确行波解

运用试探函数—辅助方程综合法,求出（3＋1）维KP方程的某些函数类新的精确行波解,其中包括双曲函数孤立波解、三角函数解、椭圆函数解和幂函数解等．     

一类布尔方程组的解

定出了一般布尔代数上方程组AX＝X的再生通解及有唯一解的充分必要条件。同时，在有限布尔代数上，当A的每一列直交时，给出了AX＝X有直交解或正交解的充分必要条件，并依此定出了大量的直交解及正交解。     

三维Stokes近似系统弱解的全局存在性

研究了三维有界光滑区域上的Stokes近似系统弱解的全局存在性.利用Galerkin格式构造逼近方程组,进而通过取极限得到原系统的解,证明了三维Stokes近似系统弱解的全局存在性.     

齐线性微分方程非零解的零点个数定理

对于高阶的变系数齐线性微分方程，我们没有统一的方法可以求出其所有非零解的函数表达式，因此从宏观上研究其非零解的性质是非常必要的．本文基于常微分方程解的存在唯一性定理，讨论了各阶齐线性微分方程非零解的一个重要性质，就是其非零解在有限闭区间上的零点个数至多为有限个．     

利用试探方程法求mKdV方程组的精确行波解

利用试探方程法化所求耦合mKdV方程组为初等积分形式,再利用多项式完全判别系统讨论被积函数中4阶多项式的根的情况,进而给出显示精确解.由此求得的精确解包括有理函数型解,双曲函数型解(孤子解),三角函数型周期解等.     

一类矩阵方程的Hermite广义Hamilton解及其最佳逼近

利用矩阵的广义奇异值分解定理,得到了矩阵方程AHXA=B存在Hermite广义Hamilton解的充分必要条件,并在有解时得到了通解的表达式,同时得到了相应解集中与已知矩阵最佳逼近的Hermite广义Hamilton解和最小范数解.     

BCL方程组的精确解

利用一种基于符号计算的代数方法,结合Maple环境中的Epsilon软件包,求解BCL方程组,获得若干其它方法不曾给出的形式更为丰富的新的显式行波解,其中包括双曲函数解和三角函数解.本文用F展开法求得BCL方程组的新周期波解和孤波解.     

几个非线性发展方程的精确孤立波解

解析,研究了几类具有物理背景的非线性发展方程。用行波方法得到了这些方程的显式精确解,即有理分式型孤立波解。     

Banach空间中一阶初值问题的整体解

在紧型条件下讨论了一般Banach空间中一阶常微分方程初值问题整体解的存在性，利用饱和解的性质，用局部延拓的方法，获得了整体解的存在性结果。     

应用(G'/G)展开法求非线性弦振动方程的精确解

利用(G'/G)展开法,研究了非线性弦振动方程utt-2αuxuxx-2βuxxxx=0的行波解,得到了新的显示精确解,丰富了解的范围.