Maths Olympiad Prep

Library / /204 of 397

Geometry Difficulty 5.9 AIME, harder Prove it Taiwan

For all n3n \ge 3, find the largest positive integer mm such that we can select mm diagonals from the diagonals of a regular nn-gon so that any two of the selected diagonals, if they intersect inside the regular nn-gon, must be perpendicular to each other.

Solution

Solution: If nn is odd, then m=n3m = n - 3; if nn is even, then m=n2m = n - 2.

1. First we prove the case where nn is odd.

a. Claim. No two diagonals within a regular nn-gon are perpendicular.
Suppose diagonals AB\overline{AB} and CD\overline{CD} are perpendicular. Draw the perpendicular bisector of ABAB, which meets the regular nn-gon at vertex EE (note that since nn is odd, EE exists). Let EE' be the point symmetric to EE on the regular nn-gon:
- Note that since nn is odd, EE' cannot be a vertex of the regular nn-gon.
- However, by symmetry, it is easy to see that EC=ED\overline{EC} = \overline{E'D}. This means EE' must be a vertex of the regular nn-gon.
Contradiction!

b. By the above Claim and the problem's assumption, these mm diagonals must not intersect inside the polygon; in other words, they must all emanate from the same endpoint, and there are n3n-3 diagonals emanating from the same endpoint, which proves the claim.

(a) We first prove a stronger result by induction: for all nn, if we can select mm diagonals satisfying the problem's condition from a cyclic nn-gon, then m2m \le 2. This is obvious when n=3n = 3. Now, suppose mn2m \le n-2 holds for n=1,2,,N1n = 1, 2, \dots, N-1; then when n=Nn = N, we discuss two cases:

Case 1. Among these mm diagonals, there is one that does not intersect any other diagonal inside the polygon. This diagonal divides the regular nn-gon into an n1n_1-gon and an n2n_2-gon (n1+n2=n+2n_1 + n_2 = n + 2). Without loss of generality, suppose the n1n_1-gon lies entirely on one side of some diameter of the circumscribed circle Γ\Gamma of the regular nn-gon; then it is easy to see that no two diagonals within this n1n_1-gon can be perpendicular, so within the n1n_1-gon we can only choose non-intersecting diagonals. As in the discussion of 1.(a) above, the maximum possible number of these is n13n_1 - 3.
On the other hand, by the induction hypothesis, at most m(n2)n22m(n_2) \le n_2 - 2 diagonals can be chosen within the n2n_2-gon, so in total at most (n13)+(n22)+1=n2(n_1 - 3) + (n_2 - 2) + 1 = n - 2 diagonals can be chosen.

Case 2. Every one of these mm diagonals is perpendicular to at least one other. Let d1d_1 and d2d_2 be a pair of perpendicular diagonals; then they divide the circle into four regions:
Figure 1
Figure 2
- If there is another diagonal dd' that is not perpendicular to either d1d_1 or d2d_2, then its two endpoints must both belong to the same region (otherwise it would intersect d1d_1 or d2d_2).
- If we take two other intersecting diagonals d1d'_1 and d2d'_2, neither of which is perpendicular to d1d_1 or d2d_2, then their endpoints must both lie in the same region. However, it is easy to see that if the endpoints of two diagonals both lie in the same region, they cannot be perpendicular (as shown in the figure), a contradiction.

- Moreover, based on our assumption that every one of these mm diagonals is perpendicular to at least one other, these mm diagonals can only be parallel to d1d_1 or d2d_2.
Now, let d1d_1^* be the longest diagonal among these mm diagonals that is parallel to d1d_1; it is easy to see that none of the other m1m-1 diagonals can share an endpoint with d1d_1^*. Similarly, let d2d_2^* be the longest diagonal among these mm diagonals that is parallel to d2d_2; it is easy to see that none of the other m1m-1 diagonals can share an endpoint with d2d_2^*. Excluding the four endpoints of d1d_1^* and d2d_2^*, each of the remaining n4n-4 vertices can be the endpoint of at most two diagonals (since these diagonals must all be parallel to d1d_1 or d2d_2), so at most
12(2(n4))+2=n2 \frac{1}{2}(2(n-4)) + 2 = n - 2
diagonals can be chosen. This proves the claim.

(b) Finally, we construct a selection achieving m=n2m = n - 2: select two points AA and AA' of the regular nn-gon. Choose:
- AA\overline{AA'};
- Let BB and BB' be the two vertices to the left and right of AA'. Choose AB\overline{AB}, AB\overline{AB'} and BB\overline{BB'}, where BB\overline{BB'} is perpendicular to AA\overline{AA'}.
- Let CC and CC' be the two vertices to the left and right of AA. For all remaining vertices
D{A,A,B,B,C,C}, D \notin \{A, A', B, B', C, C'\},
choose AD\overline{AD}.
In total there are 1+3+(n2)=n21+3+(n-2) = n-2 diagonals.

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 translated into English from zh; metadata (topic, difficulty) added by this project.