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

>>147
「m=y/2,x=ty/2の意味」は(t^n)k=x^nならば(t^n)k=(t^n)(y/2)^n=(ty/2)^n=x^nよりx=ty/2でありこのときm=y/2であるから
「(2^n)k={(t+1)^n}k-(t^n)k」とy^n=(x+m)^n-x^n…(1)が同じ式である条件は「m=y/2,x=ty/2」であるという意味

x=ty/2ならば、tは無理数なので、xも無理数となります。