关于Rota问题的研究

关于拟阵的基,G.C.Rota 1989年提出了一个对于某个秩为n的拟阵的n个基的猜想,简称Rota猜想.本文对这个猜想作了进一步的研究.由于相关文献主要集中在对n的讨论上,本文从另外一个角度讨论了特殊矩阵关于Rota猜想的情况,同时还提出了一个关于线性空间的类似于Rota猜想的推论.     

一个不等式猜想的推广

文[2]证明了文[1]所提出的如下不等式猜想的正确性：设x1＞0,x2＞0,…,xn＞0（n≥3）,且n↑∑↓i=1 xi=1,则n↑∏↓i=1（1/xi-xi）≥（n-1/n）^n本文将把上述不等式推广到一般情况。     

Funar猜想的证明

针对Funar猜想：“设任意三角形位于闭单位正方形内，则该三角形的内切圆半径，r≤（√5-）／4”，研究了与其等价的某二元函数的最小值问题；利用对此二元函数驻点及其取值、边界取值讨论，证明了等价问题成立，进而此Funar猜想得证。     

关于优美指数的新结论

若一个正整数m可表为正整数n与它的除数函数d(n)之商,则称m为优美指数.本文证明了,存在无穷多个正整数m不是优美指数,从而否定了A.Murthy的猜想,并提出了若干个关于非优美指数的猜想.     

模P的原根在一种同余方程中的解数及相关问题

设Ｎ（Ｐ，Ｍ）表示模Ｐ的简化剩余系中所有不大于Ｍ的原根的集合，Ｃ为模Ｐ的简化剩余系中任意给定的元素，Ｓ（Ｐ，Ｃ，Ｍ）表示同余方程式ａ＋ｂ≡Ｃ（ｍｏｄｐ）在Ｎ（Ｐ，Ｍ）中的解数，则有渐近公式Ｓ（Ｐ，Ｃ，Ｍ）＝φ２（Ｐ－１）ＰＭ２（Ｐ－１）２＋θ（φ２（Ｐ－１）（Ｐ－１）２（ｌｏｇ２Ｐ＋Ｐ４ｗ（Ｐ－１）其中｜θ｜≤１。由此可知Ｍ＞Ｐ（ｌｏｇ２Ｐ＋Ｐ）１２２ω（Ｐ－１）时，，Ｇｏｌｏｍｂ猜想成立     

关于正则图的道路双覆盖猜想

［１］汇集了１９９０年国际图论会议（丹麦）上所提出的２７个新的未解决的问题，其中第一个就是关于正则图的道路双覆盖猜想，Ａｄｒｉａｎ Ｂｏｎｄｙ等人利用Ｐｅｔｅｒｓｅｎ定理已证明：对于３－正则图猜想为真。本文证明了对于任意的ｍ－正则的完全图，猜想是成立的。     

解答连续统猜想

连续统猜想，即可数基数后面紧接着就是实数基数，是一个l00多年来未被证明解答的问题．本文首先对无限的根本性进行了证明，然后通过分析论证推翻了集合论中的S＜P（S）（S为无限集合)和R＝2^ω0，并从无限集合的“全体等于部分”这一根本特性出发，证明4个无限基数定理，最后对连续统问题进行了证明解答．     

指数丢番图方程|m4-6m2+1|x+(4m3-4m)y=(m2+l)z的解

设a=|m~4-6m~2 1|,b=4m~3-4m,c=m~2 1,且2|m,利用Jacobi符号以及广义Fermat方程的已有解,证明指数丢番图方程a~x b~y=c~z仅有正整数解(x,y,z)=(2,2,4).     

发展学生合情推理能力的实践与认识

合情推理和论证推理是数学创造的双翼,两者缺一不可。未来的创造性人才,不仅要有论证推理的能力,更要有合情推理的能力。在数学教学过程中,通过培养学生的观察、归纳、类比和猜想能力,从而发展和提高学生合情推理能力。     

最大度为9和10时边染色临界图的下界

关于Vizing边染色临界图边数下界的猜想,到目前为止,△≤5的情况已经得到证明,在传统Fiorini不等式方法证明边染色临界图下界的基础上,借鉴了文献[1]的思想,得到了新的关于最大度是9和10的边染色临界图的下界:△=9时,m≥33/10 n;△=10时,m≥43/12 n.