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 for which is satisfied.
Solution
More generally than the assertion of the problem, we prove that if we replace the number in the problem by any even integer bigger than or equal to , we get for any convex -gon satisfying the condition of the problem the number is the answer for the assertion.
For any integer less than or equal to , let us agree to say that a diagonal of the polygon has the length if the diagonal connects two vertices which bound sides in between.
Let us first give an example of a Z.Z.L.S. for which there are exactly self-intersection points. Let be the given -gon. For each connect vertices and , and vertices and . Each of these diagonals has length . Connect also the vertices and , and vertices and . These two diagonals have length . It is easy to check that these 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 self-intersection points on the diagonal . If we dissect the polygon into two parts by the diagonal , then one part has vertices and the other vertices. There is no diagonal other than having length or more which is contained in either of these two parts. Consequently, the diagonal shares points with every one of the diagonals except . So, it shares points with diagonals. Of these 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 diagonals giving self-intersection points on the diagonal . The same argument gives also that the diagonal has self-intersection points as well.
For the diagonals and 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, 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
self-intersection points for the closed Z.Z.L.S. constructed above.
Next, we show that there cannot be more than 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 . Call a diagonal good diagonal if it contains self-intersection points. If there are or less good diagonals, then the total number of self-intersection points would be at most . So, we must have at least good diagonals.
Note that any good diagonal must have length . To see why this is so, let us assume that a diagonal has length less than . Then, when we dissect the polygon into two parts by , one part has at most vertices, and any diagonal intersecting with must have one of these vertices as its end point. Therefore, there are at most such diagonals, and cannot be a good diagonal.
Let us take three good diagonals. Since each one has length , any pair of them intersect each other. So, we may designate them as , , , assuming that vertices , , , , , lie on the polygon in this order.
Let be a vertex of the polygon and let be the vertex lying at the other end of one of the diagonals starting from , and be the vertex lying at the other end of the diagonal starting from but different from . If both and are different from both and (then would be different from both and also), both diagonals , intersect , since is a good diagonal. Therefore, vertices and lie on the same side of . The same reasoning applies to and as well, so we can conclude that there exists an integer () such that and lie in between and . Here we take to be equal to , and we allow the possibility that or may coincide with or .
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 , , , , , , 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.
• , , are black.
• , , are black.
In the first case above, it should be possible to start from and repeating the process of going along contiguous diagonals to go through both and exactly once and return to . But as we have seen above it would be impossible to go from to (and from to ) without going through , so we have a contradiction.
In the second case, it is impossible to start from to go outside of the portion of the polygon bounded by and by repeating the process of going along contiguous diagonals, and hence it is impossible to reach from to by repeating the process of going along 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 self-intersections, and we have as the solution to the problem.