Kvant Math Problem 492

Consider triangle $ABC$ and points $A_1$, $B_1$, $C_1$ on sides $BC$, $CA$, and $AB$, respectively, with cevians $AA_1$, $BB_1$, and $CC_1$ concurrent at $P$.

kvantmathematicsolympiad

Verified: no
Verdicts: SKIP + SKIP
Solve time: 6m22s
Source on kvant.digital

Problem

A triangle $ABC$ is inscribed in triangle $A_1B_1C_1$ (so that the vertices $A_1$, $B_1$, and $C_1$ lie respectively on the sides $BC$, $CA$, and $AB$), and the segments $AA_1$, $BB_1$, and $CC_1$ intersect at a single point $P$. Prove that the lines joining the midpoints of the sides $AB$ and $A_1B_1$, $BC$ and $B_1C_1$, $CA$ and $C_1A_1$ also intersect at a single point $Q$, and that the points $P$, $Q$, and the centroid of triangle $ABC$ are collinear.

V. Korzhov

Exploration

Consider triangle $ABC$ and points $A_1$, $B_1$, $C_1$ on sides $BC$, $CA$, and $AB$, respectively, with cevians $AA_1$, $BB_1$, and $CC_1$ concurrent at $P$. This is the classical Ceva configuration. For concreteness, place $ABC$ in the plane with coordinates $A=(0,0)$, $B=(1,0)$, $C=(0,1)$, and choose $A_1$ on $BC$, $B_1$ on $CA$, $C_1$ on $AB$ such that the concurrency condition holds. Compute the midpoints of $AB$ and $A_1B_1$, $BC$ and $B_1C_1$, $CA$ and $C_1A_1$. Draw the lines joining these pairs and check numerically whether they intersect at a single point $Q$. Early computations suggest that $Q$ exists and lies on the line joining $P$ to the centroid $G$ of $ABC$. The key difficulty is establishing concurrency of the three midpoint-joining lines in full generality and proving the collinearity with $G$. The central insight is that the mapping from $ABC$ to $A_1B_1C_1$ given by cevians is affine, and midpoint lines are preserved under affine transformations, reducing the concurrency and collinearity problem to classical properties of affine maps and centroid alignment.

Problem Understanding

The problem asks to consider a triangle $ABC$ with points $A_1$, $B_1$, $C_1$ on the opposite sides such that the cevians $AA_1$, $BB_1$, $CC_1$ meet at $P$, then examine lines joining midpoints of corresponding sides of $ABC$ and $A_1B_1C_1$. We are to show these lines concur at $Q$ and that $P$, $Q$, and the centroid $G$ of $ABC$ are collinear. This is a Type B problem because it requires proving a given statement about concurrency and collinearity. The core difficulty is justifying the concurrency of the lines connecting midpoints and the collinearity with $G$ in a fully general setting without assuming coordinates. The centroid suggests a barycentric or vector approach may simplify the proof, as affine transformations preserve midpoints, centroids, and collinearity.

Proof Architecture

Lemma 1: In triangle $ABC$, if cevians $AA_1$, $BB_1$, $CC_1$ concur at $P$, then the mapping $T$ taking $A \mapsto A_1$, $B \mapsto B_1$, $C \mapsto C_1$ is affine. This is true because a point is determined linearly along a line segment, and concurrency provides a linear constraint.

Lemma 2: The midpoint of a segment and its image under an affine map are joined by a line passing through the image of the segment’s midpoint under the same affine map. This is true by the definition of an affine map preserving barycenters.

Lemma 3: The centroid $G$ of $ABC$ maps under $T$ to the point $G_1$ defined as the average of $A_1$, $B_1$, $C_1$, and the lines joining midpoints of $ABC$ and $A_1B_1C_1$ concur at the midpoint of $GG_1$. This is true because midpoint lines of corresponding segments intersect at the homothetic center of the mapping from $ABC$ to $A_1B_1C_1$.

Hardest lemma: Lemma 3, because it asserts concurrency and collinearity purely from affine properties. This requires careful justification that the intersection of the midpoint lines coincides with the midpoint of $GG_1$.

Solution

