证明思路如下,9个数分成两个集合,至少有一个集合中,数的个数大于等于5,记为集合A,下面证明集合A中一定含有构成等差数列的三个数.不妨设集合A含有5个数字且将集合A中的数字从小到大排列,不妨让数字1在集合A中,反证法.
下面如果不用程序证明,可以取2也在集合中,则3不能在,4可以,5可以,6、7、8、9任意一个在都不可,与集合中数字个数大于5矛盾,由于1、2是最小的数,取比他们大的数必然结果更明显,所以得正.
若用程序证明,就用枚举法,分别取第二小的数为2、3、4、5、6,证明矛盾.