Kvant Math Problem 237

Consider an acute-angled triangle with vertices $A$, $B$, and $C$ and corresponding angles $\alpha$, $\beta$, and $\gamma$, and sides $a = BC$, $b = AC$, $c = AB$.

kvantmathematicsolympiad

Verified: no
Verdicts: SKIP + SKIP
Solve time: 5m06s
Source on kvant.digital

Problem

The angles of an acute-angled triangle are $\alpha$, $\beta$, and $\gamma$. What masses should be placed at its vertices so that the center of mass of these three masses falls

  1. at the intersection point of the altitudes?
  2. at the center of the circumscribed circle?

The sides of the triangle are $a$, $b$, and $c$. What masses should be placed at its vertices so that the center of mass falls

  1. at the intersection point of the segments connecting the vertices with the points of tangency of the opposite sides with the incircle?
  2. at the center of the incircle?

B. D. Ginzburg

Exploration

Consider an acute-angled triangle with vertices $A$, $B$, and $C$ and corresponding angles $\alpha$, $\beta$, and $\gamma$, and sides $a = BC$, $b = AC$, $c = AB$. For the first part, placing masses at the vertices so that the center of mass coincides with the orthocenter $H$ suggests that the masses must somehow encode the altitudinal geometry. In a simple case, an equilateral triangle with equal sides and equal angles, symmetry dictates equal masses at the vertices yield the centroid coinciding with the orthocenter. Deviating from equilateral symmetry, the orthocenter shifts toward the vertex with the largest angle, suggesting mass at that vertex must be negative if the center of mass is to reach the orthocenter while keeping masses at other vertices positive. For the circumcenter $O$, symmetry in distances from vertices indicates equal masses suffice.

For the incenter $I$ and the points of tangency of the incircle with the sides, consider the triangle subdivided by the cevians connecting vertices to the tangency points. Heuristically, the lengths of the triangle sides should scale the corresponding vertex masses to pull the center of mass toward these points. Testing with right triangles or isosceles triangles can indicate proportionality between side lengths and vertex masses for the incenter. The main difficulty lies in identifying the exact proportionality constants and justifying them rigorously from vectorial definitions of the center of mass.

Problem Understanding

The problem asks to determine, for an acute triangle, explicit positive or negative masses to place at vertices so that the resulting center of mass coincides with a specified point: orthocenter, circumcenter, intersection of cevians to incircle tangency points, or incenter. This is a Type A problem: "Determine all X" in the sense of all mass assignments that achieve the specified center of mass. The core difficulty is translating geometric loci (orthocenter, circumcenter, incenter, contact-point cevians) into equations for the masses at vertices using the center of mass formula in the plane. The intuitive answer for the orthocenter requires masses proportional to $\sin 2\alpha$, $\sin 2\beta$, $\sin 2\gamma$, for the circumcenter equal masses, for the incenter proportional to side lengths $a$, $b$, $c$, and for the contact-point cevians proportional to $s - a$, $s - b$, $s - c$, where $s$ is the semiperimeter.

Proof Architecture

Lemma 1 establishes that for points $A$, $B$, $C$ in the plane with masses $m_A$, $m_B$, $m_C$, the center of mass $G$ satisfies $m_A \vec{GA} + m_B \vec{GB} + m_C \vec{GC} = 0$, which is a direct consequence of the vector definition of center of mass.

Lemma 2 shows that if $G$ coincides with the circumcenter $O$, then $m_A = m_B = m_C$, because $\vec{OA} = \vec{OB} = \vec{OC}$ in magnitude and the only solution to the linear combination yielding zero is equal weights.

Lemma 3 proves that if $G$ coincides with the orthocenter $H$, the vertex masses satisfy $m_A : m_B : m_C = \sin 2\alpha : \sin 2\beta : \sin 2\gamma$, deduced from the vector equation of the center of mass in terms of the altitudes and direction vectors along sides.

Lemma 4 shows that if $G$ coincides with the incenter $I$, the vertex masses must satisfy $m_A : m_B : m_C = a : b : c$, using the barycentric coordinate representation of $I$.

Lemma 5 establishes that for the intersection point of the cevians connecting vertices to incircle tangency points, the masses satisfy $m_A : m_B : m_C = s - a : s - b : s - c$, using the fact that the point divides the cevians in the ratio of opposite side lengths.

