Let be distinct points in the -plane with the following properties:
(i) both coordinates of are integers, for ;
(ii) there is no point other than and on the line segment joining with whose coordinates are both integers, for .
Prove that for some , there exists a point with coordinates () on the line segment joining with such that both and are odd integers.
, 1993
Solution
Call a point even or odd according to the parity of . Since there are an odd number of points, there are two points and with the same parity. This implies that is even. We claim that the midpoint of is the desired point .
In fact, since is even, and have the same parity if and only if and also have the same parity. If both happen then the midpoint of , , has integer coordinates, which violates condition (ii). Then and , as well as and , have different parities, and and are both odd integers.
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.