就是不等式, 也没有证明题来的多, 证明题往往是从预赛一路到国际赛都有。
洛叶做证明题做的真的异常吐血。
现在看到证明题都想跳到下一题了。
最后强忍住了。
这道题逻辑很重要，要一步步的推下去。
……
把整集合S=（1，2, 3，4……1978）分成六个两两不相交的子集Si（i=1，2, 3, ……6），一定有一个Sn, 能在里面找到两个数a, b，使得a=2b（1）
或者找到不用的x，y, 满足
x y=z （2）
因为（1）可以理解为a=b b, 所以（1）和（2）可以整正合在一起说成，在Sn中一定有三个数x.y，z（不一定互不相同)满足（2）。
……
思考到了这一步，就可以采用反证法了。
假设集合S的一种分法, S1，S2……sn并且每一个S当中都不可能找到一个x, y, z来满足（2）
……
显然, 如果这65个差中有一个属于Sn, 与前面一样，就可以找到三个数满足（2）与假设。
另外，整如果（4）中65个差中有一个属于Sn，即存在
……
这道题用了这一面中的空白部分都显些没有写下，最后在题的最上面写下了最后的答案。
第二题完成。
洛叶甩了甩手，刚刚写了这么多，她的手都酸痛不已了。