>260
あなたは、(3)の解が無理数で整数比である場合の証拠を、実際に調べる気がないので、絶対に証明は正しくなりません。

(1)のyが無理数で、解が整数比となるならば、yが有理数で、解が整数比となる。
で、調べています。