>(2)が実数解を持つことは簡単に分かるから証明は間違い

x,yの有理数解は、一つのみです
他には、ありません。数を代入してみてください。