Maths Olympiad Prep

Library / /74 of 94

Geometry Difficulty 7.5 National Olympiad, round 2 Prove it Japan

Suppose for a convex 2010-gon, any 3 diagonals do not share a common point except for vertices. Let us consider a closed zig-zag line segments (abbr. by Z.Z.L.S.) which goes through each of the vertices of the 2010-gon once and only once. Determine the maximum possible number of the self-intersection points for such a closed Z.Z.L.S. Here, by a closed Z.Z.L.S. we mean contiguous line segments P1P2PnPn+1P_1P_2\ldots P_nP_{n+1} for which P1=Pn+1P_1 = P_{n+1} is satisfied.

Solution

More generally than the assertion of the problem, we prove that if we replace the number 20102010 in the problem by any even integer 2m2m bigger than or equal to 66, we get for any convex 2m2m-gon satisfying the condition of the problem the number 2m24m+12m^2 - 4m + 1 is the answer for the assertion.

For any integer ii less than or equal to mm, let us agree to say that a diagonal of the polygon has the length ii if the diagonal connects two vertices which bound ii sides in between.

Let us first give an example of a Z.Z.L.S. for which there are exactly 2m24m+12m^2 - 4m + 1 self-intersection points. Let P1P2PmQ1Q2QmP_1P_2 \cdots P_mQ_1Q_2 \cdots Q_m be the given 2m2m-gon. For each i=1,2,,m1i = 1, 2, \dots, m-1 connect vertices PiP_i and Qi+1Q_{i+1}, and vertices QiQ_i and Pi+1P_{i+1}. Each of these 2m22m-2 diagonals has length m1m-1. Connect also the vertices P1P_1 and Q1Q_1, and vertices PmP_m and QmQ_m. These two diagonals have length 22. It is easy to check that these 2m2m diagonals form a closed Z.Z.L.S.

Let us count the number of self-intersections of this closed Z.Z.L.S. In the sequel, the term "diagonal" refers only to diagonals constituting segments of this closed Z.Z.L.S.

Let us first show that there are 2m42m-4 self-intersection points on the diagonal PiQi+1P_iQ_{i+1}. If we dissect the polygon into two parts by the diagonal PiQi+1P_iQ_{i+1}, then one part has mm vertices and the other m2m-2 vertices. There is no diagonal other than Pi+1QiP_{i+1}Q_i having length m1m-1 or more which is contained in either of these two parts. Consequently, the diagonal PiQi+1P_iQ_{i+1} shares points with every one of the diagonals except Pi+1QiP_{i+1}Q_i. So, it shares points with 2m12m-1 diagonals. Of these 2m12m-1 diagonals there are itself and two diagonals with which it shares an end point and these should be excluded from the consideration of self-intersection points, and therefore, there are 2m42m-4 diagonals giving self-intersection points on the diagonal PiQi+1P_iQ_{i+1}. The same argument gives also that the diagonal Pi+1QiP_{i+1}Q_i has 2m42m-4 self-intersection points as well.

For the diagonals P1Q1P_1Q_1 and PmQmP_mQ_m the same type of argument as above shows that both of them share points with all of the diagonals, and excluding itself and two diagonals which share an end point from the consideration, 2m32m-3 diagonals give self-intersection points on each of these two diagonals.

Taking into account the fact that each self-intersection point is counted twice in this argument, we conclude, therefore, that there are
(2m2)(2m4)+2(2m3)2=2m24m+1 \frac{(2m-2)(2m-4) + 2 \cdot (2m-3)}{2} = 2m^2 - 4m + 1
self-intersection points for the closed Z.Z.L.S. constructed above.

Next, we show that there cannot be more than 2m24m+12m^2 - 4m + 1 self-intersections for any closed Z.Z.L.S.

By arguing as above, we can show that the number of self-intersection points on any diagonal cannot exceed 2m32m - 3. Call a diagonal good diagonal if it contains 2m32m - 3 self-intersection points. If there are 22 or less good diagonals, then the total number of self-intersection points would be at most 2m24m+12m^2 - 4m + 1. So, we must have at least 33 good diagonals.

Note that any good diagonal must have length mm. To see why this is so, let us assume that a diagonal ll has length less than mm. Then, when we dissect the polygon into two parts by ll, one part has at most m2m - 2 vertices, and any diagonal intersecting with ll must have one of these vertices as its end point. Therefore, there are at most 2m42m - 4 such diagonals, and ll cannot be a good diagonal.

Let us take three good diagonals. Since each one has length mm, any pair of them intersect each other. So, we may designate them as A1A4A_1A_4, A2A5A_2A_5, A3A6A_3A_6, assuming that vertices A1A_1, A2A_2, A3A_3, A4A_4, A5A_5, A6A_6 lie on the polygon in this order.

Let QQ be a vertex of the polygon and let QQ' be the vertex lying at the other end of one of the diagonals starting from QQ, and QQ'' be the vertex lying at the other end of the diagonal starting from QQ' but different from QQQ'Q. If both QQ and QQ'' are different from both A1A_1 and A4A_4 (then QQ' would be different from both A1A_1 and A4A_4 also), both diagonals QQQQ', QQQ'Q'' intersect A1A4A_1A_4, since A1A4A_1A_4 is a good diagonal. Therefore, vertices QQ and QQ'' lie on the same side of A1A4A_1A_4. The same reasoning applies to A2A5A_2A_5 and A3A6A_3A_6 as well, so we can conclude that there exists an integer ii (1i61 \leq i \leq 6) such that QQ and QQ'' lie in between AiA_i and Ai+1A_{i+1}. Here we take A7A_7 to be equal to A1A_1, and we allow the possibility that QQ or QQ'' may coincide with AiA_i or Ai+1A_{i+1}.

Let us color every other vertex on the closed Z.Z.L.S. black as we go along the cycle starting with a vertex. Then, for each of the pairs A1A_1, A4A_4, A2A_2, A5A_5, A3A_3, A6A_6, one and only one of the two vertices in the pair will be colored black. Without loss of generality we may assume that one of the following two cases occurs.

A1A_1, A2A_2, A3A_3 are black.
A1A_1, A3A_3, A5A_5 are black.

In the first case above, it should be possible to start from A1A_1 and repeating the process of going along 22 contiguous diagonals to go through both A2A_2 and A3A_3 exactly once and return to A1A_1. But as we have seen above it would be impossible to go from A1A_1 to A3A_3 (and from A3A_3 to A1A_1) without going through A2A_2, so we have a contradiction.

In the second case, it is impossible to start from A1A_1 to go outside of the portion of the polygon bounded by A6A_6 and A2A_2 by repeating the process of going along 22 contiguous diagonals, and hence it is impossible to reach from A1A_1 to A3A_3 by repeating the process of going along 22 contiguous diagonals. Thus we have a contradiction in this case as well.

Summarizing, we have shown that there is no closed Z.Z.L.S. which has more than 2m24m+12m^2 - 4m + 1 self-intersections, and we have 2(1005)24(1005)+1=20160312(1005)^2 - 4(1005) + 1 = 2016031 as the solution to the problem.

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.