Kvant Math Problem 621

Let the circle have center $O$ and radius $r$.

kvantmathematicsolympiad

Verified: no
Verdicts: SKIP + SKIP
Solve time: 5m31s
Source on kvant.digital

Problem

A $n$-gon is circumscribed about a circle. An arbitrary point $P$ inside the circle is joined to all its vertices and points of tangency. The resulting $2n$ triangles are colored alternately red and blue. Prove that the product of the areas of the red triangles is equal to the product of the areas of the blue triangles.

U. Alla

Exploration

Let the circle have center $O$ and radius $r$. Label the vertices of the circumscribed $n$-gon by $V_1,\dots,V_n$ and the corresponding points of tangency by $T_1,\dots,T_n$, where $T_i$ lies on side $V_iV_{i+1}$.

Going around the boundary, the $2n$ points appear in the cyclic order

$$V_1,T_1,V_2,T_2,\dots,V_n,T_n.$$

Joining an interior point $P$ of the circle to all these points produces $2n$ triangles

$$PV_1T_1,\ PT_1V_2,\ \dots,\ PV_nT_n,\ PT_nV_1.$$

The coloring is alternating, so consecutive triangles receive opposite colors.

For a first test, take $n=3$. Then the six triangles are

$$PV_1T_1,\ PT_1V_2,\ PV_2T_2,\ PT_2V_3,\ PV_3T_3,\ PT_3V_1.$$

If the red triangles are the odd ones, their area product is

$$\prod_{i=1}^3 [PV_iT_i],$$

while the blue product is

$$\prod_{i=1}^3 [PT_iV_{i+1}].$$

Thus it would suffice to prove

$$\prod_{i=1}^n [PV_iT_i] = \prod_{i=1}^n [PT_iV_{i+1}].$$

Each pair of adjacent triangles shares the side $PT_i$. Since $T_i$ lies on the side $V_iV_{i+1}$, the two areas are

$$[PV_iT_i]=\frac12,PT_i\cdot T_iV_i\cdot \sin\angle V_iT_iP,$$

$$[PT_iV_{i+1}] =\frac12,PT_i\cdot T_iV_{i+1}\cdot \sin\angle PT_iV_{i+1}.$$

Because $V_i,T_i,V_{i+1}$ are collinear, the two angles are supplementary and have equal sines. Hence

$$\frac{[PV_iT_i]}{[PT_iV_{i+1}]} = \frac{T_iV_i}{T_iV_{i+1}}.$$

Now a circumscribed polygon has equal tangent segments from every vertex:

$$T_{i-1}V_i=T_iV_i.$$

Multiplying the ratios gives a telescoping product

$$\prod_{i=1}^n \frac{T_iV_i}{T_iV_{i+1}} = \prod_{i=1}^n \frac{T_{i-1}V_i}{T_iV_{i+1}} =1.$$

This appears to be the entire mechanism. The delicate point is the area ratio at a tangency point: one must justify carefully that the sine factors are equal.

Problem Understanding

We are given an $n$-gon circumscribed about a circle. A point $P$ is chosen anywhere inside the circle. The point $P$ is connected to every vertex of the polygon and to every point where the circle touches a side. This partitions the polygon into $2n$ triangles. These triangles are colored alternately red and blue around the boundary.

We must prove that the product of the areas of all red triangles equals the product of the areas of all blue triangles.

This is a Type B problem, a pure proof.

The core difficulty is to relate the areas of neighboring triangles. Since neighboring triangles share the segment from $P$ to a tangency point, their area ratio should depend only on the lengths of the tangent segments from that tangency point to the adjacent vertices. The equal-tangent property of a circumscribed polygon then makes the global product telescope.

Proof Architecture

Let the tangency point on side $V_iV_{i+1}$ be $T_i$.

Lemma 1. For every $i$,

$$\frac{[PV_iT_i]}{[PT_iV_{i+1}]} = \frac{T_iV_i}{T_iV_{i+1}}.$$

Both triangles share the side $PT_i$, and the included angles at $T_i$ are supplementary, hence have equal sine.

Lemma 2. For every vertex $V_i$,

$$T_{i-1}V_i=T_iV_i.$$

The two segments are tangents drawn from the same external point $V_i$ to the circle.

Lemma 3. The product of the ratios in Lemma 1 equals $1$:

$$\prod_{i=1}^n \frac{T_iV_i}{T_iV_{i+1}} =1.$$

After replacing each numerator $T_iV_i$ by $T_{i-1}V_i$, the factors cancel cyclically.

The most delicate lemma is Lemma 1, because an incorrect comparison of the two angles at $T_i$ would invalidate the area ratio.

Solution

Let $T_i$ be the point where the circle touches the side $V_iV_{i+1}$, with indices taken modulo $n$.

