>296
(3)はr=z-x=√3であるからx,zが有理数である解を持つことはない
しかし(4)はx,zが有理数である解を持つ
よって
> (3)は有理数解を持たないので、
からは
> (4)も有理数解を持たない
と言えないことが分かる

(4)はx,zが有理数である解を持ちますが、この場合のyは無理数となります。
理由は、(3)のx,yが整数比とならないからです。