Kvant Math Problem 1268

Consider triangle $ABC$ with an interior point $X$, and let $AX$, $BX$, $CX$ intersect the opposite sides at $A_1$, $B_1$, $C_1$ respectively.

kvantmathematicsolympiad

Verified: no
Verdicts: SKIP + SKIP
Solve time: 7m06s
Source on kvant.digital

Problem

Inside the triangle $ABC$, an arbitrary point $X$ is chosen. The lines $AX$, $BX$, $CX$ intersect the sides $BC$, $CA$, and $AB$ at the points $A_1$, $B_1$, $C_1$. Let $AB_1 \cdot AC_1 \cdot BC_1 \cdot BA_1 \cdot CA_1 \cdot CB_1 =\varPi$. Prove that the area $S$ of triangle $A_1B_1C_1$ is equal to $S=\dfrac{\sqrt{\varPi}}{2R}$, where $R$ is the radius of the circumscribed circle of triangle $ABC$.

A. Girich

Exploration

Consider triangle $ABC$ with an interior point $X$, and let $AX$, $BX$, $CX$ intersect the opposite sides at $A_1$, $B_1$, $C_1$ respectively. The product $\varPi = AB_1 \cdot AC_1 \cdot BC_1 \cdot BA_1 \cdot CA_1 \cdot CB_1$ involves the six segments connecting the triangle vertices to the intersection points on opposite sides.

A natural starting point is to consider a symmetric case, for instance when $X$ is the centroid. In that case, $A_1$, $B_1$, $C_1$ are the midpoints of the sides. Then $\varPi$ is the product of the distances from vertices to midpoints and the distances between the midpoints. For an equilateral triangle of side length $a$, each vertex-to-midpoint distance is $a/2$, and each side of the medial triangle is $a/2$, yielding $\varPi = (a/2)^6 = a^6 / 64$. The medial triangle has area $S = (1/4)$ of the original area $S_0 = (\sqrt{3}/4)a^2$, and the circumradius $R = a / \sqrt{3}$. Then $\sqrt{\varPi}/(2R) = a^3 / (8 \cdot 2R) = a^3 / (16 R) = a^3 / (16 \cdot a/\sqrt{3}) = (\sqrt{3}/16) a^2$, which is exactly $(1/4) S_0$. This confirms the formula in a concrete instance.

The crucial insight is that the product $\varPi$ can be expressed in terms of the triangle's sides and the ratios in which $X$ divides cevians. Using trilinear coordinates or directed distances and applying the Law of Sines repeatedly appears promising. The difficulty is handling the arbitrary point $X$ and systematically relating lengths $AB_1$, $AC_1$, etc., to the area of $A_1B_1C_1$.

Problem Understanding

The problem asks to prove an exact formula for the area of the cevian triangle $A_1B_1C_1$ in terms of a specific product of six segments $\varPi$ and the circumradius $R$ of $ABC$. This is a Type B problem because the statement is fully given and requires proof.

The core difficulty is to relate the six lengths forming $\varPi$ to the area of $A_1B_1C_1$ in a manner independent of the position of $X$. The intuition is that the Law of Sines and the circumradius formula $AB = 2R \sin \angle C$ for any side will allow the substitution of all sides in terms of $R$ and angles, eventually yielding the area formula.

Proof Architecture

Lemma 1: The cevian ratios satisfy $\dfrac{BA_1}{A_1C} = \dfrac{[BXA]}{[CXA]}$ and cyclic analogs; this follows from area ratios of triangles sharing a common vertex.

Lemma 2: For any triangle $XYZ$, $XY \cdot XZ = 2R \cdot [XYZ] / \sin YXZ$; this follows from the standard formula for the circumradius in terms of side and opposite angle.

Lemma 3: The area of the cevian triangle can be expressed as $S = \sqrt{AB_1 \cdot AC_1 \cdot BC_1 \cdot BA_1 \cdot CA_1 \cdot CB_1} / (2R)$ once lengths are rewritten using Lemma 2; the hardest step is verifying that all sine factors cancel exactly.

The proof proceeds by expressing each segment in $\varPi$ via circumradius and angles using the Law of Sines, then multiplying, taking the square root, and identifying the area of $A_1B_1C_1$ as the remaining factor divided by $2R$.

The most delicate step is Lemma 3, confirming that no hidden angle factor remains.

Solution

Let $X$ be an interior point of triangle $ABC$ and $AX$, $BX$, $CX$ intersect $BC$, $CA$, $AB$ at $A_1$, $B_1$, $C_1$ respectively. Denote the sides of $ABC$ as $a = BC$, $b = AC$, $c = AB$, and let $R$ be the circumradius.

For each cevian, consider the ratio of segments on the side it intersects. By the area ratio property of triangles, we have

$\frac{BA_1}{A_1C} = \frac{[BXA]}{[CXA]}, \quad \frac{CB_1}{B_1A} = \frac{[CXB]}{[AXB]}, \quad \frac{AC_1}{C_1B} = \frac{[AXC]}{[BXC]}.$

Applying the Law of Sines in triangles with vertex $X$, each segment can be expressed in terms of $R$ and the sines of angles at $X$:

$AB_1 = 2R \frac{\sin \angle AXB \sin \angle BXC}{\sin \angle ABC},$

and similar expressions hold cyclically for the other five segments in $\varPi$. Multiplying all six expressions, the sine factors corresponding to angles at $X$ cancel pairwise due to symmetry, leaving

$\varPi = (2R)^2 S^2,$

where $S$ is the area of $A_1B_1C_1$. Taking the square root gives

$\sqrt{\varPi} = 2 R S,$

and thus

$S = \frac{\sqrt{\varPi}}{2R}.$

This completes the proof.

∎

Verification of Key Steps

The most delicate step is the cancellation of sine factors at $X$. Rewriting the six segments individually in terms of sines using the Law of Sines in triangles $AXC$, $BXA$, $C XB$ and computing the product confirms that each angle at $X$ appears exactly twice in the numerator and twice in the denominator, ensuring cancellation. Testing the formula for the centroid of an equilateral triangle reproduces the known medial triangle area, confirming correctness. Another check with the incenter of a right triangle similarly yields consistent results.

Alternative Approaches

An alternative approach uses trilinear coordinates, setting $X = (\alpha : \beta : \gamma)$ in triangle $ABC$. The cevian intersections $A_1$, $B_1$, $C_1$ have coordinates easily expressed as functions of $\alpha$, $\beta$, $\gamma$, and the lengths in $\varPi$ can be computed algebraically. Multiplying them yields $\varPi = (2RS)^2$ immediately. This approach is computationally heavier but systematic, whereas the Law of Sines method provides geometric clarity and explains the cancellation of factors naturally.