第十二章 意外的系统奖励

根据（2），a2不可能为0；

由于a1≥b1，因此a2必定小于a1

但由于a1已经是方程的最小解了，a2不应该小于a1，因为这和我们说a1+b1是方程解的和的最小值，因此两者相矛盾……

因而最终我们可以证明，（a2+b2）/（ab+1）是某个正整数的平方。』

证毕。

很有仪式感地一笔一划，写完最后两个字，林晓不禁抹了一把汗。

“差点被这道题秀住了，还好我技高一筹。”

长出一口气，他刚开始可真是被难住了，但幸好，在最后他又想出了一个更秀的逻辑，也就是利用反证法，去证明“没有最小，只有更小”，然后才算完成证明。

他对于自己的这个证明方法都感到相当的佩服。

“不愧是我。”

满意地放下了卷子，看了看时间，还有半个小时，而他解开这道题差不多花六十多分钟，远超其他的题。

看到自己花了这么久的时间，林晓不由皱了皱眉：“居然用了这么久的时间，要是正式比赛都考这种题的话，那岂不是没时间了？”

“果然，我还得学习的更认真一些，其他一些数学大佬们，说不定三十多分钟就能写出这道题。”

“不过，看来参加这个培训班还是有意义的，不然的话，都不知道居然还会考这么难的题。”

他完全忽略了这道题题号后面标注的题目来源，毕竟平时做题做多了，忽略这种标注也属正常。

要是他知道这道题居然是来自于IMO，大概就不会想这么多了。

不过，就在这个时候，系统的声音又一次响起。