Maths Olympiad Prep

Library / /22 of 39

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+ACBCcosα+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>2h2hsinαBCcosα+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 ABK2H1AB \ge K_2H_1 and ACK3H1AC \ge K_3H_1.

Figure 1
Fig.23

Next, by Ptolemy's theorem ABK2H1=AK2BH1+BK2AH1AB \cdot K_2H_1 = AK_2 \cdot BH_1 + BK_2 \cdot AH_1. This implies
K2H1=AK2BH1AB+BK2AH1AB=AH2ABBH1+BH2ABAH1=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+ACK2H1+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=90BAH1=BAK2=BAC=CAK3=90CAH1=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,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.