>>1
> 整理すると、(2^n)k={(t+1)^n}k-(t^n)kとなる。
(2^n)k={(t+1)^n}k-(t^n)kは右辺の各項の値が異なるのでy^n=(x+m)^n-x^n…(1)ではない
> (t^n)kは無理数なので、xは無理数となる。
間違い (t^n)kが無理数でも(t^n)k+u (u=M^n-(t^n)k, Mは有理数)が有理数ならばxは有理数となる