>>101
> >>99
> (2^n)k={(t+1)^n}k-(t^n)kのkにk=(y/2)^nを代入すると(2^n)k=y^n={(ty/2)+(y/2)}^n-(ty/2)^n
> y^n=(x+m)^n-x^n…(1)と比較すればx=(ty/2)(=Tとおく), m=(y/2),y=2mでありy^n={T+(y/2)}^n-T^n
>
> x=(ty/2)(=Tとおく)この場合のTは無理数となります。

誰もTが有理数になるとは言っていないのだが
(1)が有理数解を持つ場合はy=2mの場合は無理数解でそれ以外のあるy,mで有理数解を持つ