Let ABC be an acute angled triangle with AB<AC<BC, inscribed to the circle Γ1 with center O. The circle Γ2 with center A and radius AC intersects the line BC at point D and the circle Γ1 at E. The circumcircle of the triangle DEF (say, Γ3) intersects the line BC at G. Prove that:
a) The point B is the center of Γ3.
b) The circumcircle of the triangle CEG is tangent to AC.
Solution
a) The triangle ADC is isosceles (AD=AC are radius of Γ2), so ∠D1=∠C. The angle ∠F1 is external of the cyclic ACBF, therefore ∠F1=∠C. From the two equalities above we conclude that ∠D1=∠F1, thus BD=BF.(1)
The angle ∠D2 is the half of the center angle EAC, so ∠D2=2EAC(a). Moreover the angles ∠B1 and EAC see the arc EC in Γ1, so ∠B1=EAC(b) From the triangle BDE we have: ∠E1=∠B1−∠D2=(a),(b)EAC−2EAC=2EAC Therefore ∠D2=∠E1, so BD=BE(2). From (1) and (2) we conclude that B is the center of Γ3.
b) The bisector of ∠B1 is perpendicular bisector of EG and passes through the midpoint (let it be M) of the arc CE. We also have the equality OC=OE (both are radius of Γ1) and AC=AE (both are radius of Γ2). Therefore, the line OA is perpendicular bisector of CE, thus it passes through the midpoint M of the arc CE. We conclude that M of the arc CE is the circumcenter of CEG, as point of intersection of the perpendicular bisectors of EG and CE. Therefore CA⊥CM, so CA is tangent to the circumcircle of CEG.
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.