Maths Olympiad Prep

Library / Middle European Mathematical Olympiad /25 of 26

Middle European Mathematical Olympiad

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

Problem:
Let n⩾3n \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 P1P2…PnP_{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,…,n−2i=1,2, \ldots, n-2.
For every integer n⩾3n \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 P1P2…PnP_{1} P_{2} \ldots P_{n} consists of the segments P1P2,P2P3,…,Pn−1PnP_{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 X≠Ai+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 1⩽i1<i2<…<ij⩽n1 \leqslant i_{1}<i_{2}<\ldots<i_{j} \leqslant n and j⩾2j \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 Ai2≠Ai1A_{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 B1B2…BjAi+1Ai+2…Ai−1AiC1C2…ClB_{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 B1B2…BjAi+1B_{1} B_{2} \ldots B_{j} A_{i+1} and AiC1C2…ClA_{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+2…Ai−1AiA_{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=B∪C\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 (n−m2)\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 n−m+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 n−m+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 n−m+1+jn-m+1+j. This corresponds to n−m+j+1n-m+j+1 good polylines.

Lemma. There are exactly (n−m+1)m+2(n−m2)(n-m+1) m+2\binom{n-m}{2} good polylines.
Proof. For each ii there are n−m+ji+1n-m+j_{i}+1 good polylines. Summing up yields
∑i=1mn−m+ji+1=m(n−m+1)+∑i=1mji=(n−m+1)m+2(n−m2) \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 (n−m2)\binom{n-m}{2} lines determined by points in I\mathcal{I} and each of them intersects two sides of P\mathcal{P}.
Since m↦2(n−m2)+(n−m+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(n−32)+3(n−2)=n2−4n+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,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.