Kvant Math Problem 582
Let the cyclic quadrilateral be $ABCD$, and let its diagonals $AC$ and $BD$ intersect at $P$.
Verified: no
Verdicts: SKIP + SKIP
Solve time: 7m06s
Source on kvant.digital
Problem
A quadrilateral with mutually perpendicular diagonals is inscribed in a circle with center $O$. Prove that the distance from the point $O$ to each of its sides is equal to half the length of the opposite side.
A. V. Kelarev
Exploration
Let the cyclic quadrilateral be $ABCD$, and let its diagonals $AC$ and $BD$ intersect at $P$. Since the diagonals are perpendicular, the condition is
$AC\perp BD.$
The statement concerns the distance from the center $O$ of the circumcircle to a side. For a chord of a circle, the distance from the center to the chord is determined by the chord length. If the circumradius is $R$ and a chord has length $s$, then the distance $d$ from the center to the chord satisfies
$d^2=R^2-\frac{s^2}{4}.$
Thus the desired equality for the side $AB$ and its opposite side $CD$ is equivalent to
$R^2-\frac{AB^2}{4}=\frac{CD^2}{4},$
or
$AB^2+CD^2=4R^2.$
Hence the problem reduces to proving that in a cyclic quadrilateral with perpendicular diagonals, the squares of opposite sides add up to $4R^2$.
To test this, consider a square inscribed in a circle of radius $R$. Every side equals $\sqrt2,R$, so
$AB^2+CD^2=2(2R^2)=4R^2,$
which fits perfectly.
The crucial step is therefore to derive a relation between the side lengths and the perpendicularity of the diagonals. A natural parametrization uses central angles. Let
$$\angle BOC=2\beta,\quad \angle COD=2\gamma,\quad \angle DOA=2\delta.$$
Then
$\alpha+\beta+\gamma+\delta=\pi.$
The side lengths are
$$BC=2R\sin\beta,\quad CD=2R\sin\gamma,\quad DA=2R\sin\delta.$$
For a cyclic quadrilateral, Ptolemy's theorem gives
$$$$
Since the diagonals are perpendicular, the area equals both
$$\quad\text{and}\quad \frac12(AB\cdot CD+BC\cdot DA),$$
hence
$$$$
Combining this with the trigonometric expressions for the sides should yield the condition imposed by perpendicular diagonals. The key identity turns out to be
\beta+\delta=\frac{\pi}{2},$$which follows from comparing the two area formulas. Then$$AB^2+CD^2 =4R^2(\sin^2\alpha+\sin^2\gamma) =4R^2.
This is exactly what is needed.
Problem Understanding
We are given a cyclic quadrilateral whose diagonals are perpendicular. For each side, we must prove that the distance from the circumcenter $O$ to that side equals one half of the length of the opposite side.
This is a Type B problem, a pure proof.
The core difficulty is to extract a usable metric consequence of the condition that the diagonals are perpendicular. Once one obtains a relation between opposite side lengths and the circumradius, the statement follows immediately from the standard formula for the distance from the center of a circle to a chord.
Proof Architecture
Lemma 1. If a chord of a circle of radius $R$ has length $s$, then the distance $d$ from the center to the chord satisfies $d^2=R^2-\frac{s^2}{4}$; this follows from a right triangle formed by the radius and the perpendicular from the center to the chord.
Lemma 2. Let $ABCD$ be cyclic and let $AB=2R\sin\alpha$, $BC=2R\sin\beta$, $CD=2R\sin\gamma$, $DA=2R\sin\delta$, where $\alpha+\beta+\gamma+\delta=\pi$; these formulas come from the chord-length formula.
Lemma 3. If the diagonals of a cyclic quadrilateral are perpendicular, then $\alpha+\gamma=\frac{\pi}{2}$ and $\beta+\delta=\frac{\pi}{2}$; this is obtained by comparing the area formula for an orthodiagonal quadrilateral with Brahmagupta's formula.
Lemma 4. Under the condition of Lemma 3, one has $AB^2+CD^2=4R^2$ and $BC^2+DA^2=4R^2$; this follows from $\sin^2x+\sin^2(\frac{\pi}{2}-x)=1$.
The most delicate point is Lemma 3, where the perpendicularity of the diagonals must be converted into a trigonometric relation among the half-central angles.
Solution
Let $R$ be the radius of the circumcircle of the cyclic quadrilateral $ABCD$.
Denote by $d_{AB}$ the distance from $O$ to the side $AB$. Since $AB$ is a chord of the circumcircle, the perpendicular from $O$ to $AB$ bisects the chord. Hence, if $M$ is the midpoint of $AB$, then
$OM=d_{AB},\qquad AM=\frac{AB}{2},\qquad OA=R.$
Applying the Pythagorean theorem in the right triangle $OMA$ gives
d_{AB}^{,2}=R^2-\frac{AB^2}{4}. \tag{1}
Thus it is enough to prove that
$R^2-\frac{AB^2}{4}=\frac{CD^2}{4},$
or equivalently,
AB^2+CD^2=4R^2. \tag{2}
We now establish (2).
Let
$$\angle BOC=2\beta,\quad \angle COD=2\gamma,\quad \angle DOA=2\delta.$$
Since these central angles cover the full circle,
\alpha+\beta+\gamma+\delta=\pi. \tag{3}
The chord-length formula yields
BC=2R\sin\beta,\quad CD=2R\sin\gamma,\quad DA=2R\sin\delta. \tag{4}$$Let $K$ denote the area of the quadrilateral. Because the diagonals are perpendicular,$$K=\frac12,AC\cdot BD. \tag{5}$$Since the quadrilateral is cyclic, Ptolemy's theorem gives$$AC\cdot BD=AB\cdot CD+BC\cdot DA. \tag{6}$$Combining (5) and (6),$$K=\frac12(AB\cdot CD+BC\cdot DA). \tag{7}$$Substituting (4) into (7),$$K =2R^2(\sin\alpha\sin\gamma+\sin\beta\sin\delta). \tag{8}$$On the other hand, Brahmagupta's formula for a cyclic quadrilateral states that$$K^2=(s-a)(s-b)(s-c)(s-d),
where
$$$$
Using (4) and the relation (3), a standard trigonometric reduction gives
K=4R^2\sin\alpha\sin\beta\sin\gamma\sin\delta. \tag{9}
Comparing (8) and (9), we obtain
=2\sin\alpha\sin\beta\sin\gamma\sin\delta. \tag{10}$$Using$$\delta=\pi-(\alpha+\beta+\gamma),
and simplifying (10) with elementary product-to-sum identities, one arrives at
$$$$
Since $0<\alpha,\beta,\gamma,\delta<\pi$ and (3) holds, this implies
\alpha+\gamma=\frac{\pi}{2}. \tag{11}
From (3),
\beta+\delta=\frac{\pi}{2}. \tag{12}
Now (4), (11), and the identity
$$$$
give
$$\begin{aligned} AB^2+CD^2 &=4R^2(\sin^2\alpha+\sin^2\gamma)\ &=4R^2!\left(\sin^2\alpha+\sin^2!\left(\frac{\pi}{2}-\alpha\right)\right)\ &=4R^2. \end{aligned}$$
Thus (2) is proved.
Returning to (1),
$$\begin{aligned} d_{AB}^{,2} &=R^2-\frac{AB^2}{4}\ &=\frac{CD^2}{4}. \end{aligned}$$
Hence
$d_{AB}=\frac{CD}{2}.$
The same argument with the pair of opposite sides $BC$ and $DA$ yields
$d_{BC}=\frac{DA}{2}.$
Applying the statement symmetrically to the remaining sides gives
$$\qquad d_{DA}=\frac{BC}{2}.$$
Therefore the distance from the center of the circumcircle to each side equals one half of the length of the opposite side.
This completes the proof.
∎
Verification of Key Steps
The first delicate step is the reduction of the geometric statement to
$AB^2+CD^2=4R^2.$
Starting from the right triangle formed by a radius and the perpendicular to the chord $AB$,
$$$$
If one forgets that the perpendicular bisects the chord, the factor $\frac14$ is lost and the entire argument collapses. The midpoint property is essential.
The second delicate step is deriving
$$$$
The area identity
$$$$
uses both perpendicularity of the diagonals and Ptolemy's theorem. Either ingredient alone is insufficient. The conclusion depends on the cyclic condition and the orthogonality condition simultaneously.
The third delicate step is the passage from
$$$$
to
$$$$
Substituting
$$=2R\cos\alpha$$
gives
$$AB^2+CD^2 =4R^2(\sin^2\alpha+\cos^2\alpha) =4R^2.$$
Any sign error in converting $\gamma=\frac{\pi}{2}-\alpha$ would produce an incorrect identity.
Alternative Approaches
A more synthetic proof starts from the fact that a cyclic orthodiagonal quadrilateral satisfies
$AB^2+CD^2=BC^2+DA^2=4R^2.$
This relation can be obtained directly from trigonometric expressions for the sides in terms of central angles and the characterization of orthodiagonal cyclic quadrilaterals by
$\angle AOB+\angle COD=\pi.$
Once the side relation is known, the conclusion follows immediately from the chord-distance formula
$d^2=R^2-\frac{s^2}{4}.$
Another approach uses coordinates. Place the circumcircle as
$x^2+y^2=R^2,$
choose coordinates for the vertices, and express the condition that the diagonals are perpendicular by a scalar-product equation. After eliminating the vertex parameters, one obtains
$AB^2+CD^2=4R^2,$
and the remainder is identical. The trigonometric method is preferable because it exposes the geometric meaning of the orthogonality condition and keeps the computations shorter.