Maths Olympiad Prep

Library / Estonian Mathematical Olympiad /70 of 93

Estonian Mathematical Olympiad

Geometry Difficulty 6.8 National Olympiad Prove it Estonia

The angle bisectors of an acute triangle ABCABC meet at point II. The line AIAI meets the circumcircle of the triangle ABCABC at point DD (D≠AD \neq A) and the side BCBC at point EE. The line BIBI meets the circumcircle of the triangle CDICDI at point KK whereas the line CICI meets the circumcircle of the triangle BDIBDI at point LL (K≠I,L≠IK \neq I, L \neq I).

a. Prove that the line DIDI is tangent to the circumcircle of the triangle IKLIKL.

b. Prove that points A,K,L,EA, K, L, E are concyclic.

Solution

Let α=∠CAI=∠IAB\alpha = \angle CAI = \angle IAB, β=∠ABI=∠IBC\beta = \angle ABI = \angle IBC, γ=∠BCI=∠ICA\gamma = \angle BCI = \angle ICA. Then α+β+γ=90∘\alpha + \beta + \gamma = 90^\circ and ∠CBD=∠CAD=α=∠DAB=∠DCB\angle CBD = \angle CAD = \alpha = \angle DAB = \angle DCB, yielding
∠KBD=∠IBD=α+β=90∘−γ,∠DCL=∠DCI=α+γ=90∘−β. \angle KBD = \angle IBD = \alpha + \beta = 90^\circ - \gamma, \\ \angle DCL = \angle DCI = \alpha + \gamma = 90^\circ - \beta.
Depending on the location of the point KK (Figures 50 and 51), we have either ∠DKB=∠DKI=∠DCI\angle DKB = \angle DKI = \angle DCI or ∠DKB=180∘−∠IKD=∠DCI\angle DKB = 180^\circ - \angle IKD = \angle DCI; in each case ∠DKB=90∘−β\angle DKB = 90^\circ - \beta. Analogously, we obtain ∠CLD=90∘−γ\angle CLD = 90^\circ - \gamma. Hence
∠BDK=180∘−(90∘−γ)−(90∘−β)=β+γ=90∘−α,∠LDC=180∘−(90∘−β)−(90∘−γ)=β+γ=90∘−α. \angle BDK = 180^\circ - (90^\circ - \gamma) - (90^\circ - \beta) = \beta + \gamma = 90^\circ - \alpha, \\ \angle LDC = 180^\circ - (90^\circ - \beta) - (90^\circ - \gamma) = \beta + \gamma = 90^\circ - \alpha.
On the other hand, we have ∠BDC=180∘−2α=2(90∘−α)\angle BDC = 180^\circ - 2\alpha = 2(90^\circ - \alpha), meaning that both DKDK and DLDL bisect the angle BDCBDC. Consequently, points D,KD, K and LL lie on a line. As the bisector of the vertex angle of the isosceles triangle BCDBCD is also the perpendicular bisector of the line segment BCBC, symmetry yields ∠DCK=∠KBD=90∘−γ\angle DCK = \angle KBD = 90^\circ - \gamma and ∠LBD=∠DCL=90∘−β\angle LBD = \angle DCL = 90^\circ - \beta.

a. If the point KK lies between points CC and II then
∠DKI=∠DKB=90∘−β=∠LBD=∠LID. \angle DKI = \angle DKB = 90^\circ - \beta = \angle LBD = \angle LID.
Hence the line DIDI is tangent to the circumcircle of the triangle IKLIKL (as points D,K,LD, K, L lie on a line). If the point KK lies between points II and DD then
∠ILD=∠CLD=90∘−γ=∠DCK=∠DIK. \angle ILD = \angle CLD = 90^\circ - \gamma = \angle DCK = \angle DIK.
Analogously to the previous case, the line DIDI must be tangent to the circumcircle of the triangle IKLIKL.

b. Since ∠DKB=90∘−β=∠LBD\angle DKB = 90^\circ - \beta = \angle LBD and points D,K,LD, K, L lie on a line, the line DBDB is tangent to the circumcircle of the triangle BKLBKL. On the other hand, we have ∠DAB=α=∠CBD=∠EBD\angle DAB = \alpha = \angle CBD = \angle EBD, implying that DBDB is also tangent to the circumcircle of the triangle BEABEA. Using the power of the point DD w.r.t. to these circles, we get DB2=DK⋅DLDB^2 = DK \cdot DL and DB2=DA⋅DEDB^2 = DA \cdot DE, respectively. Altogether, we obtain DA⋅DE=DK⋅DLDA \cdot DE = DK \cdot DL. Hence points A,K,L,EA, K, L, E are concyclic.

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.