Kvant Math Problem 601

Verified: no
Verdicts: SKIP + SKIP
Solve time: 1m22s
Source on kvant.digital

Problem

Prove that in any triangle $ABC$, the midpoint of side $BC$ lies on the segment joining the intersection point of the altitudes of triangle $ABC$ to the point on the circumcircle of this triangle that is diametrically opposite vertex $A$, and bisects this segment.

G. Groshev, 10th-grade student

Exploration

Let $H$ be the orthocenter of triangle $ABC$, let $M$ be the midpoint of $BC$, and let $D$ be the point on the circumcircle diametrically opposite $A$.

The statement says that $M$ lies on segment $HD$ and that $HM=MD$. Thus $M$ should be the midpoint of $HD$.

A coordinate computation looks promising. Place the circumcenter $O$ at the origin. Since $D$ is diametrically opposite $A$, we have $\overrightarrow{OD}=-\overrightarrow{OA}$.

For a triangle inscribed in a circle centered at the origin, a standard vector description of the orthocenter is

$$\overrightarrow{OH} = \overrightarrow{OA} +\overrightarrow{OB} +\overrightarrow{OC}.$$

If this is correct, then

$$\frac{\overrightarrow{OH}+\overrightarrow{OD}}2 = \frac{ (\overrightarrow{OA}+\overrightarrow{OB}+\overrightarrow{OC}) -\overrightarrow{OA} }2 = \frac{\overrightarrow{OB}+\overrightarrow{OC}}2.$$

But the right-hand side is exactly the position vector of the midpoint of $BC$. Hence $M$ would be the midpoint of $HD$.

The only point requiring proof is the orthocenter formula. To verify it, let

$$\mathbf h=\mathbf a+\mathbf b+\mathbf c,$$

where $\mathbf a,\mathbf b,\mathbf c$ are the position vectors of $A,B,C$ on a circle centered at the origin. Since

$$|\mathbf a|=|\mathbf b|=|\mathbf c|,$$

we obtain

$$(\mathbf h-\mathbf a)\cdot(\mathbf b-\mathbf c) = (\mathbf b+\mathbf c)\cdot(\mathbf b-\mathbf c) = |\mathbf b|^2-|\mathbf c|^2 = 0.$$

Thus $AH\perp BC$. The same calculation works cyclically, proving that $\mathbf h$ is the orthocenter.

This gives a short and rigorous proof.

Problem Understanding

Let $H$ be the intersection point of the three altitudes of triangle $ABC$, and let $D$ be the point on the circumcircle of $ABC$ such that $AD$ is a diameter. If $M$ is the midpoint of side $BC$, we must prove that $M$ lies on segment $HD$ and is its midpoint.

This is a Type B problem, a pure proof.

The core difficulty is relating the orthocenter, the midpoint of a side, and the point diametrically opposite a vertex on the circumcircle. The natural connection is obtained by representing all these points with vectors relative to the circumcenter.

Proof Architecture

Let $O$ be the circumcenter of triangle $ABC$, and let $\mathbf a,\mathbf b,\mathbf c$ be the position vectors of $A,B,C$ with respect to $O$.

Lemma 1. The orthocenter $H$ has position vector $\mathbf h=\mathbf a+\mathbf b+\mathbf c$.

Sketch. Show that the vector $\mathbf h-\mathbf a=\mathbf b+\mathbf c$ is perpendicular to $\mathbf b-\mathbf c$, hence $AH\perp BC$; similarly for the other two altitudes.

Lemma 2. If $D$ is diametrically opposite $A$ on the circumcircle, then its position vector is $-\mathbf a$.

Sketch. The circumcenter is the midpoint of diameter $AD$.

Lemma 3. The midpoint of segment $HD$ has position vector $(\mathbf h-\mathbf a)/2=(\mathbf b+\mathbf c)/2$.

Sketch. Substitute the expressions from Lemmas 1 and 2.

Lemma 4. The midpoint of side $BC$ has position vector $(\mathbf b+\mathbf c)/2$.

Sketch. This is the standard midpoint formula.

The most delicate point is Lemma 1, since the entire argument depends on the correct vector description of the orthocenter.

Solution

Let $O$ be the circumcenter of triangle $ABC$. Denote by

$$\mathbf a=\overrightarrow{OA},\qquad \mathbf b=\overrightarrow{OB},\qquad \mathbf c=\overrightarrow{OC}$$

the position vectors of the vertices with respect to $O$.

Since $A$, $B$, and $C$ lie on the circumcircle centered at $O$, we have

$$|\mathbf a|=|\mathbf b|=|\mathbf c|.$$

We first determine the position vector of the orthocenter.

