Maths Olympiad Prep

Library / /27 of 29

Geometry Difficulty 7.9 National Olympiad, round 2 Prove it Middle European Mathematical Olympiad (MEMO)

Problem:
Let n3n \geqslant 3 be an integer. A sequence P1,P2,,PnP_{1}, P_{2}, \ldots, P_{n} of distinct points in the plane is called good if no three of them are collinear, the polyline P1P2PnP_{1} P_{2} \ldots P_{n} is non-self-intersecting and the triangle PiPi+1Pi+2P_{i} P_{i+1} P_{i+2} is oriented counterclockwise for every i=1,2,,n2i=1,2, \ldots, n-2.
For every integer n3n \geqslant 3 determine the greatest possible integer kk with the following property: there exist nn distinct points A1,A2,,AnA_{1}, A_{2}, \ldots, A_{n} in the plane for which there are kk distinct permutations σ:{1,2,,n}{1,2,,n}\sigma:\{1,2, \ldots, n\} \rightarrow\{1,2, \ldots, n\} such that Aσ(1),Aσ(2),,Aσ(n)A_{\sigma(1)}, A_{\sigma(2)}, \ldots, A_{\sigma(n)} is good.
(A polyline P1P2PnP_{1} P_{2} \ldots P_{n} consists of the segments P1P2,P2P3,,Pn1PnP_{1} P_{2}, P_{2} P_{3}, \ldots, P_{n-1} P_{n}.)

Solution

Solution:
Fix nn points on a plane, no three of which are collinear. Let P\mathcal{P} be their convex hull. Let the vertices of P\mathcal{P} be A1,A2,,AmA_{1}, A_{2}, \ldots, A_{m} (lying in this order on the boundary of P\mathcal{P} counterclockwise). We denote Am+1=A1A_{m+1}=A_{1}. Also, let I\mathcal{I} be the set of our fixed points other than A1,,AmA_{1}, \ldots, A_{m}, i.e. the points lying in the interior of P\mathcal{P}.

Lemma. Every good polyline contains all but one side of P\mathcal{P}.
Proof. The key observation is that if a segment AiAi+1A_{i} A_{i+1} is not a part of our polyline, then the point Ai+1A_{i+1} appears in the polyline before AiA_{i}.
This is clear if AiA_{i} is the last vertex of the polyline. Otherwise there is a segment AiXA_{i} X in the polyline, where XAi+1X \neq A_{i+1}. Observe that all segments appearing after AiXA_{i} X are located in the halfplane determined by the line AiXA_{i} X which does not contain the point Ai+1A_{i+1}. This is because the polyline always turns left, has no self-intersections, and AiA_{i} is a vertex of P\mathcal{P}. This implies that the point Ai+1A_{i+1} must appear in the polyline before AiA_{i}.
It is clear that at least one side of P\mathcal{P} does not appear in the polyline. Suppose now that Ai1Ai1+1,Ai2Ai2+1,,AijAij+1A_{i_{1}} A_{i_{1}+1}, A_{i_{2}} A_{i_{2}+1}, \ldots, A_{i_{j}} A_{i_{j}+1} are all segments on the boundary of P\mathcal{P} that do not appear in the polyline (where 1i1<i2<<ijn1 \leqslant i_{1}<i_{2}<\ldots<i_{j} \leqslant n and j2j \geqslant 2 ). Using the observation we know that Ai1A_{i_{1}} appears after Ai1+1A_{i_{1}+1}, which is followed by Ai1+2,Ai1+3,,Ai2A_{i_{1}+2}, A_{i_{1}+3}, \ldots, A_{i_{2}}. Since Ai2Ai1A_{i_{2}} \neq A_{i_{1}}, this means that Ai1A_{i_{1}} appears after Ai2A_{i_{2}}. Analogously, Ai2A_{i_{2}} appears after Ai3A_{i_{3}}, and so on, and AijA_{i_{j}} appears after Ai1A_{i_{1}}. Thus Ai1A_{i_{1}} appears after Ai1A_{i_{1}}, which is absurd. Therefore there is exactly one ii such that AiAi+1A_{i} A_{i+1} does not belong to the polyline.

Lemma. For every good polyline there is a line which intersects exactly one segment of the polyline.
Proof. Using the previous lemma we know that there is exactly one ii such that AiAi+1A_{i} A_{i+1} does not belong to the polyline. Thus the polyline is of the form B1B2BjAi+1Ai+2Ai1AiC1C2ClB_{1} B_{2} \ldots B_{j} A_{i+1} A_{i+2} \ldots A_{i-1} A_{i} C_{1} C_{2} \ldots C_{l}. (It may happen that there are no points before Ai+1A_{i+1} and/or no points after AiA_{i}.)
It is quite clear that B1B2BjAi+1B_{1} B_{2} \ldots B_{j} A_{i+1} and AiC1C2ClA_{i} C_{1} C_{2} \ldots C_{l} can be separated by a line. Again, this follows form the fact that polyline has no self-intersections and always turns left, and the fact that you can separate two non-intersecting convex polygons by a line. It is clear that this separating line must intersect exactly one segment of the polyline Ai+1Ai+2Ai1AiA_{i+1} A_{i+2} \ldots A_{i-1} A_{i}.

Lemma. Each good polyline is uniquely determined by an ii such that AiAi+1A_{i} A_{i+1} is not in the polyline and by the partition I=BC\mathcal{I}=\mathcal{B} \cup \mathcal{C} such that there is a line intersecting AiAi+1A_{i} A_{i+1} separating B\mathcal{B} from C\mathcal{C}.
Proof. This is easy to see. We use the previous lemma and the fact that the polyline only turns left and has no self-intersections.

Lemma. Consider the (nm2)\binom{n-m}{2} lines determined by the points of I\mathcal{I}. Suppose that jj of them intersect segment AiAi+1A_{i} A_{i+1}. Then there are exactly nm+j+1n-m+j+1 good polylines not containing AiAi+1A_{i} A_{i+1}.
Proof. We will move a point XX along the segment AiAi+1A_{i} A_{i+1}, starting from AiA_{i}, and count how many good partitions of I\mathcal{I} are there. In the beginning of our journey there are nm+1n-m+1 possible partitions of I\mathcal{I} by a line passing through XX. Every time we cross a line determined by some two points of I\mathcal{I} we get exactly one new partition. Since we cross jj such lines, the total number of good partitions is equal to nm+1+jn-m+1+j. This corresponds to nm+j+1n-m+j+1 good polylines.

Lemma. There are exactly (nm+1)m+2(nm2)(n-m+1) m+2\binom{n-m}{2} good polylines.
Proof. For each ii there are nm+ji+1n-m+j_{i}+1 good polylines. Summing up yields
i=1mnm+ji+1=m(nm+1)+i=1mji=(nm+1)m+2(nm2) \sum_{i=1}^{m} n-m+j_{i}+1=m(n-m+1)+\sum_{i=1}^{m} j_{i}=(n-m+1) m+2\binom{n-m}{2}
because there are (nm2)\binom{n-m}{2} lines determined by points in I\mathcal{I} and each of them intersects two sides of P\mathcal{P}.
Since m2(nm2)+(nm+1)mm \mapsto 2\binom{n-m}{2}+(n-m+1) m is decreasing, it follows that the greatest possible number of good polylines is achieved for the smallest possible value of mm, i.e. for m=3m=3. Therefore the answer is 2(n32)+3(n2)=n24n+62\binom{n-3}{2}+3(n-2)=n^{2}-4 n+6.

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: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.