>>83
> (t^n)kは無理数なので、xは無理数となる。
>>84
> 整理すると、(2^n)k={(t+1)^n}k-(t^n)kとしかならないので、xは無理数となる。

よって(1)は無理数である解(たとえばx=t)を持つ
(1)はx^n=(t^n)kを満たすものの他にも解を持つがそれらのxはx^n=(t^n)k+uのuの値を変えることで求められる {(t^n)k+u}=M^n(Mは有理数)であれば(t^n)kが無理数でもx=Mであるから証明は失敗している