凉水书库

第085章（第1页）

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

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

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

最后强忍住了。

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

……

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

……

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