Define a point $H$ by

$$\overrightarrow{OH} = \mathbf h = \mathbf a+\mathbf b+\mathbf c.$$

Then

$$\overrightarrow{AH} = \mathbf h-\mathbf a = \mathbf b+\mathbf c.$$

Also,

$$\overrightarrow{BC} = \mathbf c-\mathbf b.$$

Hence

$$(\mathbf h-\mathbf a)\cdot(\mathbf c-\mathbf b) = (\mathbf b+\mathbf c)\cdot(\mathbf c-\mathbf b).$$

Expanding,

$$(\mathbf b+\mathbf c)\cdot(\mathbf c-\mathbf b) = |\mathbf c|^2-|\mathbf b|^2 = 0.$$

Therefore $AH\perp BC$.

By cyclic permutation of $A,B,C$ we obtain similarly

$$BH\perp AC, \qquad CH\perp AB.$$

Thus $H$ lies on all three altitudes of triangle $ABC$, so $H$ is the orthocenter.

Now let $D$ be the point on the circumcircle diametrically opposite $A$. Since $O$ is the midpoint of diameter $AD$,

$$\overrightarrow{OD} = -\mathbf a.$$

Let $N$ be the midpoint of segment $HD$. Its position vector is

$$\overrightarrow{ON} = \frac{\overrightarrow{OH}+\overrightarrow{OD}}2 = \frac{\mathbf h-\mathbf a}{2}.$$

Substituting $\mathbf h=\mathbf a+\mathbf b+\mathbf c$ gives

$$\overrightarrow{ON} = \frac{\mathbf b+\mathbf c}{2}.$$

If $M$ is the midpoint of side $BC$, then

$$\overrightarrow{OM} = \frac{\mathbf b+\mathbf c}{2}.$$

Therefore

$$\overrightarrow{ON} = \overrightarrow{OM},$$

which implies $N=M$.

Hence $M$ is the midpoint of segment $HD$. In particular, $M$ lies on the segment joining $H$ and $D$ and bisects that segment.

This completes the proof.

∎

Verification of Key Steps

The first delicate step is the identity

$$\overrightarrow{OH} = \mathbf a+\mathbf b+\mathbf c.$$

To verify it independently, compute

$$(\mathbf b+\mathbf c)\cdot(\mathbf b-\mathbf c) = |\mathbf b|^2-|\mathbf c|^2.$$

Because $B$ and $C$ lie on the same circumcircle centered at $O$, the two squared lengths are equal, so the dot product vanishes. Thus the vector from $A$ to the point with position vector $\mathbf a+\mathbf b+\mathbf c$ is perpendicular to $BC$. Repeating the same calculation cyclically proves that the point lies on all three altitudes.

The second delicate step is identifying the point diametrically opposite $A$. Since $O$ is the center of the circle and the midpoint of diameter $AD$,

$$\frac{\mathbf a+\overrightarrow{OD}}2=0.$$

Solving gives

$$\overrightarrow{OD}=-\mathbf a.$$

Any sign error here would change the midpoint computation and destroy the conclusion.

The final step is the midpoint calculation:

$$\frac{\overrightarrow{OH}+\overrightarrow{OD}}2 = \frac{(\mathbf a+\mathbf b+\mathbf c)-\mathbf a}{2} = \frac{\mathbf b+\mathbf c}{2}.$$

This is exactly the midpoint formula for $BC$. The equality of these two midpoint vectors proves that the midpoint of $HD$ and the midpoint of $BC$ are the same point.

Alternative Approaches

A synthetic proof can be obtained by introducing the circumcenter $O$. Since $D$ is diametrically opposite $A$, the point $O$ is the midpoint of $AD$. A classical property of the orthocenter states that

$$\overrightarrow{OH} = \overrightarrow{OA} + \overrightarrow{OB} + \overrightarrow{OC}.$$

From this relation one derives

$$\overrightarrow{MH} = \frac{\overrightarrow{OA}+\overrightarrow{OB}+\overrightarrow{OC}-(\overrightarrow{OB}+\overrightarrow{OC})}{2} = \frac{\overrightarrow{OA}}2,$$

while

$$\overrightarrow{MD} = \frac{-\overrightarrow{OA}-(\overrightarrow{OB}+\overrightarrow{OC})}{2} + \frac{\overrightarrow{OB}+\overrightarrow{OC}}{2} = -\frac{\overrightarrow{OA}}2.$$

Hence $\overrightarrow{MH}=-\overrightarrow{MD}$, which means that $M$ is the midpoint of $HD$.

The vector proof presented in the main solution is preferable because it derives the conclusion from a single computation and makes the midpoint relation completely transparent.