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

>>167
迷惑系日高の証明の(2^n)k={(t+1)^n}k-(t^n)kとy^n=(x+m)^n-x^n…(1)からだよ (t^n)k=x^nならばk=(y/2)^nよりx=ty/2でありこのxを(1)に代入するとm=y/2
m≠y/2の場合はx≠ty/2,{(t+1)^n}k≠(x+m)^n,(t^n)k≠x^nなので「xは無理数となる。」は言えない

mがどんな有理数であっても。全て(3)となります。