>>685

x^2+y^2=(x+4)…(4)
x=8,z=12の時、x,yは有理数となりません。
x,yが有理数とならないような数があることは、x、yが有理数とならない証明になりません

x^n+y^n=(x+(an)^{1/(n-1)})^n…(4)
x、zを有理数とすると、x、yが有理数とならないかどうかは、わかりません。
x,yが有理数とならないような数があることは、x、yが有理数とならない証明になりません