Maths Olympiad Prep

Library / Problems of Ukrainian Authors /21 of 40

Problems of Ukrainian Authors

Geometry Difficulty 5.7 AIME, harder Prove it Ukraine

Let hh be the altitude of triangle ABCABC passing through the vertex AA and α=∠BAC\alpha = \angle BAC. Prove that the following inequality holds:
AB+AC≥BC⋅cos⁡α+2hsin⁡α. AB + AC \ge BC \cdot \cos \alpha + 2h \sin \alpha.
In what triangles does equality hold?

Solution

If α≥90∘\alpha \ge 90^\circ, then AB+AC>2h≥2hsin⁡α≥BC⋅cos⁡α+2hsin⁡αAB + AC > 2h \ge 2h \sin \alpha \ge BC \cdot \cos \alpha + 2h \sin \alpha, because cos⁡α≤0\cos \alpha \le 0, that is, the inequality is strict.

Let now α<90∘\alpha < 90^\circ, denote by H1,H2,H3H_1, H_2, H_3 the feet of altitudes from vertices A,B,CA, B, C respectively, K2K_2 be the point symmetric to H2H_2 with respect to line ABAB and analogously K3K_3 be the point symmetric to H3H_3 with respect to line ACAC. Denote by ω1\omega_1 and ω2\omega_2 the circumscribed circles of the triangles ABH1ABH_1 and ACH1ACH_1 respectively (Fig.23). Then ABAB and ACAC are diameters of these circles, as ∠AK2B=∠AK3C=90∘\angle AK_2B = \angle AK_3C = 90^\circ, so K2∈ω1K_2 \in \omega_1 and K3∈ω2K_3 \in \omega_2. Then AB≥K2H1AB \ge K_2H_1 and AC≥K3H1AC \ge K_3H_1.

Figure 1
Fig.23

Next, by Ptolemy's theorem AB⋅K2H1=AK2⋅BH1+BK2⋅AH1AB \cdot K_2H_1 = AK_2 \cdot BH_1 + BK_2 \cdot AH_1. This implies
K2H1=AK2⋅BH1AB+BK2⋅AH1AB=AH2AB⋅BH1+BH2AB⋅AH1=BH1cos⁡α+hsin⁡α. K_2H_1 = \frac{AK_2 \cdot BH_1}{AB} + \frac{BK_2 \cdot AH_1}{AB} = \frac{AH_2}{AB} \cdot BH_1 + \frac{BH_2}{AB} \cdot AH_1 = BH_1 \cos \alpha + h \sin \alpha.
Analogously, K3H1=CH1cos⁡α+hsin⁡αK_3H_1 = CH_1 \cos \alpha + h \sin \alpha. Then
AB+AC≥K2H1+K3H1=(BH1cos⁡α+hsin⁡α)+(CH1cos⁡α+hsin⁡α)=BCcos⁡α+2hsin⁡α, AB + AC \geq K_2H_1 + K_3H_1 = (BH_1 \cos \alpha + h \sin \alpha) + (CH_1 \cos \alpha + h \sin \alpha) = BC \cos \alpha + 2h \sin \alpha,
the proof is finished.

Equality holds if and only if the segments K2H1K_2H_1 and K3H1K_3H_1 are the diameters of circles ω1\omega_1 and ω2\omega_2 respectively. In this case
∠ABC=90∘−∠BAH1=∠BAK2=∠BAC=∠CAK3=90∘−∠CAH1=∠ACB, \angle ABC = 90^\circ - \angle BAH_1 = \angle BAK_2 = \angle BAC = \angle CAK_3 = 90^\circ - \angle CAH_1 = \angle ACB,
then the triangle ABCABC is equilateral. It is easily checked that the equality holds.

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.