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 2 of 3: Find adjacent points of the same class
Pi=(a,b), Pi+1=(c,d) have the same parity for some iP_i=(a,b),\ P_{i+1}=(c,d)\text{ have the same parity for some }i
Detailed analysis

Among the odd number of points P0,P1,…,P1992P_0,P_1,\ldots,P_{1992}, two consecutive points must have the same one of the two parities; otherwise the classes would alternate and the final class would differ from the first.