必为整数；
根据（2），a2不可能为0；
由于a1≥b1，因此a2必定小于a1
但由于a1已经是方程的最小解了，a2不应该小于a1，因为这和我们说a1+b1是方程解的和的最小值，因此两者相矛盾……
因而最终我们可以证明，（a2+b2）/（ab+1）是某个正整数的平方。
证毕。
很有仪式感地一笔一划，写完最后两个字，林晓不禁抹了一把汗。
“差点被这道题秀住了，还好我技高一筹。”
长出一口气，他刚开始可真是被难住了，但幸好，在最后他又想出了一个更秀的逻辑，也就是利用反证法，去证明“没有最小，只有更小”，然后才算完成证明。
他对于自己的这个证明方法都感到相当的佩服。
“不愧是我。”
满意地放下了卷子，看了看时间，还有半个小时，而他解开这道题差不多花六十多分钟，远超其他的题。
看到自己花了这么久的时间，林晓不由皱了皱眉：“居然用了这么久的时间，要是正式比赛都考这种题的话，那岂不是没时间了？”
“果然，我还得学习的更认真一些，其他一些数学大佬们，说不定三十多分钟就能写出这道题。”
“不过，看来参加这个培训班还是有意义的，不然的话，都不知道居然还会考这么难的题。”
他完全忽略了这道题题号后面标注的题目来源，毕竟平时做题做多了，忽略这种标注也属正常。
要是他知道这道题居然是来自于IMO，大概就不会想这么多了。
不过，就在这个时候，系统的声音又一次
第十二章 意外的系统奖励(2/5)