フェルマーの最終定理を証明してみよう！（ n = 4の場合 ） 一部間違いがあり、修正しました。
2020年01月04日 07:01Fermat's Last Theorem
xn + yn = zn
ｎ：自然数、ｎ≧３
ｘ、ｙ、ｚ ≠０、自然数
こうすると…自然数 (x, y, z) の組が存在しないんです。
n = 2 のとき、ピタゴラスの定理です。
この証明は中学校で習いましたよね。
そうそう、三角形にやたら、正方形を描いて…です。
では、小手調べに…
n = 4 のときを証明してみましょう。（有名な整数問題です）
ｘ4+ｙ4 =ｚ4…①
をみたす自然数解（a,b,c）は存在しないことを証明しなさい。
ｘ、ｙ、ｚ ≠０、自然数
どうやって証明するかというと『背理法』を利用します。
どうしてかというと…『存在しない』ことを証明するためには、
まず『存在する』と仮定しておき、
そのあとその仮定が間違っていることを証明すればいいということになるのです。
そして、もうひとつ。
『三辺が自然数で、面積が平方数の直角三角形は存在しない』を利用します。
余裕がある人は、実際に証明してみてくださいね。
『平方数』ってなんでしょうか。整数 n があるとします。このときn2 を平方数といいます。
①式の解を（a, b, c）します。すると①式は次のようになります。
a4+b4 =c4…②
①式の解を（a, b, c）します。すると①式は次のようになります。
このときa,b,cを平方数として考えると
（a2）2 ＋（ｂ2）2 ＝ （ｃ2）2…③
これは、見覚えがあるでしょう。そう、『ピタゴラス（三平方）の定理』です。
なぜ三平方といわれるかは、分かりますよね。
さて、ここで何を考えないといけないでしょうか。
ちょっと、ここで強引に次のことを考えてみてください。（ピタゴラス数の公式です）
A＝c4 －a4
B＝２a2 c 2
C＝c4 ＋a4
さてさて、強引が続きます。
A２＋ B２＝（c4－a4）２＋（２a2ｃ2）２
＝（c4 － a4）（c4 － a4）＋（２a2ｃ2）２
＝（c4）２ ＋２（c4）（a4）＋（a4）２
＝（c4 + a4）２
＝C2
つまり、
A２＋ B２＝C2…④
三平方の定理が導かれました。
三平方の定理が導かれたということは、この３辺A,B,Cからなる三角形は直角三角形のはずですよね。
では、この△ABCの面積を求めてみましょう。
この三角形の面積をSとあらわすと、
S ＝ １／２×AB：三角形の面積の求め方は、底辺×高さ÷２、この場合、直角三角形なので一辺は高さになります。
＝ １／２×（c4 － a4）（２a2 c 2）：２は約分できますね。
＝ （c4 － a4）（a2 c 2）：ここで、a4+b4 =c4…②を思い出して下さい。『ｂ４＝c4 － a4』です。
＝ b4（a2 c 2）：平方数を思い出しましょう。
S ＝（b2ac ）2…⑤：平方数になっていますね。
ここで、先にお話した
『三辺が自然数で、面積が平方数の直角三角形は存在しない』を思い出してください。
△ABCは、直角三角形ということが計算したら、導かれました。ところが…です。
式⑤をみてください。直角三角形で△ABCの面積が、平方数になっちゃいました。
これは、最初の仮定が間違っていることを意味しています。
どうです。これで、n=8も証明できますよ。
３５０年という長い年月をかけて、いろんな人がチャレンジしたこのフェルマーの最終定理。
だれも、なにも異論を唱えなかった定理です。
ただ、なかなか証明が難しかったのです。
その一部をみなさんと一緒に解いてみました。
では、n=3のときはどのように証明したらよいでしょうか。
また、n=4のときの証明の別なアプローチも調べてみると、楽しいです。
単位円などを利用して、幾何学的に解くのもイメージが膨らむので楽しいと思います。
画面上、長くならないように途中の計算を省いていますが、ご了承ください。
今回の「n=4のときの証明」をフローチャート（流れ図）にしてみると、次のようになります。
n=4のときのフェルマーの最終定理が証明しよう。
☟
背理法をつかって証明する。
☟
仮定： 『三辺が自然数で、面積が平方数の直角三角形は存在しない』
☟
計算してみると...
☟
直角三角形△ABCの面積が、平方数で表された。
☟
仮定が間違っている
☟
n=4のときのフェルマーの最終定理が証明された。
今回、ご指摘があり、内容に間違いがあったこと、深くお詫びいたします。
疑問、質問などは、適宜承っておりますので、どうそ、ご連絡ください。
タグ:
—————