Maths Olympiad Prep

Library / Estonian Math Competitions /105 of 148

Estonian Math Competitions

Geometry Difficulty 6.4 National Olympiad Prove it Estonia

In a cyclic quadrilateral ABCDABCD we have ∣AD∣>∣BC∣|AD| > |BC| and the vertices CC and DD lie on the shorter arc ABAB of the circumcircle. Rays ADAD and BCBC intersect at point KK, diagonals ACAC and BDBD intersect at point PP. Line KPKP intersects the side ABAB at point LL. Prove that ∠ALK\angle ALK is acute.

Solutions — 2

Solution 1

From the properties of cyclic quadrilaterals we get ∠KAB=∠KC′D\angle KAB = \angle KC'D and ∠KBA=∠KDC\angle KBA = \angle KDC. Let A′,B′,K′A', B', K' be the feet of the altitudes of the triangle ABKABK drawn from the vertices A,B,KA, B, K, respectively, and let HH be the orthocenter of the triangle ABKABK (Fig. 18). The points A,B,A′,B′A, B, A', B' lie on a common circle, hence ∠KA′B′=∠KAB\angle KA'B' = \angle KAB if A′≠B′A' \neq B'. Therefore A′A' and B′B' lie on a line parallel to CDCD. Denote this line by A′B′A'B' (even in the case A′=B′=KA' = B' = K).

Figure 1
Fig. 18
Figure 2
Fig. 19

Let d(X,l)d(X, l) be the distance of point XX from line ll, and let SΔS_\Delta be the area of triangle Δ\Delta. By two angles, ∠ACK∼∠BDK\angle ACK \sim \angle BDK and ∠PAD∼∠PBC\angle PAD \sim \angle PBC, whence
∣AK∣∣BK∣=∣AC∣∣BD∣ and ∣AP∣∣BP∣=∣AD∣∣BC∣. At the same time \frac{|AK|}{|BK|} = \frac{|AC|}{|BD|} \text{ and } \frac{|AP|}{|BP|} = \frac{|AD|}{|BC|}. \text{ At the same time}
d(A,CD)d(B,CD)=S△ACDS△BCD=∣AC∣⋅∣AD∣⋅sin⁡∠CAD∣BD∣⋅∣BC∣⋅sin⁡∠CBD=∣AC∣⋅∣AD∣∣BD∣⋅∣BC∣,d(A,KP)d(B,KP)=S△AKPS△BKP=∣AK∣⋅∣AP∣⋅sin⁡∠KAP∣BK∣⋅∣BP∣⋅sin⁡∠KBP=∣AK∣⋅∣AP∣∣BK∣⋅∣BP∣. \begin{aligned} \frac{d(A, CD)}{d(B, CD)} &= \frac{S_{\triangle ACD}}{S_{\triangle BCD}} = \frac{|AC| \cdot |AD| \cdot \sin \angle CAD}{|BD| \cdot |BC| \cdot \sin \angle CBD} = \frac{|AC| \cdot |AD|}{|BD| \cdot |BC|}, \\ \frac{d(A, KP)}{d(B, KP)} &= \frac{S_{\triangle AKP}}{S_{\triangle BKP}} = \frac{|AK| \cdot |AP| \cdot \sin \angle KAP}{|BK| \cdot |BP| \cdot \sin \angle KBP} = \frac{|AK| \cdot |AP|}{|BK| \cdot |BP|}. \end{aligned}
Therefore
∣AL∣∣LB∣=d(A,KP)d(B,KP)=d(A,CD)d(B,CD). \frac{|AL|}{|LB|} = \frac{d(A, KP)}{d(B, KP)} = \frac{d(A, CD)}{d(B, CD)}.

∣AK′∣∣K′B∣=d(A,KH)d(B,KH)=d(A,A′B′)d(B,A′B′). \frac{|AK'|}{|K'B|} = \frac{d(A, KH)}{d(B, KH)} = \frac{d(A, A'B')}{d(B, A'B')}.
This equality holds also in the special case A′=B′=KA' = B' = K. Indeed, let the projections of points AA and BB to the line A′B′A'B' be XX and YY correspondingly (Fig. 19), then ∠AKX=∠KDC=∠KBA=∠AKK′\angle AKX = \angle KDC = \angle KBA = \angle AKK', ∠BKY=∠KCD=∠KAB=∠BKK′\angle BKY = \angle KCD = \angle KAB = \angle BKK', whence △AKX∼△AKK′\triangle AKX \sim \triangle AKK' and △BKY∼△BKK′\triangle BKY \sim \triangle BKK'. It follows that ∣AK′∣=∣AX∣|AK'| = |AX|, ∣BK′∣=∣BY∣|BK'| = |BY| and ∣AK′∣∣K′B∣=d(A,A′B′)d(B,A′B′).\frac{|AK'|}{|K'B|} = \frac{d(A,A'B')}{d(B,A'B')}.

Considering instead of the cyclic quadrilateral ABCDABCD the quadrilateral determined by points A,B,A′,B′A, B, A', B', and instead of PP and LL the points HH and K′K' correspondingly, we get similarly that
∣AK′∣∣K′B∣=d(A,KH)d(B,KH)=d(A,A′B′)d(B,A′B′). \frac{|AK'|}{|K'B|} = \frac{d(A, KH)}{d(B, KH)} = \frac{d(A, A'B')}{d(B, A'B')}.

