>598
それは言い換えると
(3)の解(x,y,z)が整数比となるのは、x,y,zが全て有理数のときに限る。
ということですか？

はい。そうです。