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

(t^n)k=x^nと(t^n)+u=x^nが両方成り立っているのでの
(t^n)k=x^nと(t^n)+u=x^nのx^nの値は、異なります。