|
|
a^n+b^n=c^nを満たす自然数解は存在しない。（n＞＝3)---------フェルマーの最終定理
a,b,cの大小関係で場合わけして論ずる。
a>=b>=cの場合 明らかにa^n+b^n>c^nであるから解は存在しない。
b>=a>=cの場合 明らかにa^n+b^n>c^nであるから解は存在しない。
a>=c>=bの場合 明らかにa^n+b^n>c^nであるから解は存在しない。
b>=c>=aの場合 明らかにa^n+b^n>c^nであるから解は存在しない。
c>a>bの場合とc>b>aの場合 背理法を使う。
a^n+b^n=c^nが成り立つと仮定する。
ここでこの式の両辺をc^nで割ると（a/c)^n+(b/c)^n=(c/c)^n
ここでn→∞とすると左辺=0,右辺=1となり矛盾である。
よってa^n+b^n=c^nは成り立たない。
証明終わり。
こんなのはだめでしょうか。
|
|