Maths Olympiad Prep

Library / /377 of 520

Algebra Difficulty 6.9 National olympiad Prove it

Let ABCA B C be an acute-angled triangle with altitudes AD,BEA D, B E, and CFC F. Let HH be the orthocentre, that is, the point where the altitudes meet. Prove that

ABAC+BCBA+CACBAHAD+BHBE+CHCF2. \frac{A B \cdot A C+B C \cdot B A+C A \cdot C B}{A H \cdot A D+B H \cdot B E+C H \cdot C F} \leq 2 .

Solution

Method 1: Let AB=c,AC=bA B=c, A C=b, and BC=aB C=a denote the three side lengths of the triangle.

As BFH=BDH=90,FHDB\angle B F H=\angle B D H=90^{\circ}, F H D B is a cyclic quadrilateral. By the Power-of-a-Point Theorem, AHAD=AFABA H \cdot A D=A F \cdot A B. (We can derive this result in other ways: for example, see Method 2, below.)

Since AF=ACcosAA F=A C \cdot \cos \angle A, we have AHAD=ACABcosA=bccosAA H \cdot A D=A C \cdot A B \cdot \cos \angle A=b c \cos \angle A.

## Life Financial

Hence, by the Cosine Law, cosA=b2+c2a22bc\cos \angle A=\frac{b^{2}+c^{2}-a^{2}}{2 b c}, which implies that AHAD=b2+c2a22A H \cdot A D=\frac{b^{2}+c^{2}-a^{2}}{2}.

By symmetry, we can show that BHBE=a2+c2b22B H \cdot B E=\frac{a^{2}+c^{2}-b^{2}}{2} and CHCF=a2+b2c22C H \cdot C F=\frac{a^{2}+b^{2}-c^{2}}{2}.

AHAD+BHBE+CHCF=b2+c2a22+a2+c2b22+a2+b2c22=a2+b2+c22. \begin{aligned} A H \cdot A D+B H \cdot B E+C H \cdot C F & =\frac{b^{2}+c^{2}-a^{2}}{2}+\frac{a^{2}+c^{2}-b^{2}}{2}+\frac{a^{2}+b^{2}-c^{2}}{2} \\ & =\frac{a^{2}+b^{2}+c^{2}}{2} . \end{aligned}

Our desired inequality, ABAC+BCBA+CACBAHAD+BHBE+CHCF2\frac{A B \cdot A C+B C \cdot B A+C A \cdot C B}{A H \cdot A D+B H \cdot B E+C H \cdot C F} \leq 2, is equivalent to the inequality cb+ac+baa2+b2+c222\frac{c b+a c+b a}{\frac{a^{2}+b^{2}+c^{2}}{2}} \leq 2, which simplifies to 2a2+2b2+2c22ab+2bc+2ca2 a^{2}+2 b^{2}+2 c^{2} \geq 2 a b+2 b c+2 c a.

But this last inequality is easy to prove, as it is equivalent to (ab)2+(ac)2+(bc)20(a-b)^{2}+(a-c)^{2}+(b-c)^{2} \geq 0.

Therefore, we have established the desired inequality. The proof also shows that equality occurs if and only if a=b=ca=b=c, i.e., ABC\triangle A B C is equilateral.

Method 2: Observe that

AEAH=cos(HAE)=ADAC and AFAH=cos(HAF)=ADAB \frac{A E}{A H}=\cos (\angle H A E)=\frac{A D}{A C} \quad \text { and } \quad \frac{A F}{A H}=\cos (\angle H A F)=\frac{A D}{A B} \text {. }

It follows that

ACAE=AHAD=ABAF. A C \cdot A E=A H \cdot A D=A B \cdot A F .

By symmetry, we similarly have

BCBD=BHBE=BFBA and CDCB=CHCF=CECA B C \cdot B D=B H \cdot B E=B F \cdot B A \quad \text { and } \quad C D \cdot C B=C H \cdot C F=C E \cdot C A \text {. }

Therefore

2(AHAD+BHBE+CHCF)=AB(AF+BF)+AC(AE+CE)+BC(BD+CD)=AB2+AC2+BC2. \begin{aligned} & 2(A H \cdot A D+B H \cdot B E+C H \cdot C F) \\ & \quad=A B(A F+B F)+A C(A E+C E)+B C(B D+C D) \\ & \quad=A B^{2}+A C^{2}+B C^{2} . \end{aligned}

This proves Equation (1) in Method 1. The rest of the proof is the same as the part of the proof of Method 1 that follows Equation (1).

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.