>>3
> (t^n)kは無理数なので、xは無理数となる。
間違い (t^n)kが無理数でも(t^n)k+u (u=M^n-(t^n)k, Mは有理数)が有理数ならばxは有理数となる

xは有理数となりますが、その式は成立しません。