Around the boundary of the polygon the points occur in the cyclic order

$$V_1,T_1,V_2,T_2,\dots,V_n,T_n.$$

The $2n$ triangles formed by the segments from $P$ to these points are

$$PV_1T_1,\ PT_1V_2,\ PV_2T_2,\ PT_2V_3,\dots,PV_nT_n,\ PT_nV_1.$$

Since the coloring is alternating, one color consists exactly of the triangles

$$PV_iT_i \qquad (i=1,\dots,n),$$

and the other color consists exactly of the triangles

$$PT_iV_{i+1} \qquad (i=1,\dots,n).$$

Denote areas by brackets.

Fix $i$. Since $V_i,T_i,V_{i+1}$ are collinear,

$$\angle V_iT_iP+\angle PT_iV_{i+1}=180^\circ.$$

Hence

$$\sin\angle V_iT_iP = \sin\angle PT_iV_{i+1}.$$

Using the formula for the area of a triangle in terms of two sides and the included angle,

$$[PV_iT_i] = \frac12,PT_i\cdot T_iV_i\cdot \sin\angle V_iT_iP,$$

and

$$[PT_iV_{i+1}] = \frac12,PT_i\cdot T_iV_{i+1}\cdot \sin\angle PT_iV_{i+1}.$$

Dividing these equalities yields

$$\frac{[PV_iT_i]}{[PT_iV_{i+1}]} = \frac{T_iV_i}{T_iV_{i+1}}.$$

Multiplying over all $i$ gives

$$\prod_{i=1}^n \frac{[PV_iT_i]}{[PT_iV_{i+1}]} = \prod_{i=1}^n \frac{T_iV_i}{T_iV_{i+1}}.$$

Since the polygon is circumscribed about the circle, from the vertex $V_i$ the two tangent segments to the circle are equal:

$$T_{i-1}V_i=T_iV_i.$$

Therefore

$$\prod_{i=1}^n \frac{T_iV_i}{T_iV_{i+1}} = \prod_{i=1}^n \frac{T_{i-1}V_i}{T_iV_{i+1}}.$$

The numerator factors are

$$T_0V_1,\ T_1V_2,\dots,T_{n-1}V_n,$$

while the denominator factors are

$$T_1V_2,\ T_2V_3,\dots,T_nV_1.$$

These are the same set of factors, merely cyclically reordered. Hence

$$\prod_{i=1}^n \frac{T_iV_i}{T_iV_{i+1}} =1.$$

Consequently,

$$\prod_{i=1}^n [PV_iT_i] = \prod_{i=1}^n [PT_iV_{i+1}].$$

The left-hand side is the product of the areas of all triangles of one color, and the right-hand side is the product of the areas of all triangles of the other color. Thus the products of the red and blue areas are equal.

This completes the proof.

∎

Verification of Key Steps

The first delicate step is the area ratio. The triangles $PV_iT_i$ and $PT_iV_{i+1}$ share the side $PT_i$. Their other sides adjacent to $T_i$ are $T_iV_i$ and $T_iV_{i+1}$. Since $V_i,T_i,V_{i+1}$ lie on one line, the angles at $T_i$ are supplementary. The identity $\sin(180^\circ-\theta)=\sin\theta$ guarantees that the sine factors are identical. No property of the circle or of the point $P$ is used here.

The second delicate step is the equality $T_{i-1}V_i=T_iV_i$. Both segments are tangent segments drawn from the same exterior point $V_i$ to the circle. If this fact were replaced by an unjustified symmetry argument, the proof would fail for an arbitrary circumscribed polygon, which need not possess any geometric symmetry.

The final cancellation must be checked cyclically. After substitution, the numerator product is

$$(T_nV_1)(T_1V_2)\cdots(T_{n-1}V_n),$$

and the denominator product is

$$(T_1V_2)(T_2V_3)\cdots(T_nV_1).$$

Every factor appears once above and once below, so the quotient equals $1$.

Alternative Approaches

A different proof uses distances from $P$ to the sides of the polygon. Let $d_i$ and $e_i$ be the perpendicular distances from $P$ to the lines through $T_iV_i$ and $T_iV_{i+1}$. Since these are the same line, $d_i=e_i$. Then

$$[PV_iT_i]=\frac12,T_iV_i,d_i, \qquad [PT_iV_{i+1}]=\frac12,T_iV_{i+1},d_i.$$

Their ratio is again $T_iV_i/T_iV_{i+1}$. The remainder of the argument is the same telescoping product based on equal tangent segments.

The main proof is preferable because it compares neighboring triangles directly and uses only the standard area formula together with the equal-tangent property. The structure of the cancellation becomes completely transparent.