>393
(4)が有理数解を持つとき(3)は有理数解を持たない
(4)が有理数解を持たないとき(3)は有理数解を持たない
両方正しいので証明は間違い

386では、「(4)が有理数解を持たないとき(3)は有理数解を持たない」がいえます。

「(4)が有理数解を持つとき(3)は有理数解を持たない」この場合の
例を挙げていただけないでしょうか。