假设命题成立。
首先将1-200按照连续除以2,直到不能被2整除的结果分为100组,即:
1,1*2,1*4,...
3,3*2,3*4,...
197
197
199
每一组中的数都能互相整除。所以如果想取100个不能互相整除的数,只能每个组取一个。设取的数位:
a1 = 1*2^k1
a3 = 3*2^k3
a5 = 5*2^k5
a199 = 199*2^k199
设那个小于16的数位ai=i*2^ki,i>=1。
则a3i=3i*2^k3i,于是k3i<ki,即k3i<=ki-1否则ai将整除a3i
ai=81
故矛盾,所以假设不成立,命题的证明。
在坐标平面上任意给定13个整点(两个坐标均为整数的点)则必有一个以他们中的三个为顶点的三角形其重心也是整点三角形重心坐标为((x1+x2+x3)/3,(y1+y2+y3)/3);这道题的关键就是适当地分类。
对13个点的x,y分别考虑,对于所有的x(共13个)来说,按照除以3以后的余数来划分,可以分为0,1,2三类,其中必有一类为5个或以上(抽屉原理)。
对于这一类的5个点,任意取三个的话,它们的重心的x坐标为整数。
考虑它们的y值,也可以分为余数为0,1,2三类,假如某一类有超过3个元素的话,取得这三个点的y值,他们的重心的y坐标为整数。
如果没有任何一个类有超过3个元素的话,从这三个类中各取一个元素,即可得到重心y坐标为整数的三角形。