>411
x,yが無理数の場合を検討していないからです。

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