Kvant Math Problem 122

Let the consecutive arcs of the circumcircle be

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

Problem

The pentagon $ABCDE$ is inscribed in a circle. It is known that the distances from the point $E$ to the lines $AB$, $BC$, and $CD$ are equal to $p$, $q$, and $r$, respectively. Find the distance from the point $E$ to the line $AD$.

Exploration

Let the consecutive arcs of the circumcircle be

$$\widehat{AB}=2x,\quad \widehat{BC}=2y,\quad \widehat{CD}=2z,\quad \widehat{DE}=2w,\quad \widehat{EA}=2t.$$

Then

$$x+y+z+w+t=\pi.$$

Denote by $R$ the circumradius.

A natural idea is to express each required distance through $R$ and the arc parameters. For a point on a circumcircle and a chord of that circle, the altitude from the point to the chord can be written using the two angles adjacent to the altitude. Applying the standard formula

$$h=2R\sin B\sin C$$

to a triangle inscribed in the circle gives such an expression.

Carrying this out for the chords $AB$, $BC$, $CD$, and $AD$ produces

$$p=2R\sin(x+t)\sin(x+y),$$

$$q=2R\sin(x+y)\sin(y+z),$$

$$r=2R\sin(y+z)\sin(z+w),$$

and

$$s=2R\sin(x+t)\sin(z+w),$$

where $s$ is the distance from $E$ to the line $AD$.

These formulas immediately suggest

$$pr=(2R)^2\sin(x+t)\sin(x+y)\sin(y+z)\sin(z+w) =q,s.$$

Hence

$$s=\frac{pr}{q}.$$

The only point requiring careful justification is the derivation of the four distance formulas.

Problem Understanding

A cyclic pentagon $ABCDE$ is given. The distances from the vertex $E$ to the lines $AB$, $BC$, and $CD$ are $p$, $q$, and $r$. We must determine the distance from $E$ to the line $AD$.

This is a Type C problem, the required quantity is to be determined uniquely from the given data.

The core difficulty is to relate distances from a point on a circle to several chords of the same circle. The cyclic condition suggests expressing everything through inscribed angles.

The expected answer is

$$\frac{pr}{q},$$

because the distance formulas factor into products of four common trigonometric terms, and these factors cancel.

Proof Architecture

Let $s$ denote the distance from $E$ to the line $AD$.

First lemma: In any triangle $XYZ$ inscribed in a circle of radius $R$, the distance from $Z$ to the line $XY$ equals $2R\sin\angle ZXY\sin\angle ZYX$.

Sketch: Compute the altitude as $\dfrac{XZ\cdot YZ\sin\angle XZY}{XY}$ and use the sine law.

Second lemma: If the consecutive arcs are parameterized by $2x,2y,2z,2w,2t$, then

$$p=2R\sin(x+t)\sin(x+y),$$

$$q=2R\sin(x+y)\sin(y+z),$$

$$r=2R\sin(y+z)\sin(z+w),$$

$$s=2R\sin(x+t)\sin(z+w).$$

Sketch: Apply the first lemma to the triangles $AEB$, $BEC$, $CED$, and $AED$, and express the relevant angles through intercepted arcs.

Third lemma:

$$pr=qs.$$

Sketch: Multiply the formulas of the second lemma and compare.

The most delicate point is the conversion of the angles of the inscribed triangles into the expressions $x+t$, $x+y$, $y+z$, and $z+w$.

Solution

Let $s$ be the distance from the point $E$ to the line $AD$, and let $R$ be the radius of the circumcircle.

Introduce arc parameters by

$$\widehat{AB}=2x,\quad \widehat{BC}=2y,\quad \widehat{CD}=2z,\quad \widehat{DE}=2w,\quad \widehat{EA}=2t.$$

Since these are the five consecutive arcs of the circle,

$$x+y+z+w+t=\pi.$$

We first establish a general formula.

Consider a triangle $XYZ$ inscribed in a circle of radius $R$. Let $h$ be the distance from $Z$ to the line $XY$.

The area of the triangle equals

$$\frac12 XY\cdot h$$

and also

$$\frac12 XZ\cdot YZ\sin\angle XZY.$$

Hence

$$h=\frac{XZ\cdot YZ\sin\angle XZY}{XY}.$$

By the sine law,

$$XZ=2R\sin\angle XYZ, \qquad YZ=2R\sin\angle ZXY, \qquad XY=2R\sin\angle XZY.$$

Substituting gives

$$h = 2R\sin\angle ZXY\sin\angle XYZ.$$

Now apply this formula to the triangle $AEB$.

The angle $\angle EAB$ intercepts the arc $EB$ not containing $A$, whose measure is

$$2(y+z+w).$$

Therefore

$$\angle EAB=y+z+w.$$

Since

$$x+y+z+w+t=\pi,$$

we obtain

$$\angle EAB=\pi-(x+t).$$

Similarly,

$$\angle EBA=z+w+t=\pi-(x+y).$$

Hence

$$p = 2R\sin(\pi-(x+t))\sin(\pi-(x+y)) = 2R\sin(x+t)\sin(x+y).$$

Applying the same argument to the triangle $BEC$ yields

$$q=2R\sin(x+y)\sin(y+z).$$

For the triangle $CED$,

$$r=2R\sin(y+z)\sin(z+w).$$

Finally, for the triangle $AED$,

$$s=2R\sin(x+t)\sin(z+w).$$

Multiplying the formulas for $p$ and $r$ gives

$$pr = (2R)^2 \sin(x+t)\sin(x+y)\sin(y+z)\sin(z+w).$$

Multiplying the formulas for $q$ and $s$ gives exactly the same expression:

$$qs = (2R)^2 \sin(x+t)\sin(x+y)\sin(y+z)\sin(z+w).$$

Therefore

$$pr=qs.$$

Since $q>0$,

$$s=\frac{pr}{q}.$$

Thus the distance from $E$ to the line $AD$ is

$$\boxed{\frac{pr}{q}}.$$

Verification of Key Steps

The first delicate step is the altitude formula

$$h=2R\sin B\sin C.$$

Starting from

$$\frac12 ah=\frac12 bc\sin A,$$

we get

$$h=\frac{bc\sin A}{a}.$$

Using

$$a=2R\sin A,\quad b=2R\sin B,\quad c=2R\sin C,$$

gives

$$h = \frac{(2R\sin B)(2R\sin C)\sin A} {2R\sin A} = 2R\sin B\sin C.$$

No cancellation is missed.

The second delicate step is the computation of $\angle EAB$. The arc intercepted by this angle is the arc from $E$ to $B$ that does not contain $A$, namely

$$\widehat{BC}+\widehat{CD}+\widehat{DE} = 2(y+z+w).$$

Hence

$$\angle EAB=y+z+w.$$

Using

$$x+y+z+w+t=\pi$$

gives

$$y+z+w=\pi-(x+t),$$

which is the form needed in the distance formula.

The third delicate step is the final cancellation. Substituting the four expressions explicitly shows that both $pr$ and $qs$ are equal to the same product of four sine factors multiplied by $(2R)^2$. No additional geometric assumption is used.

Alternative Approaches

A different solution uses coordinates. Place the circumcircle as the unit circle in the complex plane. The distance from a point of the circle to a chord can be expressed as a product of suitable chord lengths. For the four relevant chords, the resulting formulas factor into the same four terms, and one again obtains

$$pr=qs.$$

The trigonometric approach is preferable because every distance is expressed directly through inscribed angles, and the relation $pr=qs$ emerges from a transparent factorization.