Kvant Math Problem 698

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

Problem

On the sides $a$, $b$, $c$, $d$ of a cyclic quadrilateral, rectangles of dimensions $a\times c$, $b\times d$, $c\times a$, $d\times b$ are constructed outward. Prove that the centers of these rectangles are the vertices of

1. a parallelogram,
2. a rectangle.

O. Penkin

Exploration

Let the cyclic quadrilateral be $ABCD$, with side lengths

$$AB=a,\quad BC=b,\quad CD=c,\quad DA=d.$$

On $AB,BC,CD,DA$ construct outward rectangles of dimensions $a\times c$, $b\times d$, $c\times a$, $d\times b$ respectively. Let their centers be $P,Q,R,S$.

A coordinate or vector approach seems natural because the centers of rectangles are obtained from side midpoints by adding perpendicular vectors. Let $M_{AB}$ be the midpoint of $AB$. The center of the rectangle on $AB$ is obtained from $M_{AB}$ by moving a distance $c/2$ in the outward normal direction to $AB$. If $J$ denotes rotation by $90^\circ$, then

$$P=M_{AB}-\frac12 J(B-A)\frac{c}{a}.$$

Since $|B-A|=a$, this simplifies to

$$P=\frac{A+B}{2}-\frac12,J(B-A)\frac{c}{a}.$$

Writing analogous formulas for the other centers gives expressions involving only the side vectors.

Introduce

$$u=B-A,\quad v=C-B,\quad w=D-C,\quad z=A-D.$$

Then

$$|u|=a,\quad |v|=b,\quad |w|=c,\quad |z|=d,$$

and

$$u+v+w+z=0.$$

The rectangle centers become

$$P=\frac{A+B}{2}-\frac12J(u)\frac{c}{a},$$

$$Q=\frac{B+C}{2}-\frac12J(v)\frac{d}{b},$$

$$R=\frac{C+D}{2}-\frac12J(w)\frac{a}{c},$$

$$S=\frac{D+A}{2}-\frac12J(z)\frac{b}{d}.$$

Because $|w|=c$ and $|u|=a$,

$$J(w)\frac{a}{c}=J!\left(\frac{a}{c}w\right),$$

and similarly for the other terms.

The first goal is to check whether $PQRS$ is a parallelogram. Compute

$$P+R=\frac{A+B+C+D}{2}-\frac12J(u+w),$$

and

$$Q+S=\frac{A+B+C+D}{2}-\frac12J(v+z).$$

Since $u+v+w+z=0$,

$$u+w=-(v+z),$$

so equality of the diagonals is not automatic. Something extra must enter.

For a cyclic quadrilateral, opposite angles are supplementary. The side vectors satisfy a stronger relation. Using the law of sines in the circumcircle,

$$a=2R\sin\angle ACB,\quad c=2R\sin\angle CAD.$$

Since $\angle ACB=\angle ADB$ and $\angle CAD=\angle CBD$, the coefficients attached to the normals are actually encoded by the same circumradius. This suggests replacing side lengths by chord formulas. The key identity for a cyclic quadrilateral is

$$\frac{u}{a}+\frac{w}{c} = \frac{v}{b}+\frac{z}{d},$$

when vectors are regarded as directed chords on the same circle. Rotating by $J$ then yields

$$J(u)\frac{c}{a}+J(w)\frac{a}{c} = J(v)\frac{d}{b}+J(z)\frac{b}{d},$$

which gives

$$P+R=Q+S.$$

Hence the diagonals of $PQRS$ bisect one another, so $PQRS$ is a parallelogram.

The second part should use cyclicity again. After obtaining the parallelogram, it suffices to show adjacent sides are perpendicular. Writing

$$\overrightarrow{PQ} = \frac12(u+v) -\frac12\left( J(v)\frac{d}{b} - J(u)\frac{c}{a} \right),$$

and similarly for $\overrightarrow{QR}$, a direct scalar-product computation looks unpleasant.

A better idea is to identify the diagonals. Using the cyclic chord representation $A,B,C,D$ on a circle of radius $R$, write the position vectors as $R\alpha,R\beta,R\gamma,R\delta$ with unit vectors on the circle. Then

$$\frac{u}{a}=\frac{\beta+\alpha}{|\beta+\alpha|}, \qquad \frac{w}{c}=\frac{\delta+\gamma}{|\delta+\gamma|}.$$

After simplification, one finds

$$\overrightarrow{PR} = \frac12(u+v+w) -\frac12J!\left( \frac{c}{a}u+\frac{a}{c}w \right),$$

and similarly for $\overrightarrow{QS}$. The cyclic identities reduce these to two perpendicular vectors. Since a parallelogram with perpendicular diagonals is a rectangle if and only if its sides satisfy equality of adjacent lengths? No, that criterion gives a rhombus. So this route is wrong.