Since CC and DD lie on the shorter arc ABAB, we have ∠BCA=∠BDA>π2\angle BCA = \angle BDA > \frac{\pi}{2}. Thus the line A′B′A'B' is farther from the points AA and BB than the line CDCD. Since ∣AD∣>∣BC∣|AD| > |BC|, we have ∠ABD>∠CAB\angle ABD > \angle CAB and also ∠KBA>∠KAB\angle KBA > \angle KAB, which implies ∣KA∣>∣KB∣|KA| > |KB|. Hence d(A,CD)+d(K,CD)>d(B,CD)+d(K,CD)d(A, CD) + d(K, CD) > d(B, CD) + d(K, CD), or d(A,CD)>d(B,CD)d(A, CD) > d(B, CD). All together

Figure 3
Fig. 20

∣AL∣∣LB∣=d(A,CD)d(B,CD)>d(A,A′B′)d(B,A′B′)=∣AK′∣∣K′B∣. \frac{|AL|}{|LB|} = \frac{d(A, CD)}{d(B, CD)} > \frac{d(A, A'B')}{d(B, A'B')} = \frac{|AK'|}{|K'B|}.
Hence LL lies farther from AA than K′K' on the segment ABAB, therefore ∠ALK<∠AK′K=π2\angle ALK < \angle AK'K = \frac{\pi}{2}, i.e. ∠ALK\angle ALK is acute.

Solution 2

Denote ∠KAB=∠KCD=α\angle KAB = \angle KCD = \alpha, ∠KBA=∠KDC=β\angle KBA = \angle KDC = \beta, ∠KAC=∠KBD=δ\angle KAC = \angle KBD = \delta and ∠ALK=ξ\angle ALK = \xi (Fig. 20). Then ∠KDB=α+β−δ=∠KCA\angle KDB = \alpha + \beta - \delta = \angle KCA. The condition ∣AD∣>∣BC∣|AD| > |BC| is equivalent to β>α\beta > \alpha, and points CC and DD being located in the shorter arc ABAB is equivalent to the inequality α+β−δ<π2\alpha + \beta - \delta < \frac{\pi}{2}. In triangle KCDKCD we get ∣KD∣∣KC∣=sin⁡αsin⁡β\frac{|KD|}{|KC|} = \frac{\sin \alpha}{\sin \beta}. From triangles KDPKDP and KCPKCP we obtain ∣KP∣sin⁡(α+β−δ)=∣KD∣sin⁡(ξ−(β−δ))\frac{|KP|}{\sin(\alpha+\beta-\delta)} = \frac{|KD|}{\sin(\xi-(\beta-\delta))}, ∣KP∣sin⁡(α+β−δ)=∣KC∣sin⁡(ξ+(α−δ))\frac{|KP|}{\sin(\alpha+\beta-\delta)} = \frac{|KC|}{\sin(\xi+(\alpha-\delta))}, respectively. Consequently, ∣KD∣∣KC∣=sin⁡(ξ−(β−δ))sin⁡(ξ+(α−δ))\frac{|KD|}{|KC|} = \frac{\sin(\xi-(\beta-\delta))}{\sin(\xi+(\alpha-\delta))}. Expressions of ∣KD∣∣KC∣\frac{|KD|}{|KC|} together yield
sin⁡ζ(sin⁡βcos⁡(β−δ)−sin⁡αcos⁡(α−δ))=cos⁡ζ(sin⁡βsin⁡(β−δ)+sin⁡αsin⁡(α−δ)).(1) \sin \zeta (\sin \beta \cos(\beta - \delta) - \sin \alpha \cos(\alpha - \delta)) = \cos \zeta (\sin \beta \sin(\beta - \delta) + \sin \alpha \sin(\alpha - \delta)). \quad (1)
Clearly sin⁡ζ>0\sin \zeta > 0 and sin⁡βsin⁡(β−δ)+sin⁡αsin⁡(α−δ)>0\sin \beta \sin(\beta - \delta) + \sin \alpha \sin(\alpha - \delta) > 0 because ζ<π\zeta < \pi and β>δ\beta > \delta, α>δ\alpha > \delta. By the formula sin⁡xcos⁡y=12(sin⁡(x+y)+sin⁡(x−y))\sin x \cos y = \frac{1}{2}(\sin(x + y) + \sin(x - y)), we get sin⁡βcos⁡(β−δ)−sin⁡αcos⁡(α−δ)=12(sin⁡(2β−δ)−sin⁡(2α−δ))\sin \beta \cos(\beta - \delta) - \sin \alpha \cos(\alpha - \delta) = \frac{1}{2}(\sin(2\beta - \delta) - \sin(2\alpha - \delta)). Now α+β−δ<π2\alpha + \beta - \delta < \frac{\pi}{2} implies (2β−δ)+(2α−δ)<π(2\beta - \delta) + (2\alpha - \delta) < \pi, i.e., there exists a triangle whose two angles are 2β−δ2\beta - \delta and 2α−δ2\alpha - \delta. But 2β−δ>2α−δ2\beta - \delta > 2\alpha - \delta since β>α\beta > \alpha, therefore the law of sines in that triangle implies sin⁡(2β−δ)>sin⁡(2α−δ)\sin(2\beta - \delta) > \sin(2\alpha - \delta) (the larger the angle, the larger its opposite side in a triangle). Hence the second factor in the l.h.s. of equation (1) is positive. Altogether, we obtain cos⁡ζ>0\cos \zeta > 0, whence ζ<π2\zeta < \frac{\pi}{2}.

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.