>>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の有理数解を持たないということです。