>730
(3) の x:y:z = 無理数:無理数:無理数

が、成立するならば、x,y,zは有理数となります。