Kvant Math Problem 242
Denote the sides opposite $A_1,A_2,A_3$ by
Verified: no
Verdicts: SKIP + SKIP
Solve time: 4m55s
Source on kvant.digital
Problem
Let $A_iH_i$ be the altitude and $A_iM_i$ the median drawn from vertex $A_i$ of an acute-angled triangle $A_1A_2A_3$ ($i=1$, 2, 3). Prove that one of the three products $|H_1M_1|\cdot|A_2A_3|$, $|H_2M_2|\cdot|A_3A_1|$, $|H_3M_3|\cdot|A_1A_2|$ equals the sum of the other two. Is this statement also true for right-angled and obtuse-angled triangles?
S. Salnikov, 10th-grade student (Mary)
Exploration
Denote the sides opposite $A_1,A_2,A_3$ by
$$a=|A_2A_3|,\qquad b=|A_3A_1|,\qquad c=|A_1A_2|.$$
The quantity appearing in the problem is not the distance from a vertex to the side, but the distance between the foot of the altitude and the midpoint of the side. It is natural to express $|H_1M_1|$ through the side lengths.
Place $A_2A_3$ on a line. If $D=H_1$, then
$$A_2D=c\cos A_2.$$
Since $M_1$ is the midpoint of $A_2A_3$,
$$|DM_1|=\left|c\cos A_2-\frac a2\right|.$$
Using the law of cosines,
$$c\cos A_2=\frac{a^2+c^2-b^2}{2a},$$
hence
$$|H_1M_1| =\frac{|c^2-b^2|}{2a}.$$
Therefore
$$a|H_1M_1|=\frac{|b^2-c^2|}{2}.$$
The analogous formulas for the other vertices are
$$b|H_2M_2|=\frac{|c^2-a^2|}{2}, \qquad c|H_3M_3|=\frac{|a^2-b^2|}{2}.$$
The problem has now become purely arithmetic. For any three real numbers $x,y,z$, one of
$$|x-y|,\quad |y-z|,\quad |z-x|$$
equals the sum of the other two, because after ordering them, say $x\le y\le z$,
$$z-x=(z-y)+(y-x).$$
The only point that could fail is the derivation of
$$a|H_1M_1|=\frac{|b^2-c^2|}{2},$$
especially when the triangle is obtuse and the altitude foot lies outside the side. The coordinate computation shows that the same formula remains valid because the projection length $c\cos A_2$ may be negative, but the absolute value absorbs the sign.
Problem Understanding
We are given a triangle $A_1A_2A_3$. For each vertex $A_i$, the altitude meets the opposite side or its extension at $H_i$, and the median meets the opposite side at its midpoint $M_i$.
We must prove that among the three numbers
$$|H_1M_1|\cdot |A_2A_3|, \qquad |H_2M_2|\cdot |A_3A_1|, \qquad |H_3M_3|\cdot |A_1A_2|,$$
one equals the sum of the other two. We must also determine whether the statement remains true for right and obtuse triangles.
This is a Type B problem. The main difficulty is converting the geometric quantities $|H_iM_i|$ into expressions involving only the side lengths, after which the statement becomes an elementary identity about three real numbers.
Proof Architecture
First, prove that
$$a|H_1M_1|=\frac{|b^2-c^2|}{2}.$$
This follows from expressing the position of the altitude foot on the side $A_2A_3$ via a projection and then applying the law of cosines.
Second, obtain the analogous formulas
$$b|H_2M_2|=\frac{|c^2-a^2|}{2}, \qquad c|H_3M_3|=\frac{|a^2-b^2|}{2}.$$
These are obtained by cyclic permutation of the indices.
Third, use the elementary fact that for any three real numbers $x,y,z$, one of the three quantities
$$|x-y|,\quad |y-z|,\quad |z-x|$$
equals the sum of the other two.
The most delicate step is the first lemma, because it must remain valid when the altitude foot lies outside the side in an obtuse triangle.
Solution
Let
$$a=|A_2A_3|,\qquad b=|A_3A_1|,\qquad c=|A_1A_2|.$$
Consider the altitude and median from $A_1$.
Let $D=H_1$. Along the line $A_2A_3$,
$$A_2D=c\cos A_2.$$
Since $M_1$ is the midpoint of $A_2A_3$,
$$A_2M_1=\frac a2.$$
Hence
$$|H_1M_1| = \left|c\cos A_2-\frac a2\right|.$$
By the law of cosines,
$$b^2=a^2+c^2-2ac\cos A_2,$$
so
$$c\cos A_2 = \frac{a^2+c^2-b^2}{2a}.$$
Substituting,
$$|H_1M_1| = \left| \frac{a^2+c^2-b^2}{2a} -\frac a2 \right| = \frac{|c^2-b^2|}{2a}.$$
Therefore
$$a|H_1M_1| = \frac{|b^2-c^2|}{2}.$$
By cyclic permutation,
$$b|H_2M_2| = \frac{|c^2-a^2|}{2}, \qquad c|H_3M_3| = \frac{|a^2-b^2|}{2}.$$
Now set
$$x=a^2,\qquad y=b^2,\qquad z=c^2.$$
Then the three quantities from the problem become
$$\frac{|y-z|}{2}, \qquad \frac{|z-x|}{2}, \qquad \frac{|x-y|}{2}.$$
Assume, after relabeling $x,y,z$ if necessary, that
$$x\le y\le z.$$
Then
$$|z-x|=z-x, \qquad |z-y|=z-y, \qquad |y-x|=y-x,$$
and
$$|z-x| = (z-y)+(y-x) = |z-y|+|y-x|.$$
Thus one of the three numbers
$$|x-y|,\quad |y-z|,\quad |z-x|$$
equals the sum of the other two. Multiplying by $\frac12$ gives
$$\max!\left( a|H_1M_1|, , b|H_2M_2|, , c|H_3M_3| \right) = \text{sum of the other two}.$$
This proves the statement for every acute triangle.
The derivation of
$$a|H_1M_1| = \frac{|b^2-c^2|}{2}$$
used only the law of cosines and the projection formula $A_2D=c\cos A_2$. Both remain valid for right and obtuse triangles, although $D$ may lie on an extension of the side. Consequently the same three expressions are still
$$\frac{|b^2-c^2|}{2}, \qquad \frac{|c^2-a^2|}{2}, \qquad \frac{|a^2-b^2|}{2},$$
and the arithmetic argument is unchanged.
Hence the statement is true not only for acute triangles but for every nondegenerate triangle.
This completes the proof.
∎
Verification of Key Steps
The first delicate step is the computation of $|H_1M_1|$.
Starting from
$$A_2H_1=c\cos A_2,$$
and
$$A_2M_1=\frac a2,$$
we obtain
$$|H_1M_1| = \left|c\cos A_2-\frac a2\right|.$$
Substituting
$$c\cos A_2=\frac{a^2+c^2-b^2}{2a}$$
gives
$$|H_1M_1| = \frac{|c^2-b^2|}{2a}.$$
No assumption about the sign of $\cos A_2$ is required. This is why the formula survives in the obtuse case.
The second delicate step is the arithmetic identity. Let
$$x\le y\le z.$$
Then
$$|z-x|=z-x,$$
while
$$|z-y|+|y-x| = (z-y)+(y-x) = z-x.$$
The ordered case covers all possibilities because every triple of real numbers admits an ordering.
A numerical check illustrates the relation. For $(x,y,z)=(1,4,9)$,
$$|x-y|=3,\quad |y-z|=5,\quad |z-x|=8,$$
and indeed $8=3+5$. For $(x,y,z)=(4,1,9)$ the same absolute values occur, showing that only the ordering matters.
Alternative Approaches
A coordinate solution can be carried out from the beginning. Place
$$A_2=\left(-\frac a2,0\right),\qquad A_3=\left(\frac a2,0\right),$$
and let $A_1=(u,v)$. Then $M_1=(0,0)$ and $H_1=(u,0)$, so $|H_1M_1|=|u|$. Expressing $u$ through the side lengths yields
$$u=\frac{c^2-b^2}{2a},$$
hence
$$a|H_1M_1|=\frac{|b^2-c^2|}{2}.$$
The remainder is the same arithmetic argument.
The main proof is preferable because it uses only a projection and the law of cosines, making the geometric origin of the identity transparent while avoiding coordinate calculations.