Maths Olympiad Prep

Library / /8 of 11

, 2013

Geometry Difficulty 8.4 Shortlist Prove it Saudi Arabia

Let ABCABC be an acute triangle, and let AA1AA_{1}, BB1BB_{1}, and CC1CC_{1} be its altitudes. Segments AA1AA_{1} and B1C1B_{1}C_{1} meet at point KK. The perpendicular bisector of segment A1KA_{1}K intersects sides ABAB and ACAC at LL and MM, respectively. Prove that points AA, A1A_{1}, LL, and MM lie on a circle.

Solution

Because LMLM is parallel to BCBC, the problem is equivalent to proving that AA1L=AML=ACB\angle AA_{1}L = \angle AML = \angle ACB. We present two solutions:

Figure 1

First solution. Let L1L_{1} be the point on ABAB such that AA1L1=ACB\angle AA_{1}L_{1} = \angle ACB and let us prove that L1=LL_{1} = L.

Quadrilateral BCB1C1BCB_{1}C_{1} is cyclic since BC1C=BB1C=90\angle BC_{1}C = \angle BB_{1}C = 90^{\circ}. Therefore, B1C1A=ACB=AA1L1\angle B_{1}C_{1}A = \angle ACB = \angle AA_{1}L_{1}. We deduce that the quadrilateral A1KC1L1A_{1}KC_{1}L_{1} is cyclic. Hence, L1KA1=L1C1A1\angle L_{1}KA_{1} = \angle L_{1}C_{1}A_{1}.

Quadrilateral AC1A1CAC_{1}A_{1}C is cyclic since CA1A=CC1A=90\angle CA_{1}A = \angle CC_{1}A = 90^{\circ}. We deduce that L1C1A1=ACB\angle L_{1}C_{1}A_{1} = \angle ACB. Thus, L1KA1=AA1L1\angle L_{1}KA_{1} = \angle AA_{1}L_{1}. This proves that L1A1=L1KL_{1}A_{1} = L_{1}K, that is L1=LL_{1} = L, the intersection point of the perpendicular bisector of KA1KA_{1} with ABAB.

Second solution. Since LK=LA1LK = LA_{1}, the problem is equivalent to proving that LKA1=ACB\angle LKA_{1} = \angle ACB. But BHA1=90A1BH=ACB\angle BHA_{1} = 90^{\circ} - \angle A_{1}BH = \angle ACB, where HH is the orthocenter of triangle ABCABC. Therefore, the problem is equivalent to proving that LKLK and BHBH are parallel.

We know that ALLB=ANNA1\frac{AL}{LB} = \frac{AN}{NA_{1}}, where NN is the midpoint of KA1KA_{1}, since LMLM and BCBC are parallel. It remains to prove that AKKH=ANNA1\frac{AK}{KH} = \frac{AN}{NA_{1}}.

To simplify the notations let us write α=BAC\alpha = \angle BAC, β=CBA\beta = \angle CBA and γ=ACB\gamma = \angle ACB.

We know that KC1A=γ\angle KC_{1}A = \gamma, HC1K=90γ\angle HC_{1}K = 90^{\circ} - \gamma, C1AK=90β\angle C_{1}AK = 90^{\circ} - \beta and KHC1=β\angle KHC_{1} = \beta. We deduce by applying sine laws on triangles AC1KAC_{1}K and C1HKC_{1}HK that
AKKH=sinKC1AsinKHC1sinHC1KsinC1AK=tanβtanγ \frac{AK}{KH} = \frac{\sin \angle KC_{1}A \cdot \sin \angle KHC_{1}}{\sin \angle HC_{1}K \cdot \sin \angle C_{1}AK} = \tan \beta \cdot \tan \gamma
On the other hand, we have ANNA1=AKNA1+1=2AKKA1+1\frac{AN}{NA_{1}} = \frac{AK}{NA_{1}} + 1 = 2 \frac{AK}{KA_{1}} + 1. We also know that A1C1K=1802γ\angle A_{1}C_{1}K = 180^{\circ} - 2\gamma and KA1C1=90α\angle KA_{1}C_{1} = 90^{\circ} - \alpha. We deduce by applying sine laws on triangles AC1KAC_{1}K and C1A1KC_{1}A_{1}K that
AKKA1=sinγcosαsin2γcosβ=cosα2cosβcosγ \frac{AK}{KA_{1}} = \frac{\sin \gamma \cdot \cos \alpha}{\sin 2\gamma \cdot \cos \beta} = \frac{\cos \alpha}{2 \cos \beta \cdot \cos \gamma}
We deduce that
ANNA1=cosαcosβcosγ+1=cosβcosγcos(β+γ)cosβcosγ=tanβtanγ=AKKH. \frac{AN}{NA_{1}} = \frac{\cos \alpha}{\cos \beta \cdot \cos \gamma} + 1 = \frac{\cos \beta \cdot \cos \gamma - \cos (\beta + \gamma)}{\cos \beta \cdot \cos \gamma} = \tan \beta \cdot \tan \gamma = \frac{AK}{KH}.

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.