MathLabs

Problem 5

Let P1,P2,…,P1993=P0P_1,P_2,\ldots,P_{1993}=P_0 be distinct points in the xyxy-plane with integer coordinates. Assume that no point other than PiP_i and Pi+1P_{i+1} on the segment PiPi+1P_iP_{i+1} has both coordinates integers, for i=0,1,…,1992i=0,1,\ldots,1992. Prove that for some ii, 0≤i≤19920\le i\le1992, there is a point Q=(qx,qy)Q=(q_x,q_y) on PiPi+1P_iP_{i+1} such that both 2qx2q_x and 2qy2q_y are odd integers.
Step 1 of 3: Classify integer points by parity
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}
Detailed analysis

Call an integer point P=(a,b)P=(a,b) even or odd according as a+ba+b is even or odd. There are only two classes.