>>170
> >>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)となります。

> mがどんな有理数であっても。全て(3)となります。
(3)からuを消すと全てm=y/2になる
> よって、{(t+1)^n}k=(x+m)^n,(t^n)k=x^nは無理数となる。
迷惑系日高の証明では(3)になっていないだろ (3)になるということは「{(t+1)^n}k+u=(x+m)^n,(t^n)k+u=x^n」