Maths Olympiad Prep

Library / /18 of 22

Geometry Difficulty 5.5 AIME, harder Prove it United States

Problem:

In a regular nn-gon, all the diagonals are drawn, forming smaller regular nn-gons inside. If the outer regular nn-gon has side length 11, show that the kkth largest regular nn-gon formed has side length
cos(kπ/n)cos(π/n) \frac{\cos (k \pi / n)}{\cos (\pi / n)}
(where the original regular nn-gon is the 1st largest).

Solution

Solution:

Draw a diagonal of the small nn-gon to form the red triangle ABC\triangle ABC as shown in the diagram, where AA is a vertex of the large nn-gon and BB and CC are the vertices of the small nn-gon closest to AA on the two diagonals from AA. Also draw the diagonal ADAD of the large nn-gon such that DAB=π/n\angle DAB = \pi / n.

Figure 1

Let EE be the vertex of the large nn-gon adjacent to AA on the same side of AA as DD. Then EAB=(k1)π/n\angle EAB = (k-1)\pi / n, and since the angles of the nn-gon are (n2)π/n(n-2)\pi / n,
BAC=(n2)πn2(k1)πn=(n2k)πn, \angle BAC = \frac{(n-2)\pi}{n} - 2 \cdot \frac{(k-1)\pi}{n} = \frac{(n-2k)\pi}{n},
so since ABC\triangle ABC is isosceles, the base angle is
ABC=ACB=kπn. \angle ABC = \angle ACB = \frac{k\pi}{n}.
Thus we have
BCAB=2cos(kπ/n). \frac{BC}{AB} = 2 \cos (k\pi / n).
Since BAD=π/n\angle BAD = \pi / n,
ABAD=12cos(π/n)BCAD=cos(kπ/n)cos(π/n). \frac{AB}{AD} = \frac{1}{2 \cos (\pi / n)} \Longrightarrow \frac{BC}{AD} = \frac{\cos (k\pi / n)}{\cos (\pi / n)}.
But the green shapes are similar, so the ratio of the side length of the small nn-gon to the side length of the large nn-gon is equal to the ratio BC/ADBC / AD. This proves our claim.

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.