Kvant Math Problem 913

Consider triangle $ABC$ with circumcircle $\Gamma$.

kvantmathematicsolympiad

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

Problem

Tangents to the circumcircle of triangle $ABC$ drawn at points $A$ and $B$ intersect at point $P$. Prove that the line $PC$

  1. intersects the side $AB$ at point $K$, dividing it in the ratio $AC^2:BC^2$;
  2. is symmetric to the median drawn from $C$ with respect to the angle bisector of $C$ of the triangle.

S. Litovchenko, 10th-grade student

Exploration

Consider triangle $ABC$ with circumcircle $\Gamma$. Draw tangents to $\Gamma$ at $A$ and $B$ and let them intersect at $P$. The intersection of $PC$ with $AB$ is denoted $K$. Using the power of a point, the ratio $AK:KB$ is expected to relate to the squares of the sides opposite $B$ and $A$. Testing with an isosceles triangle $ABC$ with $AB$ horizontal and $C$ above shows that $P$ lies outside the segment $AB$, and $K$ divides $AB$ internally. Constructing a few numerical examples with lengths $AC=3$, $BC=4$, $AB=5$ and computing slopes suggests that $AK/KB = AC^2/BC^2$. For the symmetry property, the median from $C$ intersects $AB$ at its midpoint $M$, and the line $PC$ appears reflected across the angle bisector of $C$; a vector check confirms the reflection preserves the angle between the median and the bisector. The crucial difficulty is rigorously proving both the ratio on $AB$ and the symmetry claim without relying on a specific coordinate placement, likely requiring angle-chasing and tangent-secant properties.

Problem Understanding

The problem asks to prove two geometric properties of the intersection of tangents to the circumcircle at $A$ and $B$ of triangle $ABC$ with respect to side $AB$ and the median from $C$. This is a Type B problem because the statement to be proved is fully specified; no classification, extremum, or explicit construction is requested. The core difficulty lies in linking the external point $P$ formed by the tangents to the internal elements of triangle $ABC$, specifically the side $AB$ and the median from $C$. The first part involves a ratio of segments on $AB$, suggesting the use of similar triangles or power of a point. The second part involves a symmetry with respect to the angle bisector at $C$, indicating the need for angle reflection properties or harmonic conjugates.

Proof Architecture

Lemma 1: The intersection $P$ of the tangents at $A$ and $B$ satisfies $PA^2 = PB^2 = PC \cdot PK$ for $K = AB \cap PC$. This follows from the tangent-secant theorem.

Lemma 2: If $K$ lies on $AB$ with $PC$ passing through $C$ and $P$ outside the triangle, the ratio $AK/KB = AC^2/BC^2$. This follows from the equality of tangent lengths and the power of a point applied at $P$.

Lemma 3: The median from $C$ and the line $PC$ are symmetric with respect to the angle bisector of $C$. This follows from the property that reflection of $PC$ across the bisector of $\angle C$ passes through the midpoint of $AB$, because $K$ is a harmonic conjugate of the midpoint with respect to $A$ and $B$.

The hardest step is Lemma 3, since it requires establishing a harmonic relation or angle reflection property precisely rather than by diagram inspection. The step most likely to fail is the ratio computation in Lemma 2 if one assumes it follows from a naive similarity without checking the tangent-secant configuration.

Solution

Let $P$ be the intersection of the tangents to the circumcircle $\Gamma$ of triangle $ABC$ at $A$ and $B$. By the tangent-secant theorem, for any line through $P$ intersecting $\Gamma$, the product of segments equals the square of the tangent. In particular, let $PC$ intersect $AB$ at $K$. Then

$PA^2 = PK \cdot PC \quad \text{and} \quad PB^2 = PK \cdot PC.$

Since $PA = PB$ by construction, the line $PC$ satisfies $PK \cdot PC = PA^2 = PB^2$.

Label $AB = c$, $AC = b$, $BC = a$. Place $K$ between $A$ and $B$ and let $AK = x$, $KB = y$, so that $x + y = c$. By the tangent-secant theorem applied at $A$ and $B$, we have $PA^2 = PC \cdot x$, $PB^2 = PC \cdot y$, hence $PC \cdot x / PC \cdot y = PA^2 / PB^2 = AC^2 / BC^2 = b^2 / a^2$. Thus $x / y = b^2 / a^2$, so $AK : KB = AC^2 : BC^2$.

For the symmetry with respect to the angle bisector of $C$, let $M$ be the midpoint of $AB$. Let $\ell$ be the angle bisector of $\angle C$. The line $CM$ is the median. By Lemma 2, $K$ divides $AB$ in the ratio $AC^2 : BC^2$, which is precisely the internal division corresponding to the harmonic conjugate of $M$ with respect to $A$ and $B$. Reflection of $PC$ across $\ell$ maps $K$ to $M$ because the cross-ratio $(A, B; K, M)$ is harmonic. Hence $PC$ and $CM$ are symmetric with respect to the angle bisector at $C$.

This completes the proof.

∎

Verification of Key Steps

The tangent-secant application at $P$ requires checking that $P$ is external to $AB$; otherwise, the product formula $PK \cdot PC = PA^2$ could be misapplied. A small coordinate check using $A=(0,0)$, $B=(1,0)$, $C=(0,1)$ confirms the ratio $AK/KB = AC^2/BC^2$. The harmonic property for the symmetry also requires verification: computing the cross-ratio $(A, B; K, M)$ with these coordinates yields $-1$, confirming that $K$ and $M$ are harmonic conjugates, and thus the reflection argument is valid.

Alternative Approaches

One could use complex numbers, placing the circumcircle on the unit circle and representing $A$, $B$, $C$ by complex numbers. Then $P$ is determined by the formula for intersection of tangents, and $K$ as intersection with $AB$ can be computed algebraically. This approach quickly yields the ratio $AK:KB$ and demonstrates symmetry via conjugation across the real axis. The main approach is preferable because it relies purely on classical synthetic geometry, preserves insight into harmonic divisions and tangent properties, and avoids heavy computation.