「x,y,zが無理数で、整数比となるならば、x,y,zが有理数でも、整数比になります。」

x,y,zが無理数で、整数比となるならば、
x,y,zは、共通の無理数の積になります。
その無理数を共通の無理数で割ると、商は、
有理数となります。