Maths Olympiad Prep

Library / Saudi Arabian Mathematical Competitions /350 of 395

Saudi Arabian Mathematical Competitions, 2015

Geometry Difficulty 6.8 National Olympiad Prove it Saudi Arabia

Let ABCABC be a triangle and DD a point on the side BCBC. The tangent line to the circumcircle of the triangle ABDABD at the point DD intersects the side ACAC at EE. The tangent line to the circumcircle of the triangle ACDACD at the point DD intersects the side ABAB at FF. Prove that the point AA and the circumcenters of the triangles ABCABC and DEFDEF are collinear.

Solution

Let α=∠BAC\alpha = \angle BAC, β=∠CBA\beta = \angle CBA, γ=∠ACB\gamma = \angle ACB and θ=BAD\theta = BAD. Because line DEDE is tangent to the circumcircle of triangle ABDABD, we have ∠EDA=∠DBA=β\angle EDA = \angle DBA = \beta. Because line DFDF is tangent to the circumcircle of triangle ADCADC, we have ∠ADF=∠ACD=γ\angle ADF = \angle ACD = \gamma.

Figure 1

Therefore
∠EDF+∠FAE=∠EDA+∠ADF+∠BAC=γ+β+α=180∘. \angle EDF + \angle FAE = \angle EDA + \angle ADF + \angle BAC = \gamma + \beta + \alpha = 180^\circ.
This proves that quadrilateral AFDEAFDE is cyclic and hence ∠EFA=∠EDA=β\angle EFA = \angle EDA = \beta and ∠AEF=∠ADF=γ\angle AEF = \angle ADF = \gamma. This proves that sides EFEF and BCBC are parallel. Let OO and O′O' be circumcenters of triangle ABCABC and AFEAFE, respectively. We have
∠FAO′=90∘−∠AEF=90∘−γ=∠BAO. \angle FAO' = 90^\circ - \angle AEF = 90^\circ - \gamma = \angle BAO.
This proves that AA, OO and O′O' are collinear.

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.