Maths Olympiad Prep

Library / Saudi Arabian Mathematical Competitions /259 of 395

Saudi Arabian Mathematical Competitions

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 IK⊥BCIK \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. KI⊥BCKI \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=180∘−2α\angle DKE = 180^{\circ} - 2\alpha. Hence, if I∈(KDE)I \in (KDE), then
90∘+α2+180∘−2α=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+c2−bc. 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=BC⇔aca+b+aba+c=a⇔b2+c2−bc=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,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.