Olympiad Maths Prep

Library / /3 of 11

Geometry Difficulty 5.5 AIME, harder Prove it Czech Republic

Let ABCABC be an acute triangle with altitudes AKAK, BLBL, CMCM. Prove that triangle ABCABC is isosceles if and only if
AM+BK+CL=AL+BM+CK. AM + BK + CL = AL + BM + CK.

Solution

Points KK, LL, MM are defined as feet of altitudes and we need to express perpendicularity. Since the statement involves lengths and not angles, we characterise the perpendicularity by lengths of segments.
Comparing Pythagorean theorems in triangles AMCAMC, BMCBMC we learn AC2BC2=AM2BM2AC^2 - BC^2 = AM^2 - BM^2. Denoting the lengths of BCBC, CACA, ABAB by aa, bb, cc, respectively, this implies
AMBM=b2a2AM+BM=b2a2c AM - BM = \frac{b^2 - a^2}{AM + BM} = \frac{b^2 - a^2}{c}
and likewise
BKCK=c2b2aandCLAL=a2c2b. BK - CK = \frac{c^2 - b^2}{a} \quad \text{and} \quad CL - AL = \frac{a^2 - c^2}{b}.

The equality from the problem statement rewrites as
a2b2c+b2c2a+c2a2b=0,ab(a2b2)+bc(b2c2)+ca(c2a2)=0. \begin{gathered} \frac{a^2 - b^2}{c} + \frac{b^2 - c^2}{a} + \frac{c^2 - a^2}{b} = 0, \\ ab(a^2 - b^2) + bc(b^2 - c^2) + ca(c^2 - a^2) = 0. \end{gathered}
Let's try to factor the left-hand side by viewing it as a cubic polynomial PP in variable aa. It is easy to check that for isosceles triangle the left-hand side is zero, hence P(b)=0P(b) = 0 and P(c)=0P(c) = 0 and we know two roots of PP. After dividing P(a)P(a) by (ab)(ac)(a-b)(a-c) we are left with linear polynomial a(bc)+b2c2a(b-c) + b^2 - c^2 which can be factored easily. To sum up, the equality from problem statement is equivalent with
(ab)(bc)(ca)(a+b+c)=0. (a-b)(b-c)(c-a)(a+b+c) = 0.
It's obvious that this equality holds if and only if triangle ABCABC is isosceles.

Looking for a route rather than 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.