Maths Olympiad Prep

Library / /46 of 68

Geometry Difficulty 5.7 AIME, harder Prove it Estonia

A circle cc with center AA passes through the vertices BB and EE of a regular pentagon ABCDEABCDE. The line BCBC intersects the circle cc the second time at point FF. Point GG on the circle cc is chosen in such a way that FB=FGFB = FG and BGB \neq G. Prove that the lines ABAB, EFEF and DGDG meet in a common point.

Solutions — 2

Solution 1

The internal angles of a regular pentagon have size 108108^\circ. Thus ABC=108\angle ABC = 108^\circ, implying ABF=72\angle ABF = 72^\circ (Fig. 7). As AB=AFAB = AF, we have AFB=72\angle AFB = 72^\circ and BAF=36\angle BAF = 36^\circ. Since FG=FBFG = FB, AG=ABAG = AB and AF=AFAF = AF, the triangles AFBAFB and AFGAFG are equal, implying that FAG=36\angle FAG = 36^\circ. As EAB=108\angle EAB = 108^\circ, we obtain GAE=236+108=180\angle GAE = 2 \cdot 36^\circ + 108^\circ = 180^\circ, implying that EE, AA and GG are collinear.

Let the lines ABAB and EFEF meet at point KK (Fig. 8). As AFC=180FCD\angle AFC = 180^\circ - \angle FCD, we have AFCDAF \parallel CD. Consequently also AFBEAF \parallel BE, whence
Figure 1
Fig. 7

Figure 2
Fig. 8

similarity of triangles BKEBKE and AKFAKF implies BKAK=BEAF\frac{BK}{AK} = \frac{BE}{AF}.
Let the lines ABAB and DGDG meet at point KK' (Fig. 9). Lines AGAG and AEAE coincide because EE, AA and GG are collinear. Consequently, BDAGBD \parallel AG, whence similarity of triangles BKDBK'D and AKGAK'G implies BKAK=BDAG\frac{BK'}{AK'} = \frac{BD}{AG}.
Since BD=BEBD = BE and AF=AGAF = AG, we have BKAK=BKAK\frac{BK}{AK} = \frac{BK'}{AK'}, implying K=KK = K'.

Solution 2

The internal angles of a regular pentagon have size 108108^\circ. Thus ABC=108\angle ABC = 108^\circ (Fig. 10), implying ABF=72\angle ABF = 72^\circ. As AB=AFAB = AF, we have AFB=72\angle AFB = 72^\circ. Since FG=FBFG = FB, AG=ABAG = AB and AF=AFAF = AF, the triangles AFBAFB and AFGAFG are equal, implying also AFG=72\angle AFG = 72^\circ. Therefore CFG=BFG=272=144\angle CFG = \angle BFG = 2 \cdot 72^\circ = 144^\circ, whereas FCA=BCA=180ABC2=36=180144\angle FCA = \angle BCA = \frac{180^\circ - \angle ABC}{2} = 36^\circ = 180^\circ - 144^\circ. Consequently, GFCAGF \parallel CA, implying also GFDEGF \parallel DE.
Let the lines ABAB and EFEF meet at point KK (Fig. 11). As CEBACE \parallel BA, we obtain BFKF=BCKE\frac{BF}{KF} = \frac{BC}{KE}. By assumptions, BF=GFBF = GF and BC=DEBC = DE; hence also GFKF=DEKE\frac{GF}{KF} = \frac{DE}{KE}. As KFG=KED\angle KFG = \angle KED because of GFDEGF \parallel DE, the triangles KFGKFG and KEDKED are similar. Thus FKG=EKD\angle FKG = \angle EKD. Consequently, points GG, KK and DD are collinear, meaning that the line DGDG passes through KK.

Figure 3
Fig. 10

Figure 4
Fig. 11

Remark: The claim follows directly from Desargues's theorem.

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.