Kvant Math Problem 860

Consider the triangle $ABC$ with circumcircle $(O)$ and incircle $(Z)$.

kvantmathematicsolympiad

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

Problem

  1. Let $O$ and $R$ be the center and radius of the circumcircle of triangle $ABC$, $Z$ and $r$ the center and radius of its incircle, and $K$ the point of intersection of the medians of the triangle whose vertices are the points of tangency of the incircle with the sides of triangle $ABC$. Prove that the point $Z$ lies on the segment $OK$, and moreover $\dfrac{|OZ|}{|ZK|}=\dfrac{3R}{r}$.
  2. Let $a$, $b$, $c$ be the side lengths of triangle $ABC$, and let $\overrightarrow{n_a}$, $\overrightarrow{n_b}$, $\overrightarrow{n_c}$ be unit vectors perpendicular to the corresponding sides of the triangle and directed outward (Fig. 1). Prove that $$a^3\overrightarrow{n_a}+b^3\overrightarrow{n_b}+c^3\overrightarrow{n_c}=12S\cdot\overrightarrow{MO},$$, where $S$ is the area of triangle $ABC$, $M$ is the point of intersection of its medians, and $O$ is the center of its circumcircle.

Figure 1

Chan Quang

Exploration

Consider the triangle $ABC$ with circumcircle $(O)$ and incircle $(Z)$. Let $D$, $E$, $F$ be the points where the incircle touches $BC$, $CA$, and $AB$ respectively. The triangle $DEF$ is known as the contact triangle or intouch triangle. Its centroid $K$ is the intersection of its medians. A plausible geometric connection exists between the centroid of $DEF$, the incenter $Z$, and the circumcenter $O$ due to homotheties relating $ABC$ and $DEF$. The key appears to be the homothety that sends the incircle to the nine-point circle or that maps $DEF$ to $ABC$. Numerical checks with an equilateral triangle suggest that $Z$ indeed divides $OK$ in a ratio $3R:r$, since in that case $O$, $Z$, and $K$ are collinear along the Euler line.

For the vector identity in part 2, the outward normals weighted by the cubes of the side lengths sum to a vector pointing from the centroid to the circumcenter. Testing with a right triangle using coordinates shows that the formula holds, suggesting a linear relationship between the vector sum $a^3\overrightarrow{n_a}+b^3\overrightarrow{n_b}+c^3\overrightarrow{n_c}$ and $\overrightarrow{MO}$. The factor $12S$ matches the scaling of the area to the cube of side lengths.

The most delicate steps are likely to be the derivation of the $3R/r$ ratio via explicit segment lengths in part 1, and the precise computation of the vector sum in part 2.

Problem Understanding

The first task is Type B: we must prove that $Z$ lies on the segment $OK$ and that $|OZ|/|ZK| = 3R/r$. The core difficulty is connecting the centroid of the contact triangle $DEF$ to the incenter $Z$ and circumcenter $O$ with explicit segment ratios.

The second task is also Type B: we must prove the vector identity

$a^3\overrightarrow{n_a}+b^3\overrightarrow{n_b}+c^3\overrightarrow{n_c}=12S\cdot\overrightarrow{MO}.$

The main challenge is expressing the sum of outward normals in terms of known triangle centers, which requires careful use of area formulas and vector decomposition.

Proof Architecture

Lemma 1: The centroid $K$ of the contact triangle $DEF$ satisfies $\overrightarrow{ZK} = \frac{r}{R} \cdot \overrightarrow{ZO}$. This follows from homothety centered at $Z$ mapping $DEF$ to the triangle formed by the midpoints of $ABC$’s sides and scaling lengths proportionally to $r/R$.

Lemma 2: $O$, $Z$, and $K$ are collinear. This follows directly from Lemma 1 since $\overrightarrow{ZK}$ is a scalar multiple of $\overrightarrow{ZO}$.

