费马大定理的美妙证明教学提纲

合集下载
相关主题
  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

费马大定理的美妙证

费马大定理的美妙证明

成飞

中国石油大学物理系

摘要:1637年左右,法国学者费马在阅读丢番图(Diophatus )《算术》拉丁文译本时,曾在第11卷第8命题旁写道:“将一个立方数分成两个立方数之和,或一个四次幕分成两个四次幕之和,或者一般地将一个高于二次的幕分成两个同次幕之和,这是不可能的。关于此,我确信已发现了一种美妙的证法,可惜这里空白的地方太小,写不下。”

0、费马大定理:

当n>3时,X n +Y n=Z n,n次不定方程没有正整数解。

1、当n=1, X+Y=Z,有任意Z支组合的正整数解。任意a.b.c只要满足方程

X+Y=Z ;

a,b.c由空间平面的线段表示,有

a b

---------- > -------------- >

< ------------------------- >

c

可见,线段a和线段b之和,就是线段c。

2、当n=2, X2+Y2=Z2,有正整数解,但不任意。

对于这个二次不定方程来说,解X=a,Y=b,Z=c,在空间平面中,a,b,c不能构成

两线段和等于另外线段。

又因为,解要满足二次不定方程,解必然a+b>c且c>a,b

可以知道,二次不定方程的解,a,b,c在空间平面中或许可以构成三角形,

根据三角形余弦定理,有

c2=a2+b2-2ab x cos a ( 0< a< 冗)

此时,a,b,c,即构成了三角形,又要满足二次不定方程X2+Y2=Z2,只有

当且仅当a=90°, cosa=0,a,b,c构成直角三角形时c?=a2+b2,既然

X=a,Y=b,Z=c,那么二次不定方程X2+Y2=Z2有解。

3、当n=3,X3+Y3=Z3,假设有正整数解。a,b,c就是三次不定方程的解,即

X=a,Y=b,Z=c,a+b>c,且c>a,b。

此时,a,b,c也必构成三角形,

根据三角形余弦定理,有

2 2 2

c = a +b -2ab X cos a ( 0< a< n

因为,a,b,c是三次不定方程X3+Y3=Z3的正整数解,cos a是连续函数,因此在

[-1,1 ]内取值可以是无穷个分数。根据大边对大角关系,a角度取值范围(60o, 180o),由此我们cos a的取值分成两部分,(-1,0]和[0, ?)范围内所有分

数;而a+b>c,且c>a, b, 1、当cos a= (-1,0 ],三角形余弦定理关系式得到,

等式两边同乘以C,有

c3 = a2c + b2c + mabc 因为c>a,b ,那么

C3 > a3+ b3

2、当cosc=?,三角形余弦定理关系式得到,

c2 = a2+b2-ab等式两边同乘以a+b,有

(a+b)C2 = a3+ b3

又因为a+b>c,

所以,c3 < a3+ b3(根据三角形大角对大边,c>a, b,即a不可能等于600)

那么,cos a=[0,? )时,更加满足c3 < a3+ b3

既然,a,b,c是三次不定方程X3+Y3=Z3的解,又a3+ b3丸3,

那么,X3+Y3M Z3,得到结果与原假设相矛盾,所以,假设不成立。

即,n=3 时,X3+Y3=Z3,三次不定方程没有正整数解。

4、n>3, X n +Y n=Z n,假设有正整数解。a,b,c就是n次不定方程的解,即

X=a,Y=b,Z=c,a+b>c,且c>a,b。此时,a,b,c构成三角形,根据三角形余弦定理有,

c2 = a2+b2-2ab x cos a ( 0< a< 冗)

因为,a,b,c是n次不定方程X n +Y n=Z n的正整数解,cos a是连续函数,因此在[-1,1 ]内取值可以是无穷个分数。根据大边对大角关系,a角度取值范围(60 o, 1800),我们cos a的取值分成两部分,(-1,0]和[0,?)范围内所有分数;而a+b>c, 且c>a,b,1、当cos a= (-1,0 ],三角形余弦定理关系式得到,

等式两边同乘以c n-2,有

C n = a2 c n-2 + b2 c n-2+ mabc n-2因为c>a, b,那么

C n > a n+ b n

2、当cosa=0,三角形余弦定理关系式得到,

c2 = a2+b2等式两边同乘以c n-2,有

c n-2

c

2

= c

n-2

a

2

+ c

n-2

b

2

又因为a+b>c,c>a, b

所以,c3> a3+ b3

那么,cosa= [ 0,?)时,更加满足c3> a3+ b3

既然,a, b,c是n次不定方程X n +Y n=Z n的解,又c n > a n+b n,

那么,X n + Y n < Z n,得到结果与原假设相矛盾,所以,假设不成立。即,n>3 时,X n +Y n=Z n,n 次不定方程没有正整数解。

根据分析,c n=a2c n-2+b2c n-2+abc n-2, c>a,b ;可知,n 越大,等式两边不对称也越大,其实当n>3 时,X n +Y n=Z n,n 次不定方程的正整数解,a,b,c;a+b>c,且c>a,b,构成三角形可能性越小,或者说没有这样的正整数解可以构成三角形。

费马大定理,证毕!

相关文档
最新文档