085（1 / 5）

就是不等式, 也没有证明题来的多, 证明题往往是从预赛一路到国际赛都有。

洛叶做证明题做的真的异常吐血。

现在看到证明题都想跳到下一题了。

最后强忍住了。

这道题逻辑很重要，要一步步的推下去。

……

把整集合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，即存在

……

这道题用了这一面中的空白部分都显些没有写下，最后在题的最上面写下了最后的答案。

第二题完成。

洛叶甩了甩手，刚刚写了这么多，她的手都酸痛不已了。