>(1)が整数解を持たないならば(1)が有理数解を持たないことを示していないので間違い

(1)は、3^2=5^2-4^2と5^2=13^2-12^2を持つので、
(15/2)^2=(17/2)^2-4^2を持つ。