フェルマーの最終定理は知る人ぞ知る数学の難問題の一つでしょう。1990年代に証明されましたが、その証明自体が難解で、当時、世界でも数人しか理解できないと言われました。現在でもその事情はそれほど変わっていないのではないでしょうか?最近、数学の重要な定理の幾つかが、高校数学レベルの方法で証明されたという報道を知り、フェルマーの最終定理も、高校数学か大学数学の1年生レベルで証明する方法はないのだろうか?という疑問が湧き起こりました。ネットで一通り調べてみたのですが、見付けられません。或いは、まだ、出ていないか、それとも、そんな方法はないのか?
何か、より容易な証明方法はないでしょうか?
一個だけ、記憶の中にある証明らしき説のアウトラインを記憶から引っ張り出して示しておこうと思います。ただし詳細は不明。
フェルマーの最終定理:X^n+Y^n=Z^nを満たす自然数X,Y,Zの組はn≧3の自然数nでは存在しない。
n=1と2では、無数に存在する。しかし、n=1に比べ、2の場合、解となるX,Y,Zの組の分布を数直線上にプロットすると、その密度は小さくなる。一般に、nが大きくなるほど、ある任意の一定のΔn内において解X,Y,Zが見いだされる確率は小さくなると考えられる。そして、n=3では、すでにその確率は0であり、確率は小さくなることはあっても大きくなることはないのだから、4以降も0となる。
以上です。アウトラインとしても、杜撰なものですし、この説の真偽を問うているわけではありません。知りたいのは、この説明が理解できる程度の理解力か、少しだけ高度になる程度の理解力でわかるレベルの証明、厳密にやると難しくなるけれど、概要だけならまず、誰にでも分かる証明がないだろうか?ということです。
A 回答 (4件)
- 最新から表示
- 回答順に表示
No.4
- 回答日時:
フェルマーの最終定理の n=4 の場合の証明
x^4+y^4=z^2
を満たす自然数 (x,y,z) が存在すると仮定する。
そのような (x,y,z) の組で
z が最小のものについて考える。
すると,
(x^2,y^2,z) の最大公約数は 1 となる
(最大公約数が d なら両辺を d^2で割ることでより z の小さい解を作れる)
(x^2,y^2,z) は最大公約数が1であるピタゴラス数なので,
互いに素な自然数
p,q を用いて以下のように表せる:
x^2=p^2−q^2
y^2=2pq
z=p^2+q^2
よって,1つ目の式から
x^2+q^2=p^2
となるので,
(x,q,p) もピタゴラス数となる。そして,
(x,q,p) の最大公約数は 1 となる(理由:最大公約数が
d≧2 なら
(x^2,y^2,z) がすべて d の倍数になってしまい,
(x^2 ,y^2,z) の最大公約数が 1 であることに矛盾)
よって,同様に,自然数
r,s を用いて以下のように表せる:
x=r^2−s^2
q=2rs
p=r^2 +s^2 ⋯(1)
以上の方程式から,
y^2 =2pq=4prs
p,r,s はどの2つをとっても互いに素なので,それぞれ平方数となる:
p=a^2
r=b^2
s=c^2
これらと(1)を合わせて,
a^2=b^4 +c^4
となりもとの方程式の新しい解を得られたが,
a≦p≦p^2<z
より,
これは z の最小性に矛盾
する
から
x^4+y^4=z^2 を満たす自然数が存在しない
から
x^4+y^4=z^4 を満たす自然数が存在しない
No.3
- 回答日時:
350年もの間、世界中の数学者が考えてきて、
今のところワイルズの証明のような長大なものしか
見つかってないんだけど、
それでも初等的な証明があるだろうと思うの?
まあ「簡単な証明は無い」って証明もされてないけどさ。
あると思うのなら、君が発見したらいいよ。頑張ってね。
No.1
- 回答日時:
この手の質問は
◇◇◇ 初等数学によるフェルマーの最終定理の証明 ◇◇◇
で有名な、日高大センセーが大活躍している
https://rio2016.5ch.net/test/read.cgi/math/16963 …
に投稿したほうがいいと思う。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 素因数分解の可能性の証明 10 2021/11/04 08:34
- 数学 京都大学教授が証明。 「ABC予想・宇宙際タイヒミューラー予想」を、ザックリで説明お願致出来ますか? 1 2022/04/11 20:52
- 数学 某大学の数学入試問題で、フェルマーの定理絡みの問いがありました。 9 2023/02/14 08:35
- 数学 現在中学生の者です。 僕は工学的なものに興味があり、高校は理系を選択したいと思っています。 ただ、僕 6 2021/11/25 22:20
- 中古車 中古の軽自動車を購入しようとしているのですが、車屋で確認したところ車庫証明が必要と言われました。 今 3 2021/12/09 16:22
- 数学 双子素数とゴールドバッハ予想と解けました、フィールズ賞貰えますか? 2 2023/09/27 05:03
- 実用・教育 大学4年生です。論文を執筆する時期になります。 そこで「直接引用」「間接引用」「要約」が悩みの種です 1 2021/11/06 23:40
- その他(悩み相談・人生相談) お金さえあればなんでも出来るらしいのですが、例えば1000億円の資産があれば、独学で数学を研究してフ 4 2023/03/27 21:24
- 数学 0でも無限でもない。 4 2023/04/22 19:12
- 大学受験 大学受験における文理選択についての質問です。 現在高校1年生の身分なのですが、私の高校ではこの時期に 4 2021/12/12 01:36
このQ&Aを見た人はこんなQ&Aも見ています
-
性格の違いは生まれた順番で決まる?長男長女・中間子・末っ子・一人っ子の性格の傾向
同じ環境で生まれ育っても、生まれ順で性格は違うものなのだろうか。家庭教育研究家の田宮由美さんに教えてもらった。
-
カントールの対角線論法について質問です。
数学
-
すべての自然数とすべての実数を1対1に対応させる方法:ファイナル
数学
-
ピタゴラス数a,b,cのある関係
数学
-
-
4
「自然数は無限」としてよいのか?
数学
-
5
対角線論法の疑問
数学
-
6
フェルマーの最終定理。 数学者は彼を「ほら吹き」と思わなかったほか?
数学
-
7
画像のセンター問題に関してお答えして頂けないでしょうか。 出来れば解答だけではなく、理由と過程の計算
数学
-
8
「偶然」とは?
数学
-
9
数学 なぜ |α-β| = β-α になるのか
数学
-
10
数学の問題がわかりません!解き方と答えを教えてください! ■問題 つるとかめの頭の数を数えたら705
数学
-
11
4x+3x=7xって、xについての方程式ですよね? 式がいくつかあって、方程式がどれかを記号で選ぶ問
数学
-
12
π=4?√2=2?
数学
-
13
x^3-93x-308=0の時、xを求めよ。
数学
-
14
ピタゴラスの定理は辺の長さが虚数でも成り立ちますか
数学
-
15
数学の質問です(あえてMODは使わないで証明)
数学
-
16
大きな数の掛け算
数学
-
17
【数学】時速60kmの車を時速120kmで追い抜く時の経過時間について
数学
-
18
確率にくわしい方のお願いします
数学
-
19
整数問題
数学
-
20
−2.5を四捨五入すると−2ですか?−3ですか?
数学
このQ&Aを見た人がよく見るQ&A
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
3,4,7,8を使って10を作る
-
素数の積に1を加算すると素数で...
-
なぜ独身だと養子が持てないの...
-
つながった2つのリングを外す
-
証明終了の記号。
-
一様連続 e^x 証明
-
数学の「証明」のときなどの接...
-
婿養子に入ったのに出て行けと...
-
「証明証」と「証明書」はどう...
-
無理数って二乗しても有理数に...
-
(4^n)-1が3の倍数であることの...
-
ゴールドバッハ予想について考...
-
2のn乗根で、 nを無限大に持っ...
-
数学の証明問題で、「証明終了」...
-
中学2年程度数学3ケタの自然数...
-
分かる方教えてください。
-
証明の問題がわからないです
-
高一数学 数1 a,bは実数とする...
-
コラッツ予想の証明してみました。
-
素数の平方根は無理数である。
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
幽霊が存在していないことを証...
-
証明終了の記号。
-
数学の証明問題で、「証明終了」...
-
数学の「証明」のときなどの接...
-
不完全微分であることの証明
-
3,4,7,8を使って10を作る
-
夫が亡くなった後の義理家族と...
-
四葉のクローバー この言葉一度...
-
「証明証」と「証明書」はどう...
-
素数の性質
-
よって・ゆえに・したがって・∴...
-
無理数って二乗しても有理数に...
-
数学Aの整数の性質について質問...
-
婿養子に入ったのに出て行けと...
-
素数の積に1を加算すると素数で...
-
中3数学 2つの続いた整数では、...
-
平面曲線
-
婿養子です、妻と離婚して妻の...
-
なぜ独身だと養子が持てないの...
-
(4^n)-1が3の倍数であることの...
おすすめ情報