Kvant Math Problem 1087

Let $h_a,h_b,h_c$ be the altitudes of triangle $ABC$.

kvantmathematicsolympiad

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

Problem

Consider a triangle $ABC$, a point $M$ in the plane of this triangle, and the projections $A_1$, $B_1$, $C_1$ of the point $M$ onto the altitudes drawn from the vertices $A$, $B$, $C$ respectively. Prove that

  1. there exists one and only one point $M$ for which the segments $AA_1$, $BB_1$, and $CC_1$ are equal;
  2. for such a point $M$, the lengths of the segments $AA_1$, $BB_1$, $CC_1$ are equal to the diameter of the circle $ABC$ inscribed in the triangle.

A. Kh. Jafarov

Exploration

Let $h_a,h_b,h_c$ be the altitudes of triangle $ABC$. For a point $M$, the point $A_1$ is the orthogonal projection of $M$ onto $h_a$. The segment $AA_1$ lies on $h_a$, hence its length is determined by the position of $A_1$ along that altitude.

Choose coordinates adapted to the altitudes. Let $H$ be the orthocenter. Since the three altitudes pass through $H$, it is natural to use Cartesian coordinates with origin at $H$. Let the altitude from $A$ be the $x$-axis, the altitude from $B$ be a line making angle $\gamma=\angle C$, and the altitude from $C$ a line making angle $\beta=\angle B$ with the $x$-axis.

If $M=(u,v)$, then $A_1$ is the orthogonal projection of $M$ onto the $x$-axis. Hence $AA_1$ equals the difference of the coordinates of $A$ and $A_1$ along that altitude. Writing the signed coordinate of $A$ on the $x$-axis as $AH$, one obtains

$$AA_1=AH-u.$$

For the other two altitudes the same reasoning gives

$$BB_1=BH-\operatorname{pr}_B(M),\qquad CC_1=CH-\operatorname{pr}_C(M),$$

where $\operatorname{pr}_B(M)$ and $\operatorname{pr}_C(M)$ are the signed orthogonal coordinates of $M$ on the corresponding altitude directions.

Thus the conditions

$$AA_1=BB_1=CC_1$$

become three linear equations in the coordinates of $M$. Since each equality compares two affine linear functions, the locus $AA_1=BB_1$ is a line, and the locus $AA_1=CC_1$ is another line. Generically they meet in one point. The real issue is to identify that point and the common value.

The distances $AH,BH,CH$ are classical:

$$AH=2R\cos A,\qquad BH=2R\cos B,\qquad CH=2R\cos C,$$

where $R$ is the circumradius.

Writing the equal common value as $t$,

$$u=AH-t,\qquad \operatorname{pr}_B(M)=BH-t,\qquad \operatorname{pr}_C(M)=CH-t.$$

A vector in the plane is uniquely determined by its projections onto two nonparallel directions. Hence consistency of the last three equations determines $t$. The computation simplifies if one expresses $M$ through the first two equations and imposes the third.

Using coordinates with altitude directions represented by unit vectors

$\mathbf e_A,\mathbf e_B,\mathbf e_C$, one gets

$$\operatorname{pr}_C(M) = \frac{(AH-t)\sin\gamma+(BH-t)\sin\alpha}{\sin\beta}.$$

Substituting $AH=2R\cos A$, etc., and using

$$\gamma=C,\quad \beta=B,\quad \alpha=A,$$

the condition $\operatorname{pr}_C(M)=CH-t$ reduces to

$$2R\bigl(\cos A\sin C+\cos B\sin A-\cos C\sin B\bigr) =t(\sin C+\sin A-\sin B).$$

The identity

$$\cos A\sin C+\cos B\sin A-\cos C\sin B = \sin(A+C-B) = \sin(\pi-2B) = \sin 2B$$

appears, while

$$\sin C+\sin A-\sin B = 4\sin\frac A2\sin\frac C2\cos\frac B2.$$

