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

>>179
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は無理数となります」とは言えない

m,yを有理数とすれば、m=y/2となります。
m≠y/2の場合は存在しないことになります。