数学ナビゲーター掲示板

HOME HELP 新規作成 新着記事 ツリー表示 スレッド表示 トピック表示 発言ランク ファイル一覧 検索 過去ログ

[ 最新記事及び返信フォームをトピックトップへ ]

■50496 / inTopicNo.1)  二項定理を使ったフェルマーの最終定理の証明
  
□投稿者/ 日高 一般人(1回)-(2020/09/11(Fri) 07:50:11)
    【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
    【証明】x^p+y^p=z^pを、z=x+rとおいてx^p+y^p=(x+r)^p…(1)とする。
    (1)を積の形にすると、r^(p-1){(y/r)^p-1}=ap{x^(p-1)+…+r^(p-2)x}(1/a)…(2)となる。(aは有理数)
    (2)はa=1、r^(p-1)=pのとき、x^p+y^p=(x+p^{1/(p-1)})^p…(3)となる。
    (3)の右辺を二項展開すると、yが有理数のとき、xは無理数となるので、x,y,zは整数比とならない。
    (2)はa=1以外、rが有理数のとき、x^p+y^p=(x+(ap)^{1/(p-1)})^p…(4)となる。
    (4)のx,y,zは、(3)のx,y,zのa^{1/(p-1)}倍となるので、(4)のx,y,zも整数比とならない。
    (3)をx=sw、y=twとおいて、(sw)^p+(tw)^p=(sw+p^{1/(p-1)})^pとする。(s,tは有理数、wは無理数)
    両辺をw^pで割って、s^p+t^p=(s+(p^{1/(p-1)})/w)^pとする。
    (p^{1/(p-1)})/wが無理数の場合は、(3)と同じとなるので、tが有理数のとき、sは無理数となる。
    (p^{1/(p-1)})/wが有理数の場合は、(4)となるので、sが有理数のとき、tは無理数となる。
    ∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
引用返信/返信 [メール受信/OFF] 削除キー/



トピック内ページ移動 / << 0 >>

このトピックに書きこむ

Mode/  Pass/

HOME HELP 新規作成 新着記事 ツリー表示 スレッド表示 トピック表示 発言ランク ファイル一覧 検索 過去ログ

- Child Tree -
Edit By 数学ナビゲーター