フェルマーの大定理・n = 3の場合の証明について質問です。
オイラーはx^3 + y^3 = z^3をx = a + b、y = a - bとおき、整理することによって、
z^3 = 2a(a^2 + 3b^2)
と変形し、n = 3の場合のフェルマーの大定理を証明しました。
そこで、質問です。
【2a】と【a^2 + 3b^2】が、互いに素な場合は無限降下法をつかって証明できるようですが、
【2a】と【a^2 + 3b^2】が、互いに素ではなく、1以外の公約数を持つ場合、どのようにして証明すればよいのでしょうか?
皆様のご教授をお待ちしております。
No.2ベストアンサー
- 回答日時:
DC1394様、#1のものです。
補足に回答します。まず、私が参考とした文献は次のものです。「2次体の整数論」 武隈良一 著、槙書店 発行
>>そもそもn=3の場合は初等的な代数学の知識があれば解決できます
>それはしりませんでした。是非ご教授をお願いいたします。
基本的な方針のみ述べます。さすがに、詳細を書くとここに書ける分量を超えてしまいます。(大体5ページぐらい有ります。
x^3 + y^3 = z^3において、zを-zで置き換えることにより、x^3 + y^3 + z^3 = 0を考え、これがR(√(-3))で整数解を持たないことを示す。
R(√(-3))は実数体Rに-3の平方根を付加した2次体です。R(√(-3))における整数は、Rにおける整数(所謂通常の整数で、代数的整数と区別して有理整数と言います)を全て含みますので、R(√(-3))で整数解が存在しなければ有理整数解が存在しないことが言えます。
上記文献では、n=4のときの解が存在しないことも示しています。この場合は、R(i)(実数体Rに虚数単位iを付加した2次体、所謂ガウスの数体)を用いています。
上記文献には、Fermat予想に関して下記のような記述もあります。
「n=3の場合についてオイラーがその証明を1770年に発表した。しかし、その証明には不十分なところがあり、ルジャンドルが改めて1798年に証明した」
このことからすると、オイラーが証明したと言うのは間違いのようですね。
なお、参考文献は40年近く前の発行なので現在入手することは難しいかもしれません。が、2次体を取り上げた本を探せば、その中にn=3や4の場合の証明がでているものもあると思います。勿論、大学レベルの数学知識が無いと読みこなせないですが。
この回答への補足
a^2 + 3b^2 = (a + √3i)(a - √3i)ではなく、
a^2 + 3b^2 = (a + √3bi)(a - √3bi)でした。申し訳ございません。
ありがとうございました。無限降下法を使わない証明も十分可能なのですね。
勉強になりました。また文献を探してみます。
ところで、n=3の場合において、
オイラーはa^2 + 3b^2 = (a + √3i)(a - √3i)と複素数を用いて因数分解したのですが、
複素数の世界では、素因数分解の一意性が成立しない
(クンマーの理想数の概念を使えば別ですが)ので、
これは証明としては不十分であった、と私が参考にした本にも書かれています。
もっとも、n=3の場合はたまたま問題にならなかったようです。
No.1
- 回答日時:
>x^3 + y^3 = z^3をx = a + b、y = a - bとおき
本当にこのようにおけるのですか。
それから、無限降下法とはどのような方法でしょうか。そもそもn=3の場合は初等的な代数学の知識があれば解決できますので、無限降下法というような一般的でないものは使う必要がないでしょう。
この回答への補足
ご回答ありがとうございます。
「図解雑学 数論とフェルマーの最終定理」(ナツメ社)という本に、
オイラーによるフェルマーの大定理(n = 3)証明の概略が述べてあります。
その本に、x = a + b、y = a - bと変形可能なことが証明されています。
また、無限降下法とは一種の背理法です。
詳しいことは、前述した「数論とフェルマーの最終定理」に著されています。
>そもそもn=3の場合は初等的な代数学の知識があれば解決できます
それはしりませんでした。是非ご教授をお願いいたします。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 某大学の数学入試問題で、フェルマーの定理絡みの問いがありました。 9 2023/02/14 08:35
- 数学 京都大学教授が証明。 「ABC予想・宇宙際タイヒミューラー予想」を、ザックリで説明お願致出来ますか? 1 2022/04/11 20:52
- その他(悩み相談・人生相談) お金さえあればなんでも出来るらしいのですが、例えば1000億円の資産があれば、独学で数学を研究してフ 4 2023/03/27 21:24
- 数学 0でも無限でもない。 4 2023/04/22 19:12
- 弁護士・行政書士・司法書士・社会保険労務士 売買契約とそれに付随する公正証書の記載について 2 2023/08/23 14:30
- 数学 失敗した人の話がほとんど出てこない理由は何でしょうか? 4 2022/06/06 14:08
- 数学 三角関数の極限を「はさみうちの原理」で考える時の不等号について 1 2022/07/22 01:13
- 数学 数学の複素数の証明問題です。 (1)複素数全体の集合に2要素間の実数と同様な大小を定義できないことを 2 2022/08/28 11:17
- 数学 これが人類最初のABC予想の応用ですか? 3 2022/04/27 05:41
- 政治 ABC予想で自衛隊を合憲にする事ができますよね? 3 2022/04/23 05:46
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
数学の「証明」のときなどの接...
-
証明終了の記号。
-
婿養子に入ったのに出て行けと...
-
「証明証」と「証明書」はどう...
-
2のn乗根で、 nを無限大に持っ...
-
三角形の相似の証明です。(中...
-
成人した後両親が離婚し別の人...
-
大学の給付型奨学金について 現...
-
元夫が彼女の存在を隠す理由
-
数学の証明問題で、「証明終了」...
-
σ集合体の証明
-
背理法を使うとき
-
47歳、母親の再婚を子供の立場...
-
未婚ですが養子をもらうことは...
-
AB=E ならば BA=E の証明
-
無理数って二乗しても有理数に...
-
3の倍数であることの証明
-
親の再婚相手との問題です。私...
-
死刑囚のパラドックス
-
数学の証明って得意でしたか? ...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
証明終了の記号。
-
数学の「証明」のときなどの接...
-
数学の証明問題で、「証明終了」...
-
3,4,7,8を使って10を作る
-
「証明証」と「証明書」はどう...
-
夫が亡くなった後の義理家族と...
-
(4^n)-1が3の倍数であることの...
-
松坂和夫著「集合・位相入門」...
-
じゃらんで旅行予約をしたので...
-
素数の性質
-
素数の積に1を加算すると素数で...
-
図形の証明は、日常で役立ちま...
-
なぜ独身だと養子が持てないの...
-
大学の給付型奨学金について 現...
-
再婚、奨学金
-
正解が一つとは限らない数学の...
-
婿養子です、妻と離婚して妻の...
-
通学証明書の契印とは
-
よって・ゆえに・したがって・∴...
-
円周率=∞の証明
おすすめ情報