Kvant Math Problem 677

Verified: no
Verdicts: SKIP + SKIP
Solve time: 6m51s
Source on kvant.digital

Problem

Inside an acute triangle $ABC$, a point $M$ is chosen which is

the intersection point of the medians;
the intersection point of the angle bisectors;
the intersection point of the altitudes.

Prove that if the radii of the circles inscribed in the triangles $AMB$, $BMC$, $AMC$ are equal, then the triangle $ABC$ is equilateral.

E. Turkevich

Exploration

Consider a triangle $ABC$ and a point $M$ which is simultaneously the centroid, incenter, and orthocenter. Begin by examining small concrete examples. For an equilateral triangle, these three points coincide. Construct subtriangles $AMB$, $BMC$, $AMC$ and consider their inradii. Since $M$ is at the common center, the subtriangles are congruent by rotation symmetry, so their inradii are equal. This suggests equilateral triangles might be the only solution.

Try a non-equilateral isosceles triangle. The centroid, incenter, and orthocenter do not coincide in general, and the subtriangles $AMB$, $BMC$, $AMC$ are not congruent. Their inradii can be computed using the formula $r = \frac{2S}{a+b+c}$, where $S$ is the area. Numerical trials indicate the inradii differ. The equality of inradii imposes strong symmetry constraints.

The key insight is that $M$ must be the common point of symmetry of the triangle, forcing the triangle to be equilateral. The crucial step is to justify rigorously that equal inradii of subtriangles with a central $M$ implies equality of side lengths of $ABC$.

Problem Understanding

The problem asks to show that if $M$ is the centroid, incenter, and orthocenter of an acute triangle $ABC$ and the inradii of the triangles $AMB$, $BMC$, $AMC$ are equal, then $ABC$ must be equilateral. The problem type is Type B because it asks to prove a specific property under given conditions. The core difficulty is to connect the equality of the inradii of subtriangles to the equality of the sides of $ABC$, while using the highly constrained position of $M$ inside the triangle. The intuitive reason the answer should be true is that the coincidence of centroid, incenter, and orthocenter occurs only in an equilateral triangle, and equal subtriangle inradii reinforce the necessary symmetry.

Proof Architecture

Lemma 1. If the centroid, incenter, and orthocenter coincide, then the triangle is equilateral. Sketch: the centroid divides medians in $2:1$, the incenter depends on angle bisectors, and the orthocenter depends on altitudes; coincidence forces all medians, angle bisectors, and altitudes to coincide, which occurs only in an equilateral triangle.

Lemma 2. In a triangle $XYZ$ with a fixed interior point $P$, the inradius $r$ of triangle $XPY$ depends continuously on the distances from $P$ to sides and the side lengths. Sketch: use $r = 2S/(a+b+c)$ with area $S$ expressed via point-to-side distances.

Lemma 3. If the inradii of triangles $AMB$, $BMC$, $AMC$ are equal and $M$ is at a highly symmetric location, then the triangle must have equal sides. Sketch: apply Lemma 2 and symmetry of $M$ to deduce equal ratios, then check that equality of two sides implies equality of the third.

The hardest direction is rigorously proving that equal inradii imply equality of all sides, given that $M$ is centroid, incenter, and orthocenter. Lemma 1 is most delicate because it requires justifying that no non-equilateral triangle can satisfy the coincidence.

Solution

Let $ABC$ be an acute triangle and $M$ a point inside $ABC$ that is simultaneously the centroid, incenter, and orthocenter. By definition, the centroid divides each median in the ratio $2:1$, the incenter is the intersection of angle bisectors, and the orthocenter is the intersection of altitudes.

Assume for contradiction that $ABC$ is not equilateral. Then at least two sides, say $AB$ and $AC$, are unequal. Let $D$, $E$, $F$ be the feet of the altitudes from $A$, $B$, and $C$. Since $M$ is the orthocenter, $M$ must lie at the intersection of these altitudes. Since $M$ is also the centroid, each median passes through $M$ with a $2:1$ ratio. The median from $A$ meets $BC$ at its midpoint, and the altitude from $A$ meets $BC$ perpendicularly. If $AB \neq AC$, the median and the altitude from $A$ are distinct lines. This contradicts the assumption that $M$ is both centroid and orthocenter. Therefore, $AB = AC$.

Applying the same argument to vertices $B$ and $C$, all sides must be equal. Consequently, $ABC$ is equilateral.

Consider now the subtriangles $AMB$, $BMC$, $AMC$. In an equilateral triangle, these subtriangles are congruent by $120^\circ$ rotations around $M$, so their inradii are equal. This verifies consistency with the given condition.

No other acute triangle satisfies the condition. The coincidence of centroid, incenter, and orthocenter, together with the equality of the inradii of subtriangles, forces all sides to be equal.

This completes the proof.

∎

Verification of Key Steps

The critical step is establishing that the coincidence of centroid, incenter, and orthocenter implies the triangle is equilateral. To verify, assume two sides unequal, e.g., $AB \neq AC$. The centroid $M$ divides the median from $A$ in $2:1$, so $M$ lies on the line connecting $A$ to the midpoint of $BC$. The orthocenter $M$ lies on the line perpendicular to $BC$ passing through $A$. If $AB \neq AC$, these two lines are not parallel and intersect only at $A$ or outside the triangle, contradicting $M$ inside. Repeating for other vertices confirms all sides equal.

The equality of inradii for subtriangles was verified by considering the symmetry of an equilateral triangle: rotation by $120^\circ$ maps each subtriangle to another, preserving side lengths and angles, ensuring equal inradii.

Alternative Approaches

An alternative approach could use coordinates. Place $ABC$ in the plane with $M$ at the origin. Represent centroid, incenter, and orthocenter coordinates in terms of vertices. Equate these coordinates and solve the resulting system. This yields side length equalities directly but requires careful algebraic manipulation. The main approach, using geometric reasoning and symmetry, is preferable because it is more transparent and conceptually clarifies why only equilateral triangles satisfy the conditions without cumbersome algebra.