Let be an acute triangle with altitudes , , . Prove that triangle is isosceles if and only if
Solution
Points , , 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 , we learn . Denoting the lengths of , , by , , , respectively, this implies
and likewise
The equality from the problem statement rewrites as
Let's try to factor the left-hand side by viewing it as a cubic polynomial in variable . It is easy to check that for isosceles triangle the left-hand side is zero, hence and and we know two roots of . After dividing by we are left with linear polynomial which can be factored easily. To sum up, the equality from problem statement is equivalent with
It's obvious that this equality holds if and only if triangle is isosceles.