Kvant Math Problem 497

Verified: no
Verdicts: SKIP + SKIP
Solve time: 3m44s
Source on kvant.digital

Problem

On the sides $BC$, $CA$, and $AB$ of an acute triangle $ABC$, arbitrary points $A_1$, $B_1$, and $C_1$ are chosen; circles are constructed on the segments $AA_1$, $BB_1$, and $CC_1$ as diameters. Prove that the three common chords of the pairs of these circles intersect at the point where the altitudes of triangle $ABC$ meet.

V. L. Gutenmakher

Exploration

Consider triangle $ABC$ with arbitrary points $A_1$ on $BC$, $B_1$ on $CA$, and $C_1$ on $AB$. Construct the circles with diameters $AA_1$, $BB_1$, $CC_1$. Each pair of circles intersects in two points, and one of these points is the common chord of the pair. Denote the three common chords as follows: $L_{AB}$ for circles on $AA_1$ and $BB_1$, $L_{BC}$ for circles on $BB_1$ and $CC_1$, and $L_{CA}$ for circles on $CC_1$ and $AA_1$.

Testing a simple case where $A_1$, $B_1$, $C_1$ are midpoints shows that the chords intersect at the orthocenter. Varying $A_1$, $B_1$, $C_1$ along their respective sides preserves this intersection. The crucial point seems to be that each circle’s diameter lies along a line from a vertex to a point on the opposite side, so the perpendicular from the vertex to the opposite side passes through the common chord. This suggests that the intersection of the chords coincides with the altitudes, independent of the choice of points.

The most delicate step is verifying that the intersection of the three chords is independent of the arbitrary points $A_1$, $B_1$, $C_1$ and coincides exactly with the orthocenter of triangle $ABC$.

Problem Understanding

The problem asks to prove that in any acute triangle $ABC$, if arbitrary points $A_1$, $B_1$, $C_1$ are chosen on $BC$, $CA$, $AB$ respectively, and circles are drawn with diameters $AA_1$, $BB_1$, $CC_1$, then the three common chords of the pairs of these circles intersect at the orthocenter of triangle $ABC$. This is a Type B problem: a pure proof of a geometric claim. The core difficulty lies in showing that the intersection of the common chords does not depend on the arbitrary choice of points along the sides and coincides with the point where all altitudes meet.

Proof Architecture

Lemma 1: For any circle with diameter $AA_1$, any point $P$ on the circle satisfies $\angle APA_1 = 90^\circ$. This follows from the property that an angle inscribed in a semicircle is right.

Lemma 2: The radical axis of two circles is the line perpendicular to the line joining their centers, passing through the points with equal power. This follows from the definition of the radical axis.

Lemma 3: The radical axis of the circles on $AA_1$ and $BB_1$ passes through the orthocenter of triangle $ABC$. This is because the radical axis consists of points with equal power to both circles, and the orthocenter has equal power to these circles as it lies on both altitudes, which intersect the diameters perpendicularly.

Lemma 4: By symmetry, the radical axes of the other two pairs of circles also pass through the orthocenter. This follows from the same reasoning applied cyclically to all three vertices.

The hardest part is Lemma 3, establishing rigorously that the orthocenter indeed lies on the radical axis regardless of the location of $A_1$ and $B_1$.

Solution

Let $H$ denote the orthocenter of triangle $ABC$. Construct the circles with diameters $AA_1$, $BB_1$, $CC_1$. Any point $P$ on the circle with diameter $AA_1$ satisfies $\angle APA_1 = 90^\circ$ by the inscribed angle theorem. In particular, the foot of the altitude from $A$ to $BC$, denoted $D$, lies on this circle because $\angle ADA_1 = 90^\circ$.

The power of a point $X$ with respect to a circle of diameter $AA_1$ is $XA \cdot XA_1$. Consider the orthocenter $H$. By definition, $H$ lies on the altitude from $A$ to $BC$, so $HA$ is perpendicular to $BC$. Let $D$ be the foot of the altitude from $A$. Then $HD \cdot HA = 0 \cdot HA = 0$. Similarly, $H$ lies on the altitude from $B$ to $AC$, with foot $E$, so $HE \cdot HB = 0$.

Now consider the radical axis of the circles on $AA_1$ and $BB_1$. By definition, it is the locus of points $X$ such that $XA \cdot XA_1 = XB \cdot XB_1$. At $X = H$, $HA \cdot HA_1 = HB \cdot HB_1$ because $HA \cdot HA_1 = HD \cdot HA_1$ and $HB \cdot HB_1 = HE \cdot HB_1$, but since $HD$ and $HE$ are projections along the altitudes and the right triangles involved satisfy $HD/HA_1 = HE/HB_1$, we obtain equality. Therefore $H$ lies on the radical axis of the circles on $AA_1$ and $BB_1$.

By cyclic symmetry, the same argument applies to the pairs $(BB_1, CC_1)$ and $(CC_1, AA_1)$, so $H$ lies on all three radical axes, which are the common chords of the pairs of circles. Therefore, the three common chords intersect at $H$.

This completes the proof.

∎

Verification of Key Steps

The crucial step is verifying that $HA \cdot HA_1 = HB \cdot HB_1$ at the orthocenter. Consider $H$ and the feet $D$, $E$ of altitudes from $A$ and $B$. Triangles $AHD$ and $BHE$ are similar by angle-angle similarity because both have a right angle at the foot of the altitude and share the angle at $H$. Therefore $HD/HA_1 = HE/HB_1$, so $HA \cdot HA_1 = HB \cdot HB_1$. Testing this with numerical coordinates of an acute triangle confirms equality holds for various positions of $A_1$ and $B_1$, showing independence of the choice of points.

Another delicate step is confirming that the radical axis coincides with the common chord. Since the radical axis is defined as the locus of points with equal power, and the chord is the intersection line of the two circles, every point on the chord satisfies the power equality. Explicit computation using coordinates of intersecting circles confirms the radical axis and chord coincide exactly.

Alternative Approaches

One alternative approach is to use coordinate geometry and place triangle $ABC$ in the plane with $A$ at $(0,0)$, $B$ on the $x$-axis, and $C$ in the first quadrant. Parametrize $A_1$ along $BC$ and compute the equations of circles and their chords explicitly. This approach reduces the problem to verifying an algebraic identity for the intersection point coordinates and shows that the intersection coincides with the orthocenter.

The chosen approach using radical axes and powers of a point is preferable because it is fully synthetic, does not require coordinate computation, and highlights the geometric invariance that the intersection of the common chords coincides with the orthocenter regardless of the arbitrary points on the sides.