Maths Olympiad Prep

Library / /3 of 4

Geometry Difficulty 8.6 Shortlist Prove it Estonia

Let nn be a natural number, n3n \ge 3. Find the maximal number of diagonals of a regular nn-gon one can select in such a way that every two selected diagonals that intersect each other inside the polygon are perpendicular.

Solution

If nn is odd, one can select all n3n - 3 diagonals connecting one fixed vertex to others. In order to prove that the conditions of the problem do not allow more, it suffices to show that no two diagonals are perpendicular. Fix one diagonal arbitrarily; it partitions the boundary of the polygon into two halves, out of which one contains an even number of vertices and the other contains an odd number of vertices. In the latter half, the side that connects two medium vertices is parallel to the chosen diagonal. Thus the existence of two perpendicular diagonals would imply the existence of two perpendicular sides. This is possible only if n0(mod4)n \equiv 0 \pmod{4}, contradiction.

If n2(mod4)n \equiv 2 \pmod{4}, one can select every second vertex on the boundary and select initially all diagonals that connect two consecutive selected vertices. Furthermore, select all n23\frac{n}{2} - 3 diagonals connecting one fixed selected vertex to all other selected vertices that it is not connected to yet. Finally, select the diagonal connecting this very vertex to its opposite vertex of the original polygon. This way, one selects n2n-2 diagonals. If n0(mod4)n \equiv 0 \pmod{4} then one can initially select n2\frac{n}{2} diagonals as in the previous case, and then select n22\frac{n}{2} - 2 more diagonals in the n2\frac{n}{2}-gon formed by the selected diagonals according to the algorithm described in this paragraph.

Now prove that selecting more diagonals is impossible. At first we show that all selected diagonals that intersect some other selected diagonals must lie in two perpendicular directions. Indeed, consider one pair of mutually intersecting diagonals. The number of vertices of the polygon lying between two endpoints of distinct diagonals under consideration is less than half of the number of all vertices of the polygon. If one more pair of mutually intersecting diagonals is added, the same holds for it. This means that the other pair cannot be fit entirely in none of the windows left there by the initial pair of diagonals. Thus at least one diagonal from the first pair and one from the second pair intersect, which means that they all must lie in two perpendicular directions.

Let there be dd selected diagonals and kk intersection points of selected diagonals. Consider pieces of the plane into which the selected diagonals divide the interior of the polygon; all these pieces are polygons whose vertices coincide with vertices of the original polygon and the intersection points of selected diagonals. The sum of internal angles of all pieces is (n2)180+k360(n-2) \cdot 180^\circ + k \cdot 360^\circ. The sum of the numbers of vertices of these pieces is n+2d+4kn + 2d + 4k, since the initial polygon has nn vertices, each diagonal adds 2 endpoints and each intersection of two diagonals adds 4. Let ww be the number of pieces; then (n2)180+k360=(n+2d+4k2w)180(n-2) \cdot 180^\circ + k \cdot 360^\circ = (n + 2d + 4k - 2w) \cdot 180^\circ, whence n2+2k=n+2d+4k2wn - 2 + 2k = n + 2d + 4k - 2w, implying w=d+k+1w = d + k + 1.

Let ww' be the number of pieces with at least 4 vertices. All pieces with at least two right angles have at least 4 vertices, whence every line segment connecting two neighbouring intersection points of any diagonal is a side of such piece. Let there be aa horizontal and bb vertical diagonals selected, w.l.o.g. aba \le b. Then there are kak-a pieces whose two right angles are consecutive intersection points on some horizontal selected diagonal and which themselves lie above this diagonal. In addition, there are b1b-1 pieces whose two right angles are consecutive intersection points of some horizontal selected diagonal and which lie below this diagonal and below which there are no more horizontal diagonals. Hence wka+b1k1w' \ge k-a+b-1 \ge k-1.

Consequently, n+2d+4k4w+3(ww)=3w+w3w+k1=3(d+k+1)+k1=3d+4k+2n+2d+4k \ge 4w' + 3(w-w') = 3w+w' \ge 3w+k-1 = 3(d+k+1)+k-1 = 3d+4k+2, whence dn2d \le n-2.

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 and solution reproduced as published; topic and difficulty added by this site.