Kvant Math Problem 201

Let triangle $ABC$ have sides $a=BC$, $b=CA$, $c=AB$.

kvantmathematicsolympiad

Verified: no
Verdicts: UNKNOWN + UNKNOWN
Solve time: 2m02s
Source on kvant.digital

Problem

The line $l_1$ intersects the sides $a$, $b$, and $c$ of a triangle (or their extensions) at points $A_1$, $B_1$, and $C_1$ respectively; the line $l_2$ intersects them at points $A_2$, $B_2$, and $C_2$ Prove that if points $A_1$ and $A_2$ are symmetric with respect to the midpoint of side $a$, and points $B_1$ and $B_2$ are symmetric with respect to the midpoint of side $b$, then points $C_1$ and $C_2$ are symmetric with respect to the midpoint of side $c$.

Nguyen Cong Quy (Hanoi)

Exploration

Let triangle $ABC$ have sides $a=BC$, $b=CA$, $c=AB$. Denote by $A_0$, $B_0$, $C_0$ the midpoints of $BC$, $CA$, $AB$ respectively. The condition that $A_1$ and $A_2$ are symmetric with respect to $A_0$ means that $A_0$ is the midpoint of segment $A_1A_2$, so the reflection in $A_0$ swaps $A_1$ and $A_2$. Analogous statements hold for $B_0$ and $C_0$.

Each line $l_1$ or $l_2$ cuts the sides (possibly extended) in three collinear points, so each line can be encoded by three signed ratios on the sides of the triangle. This suggests using Menelaus’ theorem as a constraint linking these three ratios.

The symmetry conditions convert the ratios for $l_2$ into reciprocal-type expressions of those for $l_1$ on two sides. The key difficulty is to show that the third side must obey the same symmetry automatically, which should emerge from the multiplicative constraint imposed by collinearity.

The most delicate point is ensuring consistent orientation in Menelaus’ ratios so that the algebraic cancellation produces the correct inversion relation on the third segment.

Problem Understanding

This is a Type B problem: prove a geometric statement.

Two lines $l_1$ and $l_2$ intersect the sides of triangle $ABC$ (or their extensions). On side $BC$, the intersection points $A_1$ and $A_2$ are symmetric with respect to the midpoint $A_0$. On side $CA$, the intersection points $B_1$ and $B_2$ are symmetric with respect to the midpoint $B_0$. The goal is to prove that the corresponding intersection points $C_1$ and $C_2$ on $AB$ are also symmetric with respect to midpoint $C_0$.

The core difficulty is to convert midpoint symmetry into a usable algebraic relation on segment ratios and then show that the constraints coming from collinearity of each line force the third symmetry automatically.

Proof Architecture

The first lemma expresses midpoint symmetry on a segment in terms of a ratio inversion on directed segments.

The second lemma applies Menelaus’ theorem to each of the lines $l_1$ and $l_2$, producing two multiplicative relations among three ratios.

The third lemma rewrites the symmetry assumptions for $A_2$ and $B_2$ in terms of reciprocals of the corresponding ratios for $A_1$ and $B_1$.

The final step combines the two Menelaus relations to deduce that the ratio corresponding to $C_2$ is the reciprocal of that for $C_1$, which is equivalent to midpoint symmetry.

The most delicate point is the consistent handling of directed segment ratios in Menelaus’ theorem.

Solution

Let $ABC$ be a triangle. Denote by $A_0$, $B_0$, $C_0$ the midpoints of $BC$, $CA$, $AB$ respectively. Let $l_1$ intersect $BC$, $CA$, $AB$ at $A_1$, $B_1$, $C_1$ respectively, and let $l_2$ intersect them at $A_2$, $B_2$, $C_2$ respectively.

On the line $BC$, introduce a directed coordinate by setting

$$\frac{BA_i}{A_iC}=t_i$$

for $i=1,2$, where ratios are taken as directed segments. The condition that $A_0$ is the midpoint of $BC$ implies that reflection in $A_0$ maps $B$ to $C$ and acts on the coordinate $t$ by inversion $t \mapsto \frac{1}{t}$ in the sense that symmetric points satisfy

$$t_2=\frac{1}{t_1}.$$

Similarly, on $CA$ define

$$\frac{CB_i}{B_iA}=u_i,$$

and the symmetry about $B_0$ implies

$$u_2=\frac{1}{u_1}.$$

On $AB$ define

$$\frac{AC_i}{C_iB}=v_i.$$

Apply Menelaus’ theorem to line $l_1$ in triangle $ABC$:

$$\frac{BA_1}{A_1C}\cdot \frac{CB_1}{B_1A}\cdot \frac{AC_1}{C_1B}=1,$$

hence

$$t_1 u_1 v_1=1, \quad \text{so} \quad v_1=\frac{1}{t_1 u_1}.$$

Apply Menelaus’ theorem to line $l_2$:

$$\frac{BA_2}{A_2C}\cdot \frac{CB_2}{B_2A}\cdot \frac{AC_2}{C_2B}=1,$$

hence

$$t_2 u_2 v_2=1.$$

Substituting the symmetry relations $t_2=\frac{1}{t_1}$ and $u_2=\frac{1}{u_1}$ gives

$$\frac{1}{t_1}\cdot \frac{1}{u_1}\cdot v_2=1,$$

so

$$v_2=t_1 u_1.$$

Combining the two obtained expressions yields

$$v_1=\frac{1}{t_1 u_1}, \qquad v_2=t_1 u_1,$$

hence

$$v_2=\frac{1}{v_1}.$$

Since

$$\frac{AC_i}{C_iB}=v_i,$$

the relation $v_2=\frac{1}{v_1}$ is equivalent to $C_0$ being the midpoint of segment $C_1C_2$, because midpoint symmetry on $AB$ is characterized by inversion of the ratio with respect to $1$ under directed segments. Therefore $C_1$ and $C_2$ are symmetric with respect to $C_0$.

This completes the proof. ∎

Verification of Key Steps

The first delicate step is the translation of midpoint symmetry into reciprocal ratios. This holds because reflection in a midpoint exchanges endpoints of a segment and sends any point dividing the segment internally in ratio $t$ to a point dividing it in ratio $1/t$ under directed measurement, since the midpoint is the unique fixed point of the affine involution reversing direction.

The second delicate step is the consistent use of Menelaus’ theorem. Both applications use the same orientation convention, ensuring that all three ratios are taken in the same cyclic order around triangle $ABC$, so the product condition is identical for both lines.

The third delicate step is ensuring that substitution of symmetry relations does not introduce sign inconsistencies. Since each replacement is performed on directed ratios defined on the same oriented sides, the algebraic inversion is preserved without ambiguity.

Alternative Approaches

An alternative solution uses barycentric coordinates with respect to triangle $ABC$. In that framework, each line corresponds to a linear equation in homogeneous barycentric coordinates, and midpoint symmetry corresponds to an affine involution acting as coordinate inversion on each side. The result then follows from the fact that two independent linear constraints determining $l_1$ and $l_2$ force compatibility on the third coordinate. This approach is more conceptual but hides the explicit multiplicative structure that Menelaus makes transparent.