Maths Olympiad Prep

Library / /7 of 48

Algebra Difficulty 6.8 National olympiad Find the answer

Find the maximum value of mm for a sequence P0,P1,,Pm+1P_{0}, P_{1}, \cdots, P_{m+1} of points on a grid satisfying certain conditions.

A number or a short expression. Spacing and $ signs are ignored.

Solution

We will show that the desired maximum value for mm is n(n1)n(n-1). First, let us show that mn(n1)m \leq n(n-1) always holds for any sequence P0,P1,,Pm+1P_{0}, P_{1}, \cdots, P_{m+1} satisfying the conditions of the problem. Call a point a turning point if it coincides with PiP_{i} for some ii with 1im1 \leq i \leq m. Let us say also that 2 points {P,Q}\{P, Q\} are adjacent if {P,Q}={Pi1,Pi}\{P, Q\}=\left\{P_{i-1}, P_{i}\right\} for some ii with 1im1 \leq i \leq m, and vertically adjacent if, in addition, PQP Q is parallel to the yy-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 k{1,2,,n}k \in\{1,2, \cdots, n\}, the number of turning points having the xx-coordinate kk must be even, and hence it is less than or equal to n1n-1. Therefore, altogether there are less than or equal to n(n1)n(n-1) turning points, and this shows that mn(n1)m \leq n(n-1) must be satisfied. It remains now to show that for any positive odd number nn one can choose a sequence for which m=n(n1)m=n(n-1). We will show this by using the mathematical induction on nn. For n=1n=1, this is clear. For n=3n=3, choose P0=(0,1),P1=(1,1),P2=(1,2),P3=(2,2),P4=(2,1),P5=(3,1),P6=(3,3),P7=(4,3)P_{0}=(0,1), \quad P_{1}=(1,1), \quad P_{2}=(1,2), \quad P_{3}=(2,2), \quad P_{4}=(2,1), \quad P_{5}=(3,1), \quad P_{6}=(3,3), \quad P_{7}=(4,3). It is easy to see that these points satisfy the requirements. Let nn be an odd integer 5\geq 5, and suppose there exists a sequence satisfying the desired conditions for n4n-4. 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 (n4)(n5)(n-4)(n-5) 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 (n,2),(n1,n2),(2,3),(1,n1)(n, 2),(n-1, n-2),(2,3),(1, n-1) are turning points. Therefore, the total number of turning points in this configuration is (n4)(n5)+(n2(n4)24)=n(n1)(n-4)(n-5)+\left(n^{2}-(n-4)^{2}-4\right)=n(n-1) showing that for this nn there exists a sequence satisfying the desired properties, and thus completing the induction process.

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.

Source: Omni-MATH, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.