Maths Olympiad Prep

Library / /77 of 101

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 (DAD \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 (KI,LIK \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=180IKD=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=1802α=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=DKDLDB^2 = DK \cdot DL and DB2=DADEDB^2 = DA \cdot DE, respectively. Altogether, we obtain DADE=DKDLDA \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,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.