初等数学によるフェルマーの最終定理の証明９

>>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は無理数となります。