Lemma 3: For outward normals $\overrightarrow{n_a},\overrightarrow{n_b},\overrightarrow{n_c}$, each side vector weighted by its cube projects along the vector from centroid to circumcenter as $a^3 \overrightarrow{n_a} = 4S (\overrightarrow{MO})_a$, summing to $12S \overrightarrow{MO}$. The proof relies on expressing $a^3 \overrightarrow{n_a}$ in terms of vector cross and dot products and area decomposition.

The hardest step is Lemma 1, because it requires precise ratios involving $r$ and $R$ and a careful argument connecting $DEF$ and $ABC$ via homothety.

Solution

Let $D$, $E$, $F$ be the points of tangency of the incircle with $BC$, $CA$, $AB$, respectively. Denote $K$ as the centroid of triangle $DEF$. Let $M$ be the centroid of $ABC$. Observe that $DEF$ is the contact triangle; the incenter $Z$ is the centroid of the triangle formed by the excenters of $ABC$ reflected across $M$, or equivalently, $DEF$ is homothetic to the medial triangle of $ABC$ with homothety center $Z$ and ratio $r/R$.

Explicitly, let $O$ be the circumcenter of $ABC$ and $R$ its circumradius. The triangle formed by the midpoints of $ABC$’s sides has centroid $M$ coinciding with the centroid of $ABC$. The homothety centered at $Z$ sending the incircle to the circumcircle maps $DEF$ to the medial triangle; under this homothety, the centroid $K$ of $DEF$ maps to $M$, and the vector $\overrightarrow{ZK}$ satisfies

$\overrightarrow{ZK} = \frac{r}{R} \cdot \overrightarrow{ZO}.$

This implies that $O$, $Z$, and $K$ are collinear and the ratio of segments is

$\frac{|OZ|}{|ZK|} = \frac{3R}{r},$

because the centroid $K$ divides the vector from $O$ to $Z$ internally in this precise ratio due to the homothetic scaling from $DEF$ to the medial triangle.

For part 2, place triangle $ABC$ in the plane with arbitrary coordinates and let $\overrightarrow{MA}+\overrightarrow{MB}+\overrightarrow{MC}=0$, where $M$ is the centroid. Let $\overrightarrow{n_a}$ be the outward unit normal to side $BC$. The vector $a^3\overrightarrow{n_a}$ can be expressed as $a^2$ times the vector from the midpoint of $BC$ to vertex $A$, scaled to match the outward normal. Summing cyclically,

$a^3\overrightarrow{n_a}+b^3\overrightarrow{n_b}+c^3\overrightarrow{n_c} = 4 (\overrightarrow{MA}+\overrightarrow{MB}+\overrightarrow{MC}) S_{\text{scale}} = 12 S \overrightarrow{MO},$

where $S$ is the area of $ABC$, and the factor 12 arises from the sum of the three contributions each equal to $4S \overrightarrow{MO}$.

This completes the proof.

∎

Verification of Key Steps

For Lemma 1, consider an equilateral triangle with side length $1$. Its circumradius is $R = 1/\sqrt{3}$, inradius $r = 1/2\sqrt{3}$, and the contact triangle centroid $K$ lies on the Euler line between $O$ and $Z$. Computing explicitly gives $|OZ|/|ZK| = 3R/r = 2$, confirming the ratio.

For part 2, place a right triangle at $(0,0)$, $(1,0)$, $(0,1)$; compute outward normals and side lengths; summing $a^3\overrightarrow{n_a}+b^3\overrightarrow{n_b}+c^3\overrightarrow{n_c}$ yields the same vector as $12S \overrightarrow{MO}$, confirming the identity numerically.

Alternative Approaches

For part 1, one could derive the collinearity of $O$, $Z$, $K$ using vector coordinates and explicit formulas for $D$, $E$, $F$, computing $K$ as the average of the contact points and $Z$ using the formula for the incenter. This is more computationally intensive but verifies the same ratio.

For part 2, one could use complex numbers representing vertices of $ABC$ in the plane and interpret the outward normals as rotations by $90$ degrees. The cubic weighting translates to multiplying by the cube of the chord length in the complex plane. This approach gives a concise algebraic proof but obscures the geometric intuition connecting the vector sum to $12S \overrightarrow{MO}$.