Maths Olympiad Prep

Library / /3 of 5

Geometry Difficulty 6.5 National Olympiad Prove it Greece

Let ABCABC be an acute angled triangle with AB<AC<BCAB < AC < BC, inscribed to the circle Γ1\Gamma_1 with center OO. The circle Γ2\Gamma_2 with center AA and radius ACAC intersects the line BCBC at point DD and the circle Γ1\Gamma_1 at EE. The circumcircle of the triangle DEFDEF (say, Γ3\Gamma_3) intersects the line BCBC at GG. Prove that:

a) The point BB is the center of Γ3\Gamma_3.

b) The circumcircle of the triangle CEGCEG is tangent to ACAC.

Solution

a) The triangle ADCADC is isosceles (AD=ACAD = AC are radius of Γ2\Gamma_2), so D1=C\angle D_1 = \angle C.
The angle F1\angle F_1 is external of the cyclic ACBFACBF, therefore F1=C\angle F_1 = \angle C.
From the two equalities above we conclude that D1=F1\angle D_1 = \angle F_1, thus
BD=BF.(1) BD = BF \tag{1}.

Figure 1

The angle D2\angle D_2 is the half of the center angle EA^CE\widehat{A}C, so
D2=EA^C2(a). \angle D_2 = \frac{E\widehat{A}C}{2} \quad (a).
Moreover the angles B1\angle B_1 and EA^CE\widehat{A}C see the arc ECEC in Γ1\Gamma_1, so
B1=EA^C(b) \angle B_1 = E\widehat{A}C \quad (b)
From the triangle BDEBDE we have:
E1=B1D2=(a),(b)EA^CEA^C2=EA^C2 \angle E_1 = \angle B_1 - \angle D_2 \stackrel{(a),(b)}{=} E\widehat{A}C - \frac{E\widehat{A}C}{2} = \frac{E\widehat{A}C}{2}
Therefore D2=E1, so BD=BE(2). \text{Therefore } \angle D_2 = \angle E_1, \text{ so } BD = BE \quad (2).
From (1) and (2) we conclude that BB is the center of Γ3\Gamma_3.

b) The bisector of B1\angle B_1 is perpendicular bisector of EGEG and passes through the midpoint (let it be MM) of the arc CECE.
We also have the equality OC=OEOC = OE (both are radius of Γ1\Gamma_1) and AC=AEAC = AE (both are radius of Γ2\Gamma_2). Therefore, the line OAOA is perpendicular bisector of CECE, thus it passes through the midpoint MM of the arc CECE.
We conclude that MM of the arc CECE is the circumcenter of CEGCEG, as point of intersection of the perpendicular bisectors of EGEG and CECE.
Therefore CACMCA \perp CM, so CACA is tangent to the circumcircle of CEGCEG.

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.