证明:
如果(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中至少一个是整数.