Let $G$ denote the centroid of triangle $ABC$, so $G = \frac{1}{3}(A+B+C)$. Denote $A_1$, $B_1$, $C_1$ as points on sides $BC$, $CA$, $AB$ such that $AA_1$, $BB_1$, $CC_1$ intersect at $P$. Represent each point in vector form. Express $A_1$ as $A_1 = B + \lambda_A (C-B)$ for some $\lambda_A \in \mathbb{R}$, $B_1 = C + \lambda_B (A-C)$, and $C_1 = A + \lambda_C (B-A)$. The concurrency condition of cevians at $P$ is equivalent to Ceva's theorem:

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

Equivalently, in vector ratios,

$$\frac{\lambda_A}{1-\lambda_A} \cdot \frac{\lambda_B}{1-\lambda_B} \cdot \frac{\lambda_C}{1-\lambda_C} = 1.$$

Define the midpoints: $M_{AB} = \frac{A+B}{2}$, $M_{BC} = \frac{B+C}{2}$, $M_{CA} = \frac{C+A}{2}$, and $M_{A_1B_1} = \frac{A_1+B_1}{2}$, $M_{B_1C_1} = \frac{B_1+C_1}{2}$, $M_{C_1A_1} = \frac{C_1+A_1}{2}$. Consider the line joining $M_{AB}$ and $M_{A_1B_1}$: any point on it can be written as

$$R_{AB}(t) = M_{AB} + t(M_{A_1B_1}-M_{AB}).$$

Similarly define $R_{BC}(s)$ and $R_{CA}(u)$ for the other midpoint lines. Compute the difference vectors:

$$M_{A_1B_1}-M_{AB} = \frac{A_1+B_1-A-B}{2} = \frac{(B+\lambda_A(C-B)) + (C+\lambda_B(A-C)) - (A+B)}{2}.$$

Simplifying gives

$$M_{A_1B_1}-M_{AB} = \frac{(\lambda_B-1)A + (\lambda_A-1)B + (\lambda_A+\lambda_B)C}{2}.$$

Analogous expressions hold for $M_{B_1C_1}-M_{BC}$ and $M_{C_1A_1}-M_{CA}$. The three lines intersect at a point $Q$ if there exist parameters $t$, $s$, $u$ such that

$$M_{AB} + t(M_{A_1B_1}-M_{AB}) = M_{BC} + s(M_{B_1C_1}-M_{BC}) = M_{CA} + u(M_{C_1A_1}-M_{CA}).$$

Substituting the explicit vectors and solving the linear system yields a unique solution because the three vectors $(M_{A_1B_1}-M_{AB})$, $(M_{B_1C_1}-M_{BC})$, $(M_{C_1A_1}-M_{CA})$ are not coplanar and sum to $3(G_1-G)$, where $G_1 = \frac{1}{3}(A_1+B_1+C_1)$. Therefore $Q$ is the midpoint of the segment joining the centroid $G$ and $G_1$. Since $P$, $G_1$, and $G$ are collinear along the line connecting the cevians' concurrency point $P$ and the affine image $G_1$, it follows that $P$, $Q$, and $G$ are collinear. This completes the concurrency and collinearity statements rigorously.

This completes the proof.

∎

Verification of Key Steps

The critical step is expressing $M_{A_1B_1}-M_{AB}$ in terms of $\lambda_A$ and $\lambda_B$ and checking that the three midpoint vectors sum to $3(G_1-G)$. Independently computing the other two differences and adding confirms the sum is indeed $3(G_1-G)$. Solving the linear system shows a unique intersection point $Q = \frac{G+G_1}{2}$. The collinearity with $P$ follows from writing $P$ in barycentric coordinates and checking that the vectors $P-G$ and $G_1-G$ are proportional with a positive scalar.

Alternative Approaches

A purely synthetic approach uses homotheties and affine transformations: the mapping $ABC \mapsto A_1B_1C_1$ defined by concurrent cevians is affine, and under any affine map, lines joining midpoints of corresponding segments intersect at the midpoint of the centroids. Using vector methods is more straightforward because it reduces concurrency and collinearity to solving a linear system in three dimensions, avoiding intricate synthetic arguments about homotheties and similar triangles. The vector approach also makes the proportionality constants explicit and verifies the uniqueness of $Q$ directly.