二维向量丛的最大子线丛

本文中我们利用 Ａ．Ｂｅｒｔｒａｍ和 Ｂ． Ｆｅｉｂｅｒｇ证明的在 ｇ＝５的当 Ｓ（Ｅ）＜２时的一般代数曲线上二维特殊稳定向量丛的存在定理作为反例，说明进一步的Ｍａｒｕｙａｍａ猜想和Ａｒｒｏｎｄｏ－Ｓｏｌｓ猜想在ｇ＝５的一般代数曲线上均不能成立．     

新费马大定理及其论证探索

正1995年,英国数学家怀尔斯(Andrew Wiles)最终证明了有着350多年历史的费马(Fermat)大定理,即下列费马方程x~n+y~n=z~n,n≥3无正整数解.这项划时代的工作被誉为"20世纪的数学成就",如同1896年素数定理的证明被誉为"19世纪的数学成就".它们被视为数学领域的"大白鲸".费马大定理已有两个著名的推广,即比尔猜想和费马—卡塔兰猜想.比尔(Andrew Beal)是     

半序集下同调的研究概况及Quillen猜想的一个重要方面

１９７８年，Ｄ，Ｑｕｉｌｌｅｎ证明了：若群Ｇ有非平凡的正规ｐ－子群，则由ｐ－子群组成的半序集是可缩的。同时，他还猜想逆定理也成立。１９９３年，Ｍ．Ａｓｃｈｂａｃｈｅｒ和Ｓ．Ｄ．Ｓｍｉｔｈ证明了若群Ｇ不包含某种酉分支的话，则Ｑｕｉｌｌｅｎ猜想的确成立，在他们的证明中，Ｑｕｉｌｌｅｎ所证明的下述定理起着很重要的作用：由基本阿贝耳Ｐ－子群组成的半序集到所有Ｐ－子群组成的半序集的包含映射导出对应下同调的同构。以Ｂｕｃｈｓｂａｕｍ条件为重要的工具，本文将重新叙述此定理的证明。     

大偶数表为一个素数与一个殆素数之和:素数属于某个等差数列

余新河猜想蕴涵了哥得巴赫猜想。对以任给定的正整数为模的余新河猜想，本文证明了与［１－３］中关于哥得巴赫猜想的定理同样强的结果．     

关于Levesque的信念逻辑的完备性

Ｈ．Ｊ．Ｌｅｖｅｓｑｕｅ最近为了研究非单调推理提出了含有两个模态词Ｂ，Ｎ的信念逻辑系统，并猜想它是完备的．本文提出了Ｔ~＊－集合的概念，并证明一句子集合如果是Ｔ~＊－集合，那么是可满足的．本文的定理是［１］中定理Ａ２的推广．并得到［１］中定理Ａ．２的一个简单的证明．     

证明费马大定理的重要进展

证明费马大定理的重要进展１９９３年６用普林斯顿大学教授ＡｎｄｒｅｗＷｉｌｅｓ在剑桥牛顿研究所作了三次演讲，其中最激动人心的结果是“半稳定的椭圆曲线是模曲线”，从而证明了有三百多年历史的费马大定理（见本刊总第４７期）然而，到１９９３年１２月，Ｗｉｌｅｓ...     

T样条函数空间的局部支集基

Ｓｃｈｕｍａｋｅｒ，Ｌ．Ｌ．在其名著《ＳｐｌｉｎｅＦｕｎｃｔｉｏｎ：ＢａｓｉｃＴｈｅｏｒｙ》中第九章给出了Ｔｃｈｅｂｙｓｈ－ｅｆ样条函数空间的局部支集基定理，可惜其证明却是错的，本文给出了上述定理的正确证明．     

费尔马定理的又一证法及费马点轨迹初探

“最短网络”问题 ,是美国贝尔电话公司收费时所遇到的 .它的历史可以追溯到费马 .1 640年 ,费马提出如下问题 :在平面上给出Ａ ,Ｂ ,Ｃ三点 ,求一点Ｓ使距离和ＳＡ +ＳＢ+ＳＣ达到最小 .该问题引起科学家的兴趣 .其证明方法多种多样 .但这些方法大多限于几何[1] .本文巧妙地利用初等数学中对称的思想 ,给出费马定理的一个简单证法 ,并由此探讨费马点的轨迹 ,最后给出一种特殊“最短网络”的铺设构想 .现将上述的三角形两个顶点Ａ ,Ｂ放置在直角坐标系中 ,且Ａ ,Ｂ在Ｘ轴同侧 ,记在Ａ ,Ｂ及Ｘ轴同侧求一点Ｓ ,使Ｓ到Ａ ,Ｂ及Ｘ轴的距离最短…     

外莫莱三角形的一个性质

将ABC的各外角三等分，每两个外角的相邻的三等分角线相交得DEF，称之为西ABC的外莫莱三角形．由文[1]知AD、BE、CF相交于一点．对于△ABC的外莫莱三角形△DEF,有如下性质．定理△ABC与其外莫莱三角形△DEF对应顶点连线AD、BE、CF共点于西ABC的内心的充要条件是bABC为正三角形．记bABC的三内角为A、B、C，定理的证明需用到如下事实：，＿。。＾．＿＿。＿，L—B、－1引理1在西ABC中，有sinz（士丁Q）＜十，同理可证其它两丸定理的证明：必要性容易证明，这里从略，下证充分性．本文绘出了文［2］提出的一个猜想的证明…     

