初等数学によるフェルマーの最終定理の証明９

>>91
(1)の解がx=Mならば{(t^n)k+u}=M^nを(3)に代入すると(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}=(M+m)^n-M^nとなる

xが有理数Mで、(3)=(1)ならばそうなります。
(2^n)k={(t+1)^n}k-(t^n)kとしかならないので、xは無理数としかなりません。