>414
>x=1,y=1,z=2は最初の式を満たします。反例です。

x,y,zは、無理数でも、最初の式を満たします。