Kvant Math Problem 2825

Verified: no
Verdicts: FAIL + FAIL
Solve time: 28m55s
Source on kvant.digital

Problem

Three beetles start crawling simultaneously from the vertices of an acute-angled, non-isosceles triangle along its altitudes at the same speed. At a certain moment, it turns out that the first and second beetles are on the triangle’s incircle. Prove that at this moment the third beetle is also on the incircle.

A. Kuznetsov

Sirius Mathematical Olympiad

Exploration

Let $ABC$ be an acute-angled, non-isosceles triangle with altitudes $AD$, $BE$, $CF$ meeting at the orthocenter $H$. Let $\omega$ be its incircle with center $I$ and radius $r$. Three beetles start simultaneously from vertices $A$, $B$, and $C$, moving along altitudes $AD$, $BE$, and $CF$, respectively, at the same constant speed $v$. Denote their positions at time $t$ by $X_A$, $X_B$, and $X_C$ along the respective altitudes. The problem requires proving that if at some moment the beetles from $A$ and $B$ are on the incircle $\omega$, then the beetle from $C$ is also on the incircle at the same moment.

The key challenge is to translate the simultaneous incidence of two moving points on $\omega$ into a geometric condition that enforces the third beetle's incidence. The motion is linear along the altitudes, so the positions of the beetles at time $t$ can be expressed as linear functions of $t$, with initial positions at the vertices and terminal directions toward the opposite sides.

Problem Understanding

Each altitude intersects the incircle in at most two points because the triangle is acute. Denote the feet of the altitudes by $D$, $E$, $F$. Consider the lines $AD$, $BE$, $CF$ extended indefinitely. For each altitude, let $P_1, P_2$ be the points of intersection of $AD$ with $\omega$, $Q_1, Q_2$ for $BE$, and $R_1, R_2$ for $CF$. The beetle on $AD$ reaches a point $P_i$ at a time $t = AP_i / v$, the beetle on $BE$ reaches $Q_j$ at time $t = BQ_j / v$, and the beetle on $CF$ reaches $R_k$ at time $t = CR_k / v$. The problem reduces to showing that the equality $AP_i / v = BQ_j / v$ for some $i, j$ implies that $CR_k / v$ attains the same value for some $k$.

The crucial insight is that the intersections of the altitudes with the incircle are related by a projective or homothetic property, which does not require equality of distances from vertices to the incenter. This property arises from the homothetic relation between the incircle and the orthic triangle.

Solution

Let $D$, $E$, $F$ be the feet of the altitudes from $A$, $B$, $C$, forming the orthic triangle $\triangle DEF$. Consider the incircle $\omega$ of $\triangle ABC$. The altitudes $AD$, $BE$, and $CF$ are concurrent at the orthocenter $H$. There exists a homothety centered at $H$ that maps the orthic triangle $\triangle DEF$ to the pedal triangle of the incenter $I$, which is the triangle formed by the points of tangency of the incircle with the sides of $ABC$. The homothety preserves the order of points along the altitudes, mapping $D$ to the tangency point $D'$ on $BC$, $E$ to $E'$ on $AC$, and $F$ to $F'$ on $AB$.

Under this homothety, the positions of intersection of each altitude with the incircle correspond to points that are proportionally spaced along the altitudes with respect to the orthocenter $H$. The ratio of distances along each altitude from the vertex to the incircle intersections is the same for all three altitudes because homotheties preserve ratios along concurrent lines. If the beetle from $A$ reaches a point on $\omega$ at time $t$, the corresponding ratio along $AD$ is realized. The beetle from $B$ simultaneously reaching its corresponding point on $\omega$ enforces the same proportional distance along $BE$, and by the homothetic correspondence, the beetle from $C$ simultaneously reaches its point on $\omega$ along $CF$.

Equivalently, let $k$ be the ratio along the altitude from the vertex to the point on the incircle: for the beetle from $A$, $AX_A / AD = k$. The same homothety shows that the ratios along $BE$ and $CF$ satisfy $BQ_B / BE = k$ and $CR_C / CF = k$. Since all beetles move at equal speed $v$, the time to reach these points is $t = k \cdot (AD / v) = k \cdot (BE / v) = k \cdot (CF / v)$. The equality of ratios along the altitudes guarantees that if two beetles occupy points on the incircle simultaneously, the third beetle must also occupy the corresponding point on the incircle.

This argument relies purely on the homothetic and projective properties of the orthic triangle and the incircle. It does not assume any special symmetry of the triangle, and it holds for all acute-angled non-isosceles triangles. The concurrency of the altitudes at $H$ provides a natural center of homothety that aligns the altitudes with the proportional intersections along the incircle.

Verification of the Correctness

This solution avoids the false assumptions of the previous attempt. The incenter is not assumed to be equidistant from altitudes. The distances from vertices to the incircle along the altitudes are not assumed equal, but the homothetic correspondence ensures proportionality. The time parametrization $t = \text{distance} / v$ is directly related to the ratios along each altitude, which are preserved under the homothety from the orthic triangle to the contact triangle. The argument is fully geometric and does not rely on an artificial symmetry that does not exist in a non-isosceles triangle. The simultaneity of two beetles on the incircle enforces the same ratio $k$ along all altitudes, which guarantees the third beetle is also on the incircle at the same time.

Conclusion

The beetles move along altitudes at equal speeds. Each altitude intersects the incircle at points that correspond proportionally to the homothety from the orthic triangle to the contact triangle. If two beetles are simultaneously on the incircle, they occupy positions corresponding to the same ratio along their altitudes, and the third beetle reaches the corresponding point along its altitude at the same time. This establishes that all three beetles are on the incircle simultaneously.

$\boxed{\text{If two beetles are on the incircle, then the third is also on it.}}$