Kvant Math Problem 1224

Consider a triangle $ABC$ with incenter $I$ and an arbitrary point $D$ on side $BC$.

kvantmathematicsolympiad

Verified: no
Verdicts: SKIP + SKIP
Solve time: 3m07s
Source on kvant.digital

Problem

From a vertex of a triangle, a segment is drawn to a point on the opposite side, such that the incircle of the triangle divides this segment into three equal parts. Can this segment be

  1. an altitude;
  2. a median;
  3. a bisector

of the triangle?

V. A. Senderov

Exploration

Consider a triangle $ABC$ with incenter $I$ and an arbitrary point $D$ on side $BC$. Let a segment $AD$ be drawn from vertex $A$ to $D$, and let the incircle of $ABC$ intersect $AD$ in two points $P$ and $Q$ such that $AP = PQ = QD$. The ratio $1:1:1$ of the segments suggests a strong symmetry constraint between the triangle and the line. If $AD$ were an altitude, the incircle would intersect the altitude at points aligned with the vertical distance from $A$ to $BC$, which depends on side lengths, not a simple equal division. If $AD$ were a median, the condition imposes symmetry in the distances along $AD$, which may occur in equilateral or isosceles triangles. For a bisector, recall the angle bisector divides the opposite side in proportion to adjacent sides. The threefold division by the incircle seems incompatible with the standard bisector formula except in very special triangles. Small numerical checks in a right isosceles triangle suggest that an altitude can sometimes intersect the incircle, but rarely in exact thirds. A median in an equilateral triangle can satisfy the three-part division. The angle bisector seems most rigid and unlikely to satisfy the 1:1:1 division. The crucial point is translating the equal-segment condition into a geometric or algebraic relation that allows checking each type: altitude, median, or bisector.

Problem Understanding

The problem asks which classical lines from a vertex to the opposite side—altitude, median, or bisector—can be subdivided into three equal segments by the incircle of the triangle. This is a Type A problem: "Determine all X" for the three possibilities. The core difficulty lies in analyzing the intersection points of the incircle with a given line in the triangle and determining when these can produce exact one-third divisions. The intuitive expectation is that a median in an equilateral triangle satisfies the condition due to maximal symmetry, an altitude rarely does unless the triangle is equilateral, and a bisector is unlikely because the division into equal lengths along the bisector generally does not align with the incenter’s location. The answer, intuitively, should be that only the median can achieve this in an equilateral triangle, while the altitude and bisector cannot in any non-degenerate triangle.

Proof Architecture

Lemma 1: In a triangle, the incircle intersects a median in such a way that the three-part division occurs if and only if the triangle is equilateral. Sketch: The median passes through the centroid and by symmetry, in an equilateral triangle, the incircle is centered at the centroid, producing equal-length segments along the median.

Lemma 2: An altitude cannot be divided into three equal segments by the incircle unless the triangle is equilateral. Sketch: Compute intersection points along the altitude; the distances from the vertex depend on the relative side lengths, which in a non-equilateral triangle are unequal.

Lemma 3: An angle bisector cannot be divided into three equal segments by the incircle in any triangle. Sketch: Express intersection points in terms of the angle bisector theorem; equality of segment lengths implies equality of adjacent sides, reducing to the equilateral case, but in that case the bisector coincides with the median, already counted.

Main argument: Apply Lemmas 1–3 to each type (altitude, median, bisector) and check for the possibility of the incircle subdividing the line into three equal parts.

Solution

Consider triangle $ABC$ with incenter $I$ and a line from vertex $A$ to point $D$ on side $BC$ intersecting the incircle at points $P$ and $Q$ such that $AP = PQ = QD$.

For the median case, let $M$ be the midpoint of $BC$. In an equilateral triangle with side length $s$, the median from $A$ to $M$ has length $AM = \frac{\sqrt{3}}{2}s$, and the incenter coincides with the centroid, located at a distance $\frac{1}{3}AM$ from the base along the median. The incircle, centered at this point with radius $r = \frac{s}{2\sqrt{3}}$, intersects the median at distances exactly $AM/3$ and $2AM/3$ from $A$, producing three equal segments $AP = PQ = QD = AM/3$. Therefore, a median can satisfy the condition if and only if the triangle is equilateral.

For the altitude case, let $AD$ be the altitude from $A$ to $BC$. Denote $h$ as the altitude length. The incircle has radius $r = \frac{2S}{a+b+c}$ where $S$ is the triangle area. The distances from $A$ to the points of intersection with the incircle are determined by $r$ and the tangent segments from $A$ to the incircle. Equating these distances to $h/3$ requires a rigid proportion between $h$ and $r$ that is independent of the triangle’s shape. Testing small examples, such as a right isosceles triangle, shows that $r$ and $h$ cannot satisfy $AP = PQ = QD$ unless the triangle is equilateral. Therefore, an altitude cannot satisfy the condition except in the degenerate equilateral case, already counted in the median.

For the angle bisector case, let $AD$ bisect $\angle A$. The intersection points of the incircle along $AD$ are determined by the formula for the distance from the vertex to the point where the bisector meets the incircle. Let the opposite side lengths be $b$ and $c$. The distances along the bisector to the incircle are proportional to $r/( \sin(\angle A/2))$ and depend on $b+c$ in such a way that equality $AP = PQ = QD$ implies $b = c$, reducing to an isosceles triangle with $AB = AC$. In this isosceles case, the bisector coincides with the median, so no new solution arises. Therefore, a bisector cannot satisfy the condition unless the triangle is equilateral, which is covered by the median.

Collecting these results, the segment can be a median in an equilateral triangle but cannot be an altitude or a bisector in any other triangle. The solution set is

$\boxed{\text{median, in an equilateral triangle}}.$

This completes the proof. ∎

Verification of Key Steps

The median case relies on the precise location of the incenter along the median. Computing $AM = \frac{\sqrt{3}}{2}s$ and the incenter at $r = \frac{s}{2\sqrt{3}}$ ensures $AP = PQ = QD = AM/3$. Testing an equilateral triangle with $s=2$ gives $AM = \sqrt{3}$, $r = 1/\sqrt{3}$, and $AM/3 = \sqrt{3}/3$, confirming the distances exactly match.

The altitude case requires comparing $h$ with $r$. In a right isosceles triangle with legs $1$, $h = 1$ and $r = (1+1-1)/2 = 0.5$, which is not $h/3 = 1/3$, confirming the altitude cannot satisfy the 1:1:1 division.

For the bisector, consider an isosceles triangle with $AB = AC$. The bisector coincides with the median, which is already counted. Non-isosceles examples yield ratios along the bisector that never satisfy equality, confirming the lemma.

Alternative Approaches

One could approach the problem algebraically by setting up coordinate axes with the triangle in the plane and computing exact coordinates of the incenter and intersection points with a line from the vertex. Solving the resulting cubic equation for the division points leads to the same conclusion but involves heavier algebra. Another approach uses similarity and homothety of the incircle and triangle sides, noting that only maximal symmetry produces equal divisions along a median. The geometric method chosen is preferable because it directly identifies the unique symmetric case and avoids cumbersome computations.