>757
から(3)のx,y,zが無理数で整数比の場合は除外されないので

(3)のx,y,zが無理数で整数比となるならば、x,y,zが有理数で、整数比となります。