Maths Olympiad Prep

Library / Selection tests for the International Mathematical Olympiad /8 of 11

Selection tests for the International Mathematical Olympiad, 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=90∘−∠A1BH=∠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=sin⁡∠KC1A⋅sin⁡∠KHC1sin⁡∠HC1K⋅sin⁡∠C1AK=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=180∘−2γ\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⁡αsin⁡2γ⋅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,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.