Maths Olympiad Prep

Library / Saudi Arabian Mathematical Competitions /325 of 395

Saudi Arabian Mathematical Competitions

Geometry Difficulty 6.6 National Olympiad Prove it Saudi Arabia

Let ABCABC be an acute triangle and (O)(O) be its circumcircle. Denote by HH its orthocenter and II the midpoint of BCBC. The lines BHBH, CHCH intersect ACAC, ABAB at EE, FF respectively. The circles (IBF)(IBF) and (ICE)(ICE) meet again at DD.

1. Prove that DD, II, AA are collinear and HDHD, EFEF, BCBC are concurrent.

2. Let LL be the foot of the angle bisector of ∠BAC\angle BAC on the side BCBC. The circle (ADL)(ADL) intersects (O)(O) again at KK and intersects the line BCBC at SS out of the side BCBC. Suppose that AKAK, ASAS intersect the circle (AEF)(AEF) again at GG, TT respectively. Prove that TG=TDTG = TD.

Solution

1) From the power of point to circle, we have
PA/(BIF)=AF⋅AB and PA/(CIE)=AE⋅AC. \mathscr{P}_{A /(BIF)} = AF \cdot AB \text{ and } \mathscr{P}_{A /(CIE)} = AE \cdot AC.
But it is easy to see that AF⋅AB=AE⋅ACAF \cdot AB = AE \cdot AC then AA belongs to the radical axis of two circles (BIF)(BIF), (CIE)(CIE).
Hence, AA, DD, II are collinear.
Denote J=AH∩BCJ = AH \cap BC then AD⋅AI=AH⋅AJAD \cdot AI = AH \cdot AJ which implies that HH, DD, II, JJ are concyclic, then HD⊥AIHD \perp AI. Then by considering the radical axis of three circles (AEF)(AEF), (JFEI)(JFEI), (JHDI)(JHDI), we can conclude that BCBC, HDHD, EFEF are concurrent.

Figure 1

2) Using sine law in some triangle, we get
DBsin⁡∠BID=BIsin⁡∠BDI=BC2sin⁡∠ABC \frac{DB}{\sin \angle BID} = \frac{BI}{\sin \angle BDI} = \frac{BC}{2 \sin \angle ABC}
and
DCsin⁡∠CID=CIsin⁡∠CDI=BC2sin⁡∠ACB \frac{DC}{\sin \angle CID} = \frac{CI}{\sin \angle CDI} = \frac{BC}{2 \sin \angle ACB}
Then
DBDC=sin⁡∠ACBsin⁡∠ABC=ABAC=LBLC. \frac{DB}{DC} = \frac{\sin \angle ACB}{\sin \angle ABC} = \frac{AB}{AC} = \frac{LB}{LC}.
This implies that (ADL)(ADL) is the Apollonius circle of triangle ABCABC.
Thus KBKC=ABAC\frac{KB}{KC} = \frac{AB}{AC} or ABKCABKC is the harmonic quadrilateral, then AKAK is the symmedian of triangle ABCABC. Hence, AIAI, AKAK are isogonal conjugate in angle ∠BAC\angle BAC, also in angle ∠EAF\angle EAF. Since GG, D∈(AEF)D \in (AEF), we have GD∥EFGD \parallel EF.
Finally, ASAS is the external bisector of the angle ∠BAC\angle BAC, also of the angle ∠EAF\angle EAF then TT is the midpoint of major arc⁡EF\operatorname{arc} EF. From these, we can conclude that TD=TGTD = TG. □\square

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.