>643
x:y:zが整数比となる無理数解があるかもしれないので、証明の中でその場合を考えてください。

x:y:zが整数比となる無理数解があるならば、整数比となる有理数解が、あります。