Find the maximum value of for a sequence of points on a grid satisfying certain conditions.
Solution
We will show that the desired maximum value for is . First, let us show that always holds for any sequence satisfying the conditions of the problem. Call a point a turning point if it coincides with for some with . Let us say also that 2 points are adjacent if for some with , and vertically adjacent if, in addition, is parallel to the -axis. Any turning point is vertically adjacent to exactly one other turning point. Therefore, the set of all turning points is partitioned into a set of pairs of points using the relation of "vertical adjacency". Thus we can conclude that if we fix , the number of turning points having the -coordinate must be even, and hence it is less than or equal to . Therefore, altogether there are less than or equal to turning points, and this shows that must be satisfied. It remains now to show that for any positive odd number one can choose a sequence for which . We will show this by using the mathematical induction on . For , this is clear. For , choose . It is easy to see that these points satisfy the requirements. Let be an odd integer , and suppose there exists a sequence satisfying the desired conditions for . Then, it is possible to construct a sequence which gives a configuration indicated in the following diagram, where the configuration inside of the dotted square is given by the induction hypothesis: By the induction hypothesis, there are exactly turning points for the configuration inside of the dotted square, and all of the lattice points lying outside of the dotted square except for the 4 points are turning points. Therefore, the total number of turning points in this configuration is showing that for this there exists a sequence satisfying the desired properties, and thus completing the induction process.