费尔马最后定理的证明

（ｉ）我们用（ｘ－ｂ）ｎ＋ｘｎ＝（ｘ＋ａ）来代替ｘｎ＋ｙｎ＝ｚｎ作为费尔马最后定理（ＦＬＴ）的普遍方程式．其中ａ及ｂ是两个任意自然数．应用二项展开式，（０．１）可以写成因为ａｒ－（－ｂ）ｒ始终包含ａ＋ｂ作为它的因数，（０．２）可写成其中фｒ＝［ａｒ－（－ｂ）ｒ］／（ａ＋ｂ）对于ｒ＝１，２，…，ｎ．都是个整数．（ｉｉ）令ｓ是ａ＋ｂ的一个因数，并令ａ＋ｂ＝ｓｃ．我们可用ｘ＝ｓｙ来变换（０．３）成为下列（０．４）（ｉｉｉ）将（０．４）除以Ｓ２，我们得（０．５）式的左边，是的整系数多项式，而右边ｃф／ｓ是个常数Ｃф／ｓ．若Ｃф／ｓ不是个整数，那末我们不能求得能适合（０．５）的整数ｙ，这样ＦＬＴ对这场合是对问．若Ｃфｎ／ｓ是个整数，我们可以改变ｓ和ｃ，使ｃф／ｓ≠整数。     

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

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

费尔马小定理应用举例(二)

本文应用费尔马小定理证明了:(1)x2+y2=z2的正整数解的两个性质;(2)√2、√3和√5是无理数;(3)一个不定方程无整数解.     

费尔马小定理的一种推广及其应用

费尔马小定理断言 :对任何素数p和与p互素的正整数m ,p必能整除mp- 1 - 1 ,用标准的数论记号 ,可以记作p｜mp- 1 - 1或mp- 1 =1 (modp) ,后一种表示读作mp- 1 被p除余 1 .欧拉曾把它推广到p不必是素数的情形 ,称为欧拉定理 .由于需要用到数论函数 φ ,不拟在此讨论 .有兴趣的读者可参考任何一本初等数论教材 .本文所要讨论的是另一种推广 :正整数a应该满足什么条件 ,才能使 (ma- 1 )被素数p整除 ,其中m与p互素 .或者更一般地 ,形如ma- 1的正整数能被p整除多少次 ?换句话说 ,我们要求出这样的非负整数r,使得pr｜ma- 1 ,但pr+1 不能整除ma- 1 …     

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

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

Fermat最后定理—历史和证明简介

本文旨在介绍Ｆｅｒｍａｔ最后定量的历史和Ｗｉｌｅｓ最近所给的证明。首先简介了其在代数数论的发展过程中所起的作用，然后介绍椭圆曲线的基本概念，叙述Ｔａｎｉｙａｍａ－Ｗｅｉｌ猜想，即任一椭圆曲线都是模的。进而介绍Ｒｉｂｅｔ的工作。他证明了若Ｔａｎｉｙａｍａ－Ｗｅｉｌ猜想对半稳定的椭圆曲线成立则Ｆｅｒｍａｔ最后定理成立。最后介绍了ｌ－ａｄｉｃ Ｇａｌｏｉｓ表示的概念及Ｗｉｌｅｓ定理，即半稳定的椭圆曲线都     

发现法讲授中值定理的一种尝试

微分学中值定理通常包括费尔马定理、罗尔定理、拉格朗日定理、柯西定理、泰勒定理。用启发式讲授这些定理的方案很多。笔者设计一种用发现法讲述这组定理的一种方案。最近的教法研讨会上,笔者介绍这种方案,同行们希     

对《罗尔定理的一个证明》一文的质疑

杨翰深同志在《数学通报》1990年第4期介绍《罗尔定理的一个证明》.此文在对罗尔定理的证明中,回避了平行弦定理和区间套定理的运用,试图另辟新径.这种尝试其愿望是良好的,遗憾的是文中出现了一些疏漏及错误.这里仅就下述问题提出质疑,以便与作者和读者商榷.     

多项式环中的Fermat定理

本文首先介绍了基本多项式与多项式的根的个数的关系,然后得到了定理:对于闭域K上任意互素的多项式f(x),g(x),h(x),且不全为常数,以及任何自然数n(?)3,等式f(x)~n g(x)~n=h(x)~n永远不成立.并将此结论推广到整环上也成立.     

矩阵LU分解定理的简单证明及其数值实现

用简单的方法证明了矩阵LU分解定理,讨论了定理的推广以及定理相应的数值实现,并对《数值分析》课程教学方法改革进行了思考.     

Cayley-Hamilton定理的一个证明

从Vandermonde行列式出发,给出了Cayley-Hamilton定理的一个新的证明,也给出了有限维向量空间的一些结论的新的证明.     

Leray-Schauder不动点定理的一个新证明

给出Leray-Schauder不动点定理的一个新证明.我们首先给出集值映射的焊接引理,利用集值映射的焊接引理和Kakutani不动点定理证明Leray-Schauder不动点定理,并证明Leray-Schauder不动点定理与Brouwer不动点定理等价.     

关于Fermat方程解的下界的估计

本文证明了:对于适合p≡3(mod4)的素数p,方程x~p+y~p=z~p,p|xyz,0p~(6p-2)/2以及z—x>p~(6p-3)/4。     

A Constructive Proof of Beurling-Lax Theorem

This paper deals with an alternative proof of Beurling-Lax theorem by adopting a constructive approach instead of the isomorphism technique which was used in the original proof.     

A Simple Proof of the Matrix-Valued Fejér-Riesz Theorem

A very short proof of the Fejér-Riesz lemma is presented in the matrix case.      

简论局部指标定理的证明

本文描述一个形式算法（即Diana算法）来证明Dirac算子的局部指标定理,并指出算法的魔力需附上一个逻辑的证明,在这种理解下,可看出Getzler的证明有一些缺陷．     

A Proof of the Uniformization Theorem on S2

We present a simple proof for the uniformization theorem on 2-sphere by methods of elliptic partial differential equations.