Maths Olympiad Prep

Track / Stage 5 / 200 of 400 #800 of 1964

Problem 800

AIME late
Geometry Difficulty 5.5 Find the answer

A regular kk-gon is drawn, and on each of its sides, a regular mm-gon is drawn outward. We know that the vertices of these mm-gons, different from the vertices of the kk-gon, form a regular nn-gon. Determine the numbers k,mk, m, and nn.

A number or a short expression. Fractions can be typed as 3/2, and spacing doesn't matter.

Official solution

We will show that m4m \leq 4. We know that every regular polygon can be circumscribed by a circle. Consider the nn-gon and the circles circumscribed around the mm-gons. The vertices of the mm-gons, different from the vertices of the kk-gon, lie on the circle circumscribed around the nn-gon, and also on the circle circumscribed around some mm-gon. These circles are clearly different, so they have at most two common points. Therefore, the mm-gons have at most two vertices that are not vertices of the kk-gon, which means m4m \leq 4.

1988124481.eps1988-12-448-1 . \mathrm{eps}

Figure 1

If m=3m=3, then clearly n=kn=k. In this case, a rotation by 360k\frac{360^{\circ}}{k} around the center of the kk-gon maps the figure onto itself, so the kk-gon is regular (Figure 1); thus, kk can be any integer greater than 2.

1988-12-449-1.eps

Figure 2

If m=4m=4, let E,FE, F, and GG be consecutive vertices of the kk-gon, and A,B,C,DA, B, C, D be the other vertices of the squares constructed on the sides EFEF and FGFG (Figure 2). The nn-gon can only be regular if AB=BC=CDAB = BC = CD. But AB=BFAB = BF and CD=CFCD = CF, so BFC\triangle BFC is equilateral. From this, we can calculate one of the angles of the kk-gon: EFG=360(EFB+BFC+CFG)=360(90+60+90)=120\angle EFG = 360^{\circ} - (\angle EFB + \angle BFC + \angle CFG) = 360^{\circ} - (90^{\circ} + 60^{\circ} + 90^{\circ}) = 120^{\circ}; thus, the kk-gon can only be a hexagon. If we construct squares on the sides of a regular hexagon, the vertices of the squares different from the vertices of the hexagon form a dodecagon (12-sided polygon) where each side is equal and each angle is 150150^{\circ} (Figure 3), so this dodecagon is indeed regular.

 1988-12-449-2.eps  \text { 1988-12-449-2.eps }

Figure 3

Therefore, the possible values for k,m,nk, m, n are: m=3m=3 and n=kn=k, where kk is any integer greater than 2, or m=4,k=6m=4, k=6, and n=12n=12.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.