「>>60 が正しい」なら

【定理】x^2+y^2=z^2の解x,y,zは、整数比とならない。
【証明】x^2+y^2=z^pを、z=x+rとおいてx^2+y^2=(x+r)^2…(A)とする。
r=√2のとき(A)はx^2+y^2=(x+√2)^2…(B)となる。
rが無理数なので、yが有理数のとき、解x,y,zは整数比とならない。
(2)はrが有理数であるとき、
r=√2aとなるaをとり、x^2+y^2=(x+√2a)^2…(C)となる。
(C)の解は(B)の解のa倍となるので、rが有理数のときの解x,y,zは整数比とならない。
∴x^2+y^2=z^2の解x,y,zは、整数比とならない。

も正しいことになるのかな？
もちろん、これは間違っているけれど。