Maths Olympiad Prep

Library / /40 of 45

, 2008

Geometry Difficulty 6.5 National olympiad Prove it Slovenia

Let ABCDABCD be a convex quadrilateral such that the triangle BCDBCD is acute and AB=AD|AB| = |AD|. Denote the intersection of the bisector of the angle CAD\angle CAD with the side CDCD by KK and the intersection of the bisector of the angle BAC\angle BAC with the side BCBC by LL. Let KK' and LL' be the orthogonal projections of KK and LL onto the sides BCBC and CDCD, respectively. Prove that BB, DD, LL' and KK' are concyclic.

Solution

We use the Law of sines for the triangle BALBAL,
sin(BAL)BL=sin(ALB)AB, \frac{\sin(\angle BAL)}{|BL|} = \frac{\sin(\angle ALB)}{|AB|},
and for the triangle CALCAL,
sin(LAC)CL=sin(CLA)AC. \frac{\sin(\angle LAC)}{|CL|} = \frac{\sin(\angle CLA)}{|AC|}.
Since ALB=πCLA\angle ALB = \pi - \angle CLA, we have sinALB=sinCLA\sin \angle ALB = \sin \angle CLA. From the two equations above and BAL=LAC\angle BAL = \angle LAC we get
ABAC=BLCL. \frac{|AB|}{|AC|} = \frac{|BL|}{|CL|}.
Similarly, ADAC=DKCK\frac{|AD|}{|AC|} = \frac{|DK|}{|CK|}.
(In any triangle the bisector of an angle divides the opposite side in the ratio equal to the ratio of the lengths of the other two sides. This is a well-known fact and the proof was not required. It was sufficient to note that since ALAL is the bisector of BAC\angle BAC, we have ABAC=BLCL\frac{|AB|}{|AC|} = \frac{|BL|}{|CL|}.)
Since AB=AD|AB| = |AD|, these two equalities imply BLCL=DKCK\frac{|BL|}{|CL|} = \frac{|DK|}{|CK|}. So,
CBCL=BL+CLCL=BLCK+1=DKCK+1=DK+CKCK=CDCK. \frac{|CB|}{|CL|} = \frac{|BL| + |CL|}{|CL|} = \frac{|BL|}{|CK|} + 1 = \frac{|DK|}{|CK|} + 1 = \frac{|DK| + |CK|}{|CK|} = \frac{|CD|}{|CK|}.
Triangles DBCDBC and KLCKLC are similar (they share the angle at CC and CBCL=CDCK\frac{|CB|}{|CL|} = \frac{|CD|}{|CK|}). Thus, the line KLKL is parallel to the diagonal BDBD. Because of the right angles at KK' and LL' points KK, LL, KK' and LL' are concyclic. Since the triangle BCDBCD is acute, KK' and LL' lie on the same side of KLKL and on the same side of BDBD. So,
DLK=KLK=πKLK=πKBD \angle DL'K' = \angle KL'K' = \pi - \angle K'LK = \pi - \angle K'BD
and BB, DD, LL', KK' 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.