Maths Olympiad Prep

Library / /7 of 8

Geometry Difficulty 6.8 National olympiad Prove it South Korea

The incircle of a triangle ABCABC is tangent to BCBC, ACAC, ABAB at the points DD, EE, FF, respectively. Suppose the line EFEF intersects the lines BIBI, CICI, BCBC, DIDI at the points KK, LL, MM, QQ, respectively, where the incenter of ABC\triangle ABC is II. If the line passing through both the midpoint of CLCL and MM intersects CKCK at a point PP, show that
PQ=ABKQBI. PQ = \frac{AB \cdot KQ}{BI}.

The incircle of a triangle ABC is tangent to BC, AC, AB at the points D, E, F, respectively. Suppose the line EF intersects the lines BI, CI, BC, DI at the points K, L, M, Q, respectively, where the incenter of ΔABC is I. If the line passing through both the midpoint of CL and M intersects CK at a point P, show that
PQ=ABKQBI PQ = \frac{AB \cdot KQ}{BI}

Solution

Since BDBD and BFBF are tangent lines to the incircle of ABC\triangle ABC, BD=BFBD = BF. But the line BIBI bisects DBF\angle DBF, so DFDF and BIBI are perpendicular to each other. Similarly, DEDE and CICI are perpendicular to each other. It follows that BKD=BKF=90DFK\angle BKD = \angle BKF = 90^\circ - \angle DFK and CED+ECI=90\angle CED + \angle ECI = 90^\circ. Since ACAC is tangent to

the excircle of DEF\triangle DEF, DFK=CED\angle DFK = \angle CED, and so BKD=90CED\angle BKD = 90^\circ - \angle CED. Thus BKD=ECI=DCI\angle BKD = \angle ECI = \angle DCI, which means that the point KK lies on the excircle of the quadrilateral CEIDCEID. Therefore BKC=IEC=90\angle BKC = \angle IEC = 90^\circ. In a similar way, it can be proved that BLC=90\angle BLC = 90^\circ.
Applying Menelaus theorem to DKL\triangle DKL with respect to the line MPMP leads to the equality KPCJJLMK=1\frac{KP \cdot CJ}{JL \cdot MK} = 1, from which we get KPPC=MKLM\frac{KP}{PC} = \frac{MK}{LM}, as CJ=JLCJ = JL. Since DIDI and DMDM bisect the internal angle and external angle of DKL\triangle DKL at DD, respectively, KQQL=KDDL=KMML\frac{KQ}{QL} = \frac{KD}{DL} = \frac{KM}{ML} holds. Combining this with KPPC=MKLM\frac{KP}{PC} = \frac{MK}{LM}, we get KPPC=KQQL\frac{KP}{PC} = \frac{KQ}{QL}. It follows that PQPQ and CLCL are parallel to each other.
Let AA' be the intersection point of BLBL and CKCK. Note that II is the orthocenter of the ABC\triangle A'BC. It can easily be seen that BAD=12BCA\angle BA'D = \frac{1}{2}\angle BCA and CAD=12ABC\angle CA'D = \frac{1}{2}\angle ABC, and so BAC=12(ABC+ACB)\angle BA'C = \frac{1}{2}(\angle ABC + \angle ACB). It follows that KPQ=ACL=90BAC=12BAC=IAB\angle KPQ = \angle A'CL = 90^\circ - \angle BA'C = \frac{1}{2}\angle BAC = \angle IAB. Since the points AA', LL, CC, DD are concyclic, AKL=ABC\angle A'KL = \angle A'BC, from which we obtain PKQ=90+12ACB=AIB\angle PKQ = 90^\circ + \frac{1}{2}\angle ACB = \angle AIB. Since KPQ=IAB\angle KPQ = \angle IAB and PKQ=AIB\angle PKQ = \angle AIB, KPQ\triangle KPQ and IAB\triangle IAB are similar to each other, and so
PQQK=ABBI \frac{PQ}{QK} = \frac{AB}{BI'}
from which the conclusion follows.

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 and solution reproduced as published; topic and difficulty added by this site.