Maths Olympiad Prep

Library / /75 of 155

Geometry Difficulty 6.1 National olympiad Prove it Saudi Arabia

Let ABCABC be a triangle whose incircle (II) is tangent to ABAB, ACAC at DD, EE respectively. Denote by Δb\Delta_{b}, Δc\Delta_{c} the lines symmetric to the lines ABAB, ACAC with respect to CDCD, BEBE correspondingly. Suppose that Δb\Delta_{b}, Δc\Delta_{c} meet at KK.
1. Prove that IKBCIK \perp BC.
2. If I(KDE)I \in (KDE), prove that BD+CE=BCBD + CE = BC.

Solution

1. Denote by GG, HH the intersections of KEKE, KFKF and BCBC respectively. Consider triangle CEGCEG: it is easy to see that
- CICI is the internal bisector of C\angle C
- EIEI is the external bisector of E\angle E.
Hence, II is the excenter of this triangle, which implies that GIGI is the bisector of KGH\angle KGH.
Figure 1
Similarly, we can also see that HIHI is the bisector of GHK\angle GHK. So II is the incenter of triangle GHKGHK and KIKI is the bisector of GKH\angle GKH.
In the other hand, BABA, BCBC are symmetric with respect to the line BEBE and CACA, KGKG are also symmetric with respect to the line BEBE. From these facts, we can conclude that KGH=BAC\angle KGH = \angle BAC.
Similarly, we also have KHG=BAC\angle KHG = \angle BAC; therefore, KGHKGH is an isosceles triangle.
Since II is the incenter of the isosceles triangle KGHKGH, KIKI is also an altitude, i.e. KIBCKI \perp BC.

2. Denote BC=aBC = a, CA=bCA = b, AB=cAB = c and A=αA = \alpha. Then DIE=90+α2\angle DIE = 90^{\circ} + \frac{\alpha}{2}.
In the isosceles triangle KGHKGH, we have KGH=KHG=α\angle KGH = \angle KHG = \alpha, so DKE=1802α\angle DKE = 180^{\circ} - 2\alpha. Hence, if I(KDE)I \in (KDE), then
90+α2+1802α=180 90^{\circ} + \frac{\alpha}{2} + 180^{\circ} - 2\alpha = 180^{\circ}
and α=60\alpha = 60^{\circ}. From the cosine law in triangle ABCABC, we have
a2=b2+c2bc. a^{2} = b^{2} + c^{2} - bc .
By calculating, it is also easy to check that BD=aca+bBD = \frac{ac}{a+b}, CE=aba+cCE = \frac{ab}{a+c}; thus,
BD+CE=BCaca+b+aba+c=ab2+c2bc=a2, BD + CE = BC \Leftrightarrow \frac{ac}{a+b} + \frac{ab}{a+c} = a \Leftrightarrow b^{2} + c^{2} - bc = a^{2},
which is true. \square

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.