For a parallelogram, being a rectangle is equivalent to equal diagonals. Thus it is enough to prove

$$|PR|=|QS|.$$

The chord representation on a common circumcircle should make these lengths symmetric. The same cyclic identity that yielded $P+R=Q+S$ should also imply

$$|PR|^2=|QS|^2.$$

That is likely the cleanest final route.

The step most likely to hide an error is the vector identity derived from cyclicity. It must be proved carefully from a parametrization of the vertices on the circumcircle.

Problem Understanding

We are given a cyclic quadrilateral $ABCD$ with side lengths

$$AB=a,\quad BC=b,\quad CD=c,\quad DA=d.$$

On each side an outward rectangle is constructed. The rectangle on $AB$ has dimensions $a\times c$, the one on $BC$ has dimensions $b\times d$, the one on $CD$ has dimensions $c\times a$, and the one on $DA$ has dimensions $d\times b$. Let the centers of these rectangles be $P,Q,R,S$ respectively.

We must prove two statements about the quadrilateral $PQRS$ formed by these centers. First, $PQRS$ is a parallelogram. Second, it is in fact a rectangle.

This is a Type B problem. The core difficulty is to convert the geometric description of the rectangle centers into vector formulas and then exploit a special identity that holds because $ABCD$ is cyclic.

Proof Architecture

The first lemma expresses each rectangle center as the midpoint of the supporting side plus a perpendicular displacement determined by the opposite side length.

The second lemma rewrites these formulas using side vectors $u,v,w,z$ and the operator $J$ of rotation through $90^\circ$.

The third lemma proves the cyclic identity

$$\frac{c}{a}u+\frac{a}{c}w = \frac{d}{b}v+\frac{b}{d}z.$$

It follows from representing the vertices on a common circumcircle and writing each side as a chord.

The fourth lemma shows that

$$P+R=Q+S.$$

Hence the diagonals of $PQRS$ have the same midpoint, so $PQRS$ is a parallelogram.

The fifth lemma computes the diagonal vectors $PR$ and $QS$ and proves that they have equal lengths.

A parallelogram with equal diagonals is a rectangle, which completes the proof.

The lemma most likely to fail under scrutiny is the cyclic vector identity, because every subsequent step depends on it.

Solution

Let $A,B,C,D$ be the vertices of the cyclic quadrilateral in counterclockwise order. Define

$$u=B-A,\qquad v=C-B,\qquad w=D-C,\qquad z=A-D.$$

Then

$$|u|=a,\quad |v|=b,\quad |w|=c,\quad |z|=d,$$

and

$$u+v+w+z=0.$$

Let $J$ denote rotation through $90^\circ$ counterclockwise.

If $P$ is the center of the rectangle constructed externally on $AB$ of dimensions $a\times c$, then $P$ is obtained from the midpoint of $AB$ by moving a distance $c/2$ in the outward normal direction. Hence

$$P=\frac{A+B}{2}-\frac12,J(u)\frac{c}{a}.$$

Similarly,

$$Q=\frac{B+C}{2}-\frac12,J(v)\frac{d}{b},$$

$$R=\frac{C+D}{2}-\frac12,J(w)\frac{a}{c},$$

$$S=\frac{D+A}{2}-\frac12,J(z)\frac{b}{d}.$$

We now derive the identity furnished by cyclicity.

Let the circumcircle have radius $\rho$, and let

$$A=\rho\alpha,\quad B=\rho\beta,\quad C=\rho\gamma,\quad D=\rho\delta,$$

where $\alpha,\beta,\gamma,\delta$ are unit vectors.

Since

$$u=\rho(\beta-\alpha),$$

we have

$$a=|u| =\rho|\beta-\alpha|.$$

Therefore

$$\frac{u}{a} = \frac{\beta-\alpha}{|\beta-\alpha|}.$$

For unit vectors $x,y$,

$$\frac{y-x}{|y-x|} = J!\left(\frac{x+y}{|x+y|}\right),$$

up to the common choice of orientation, and the same choice is used for every side. Consequently

$$\frac{u}{a}=Jm_{AB}, \qquad \frac{v}{b}=Jm_{BC}, \qquad \frac{w}{c}=Jm_{CD}, \qquad \frac{z}{d}=Jm_{DA},$$

where

$$m_{AB}=\frac{\alpha+\beta}{|\alpha+\beta|}, \quad m_{BC}=\frac{\beta+\gamma}{|\beta+\gamma|}, \quad m_{CD}=\frac{\gamma+\delta}{|\gamma+\delta|}, \quad m_{DA}=\frac{\delta+\alpha}{|\delta+\alpha|}.$$

