- 分からない問題はここに書いてね464
199 ：１３２人目の素数さん[sage]：2020/11/16(月) 11:34:07.56 ID:QVyWna/i - >>164
>>165
有理数の問題に拡張したら却って簡単になったようだ
ということで 簡単な解法を紹介しておきます
12a^3-3=b^2 を満たす有理数a,bの組を任意に取る(例えば,a=1,b=3が存在する)
このとき, a=0 でないことに注意する(a=0とすると, b^2 = -3 となり矛盾する)
ここで r = (3+b)/(6a), s = (3-b)/(6a) とおくと
r^3+s^3 =(b^2+3)/(12*a^3) = (12a^3)/(12a^3) = 1
つまり r^3+s^3=1 であることがいえる.
FLTのn=3のときの結果から rs=0 であることが導かれる
これは b=±3 であることを意味する
つまり 有理数a,bに対して 12a^3-3=b^2 が成立しているなら
必ず b^2=9 であることが示された
したがって求める有理数解は(a,b)=(1,±3)に限ることが示された.
以上の方法は 式変形によって FLTのn=3の場合に帰着するという方法です
もっともFLTのn=3の結果を用いているので自己完結した解法ではありません
まあともかくもこの問題に限って言うと有名問題に帰着できるということになりました
一般的にはこのような巧みな式変形を用いたところで別の問題がつくられるだけで
議論は進行しないのですが今回のケースはFLTに"偶然"帰着できたということになりそうです
以上です
|