Maths Olympiad Prep

Library / /67 of 105

Geometry Difficulty 6.1 National Olympiad Prove it JBMO

Problem:

Let ABCABC be a triangle with C=90\angle C = 90^{\circ} and DCAD \in CA, ECBE \in CB, and k1,k2,k3,k4k_1, k_2, k_3, k_4 semicircles with diameters CACA, CBCB, CDCD, CECE respectively, which have common part with the triangle ABCABC. Let also,
k1k2={C,K},k3k4={C,M},k2k3={C,L},k1k4={C,N} k_1 \cap k_2 = \{C, K\},\quad k_3 \cap k_4 = \{C, M\},\quad k_2 \cap k_3 = \{C, L\},\quad k_1 \cap k_4 = \{C, N\}
Prove that K,L,MK, L, M and NN are cocyclic points.

Solution

Solution:

The points K,L,M,NK, L, M, N belong to the segments ABAB, BDBD, DEDE, EAEA respectively, where CKABCK \perp AB, CLBDCL \perp BD, CMDECM \perp DE, CNAECN \perp AE. Then quadrilaterals CDLMCDLM and CENMCENM are inscribed. Let CAE=φ\angle CAE = \varphi, DCL=θ\angle DCL = \theta. Then EMN=ECN=φ\angle EMN = \angle ECN = \varphi and DML=DCL=θ\angle DML = \angle DCL = \theta. So DML+EMN=φ+θ\angle DML + \angle EMN = \varphi + \theta and therefore LMN=180φθ\angle LMN = 180^{\circ} - \varphi - \theta. The quadrilaterals CBKLCBKL and CAKNCAKN are also inscribed and hence LKC=LBC=θ\angle LKC = \angle LBC = \theta, CKN=CAN=φ\angle CKN = \angle CAN = \varphi, and so LKN=φ+θ\angle LKN = \varphi + \theta, while LMN=180φθ\angle LMN = 180^{\circ} - \varphi - \theta, which means that KLMNKLMN is inscribed.

Note that KLMNKLMN is convex because L,NL, N lie in the interior of the convex quadrilateral ADEBADEB.

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 reproduced verbatim; metadata (topic, difficulty) added by this project.