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

>166
> (2^n)k=(2^n)kとなります。
で何が言いたいの？

当然そうなります。

nが奇素数のとき(2^n)kは有理数なので
> [{(t+1)^n}k+M^n-(t^n)k]は一つの有理数の項となるので、x^n=M^nは有理数となる。

[{(t+1)^n}k+M^n-(t^n)k]は一つの有理数の項となるので、
その場合は、M^n+(2^n)kとなるので、当然の式となります。