用反证法证明:如果a，b，c，是三个任意的整数，那么a+b/2，b+c/2，c+a/2

证明： 如果（a+b）除2,（b+c）除2,（c+a）除2都不是整数 则 （a+b）除2+（b+c）除2+（c+a）除2=a+b+c也不是整数 与已知矛盾 所以假设不成立 所以（a+b）除2,（b+c）除2,（c+a）除2中至少一个是整数.