Maths Olympiad Prep

Library / /355 of 520

Geometry Difficulty 6.8 National olympiad Prove it

The incircle of a non-isosceles triangle ABC\triangle A B C has center II and touches BCB C and CAC A at DD and EE, respectively. Let HH be the orthocenter of ABI\triangle A B I, let KK be the intersection of AIA I and BHB H, and let LL be the intersection of BIB I and AHA H. Prove that the circumcircles of DKH\triangle D K H and ELH\triangle E L H intersect on the incircle of ABC\triangle A B C.
!

Solution

We examine the configuration in the figure; other configurations proceed analogously. It holds that IDB=90=IKB\angle I D B=90^{\circ}=\angle I K B, so BKDIB K D I is a cyclic quadrilateral. Furthermore, ALB=90=AKB\angle A L B=90^{\circ}=\angle A K B, so BKLAB K L A is also a cyclic quadrilateral. Therefore,

BKD=180BID=180(9012ABC)=180BAL=BKL. \angle B K D=180^{\circ}-\angle B I D=180^{\circ}-\left(90^{\circ}-\frac{1}{2} \angle A B C\right)=180^{\circ}-\angle B A L=\angle B K L.

From this, it follows that K,DK, D, and LL lie on a straight line. Analogously, K,EK, E, and LL also lie on a straight line, and this is the same line, so DD lies on it as well.
Let SS be the second intersection point of the circumcircles of DKH\triangle D K H and ELH\triangle E L H. Then it holds that

DSE=360DSHHSE=DKH+180HLE=LKH+HLK=180KHL. \begin{gathered} \angle D S E=360^{\circ}-\angle D S H-\angle H S E=\angle D K H+180^{\circ}-\angle H L E=\angle L K H+\angle H L K \\ =180^{\circ}-\angle K H L . \end{gathered}

Since HLIKH L I K is also a cyclic quadrilateral (due to two right angles), it holds that
180KHL=KIL=AIB=180IBAIAB=18012CBA12CAB180^{\circ}-\angle K H L=\angle K I L=\angle A I B=180^{\circ}-\angle I B A-\angle I A B=180^{\circ}-\frac{1}{2} \angle C B A-\frac{1}{2} \angle C A B.
Thus, DSE=18012CBA12CAB\angle D S E=180^{\circ}-\frac{1}{2} \angle C B A-\frac{1}{2} \angle C A B. Now let FF be the tangency point of the incircle with side ABA B, then AFIEA F I E and BFIDB F I D are also cyclic quadrilaterals (both due to two right angles). Therefore, it holds that

DFE=DFI+IFE=DBI+IAE=12CBA+12CAB. \angle D F E=\angle D F I+\angle I F E=\angle D B I+\angle I A E=\frac{1}{2} \angle C B A+\frac{1}{2} \angle C A B.

We conclude that DFE+DSE=180\angle D F E+\angle D S E=180^{\circ}, which implies that SS lies on the circumcircle of DEF\triangle D E F, which is precisely the incircle of ABC\triangle A B C.
!

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.