>>178
> >>177
> 2^n=(t+1)^n-t^n={(x+m)^n}/k-(x^n)/k={X+m(2/y)}^n-X^nとなり(t+1)^nと{X+m(2/y)}^nを比較するとm(2/y)=1よってm=y/2
>
> (t+1)^nと{X+m(2/y)}^nを比較するとの部分ですが、
> t=X=2x/yなので、xは無理数となります。

だから「(2^n)k={(t+1)^n}k-(t^n)」から「xは無理数となります」といえるのはm(2/y)=1つまりm=y/2の場合だけなんだよ
m≠y/2の場合は(t+1)^n-t^n={(x+m)^n}/k-(x^n)/k={X+m(2/y)}^n-X^nは2^n=2^nより成り立つけれども(t+1)^2≠{X+m(2/y)}^n,t^n≠X^nなのでXとtの比較はできず「xは無理数となります」とは言えない