Maths Olympiad Prep

Library / Korean Mathematical Olympiad /5 of 6

Korean Mathematical Olympiad

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=AB⋅KQBI. 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=AB⋅KQBI 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=90∘−∠DFK\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=90∘−∠CED\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 KP⋅CJJL⋅MK=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 A′A' be the intersection point of BLBL and CKCK. Note that II is the orthocenter of the △A′BC\triangle A'BC. It can easily be seen that ∠BA′D=12∠BCA\angle BA'D = \frac{1}{2}\angle BCA and ∠CA′D=12∠ABC\angle CA'D = \frac{1}{2}\angle ABC, and so ∠BA′C=12(∠ABC+∠ACB)\angle BA'C = \frac{1}{2}(\angle ABC + \angle ACB). It follows that ∠KPQ=∠A′CL=90∘−∠BA′C=12∠BAC=∠IAB\angle KPQ = \angle A'CL = 90^\circ - \angle BA'C = \frac{1}{2}\angle BAC = \angle IAB. Since the points A′A', LL, CC, DD are concyclic, ∠A′KL=∠A′BC\angle A'KL = \angle A'BC, from which we obtain ∠PKQ=90∘+12∠ACB=∠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,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.