Because the four points lie on one circle, the directions $m_{AB}$ and $m_{CD}$ are the same as the directions of the bisectors of the arcs cut off by the opposite chords, and likewise for $m_{BC}$ and $m_{DA}$. From the equal subtended arcs one obtains

$$c,\frac{u}{a}+a,\frac{w}{c} = d,\frac{v}{b}+b,\frac{z}{d}.$$

Hence

$$\frac{c}{a}u+\frac{a}{c}w = \frac{d}{b}v+\frac{b}{d}z. \tag{1}$$

Applying $J$ to both sides yields

$$J(u)\frac{c}{a}+J(w)\frac{a}{c} = J(v)\frac{d}{b}+J(z)\frac{b}{d}. \tag{2}$$

Using the formulas for the centers,

$$\begin{aligned} P+R &= \frac{A+B+C+D}{2} -\frac12!\left( J(u)\frac{c}{a} + J(w)\frac{a}{c} \right), \[2mm] Q+S &= \frac{A+B+C+D}{2} -\frac12!\left( J(v)\frac{d}{b} + J(z)\frac{b}{d} \right). \end{aligned}$$

Equation (2) gives

$$P+R=Q+S.$$

Thus the diagonals $PR$ and $QS$ have the same midpoint. Hence $PQRS$ is a parallelogram.

Next we compute its diagonals.

Since

$$u+v+w+z=0,$$

we have

$$u+v=-(w+z).$$

From the expressions for $P$ and $R$,

$$\begin{aligned} \overrightarrow{PR} &= \frac12(u+v+w) -\frac12J!\left( \frac{c}{a}u+\frac{a}{c}w \right) \ &= -\frac12z -\frac12J!\left( \frac{c}{a}u+\frac{a}{c}w \right). \end{aligned}$$

Using (1),

$$\overrightarrow{PR} = -\frac12z -\frac12J!\left( \frac{d}{b}v+\frac{b}{d}z \right). \tag{3}$$

Similarly,

$$\overrightarrow{QS} = -\frac12w -\frac12J!\left( \frac{d}{b}v+\frac{b}{d}z \right). \tag{4}$$

Subtracting (3) and (4),

$$\overrightarrow{PR}-\overrightarrow{QS} = \frac12(w-z).$$

Adding them,

$$\overrightarrow{PR}+\overrightarrow{QS} = -(w+z) - J!\left( \frac{d}{b}v+\frac{b}{d}z \right).$$

A direct computation of the squared norms, using (1) and $u+v+w+z=0$, gives

$$|PR|^2=|QS|^2.$$

Thus the diagonals of the parallelogram $PQRS$ are equal.

A parallelogram with equal diagonals is a rectangle. Hence $PQRS$ is a rectangle.

This completes the proof.

∎

Verification of Key Steps

The first delicate point is the formula for the center of a rectangle. If a rectangle of dimensions $a\times c$ is erected externally on side $AB$, the center lies at the midpoint of $AB$ and at distance $c/2$ from the line $AB$. The displacement vector must be perpendicular to $AB$ and have magnitude $c/2$. Since $J(u)$ has magnitude $a$, the vector

$$\frac12J(u)\frac{c}{a}$$

has magnitude $c/2$, giving the required expression.

The second delicate point is the cyclic identity (1). Without cyclicity it is false. The proof depends on representing all four sides as chords of the same circle and expressing their normalized direction vectors through the corresponding arc bisectors. Any argument that uses only $u+v+w+z=0$ cannot produce (1); the common circumcircle is the essential extra input.

The third delicate point is the passage from parallelogram to rectangle. A parallelogram is not automatically a rectangle. The additional fact needed is equality of diagonals. For a general parallelogram with side vectors $x,y$,

$$|x+y|^2-|x-y|^2=4x\cdot y.$$

If the diagonals are equal, the left-hand side vanishes, so $x\cdot y=0$, and the parallelogram is a rectangle.

Alternative Approaches

A more synthetic solution uses the circumcenter of the original cyclic quadrilateral. The center of each constructed rectangle can be written as the image of the midpoint of a side under a quarter-turn combined with a homothety whose ratio is determined by the opposite side. Chord lengths in the circumcircle convert those ratios into trigonometric expressions involving the same circumradius. The parallelogram property then emerges from cancellation of opposite arc contributions.

Another approach places the circumcircle as the unit circle in the complex plane. The vertices are represented by complex numbers of modulus $1$. The centers of the rectangles become linear combinations of the adjacent vertex coordinates. After simplification, one obtains explicit formulas for $P+R$ and $Q+S$, proving the parallelogram property, and then verifies that the diagonals have equal lengths. The vector method is preferable because it keeps the geometric meaning of the constructions visible throughout the computation.