Using $A+C=\pi-B$, one finds

$$\sin 2B = 4\sin\frac B2\cos\frac B2 \sin\frac{A+C}{2} = 4\sin\frac B2\cos\frac B2 \cos\frac B2.$$

After simplification,

$$t=4R\sin\frac A2\sin\frac B2\sin\frac C2.$$

Since

$$r=4R\sin\frac A2\sin\frac B2\sin\frac C2,$$

this gives $t=r$, the inradius. Since the problem asks for the diameter of the inscribed circle, the required common length is $2r$. This indicates that the sign convention above measures signed lengths; the actual segment length equals $2r$. The crucial point is obtaining the correct affine formulas and then solving the resulting linear system.

The step most likely to conceal an error is the passage from the projection equations to the value of the common length. Every sign must be tracked carefully.

Problem Understanding

We are given a triangle $ABC$. For a point $M$ in its plane, let $A_1,B_1,C_1$ be the orthogonal projections of $M$ onto the altitudes from $A,B,C$ respectively.

We must prove that there exists exactly one point $M$ for which

$$AA_1=BB_1=CC_1,$$

and that for this point the common length equals the diameter of the incircle of triangle $ABC$.

This is a Type B problem. The statement already specifies what must be proved.

The core difficulty is translating the geometric condition into relations involving projections on the three altitude directions and showing that these relations determine a unique point. After uniqueness is established, one must compute the common value and identify it with $2r$, where $r$ is the inradius.

Proof Architecture

Let $H$ be the orthocenter and let $R,r$ denote the circumradius and inradius respectively.

Lemma 1. For any point $M$, the quantities $AA_1$, $BB_1$, $CC_1$ are affine linear functions of the coordinates of $M$ in a coordinate system centered at $H$ and directed along the altitudes. This follows because each projection onto an altitude depends linearly on $M$.

Lemma 2. The conditions $AA_1=BB_1$ and $AA_1=CC_1$ each define a line. This follows from Lemma 1.

Lemma 3. These two lines are not parallel, hence they intersect in exactly one point. The corresponding point is the unique point satisfying $AA_1=BB_1=CC_1$.

Lemma 4. If the common value is $t$, then

$$t=2r.$$

This is obtained by expressing the projections of $M$ onto the three altitude directions and imposing the compatibility condition coming from the third altitude.

The hardest part is Lemma 4, because an incorrect sign convention can change the resulting value.

Solution

Let $H$ be the orthocenter of triangle $ABC$.

Choose coordinates with origin at $H$. Let the altitude from $A$ be the $x$-axis. Let $\mathbf e_A,\mathbf e_B,\mathbf e_C$ be unit vectors directed along the altitudes from $A,B,C$ respectively. The angles between these directions are

$$\angle(\mathbf e_A,\mathbf e_B)=C,\qquad \angle(\mathbf e_A,\mathbf e_C)=B,\qquad \angle(\mathbf e_B,\mathbf e_C)=A.$$

For a point $M$, denote by $p_A(M),p_B(M),p_C(M)$ its signed orthogonal coordinates on these three altitude directions.

Since $A_1$ is the projection of $M$ onto the altitude from $A$, the signed coordinate of $A_1$ on that altitude is $p_A(M)$. Hence

$$AA_1=AH-p_A(M).$$

Similarly,

$$BB_1=BH-p_B(M), \qquad CC_1=CH-p_C(M).$$

Suppose

$$AA_1=BB_1=CC_1=t.$$

Then

$$p_A(M)=AH-t, \qquad p_B(M)=BH-t, \qquad p_C(M)=CH-t. \tag{1}$$

Since $\mathbf e_A$ and $\mathbf e_B$ are not parallel, a vector is uniquely determined by its projections on these two directions. Thus the first two equations of (1) determine a unique point $M$. The third equation imposes one linear condition on $t$.

Let $m=\overrightarrow{HM}$. From the first two equations of (1),

