1.我门这么看把4017看成2009+2008并且把1到2008分组,
(1,2008) 不用说,另一组就是(1,2007)
(2,2007) (2,2006)
：:
：:
（1004,1005） (1003,1005)
1004
2008
当N为1007时,第一组里至少3个配成了对(抽地原理,不解释了)而第2组也就有2个配成了对,当我们任取第一组里配成的一对时,只要这个配对中的2个数都在第2个组里的2个配对里,则此个配对不满足但是,着第一组里这配出的6个数都不一样(灰常关键!)所以一定有一组是(c,d)配对里面只有一个和第2组的2个配对里相一样,a,b,c,d即为满足的配对
2,小于等于1006的时候不成立,我们可以轻易举出反例1003到2008,一共1006个,我门发现最小的4个加起来也是4018所以这不能满足,1005等等我相信就更不用说了
好累,楼主有不懂了随时问