MathLabs

第5题

设 P1,P2,…,P1993=P0P_1,P_2,\ldots,P_{1993}=P_0 是 xyxy 平面上坐标为整数的互异点。假设对每个 i=0,1,…,1992i=0,1,\ldots,1992,在线段 PiPi+1P_iP_{i+1} 上除 PiP_i 和 Pi+1P_{i+1} 外没有坐标均为整数的点。证明存在某个 ii,0≤i≤19920\le i\le1992,使线段 PiPi+1P_iP_{i+1} 上有一点 Q=(qx,qy)Q=(q_x,q_y),且 2qx2q_x 和 2qy2q_y 都是奇整数。
第 1/3 步:按奇偶性分类整数点
P=(a,b) is even or odd according as a+b is even or oddP=(a,b)\text{ is even or odd according as }a+b\text{ is even or odd}
详细分析

对于整数点 P=(a,b)P=(a,b),按 a+ba+b 的奇偶性称其为偶点或奇点。这样的分类只有两类。