>419
>(4)はx,y,zを有理数とすると成立しない。
>つまり、x:zは有理数 ...(b)

(4)が成立する場合は、x:zは無理数とおもいますが。