>>278
> >>272
> > u=M^n-(t^n)kとしても、(2^n)k={(t+1)^n}k-(t^n)kとなります。
> それはu=M^n-(t^n)kの有理数解の他にu=0の無理数解を持つということだから証明は間違い
>
> これはu=M^n-(t^n)kの有理数解を持たないということです。

(2^n)k={(t+1)^n}k-(t^n)kが成立していれば(2^n)k={(t+1)^n}k+u-(t^n)k+uは必ず成立して(1)のxに関して(t^n)k=x^nと(t^n)+u=x^nが両方成り立っているので「これはu=M^n-(t^n)kの有理数解を持たないということです。」は間違い