特定指数的费马大定理的证明

✍ dations ◷ 2025-07-24 16:44:05 #数论,数学定理

费马大定理的完整证明是一个艰深的过程,但是,对于某些特定的指数n,其证明并不算十分复杂,因此在此展示费马大定理的特例证明。

证明 x 4 + y 4 = z 4 {\displaystyle x^{4}+y^{4}=z^{4}} 没有全不为0的整数解。

假设x,y,z是满足 x 2 + y 2 = z 2 {\displaystyle x^{2}+y^{2}=z^{2}} 的一组互质的整数解,那么存在互质的整数a,b,使得 x 2 = a 2 b 2 , y 2 = 2 a b , z = a 2 + b 2 {\displaystyle x^{2}=a^{2}-b^{2},y^{2}=2ab,z=a^{2}+b^{2}}

假设(x,y,z)为方程 x 4 + y 4 = z 2 {\displaystyle x^{4}+y^{4}=z^{2}} 一个解并且x,y互质,y为偶数,则 x 2 = a 2 b 2 , y 2 = 2 a b , z = a 2 + b 2 {\displaystyle x^{2}=a^{2}-b^{2},y^{2}=2ab,z=a^{2}+b^{2}} ,其中 a > b > 0 {\displaystyle a>b>0} ,a、b互质,a、b的奇偶性相反。由 x 2 = a 2 b 2 {\displaystyle x^{2}=a^{2}-b^{2}} 得a必定是奇数,b必定是偶数。

另外,亦得 x 2 + b 2 = a 2 {\displaystyle x^{2}+b^{2}=a^{2}} ,再从此得 x = c 2 d 2 , b = 2 c d , a = c 2 + d 2 {\displaystyle x=c^{2}-d^{2},b=2cd,a=c^{2}+d^{2}} ,其中 c > d > 0 {\displaystyle c>d>0} ,c、d互质,c、d的奇偶性相反。

最后有 y 2 = 2 a b = 4 c d ( c 2 + d 2 ) {\displaystyle y^{2}=2ab=4cd(c^{2}+d^{2})} ,由此得c、d和 c 2 + d 2 {\displaystyle c^{2}+d^{2}} 为平方数。于是可设 c = e 2 , d = f 2 , c 2 + d 2 = g 2 {\displaystyle c=e^{2},d=f^{2},c^{2}+d^{2}=g^{2}} ,即 e 4 + f 4 = g 2 {\displaystyle e^{4}+f^{4}=g^{2}} 。换句话说,(e,f,g)为方程 x 4 + y 4 = z 2 {\displaystyle x^{4}+y^{4}=z^{2}} 的另外一个解。但是, z = a 2 + b 2 = ( c 2 + d 2 ) 2 + 4 c 2 d 2 > g 4 > g > 0 {\displaystyle z=a^{2}+b^{2}=(c^{2}+d^{2})^{2}+4c^{2}d^{2}>g^{4}>g>0} 。就是说如果我们从一个z值出发,必定可以找到一个更小的数值 g,使它仍然满足方程 x 4 + y 4 = z 2 {\displaystyle x^{4}+y^{4}=z^{2}} 。如此类推,我们可以找到一个比g更小的数值,同时满足上式。但是,这是不可能的!因为z为一有限值,这个数值不能无穷地递降下去!由此可知我们最初的假设不正确。

所以,方程 x 4 + y 4 = z 2 {\displaystyle x^{4}+y^{4}=z^{2}} 没有正整数解。

相关

  • 二合字母二合字母(digraph、或称二重音字、二重字),在字母系统上是由2个字母组合成的语音,而组成的语音与个别字母的发音不同。且能由二合字母表记出新的语音(音位)。在一些发音变化的场合
  • 哥伦布大交换哥伦布交换(英语:Columbian Exchange),又称大交换(Grand Exchange),是一场东半球与西半球之间生物、农作物、人种(包括欧洲人与非洲黑人)、文化、传染病、甚至思想观念的突发性交流。
  • 乌敏岛乌敏岛(Pulau Ubin)是新加坡的第二大外岛,面积仅次于德光岛,面积约10.2平方千米。按新加坡政府的规划,岛上的大部分自然环境将维持原状。在“采花岗石场”、椰树及“橡胶园”、红
  • 二次组态相互作用二次组态相互作用(英语:Quadratic configuration interaction,简称QCI)是一种对组态相互作用的扩展,它修正了单、双激发组态相互作用(CISD)的大小一致性问题。
  • 120元之春 ¥120 Stories《120元之春 ¥120 Stories》(120円の春 ¥120Stories)是Interchannel于2005年2月24日发售的PlayStation 2用电子小说类型美少女游戏。《120元之春 ¥120 Stories》是由《120
  • 上海市参议会上海市参议会为民国35年(1946年)至民国38年(1949年)间上海市的全市人民代表机关。民国35年8月13日正式集会,民国38年3月召开第一届第九次大会后休会。1949年5月,上海市易帜后被废
  • 约旦国王万岁《约旦国王万岁》(阿拉伯语:السلام الملكي الأردني‎),又译《约旦王室颂》、《向约旦王室致敬》,是约旦的国歌兼王室颂歌,词作者阿卜杜勒·莫奈姆·勒法伊(عب
  • 阿尔巴 (名称)阿尔巴(苏格兰盖尔语:;爱尔兰语:Albain;曼岛语:)是苏格兰盖尔语等凯尔特语言对苏格兰的称呼,来源于大不列颠岛的古称阿尔比恩。其拉丁化形式阿尔巴尼亚(Albania)和英语化的形式奥尔巴
  • 瓦拉普扎瓦拉普扎(Varappuzha),是印度喀拉拉邦Ernakulam县的一个城镇。总人口24516(2001年)。该地2001年总人口24516人,其中男性11812人,女性12704人;0—6岁人口2639人,其中男1373人,女1266人;
  • 安东尼·谢才安东尼·谢才(Antoine Chézy,1718年-1798年10月4日),法国水利工程师,总结提出了水力学中常用的谢才公式。