1988.IMO.6数论--无穷递降法

我们的情人不过是随便借个名字,用幻想吹出来的肥皂泡,把信拿去吧,你可以使假戏成真。我本来是无病呻吟,漫无目的的吐露爱情,现在这些漂泊不定的鸟儿有地方栖息了,你可以从信里看出来。拿去吧,由于不是出自真心,话就说得格外动听,拿去吧,就这么办!
——《西哈诺》


以下是证明:

经典的无穷递降法,关键在于是否能够借助k不为完全平方数的性质,让希望构造出来的更小解不为0,而可以在不等于0的情况下,让方程的解无限变小,从而产生矛盾。
高中生自行整理,如有错误,欢迎指出。