Kvant Math Problem 671
Let the cyclic quadrilateral be $ABCD$ with diagonals $AC$ and $BD$.
Verified: no
Verdicts: SKIP + SKIP
Solve time: 6m20s
Source on kvant.digital
Problem
In a cyclic quadrilateral, one diagonal bisects the other. Prove that the square of the length of the first diagonal is equal to half the sum of the squares of the lengths of all the sides of the quadrilateral.
R. Mazov
Exploration
Let the cyclic quadrilateral be $ABCD$ with diagonals $AC$ and $BD$. Suppose $AC$ bisects $BD$ at point $E$, so $BE = ED$. Label the sides $AB = a$, $BC = b$, $CD = c$, and $DA = d$, and the diagonals $AC = p$, $BD = q$. The claim is that $p^2 = \frac{a^2 + b^2 + c^2 + d^2}{2}$.
Consider placing the quadrilateral in a coordinate system to simplify computation. Setting $E$ at the origin and $AC$ along the $x$-axis is promising because the bisection condition yields symmetric coordinates for $B$ and $D$, namely $B = (x_B, y)$ and $D = (x_D, -y)$. Then $BD = q = 2y$ and $E$ at the midpoint gives $x_B = x_D$, consistent with symmetry.
Trying a rectangle or square as a special case verifies the formula. For a square with side $s$, diagonals equal $s\sqrt{2}$, and $AC$ bisects $BD$. Then $p^2 = 2s^2$, while $(a^2 + b^2 + c^2 + d^2)/2 = 4s^2/2 = 2s^2$, consistent. An isosceles trapezoid with base angles equal gives another plausible check.
The central insight is that the bisection of one diagonal in a cyclic quadrilateral introduces symmetry that allows application of the law of cosines in triangles sharing the bisected diagonal to express side lengths in terms of half-diagonal lengths and the other diagonal. This reduces the proof to an algebraic identity after eliminating the cosine terms.
The crux is handling the general cyclic case without relying on right angles, as in the square, and correctly computing $p^2$ in terms of all four sides.
Problem Understanding
The problem asks for a proof that in a cyclic quadrilateral $ABCD$, if diagonal $AC$ bisects diagonal $BD$, then $AC^2$ equals half the sum of the squares of the four sides. This is a Type B problem: a direct proof is requested, no classification or extremal construction is needed. The core difficulty is expressing the lengths of the sides in terms of the diagonal $AC$ and the bisection property, then proving the identity rigorously without assuming any special angles. The formula’s symmetry suggests a connection to vector or coordinate representations in the plane or to the law of cosines applied to triangles $ABC$ and $ADC$.
Proof Architecture
Lemma 1. Placing $E$, the midpoint of $BD$, at the origin and aligning $AC$ along the $x$-axis introduces coordinates $A=(-p/2,0)$, $C=(p/2,0)$, $B=(u,v)$, $D=(-u,-v)$. This captures the bisection condition and preserves cyclicity. Sketch: midpoints and translation simplify distances.
Lemma 2. The cyclicity condition implies that points $A,B,C,D$ lie on a circle, giving a quadratic relation between $u$, $v$, and $p$. Sketch: all points equidistant from the circle’s center, or use standard distance formula.
Lemma 3. Expressing the side lengths in terms of $p$, $u$, $v$ yields $AB^2 = (u + p/2)^2 + v^2$, $BC^2 = (u - p/2)^2 + v^2$, $CD^2 = (u + p/2)^2 + v^2$, $DA^2 = (u - p/2)^2 + v^2$. Sketch: algebraic expansion simplifies when summing.
Lemma 4. Summing the squares of the sides and dividing by two produces $p^2 + 2(u^2 + v^2)$. Sketch: symmetric terms cancel appropriately, leaving $p^2$ if cyclicity ensures $u^2 + v^2 = 0$, which follows from placement on a circle.
The hardest part is Lemma 4, verifying the algebraic simplification correctly handles the cyclicity condition and bisection simultaneously.
Solution
Let $ABCD$ be a cyclic quadrilateral with diagonal $AC$ bisecting $BD$ at $E$. Assign coordinates $A = (-p/2,0)$ and $C = (p/2,0)$ along the $x$-axis, with $E = (0,0)$. Since $E$ is the midpoint of $BD$, write $B = (u,v)$ and $D = (-u,-v)$. The coordinates satisfy the bisection by construction.
The side lengths in these coordinates are computed by the distance formula. We have
$$AB^2 = \left(-\frac{p}{2} - u\right)^2 + (0 - v)^2 = \left(u + \frac{p}{2}\right)^2 + v^2,$$
$$BC^2 = \left(u - \frac{p}{2}\right)^2 + v^2,$$
$$CD^2 = \left(-u - \frac{p}{2}\right)^2 + (-v - 0)^2 = \left(u + \frac{p}{2}\right)^2 + v^2,$$
$$DA^2 = \left(-u + \frac{p}{2}\right)^2 + (-v - 0)^2 = \left(u - \frac{p}{2}\right)^2 + v^2.$$
Summing all four side squares yields
\begin{align*}
AB^2 + BC^2 + CD^2 + DA^2 &= \left(u + \frac{p}{2}\right)^2 + v^2 + \left(u - \frac{p}{2}\right)^2 + v^2 \
&\quad + \left(u + \frac{p}{2}\right)^2 + v^2 + \left(u - \frac{p}{2}\right)^2 + v^2 \
&= 2\left[(u + \frac{p}{2})^2 + (u - \frac{p}{2})^2\right] + 4v^2.
\end{align*}
Expanding $(u \pm p/2)^2 = u^2 \pm pu + p^2/4$ and summing:
\begin{align*}
(u + \frac{p}{2})^2 + (u - \frac{p}{2})^2 &= u^2 + pu + \frac{p^2}{4} + u^2 - pu + \frac{p^2}{4} = 2u^2 + \frac{p^2}{2}.
\end{align*}
Therefore,
$$AB^2 + BC^2 + CD^2 + DA^2 = 2(2u^2 + \frac{p^2}{2}) + 4v^2 = 4u^2 + p^2 + 4v^2 = p^2 + 4(u^2 + v^2).$$
Since $B$ and $D$ lie on the circle through $A$ and $C$, the origin $E$ and points $A$, $C$ satisfy the circle equation. Let the circle have center $(0,k)$ and radius $R$. Then $A$ and $C$ satisfy $(-p/2)^2 + k^2 = (p/2)^2 + k^2 = R^2$, giving $k^2 + p^2/4 = R^2$. For $B=(u,v)$ and $D=(-u,-v)$ to lie on the same circle, $(u)^2 + (v - k)^2 = R^2$ and $(-u)^2 + (-v - k)^2 = u^2 + (v + k)^2 = R^2$. Equating $u^2 + (v - k)^2 = u^2 + (v + k)^2$ gives $v - k)^2 = (v + k)^2$, or $v^2 - 2vk + k^2 = v^2 + 2vk + k^2$, so $-4vk = 0$. Since $k \neq 0$ in general, this yields $v = 0$.
With $v = 0$, we have $u^2 + v^2 = u^2$, but the previous equation $u^2 + (v - k)^2 = R^2 = k^2 + p^2/4$ reduces to $u^2 + k^2 = k^2 + p^2/4$, giving $u^2 = p^2/4$. Thus $u^2 + v^2 = p^2/4 + 0 = p^2/4$. Substituting back into the sum of squares, $AB^2 + BC^2 + CD^2 + DA^2 = p^2 + 4(u^2 + v^2) = p^2 + 4(p^2/4) = 2p^2$. Hence
$$p^2 = \frac{AB^2 + BC^2 + CD^2 + DA^2}{2}.$$
This completes the proof.
∎