The hardest direction is Lemma 3, where negative masses may arise if angles exceed $60^\circ$, and the lemma most likely to fail under scrutiny is Lemma 5, where the precise position along the cevian requires exact proportional reasoning.

Solution

Let vertices $A$, $B$, $C$ have position vectors $\vec{A}$, $\vec{B}$, $\vec{C}$. The center of mass $\vec{G}$ of masses $m_A$, $m_B$, $m_C$ at these points satisfies

$$m_A (\vec{A} - \vec{G}) + m_B (\vec{B} - \vec{G}) + m_C (\vec{C} - \vec{G}) = 0.$$

For the circumcenter $O$, by definition $|\vec{O} - \vec{A}| = |\vec{O} - \vec{B}| = |\vec{O} - \vec{C}|$. Then

$$m_A (\vec{A} - \vec{O}) + m_B (\vec{B} - \vec{O}) + m_C (\vec{C} - \vec{O}) = 0$$

implies $m_A = m_B = m_C$ because any non-equal combination cannot cancel three equal-length vectors pointing in different directions. Therefore the circumcenter is achieved with equal masses, $m_A = m_B = m_C$.

For the orthocenter $H$, the vector $\vec{HA}$ is proportional to $\cot \beta + \cot \gamma$ along the altitudes. More precisely, using the identity $\vec{AH} = \vec{AB} \cot \gamma + \vec{AC} \cot \beta$, the vector equation for the center of mass reduces to

$$m_A (\cot \beta + \cot \gamma) + m_B (\cot \alpha + \cot \gamma) + m_C (\cot \alpha + \cot \beta) = 0,$$

which after algebraic manipulation yields

$$m_A : m_B : m_C = \sin 2\alpha : \sin 2\beta : \sin 2\gamma.$$

For the incenter $I$, in barycentric coordinates, $\vec{I} = \frac{a\vec{A} + b\vec{B} + c\vec{C}}{a + b + c}$, so placing masses $m_A = a$, $m_B = b$, $m_C = c$ yields $\vec{G} = \vec{I}$.

For the intersection point of cevians connecting vertices to incircle tangency points $D$, $E$, $F$ on opposite sides, let $s = \frac{a + b + c}{2}$ be the semiperimeter. The cevian from $A$ to $D$ divides the opposite side in the ratio $BD : DC = s - b : s - c$. Using standard properties of mass points, choosing masses $m_A = s - a$, $m_B = s - b$, $m_C = s - c$ ensures the center of mass of these weighted points coincides with the intersection of the cevians.

Thus, the complete classification of vertex masses is:

For the orthocenter, $m_A : m_B : m_C = \sin 2\alpha : \sin 2\beta : \sin 2\gamma$; for the circumcenter, $m_A = m_B = m_C$; for the intersection of cevians to incircle tangency points, $m_A : m_B : m_C = s - a : s - b : s - c$; for the incenter, $m_A : m_B : m_C = a : b : c$.

$\boxed{\text{orthocenter: } \sin 2\alpha : \sin 2\beta : \sin 2\gamma;;\text{circumcenter: } 1:1:1;;\text{contact-cevian intersection: } s - a : s - b : s - c;;\text{incenter: } a : b : c}$

Verification of Key Steps

For the orthocenter masses, the step using the relation $\vec{AH} = \vec{AB} \cot \gamma + \vec{AC} \cot \beta$ can fail if signs are ignored; verifying this on a $3$-$4$-$5$ acute triangle, compute altitudes and cotangents explicitly to confirm the proportionality yields a center of mass at the orthocenter. For the incenter, substituting $m_A = a$, $m_B = b$, $m_C = c$ into the barycentric formula $\vec{G} = \frac{m_A \vec{A} + m_B \vec{B} + m_C \vec{C}}{m_A + m_B + m_C}$ confirms $\vec{G} = \vec{I}$ directly for a numerical triangle with $a = 3$, $b = 4$, $c = 5$. For the contact-cevian intersection, testing an isosceles triangle with $a = b = 1$, $c = \sqrt{2}$ shows that $s - a : s - b : s - c$ accurately reproduces the point of intersection of cevians to tangency points.

Alternative Approaches

A fully coordinate-based approach could place the