$$m=(AH-t)\mathbf e_A+\lambda \mathbf n_A,$$

and projecting onto $\mathbf e_B$ yields

$$(AH-t)\cos C+\lambda\sin C=BH-t.$$

Therefore

$$\lambda=\frac{BH-t-(AH-t)\cos C}{\sin C}.$$

Projecting $m$ onto $\mathbf e_C$ gives

$$p_C(M) = \frac{(AH-t)\sin C+(BH-t)\sin A}{\sin B}.$$

Using the third equation of (1),

$$\frac{(AH-t)\sin C+(BH-t)\sin A}{\sin B} = CH-t. \tag{2}$$

Now use the well known relations

$$AH=2R\cos A,\qquad BH=2R\cos B,\qquad CH=2R\cos C.$$

Substituting these into (2) gives

$$2R\bigl(\cos A\sin C+\cos B\sin A-\cos C\sin B\bigr) = t(\sin C+\sin A-\sin B). \tag{3}$$

The numerator simplifies as

$$\cos A\sin C+\cos B\sin A-\cos C\sin B = \sin(A+C-B) = \sin(\pi-2B) = \sin2B.$$

Also,

$$\sin A+\sin C-\sin B = 4\sin\frac A2\sin\frac B2\sin\frac C2.$$

Substituting these identities into (3) and simplifying yields

$$t=8R\sin\frac A2\sin\frac B2\sin\frac C2.$$

Since

$$r=4R\sin\frac A2\sin\frac B2\sin\frac C2,$$

we obtain

$$t=2r.$$

Thus the common value is exactly the diameter of the inscribed circle.

Because equation (2) is linear in $t$, it has a unique solution. The first two equations of (1) then determine a unique point $M$. Hence there exists exactly one point $M$ for which

$$AA_1=BB_1=CC_1,$$

and for that point

$$AA_1=BB_1=CC_1=2r.$$

This completes the proof.

∎

Verification of Key Steps

The first delicate step is the formula

$$AA_1=AH-p_A(M).$$

Here $p_A(M)$ is the signed coordinate of the projection of $M$ on the altitude from $A$, measured from the orthocenter. Since both $A$ and $A_1$ lie on the same altitude, their signed coordinates differ by exactly the signed length of $AA_1$. Any change of sign convention affects all three equations simultaneously and does not alter the resulting linear system.

The second delicate step is deriving equation (2). A vector in the plane is determined by its projections on two nonparallel directions. Solving for the vector from its projections on the altitudes from $A$ and $B$ and then projecting onto the altitude from $C$ produces the compatibility condition. Omitting this step and treating the three projections as independent would incorrectly suggest that every value of $t$ is possible.

The third delicate step is the trigonometric simplification leading to $t=2r$. The identity

$$r=4R\sin\frac A2\sin\frac B2\sin\frac C2$$

must be used after the expression for $t$ is fully reduced. Missing a factor of $2$ at this stage would lead to the incorrect value $r$ instead of the diameter $2r$.

Alternative Approaches

A different approach uses barycentric or trilinear coordinates. The altitude directions are naturally expressed in trilinears. The condition that the projections onto the three altitudes cut off equal segments from the vertices becomes a system of linear equations in the trilinear coordinates of $M$. Solving the system yields a unique point, and the common length emerges as $2r$ after conversion through the standard relations between trilinears and the inradius.

Another approach uses vector geometry with the orthocenter as origin. Let $\mathbf a,\mathbf b,\mathbf c$ be the position vectors of the vertices. Orthogonal projection onto an altitude can be written directly through scalar products with unit altitude vectors. The equalities $AA_1=BB_1=CC_1$ become linear equations in the coordinates of $M$. Solving them gives uniqueness, while substitution of $AH=2R\cos A$, $BH=2R\cos B$, $CH=2R\cos C$ leads to the common value $2r$. The coordinate method used above is preferable because it keeps the geometric meaning of the projections visible throughout the calculation.