>795
x^p+y^p=(x+r)^pという式がある時、x、y、rすべてを勝手に決めることはできない
x、yが有理数と勝手に決めたらrが無理数と勝手に決めることはできない、式を満たすrは有理数と自動的に決まる

x,yを有理数と決めた後rを無理数と勝手に決めている>>785は失敗です。

rは、勝手に決めてはいません。
式変形により、導きました。