Maximum for m when 3 conditions are satisfied
Source: APMO 2011
May 18, 2011
analytic geometryinductioncombinatorics proposedcombinatorics
Problem Statement
Let be a fixed positive odd integer. Take distinct points (where is a non-negative integer) on the coordinate plane in such a way that the following three conditions are satisfied:
1) , and for each integer , both - and - coordinates of are integers lying in between and ( and inclusive).
2) For each integer , is parallel to the -axis if is even, and is parallel to the -axis if is odd.
3) For each pair with , line segments and share at most point.
Determine the maximum possible value that can take.