>>155
> >>152
> なぜか迷惑系日高は肝心な所を省くがそれはm=y/2の場合だよ 正しくは m=y/2の場合は「x=ty/2ならば、tは無理数なので、xも無理数となります。」 m≠y/2の場合はx≠ty/2なので「xは無理数となる。」は言えない
>
> m=y/2はどこから、でてきたのでしょうか？

> m=y/2はどこから、でてきたのでしょうか？
迷惑系日高の証明の(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は無理数となる。」は言えない