>>193
> >>190
>
> mがどんな有理数であっても、(1)は(3)となります。

だったら(4)を持ち出す必要もないだろ
> (2^n)k={(t+1)^n}k-(t^n)k…(4)
を使って「xは無理数となる。」が言えるのはtが無理数でm=y/2のときのみなので証明できていない

> mがどんな有理数であっても、(1)は(3)となります。
ということは
> (1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(3)となる。k=(y/2)^n,uは実数。
> {(t^n)k+u}=M^nとなるのは、u=M^n-(t^n)kのときのみである。Mは有理数。
より(1)のxについて「xは無理数となる。」とは言えない