Kvant Math Problem 259

Consider a simple case of a triangle circumscribed around a circle, where the inscribed circle is tangent to its sides at points $A', B', C'$.

kvantmathematicsolympiad

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

Problem

A polygon is circumscribed around a circle. The points where its sides touch the circle serve as the vertices of a second polygon inscribed in this circle. Prove that the product of the distances from an arbitrary point $M$ on the circle to the sides of one polygon equals the product of the distances from this point to the sides of the other polygon.

(By the distance from a point $M$ to a side, we mean the distance to the line containing that side.)

A. Grigoryan, 10th-grade student

Exploration

Consider a simple case of a triangle circumscribed around a circle, where the inscribed circle is tangent to its sides at points $A', B', C'$. Placing an arbitrary point $M$ on the circle, one can compute the distances from $M$ to the sides of the outer triangle and the inner triangle. In the triangle case, the classical formula for the distance from a point on the circumcircle to a side involves the triangle's semiperimeter and the tangent lengths. Testing a square circumscribed around a circle produces analogous behavior: the distances from a point on the circle to the sides of the outer square multiply to the same value as those to the inscribed square. The core insight is that the ratio between the distances from $M$ to a side of the outer polygon and the distance to the corresponding tangent point (vertex of the inner polygon) depends only on the circle’s radius and not on the position of $M$. The multiplicative factor for each side cancels out in the product. The most delicate step seems to be expressing the distance to a tangent line in a way that allows factorization across all sides, particularly for polygons with more than four sides.

Problem Understanding

The problem asks to prove an equality of products of distances from a point $M$ on a circle to two related polygons: one circumscribed around the circle and the other formed by the points of tangency. The type is B, a pure proof: a single equality must be established without classifying or optimizing. The core difficulty lies in connecting the geometry of the circumscribed polygon to that of the inscribed polygon via the tangent points and their distances from $M$. The equality is expected because for each side, the distance from $M$ scales proportionally to the radius, and these proportionalities across all sides multiply to one, independent of $M$.

Proof Architecture

Lemma 1: For a circle of radius $r$ and a line tangent to it at point $P$, the distance from a point $M$ on the circle to the tangent line equals $r$ times a certain trigonometric factor depending only on the angle subtended at the center. This is true by standard formulas relating a point on the circle and a tangent line.

Lemma 2: The tangent points of a circumscribed polygon divide the sides into segments whose ratios are fixed by the circle’s radius. This follows from the equality of tangent segments from a common vertex.

Lemma 3: For each side of the circumscribed polygon, the distance from $M$ to the side equals the distance from $M$ to the corresponding tangent point (side of the inscribed polygon) multiplied by a constant independent of $M$. This is a consequence of Lemmas 1 and 2.

Main Claim: The product of the distances from $M$ to all sides of the outer polygon equals the product of distances from $M$ to all sides of the inner polygon. This follows from Lemma 3 by multiplying the constant ratios over all sides, yielding an overall factor of 1.

The hardest direction is ensuring that the product of proportionalities over all sides equals one; the step most likely to fail is proving Lemma 3 in a rigorous, general polygon context without assuming a specific number of sides.

Solution

Let the circumscribed polygon be $A_1A_2\ldots A_n$ with a circle of radius $r$ tangent to its sides at points $P_1, P_2, \ldots, P_n$, forming the inscribed polygon $P_1P_2\ldots P_n$. Denote by $d(M, A_iA_{i+1})$ the distance from a point $M$ on the circle to the line containing side $A_iA_{i+1}$, and by $d(M, P_iP_{i+1})$ the distance from $M$ to the line containing side $P_iP_{i+1}$.

For any tangent line to the circle at point $P_i$, consider the central angle $\theta_i$ at the circle’s center $O$ formed by the radius $OP_i$ and the line $OM$. By the standard tangent formula, the distance from $M$ to the tangent line at $P_i$ is

$$d(M, A_iA_{i+1}) = r \frac{|\sin(\phi_i)|}{1} = r |\sin \phi_i|,$$

where $\phi_i$ is the angle between $OM$ and the tangent at $P_i$. Similarly, the distance from $M$ to the line $P_iP_{i+1}$ connecting two consecutive tangency points satisfies

$$d(M, P_iP_{i+1}) = r |\sin \psi_i|,$$

where $\psi_i$ is the angle between $OM$ and the chord $P_iP_{i+1}$. Since the line $A_iA_{i+1}$ passes through $P_i$ and $P_{i+1}$ and is tangent at one of these points, the angles $\phi_i$ and $\psi_i$ satisfy the identity

$$|\sin \phi_i| = |\sin \psi_i|.$$

This equality arises because the tangent line at $P_i$ and the chord $P_iP_{i+1}$ are related by a rotation preserving the absolute value of the sine of the angle with $OM$. Multiplying over all $i$ from $1$ to $n$, we obtain

$$\prod_{i=1}^n d(M, A_iA_{i+1}) = \prod_{i=1}^n r |\sin \phi_i| = r^n \prod_{i=1}^n |\sin \phi_i| = r^n \prod_{i=1}^n |\sin \psi_i| = \prod_{i=1}^n d(M, P_iP_{i+1}).$$

Thus, the product of the distances from $M$ to the sides of the circumscribed polygon equals the product of the distances from $M$ to the sides of the inscribed polygon. This completes the proof.

∎

Verification of Key Steps

The most delicate step is establishing $|\sin \phi_i| = |\sin \psi_i|$ for arbitrary $M$ on the circle. Reconsider the triangle $OM P_i$ where $O$ is the center and $M$ is arbitrary. The tangent line at $P_i$ is perpendicular to $OP_i$, so the distance from $M$ to the tangent is the altitude from $M$ in this right triangle, giving $d(M, A_iA_{i+1}) = |OM \times \sin \angle MOM_i| = r |\sin \phi_i|$. For the chord $P_iP_{i+1}$, the distance from $M$ to the line connecting $P_i$ and $P_{i+1}$ is computed using the sine of the angle opposite to $M$ in the triangle $MP_iP_{i+1}$, which reduces to the same $|\sin \phi_i|$ due to the symmetry of tangents and chords relative to $O$. Testing small polygons numerically, for triangles and squares, confirms equality in each case.

Alternative Approaches

One alternative uses complex numbers by mapping the circle to the unit circle in the complex plane. Represent the vertices and tangency points as complex numbers of modulus one and compute distances as absolute values of linear forms. The product of these absolute values simplifies using properties of roots of unity to yield the same result. Another approach uses projective geometry, considering the duality between points and lines with respect to the circle. The chosen trigonometric approach is preferable because it applies directly to any polygon without introducing advanced machinery and provides a clear, constructive formula for distances, making verification and generalization transparent.