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

>>123
> 整理すると、(2^n)k={(t+1)^n}k-(t^n)kとしかならないので、xは無理数となる。
証明に書いてあることと違うだろ 「(2^n)k={(t+1)^n}k-(t^n)k」が(3)になるのなら「xは無理数となる」とは言えない


(3)にu=M^n-(t^n)kを代入すると、
(2^n)k={(t+1)^n}k-(t^n)kとなるので、xは無理数となります。