Toeplitz算子空间的ω~＊－闭包

本文讨论Ｔｏｅｐｌｉｔｚ算子空间的ω￣＊－闭包．我们证明Ｂｅｒｇｍａｎ空间上全体Ｔｏｅｐｌｉｔｚ算子的ω￣＊－闭包等于（定理１）．另外，我们给出Ｃ￣ｎ（ｎ＞１）中单位球面Ｓ上的Ｈａｒｄｙ空间Ｈ￣２（Ｓ）上的Ｔｏｅｐｌｉｔｚ算子的一个有趣刻划（命题２）．     

Erds-Mordell定理的两个简短证明

Ｅｒｄｏ¨ｓ┐Ｍｏｒｄｅｌ定理的两个简短证明李鸿祥（上海铁道大学２００３３１）Ｐ．Ｅｒｄｏ¨ｓ是匈牙利数学家，当代国际著名的数学大师，于１９９６年逝世．《美国数学月刊》今年１月号发表了法国学者Ｖ．Ｋｏ－ｍｏｒｎｉｋ关于Ｅｒｄｏ¨ｓ的一个猜想的简短证明...     

由费马点引出的若干竞赛问题

费马点及其性质如果Ｆ为△ＡＢＣ的费马点,ａ、ｂ、ｃ和Ｓ分别为△ＡＢＣ的三条边长和面积,ＦＡ＝ｘ,ＦＢ＝ｙ,ＦＣ＝ｚ,ｆ＝ｘ＋ｙ＋ｚ（下同）,那么费马点Ｆ有下述性质：定理当△ＡＢＣ的三内角均小于１２０°时,ｆ＝２２ａ２＋ｂ２＋ｃ２＋４３Ｓ（１）当△ＡＢ...     

关于Simon Fitzpatrick猜想

本文先就三种情况证明ＳｉｍｏｎＦｉｔｚｐａｔｒｉｃｋ猜想是正确的，后提出了我们的Ｓ－Ｆ型问题，并给予了肯定的回答。     

de Rham－Hodge－Signature算子的局部指标定理

整体的Ａｔｉｙａｈ－Ｓｉｎｇｅｒ指标定理对于一般的椭圆微分算子都成立．但对于局部指标定理来说，人们只能对具体的算子给予证明．并且各种情况需个别处理．由［６］知本文中证得的ｄｅＲｈａｍ－Ｈｏｄｇｅ－Ｓｉｇｎａｔｕｒｅ算子的局部指标既不是α型也不是β型的．这和经典的椭圆算子情形不同．     

de Rham－Hodge－Signature算子的局部指标定理

整体的Ａｔｉｙａｈ－Ｓｉｎｇｅｒ指标定理对于一般的椭圆微分算子都成立．但对于局部指标定理来说，人们只能对具体的算子给予证明．并且各种情况需个别处理．由［６］知本文中证得的ｄｅＲｈａｍ－Ｈｏｄｇｅ－Ｓｉｇｎａｔｕｒｅ算子的局部指标既不是α型也不是β型的．这和经典的椭圆算子情形不同．     

一类表示伪素数的公式

素数最基本的性质是费马小定理，给出了自然数是素数的必要条件：若（p，a）=1（p为素数）则ap-1≡1（modp）．很长一段时间以来，人门认为费马小定理的逆定理也成立，甚至认为n是素数当且仅当2n-1≡1（modn），但这是错误的．1819年萨吕斯（M．Sarrus）证明，2341≡2（mod341），但341＝11×31是合数．后来，人们把满足同余式2n-1≡（modn）的合数叫伪素数．伪素数是否有无穷多？1903年，马洛（Malo）首先证明：如果A是伪素数，2A-1也是伪素数[1].文[2]给出一个伪素数的公式，笔者认为可以给出一类伪素数的公式．现给出预备知识（p为奇素…     

关于Piazza等人的一个猜想的证明

Ｐｉａｚｚａ;Ｒｏｂｅｒｔｓ和Ｓｔｕｅｃｋｌｅ在１９９５年猜想:任何一个完全ｎ－部图是严格边－韧性图(ｓｔｒｉｃｔｌｙ ｅｄｇｅ－ｔｅｎａｃｉｏｕｓ ｇｒａｐｈ) 本文证明了这个猜想．     

转移概率的可测耦合与概率距离

本文利用线性规划的思想证明了定理１．１，然后改进了所谓的Ｄｏｂｒｕｓｈｉｎ－Ｓｈｏｓｍａｎ唯一性定理的证明．     

有关斐波那契三角形猜想的部分证明

有关斐波那契三角形猜想的部分证明张善立（浙江岱山中学３１６２００）对于Ｆｉｂｏｎａｃｃｉ三角形的定义及有关猜想，文［１］，［２］已作了完整的介绍，并已知当ｋ＝１，２及ｎ≤２５时猜想成立．本文对ｋ＝３时的猜想作出证明．定理不存在以为边长的Ｆｉｂｏｎａｃ...     

关于Serre问题

本文首先简单地证明一个比［５］中定理９．４１更深刻的结果，给出了著名的Ｓｅｒｒｅ定理的更简单的证明，进而概述了著名的Ｓｅｒｒｅ问题证明，指出Ｓｅｒｒｅ定理在解决Ｓｅｒｒｅ问题中的作用。