>>129
> >>123
> 整理すると、(2^n)k={(t+1)^n}k-(t^n)kとしかならないので、xは無理数となる。
> 証明に書いてあることと違うだろ 「(2^n)k={(t+1)^n}k-(t^n)k」が(3)になるのなら「xは無理数となる」とは言えない
>
> (3)にu=M^n-(t^n)kを代入すると、
> (2^n)k={(t+1)^n}k-(t^n)kとなるので、xは無理数となります。

「(3)にu=M^n-(t^n)kを代入する」場合 tはxの値ではないですよ
u=0の場合の解はx^n=(t^n)k+u=(t^n)kなので「(2^n)k={(t+1)^n}k-(t^n)k」から求められますが
u=0でない他の解はx^n=(t^n)k+u≠(t^n)kより「(2^n)k={(t+1)^n}k-(t^n)k」から直接求められないのでuを足して(3)にしてx^n=(t^n)k+uから求めます