>>88
(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であるから証明は失敗している

{(t^n)k+u}=M^nを、(3)に代入するとどうなりますか?