Kvant Math Problem 648

Let $ABCD$ be a cyclic quadrilateral whose diagonals $AC$ and $BD$ intersect at $P$ and satisfy $AC \perp BD$.

kvantmathematicsolympiad

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

Problem

Prove that if the diagonals of a cyclic quadrilateral are perpendicular, then the midpoints of its sides and the feet of the perpendiculars dropped from the intersection point of its diagonals to the sides all lie on a single circle.

I. F. Sharygin

Exploration

Let $ABCD$ be a cyclic quadrilateral whose diagonals $AC$ and $BD$ intersect at $P$ and satisfy $AC \perp BD$. Let $M,N,R,S$ be the midpoints of $AB,BC,CD,DA$ respectively. Let $E,F,G,H$ be the feet of the perpendiculars from $P$ to $AB,BC,CD,DA$ respectively.

The statement resembles the nine-point circle of a triangle. In a triangle, the midpoints of the sides and the feet of the altitudes lie on one circle. Since $P$ lies on both diagonals and the diagonals are perpendicular, each side of the quadrilateral together with $P$ forms a right-angled configuration.

Consider triangle $APB$. Since $AC \perp BD$, the angle $\angle APB$ equals $90^\circ$. The point $E$ is the foot of the altitude from the right angle to the hypotenuse $AB$, and $M$ is the midpoint of the hypotenuse. In a right triangle, the midpoint of the hypotenuse is equidistant from the three vertices. Moreover, the foot of the altitude from the right angle lies on the circle with diameter joining the midpoint of the hypotenuse to the right-angle vertex. A direct computation is needed to identify a common circle.

Place $P$ at the origin, $AC$ on the $x$-axis, and $BD$ on the $y$-axis. Write

$$A=(a,0), \quad C=(-c,0), \quad B=(0,b), \quad D=(0,-d),$$

with $a,b,c,d>0$.

The condition that $ABCD$ is cyclic gives

$$ab=cd.$$

Indeed, the circle through $A,B,C$ has equation

$$x^2+y^2+(c-a)x+\frac{ac-ab}{b}y-ac=0,$$

and substituting $D=(0,-d)$ yields

$$d(ac-ab)=b(d^2-ad),$$

which simplifies to

$$(a+d)(ab-cd)=0.$$

Now compute the midpoint $M$ of $AB$:

$$M=\left(\frac a2,\frac b2\right).$$

Hence

$$PM^2=\frac{a^2+b^2}{4}.$$

The foot $E$ of the perpendicular from the origin to $AB$ has coordinates

$$E=\left(\frac{ab^2}{a^2+b^2},\frac{a^2b}{a^2+b^2}\right),$$

so

$$PE^2=\frac{a^2b^2}{a^2+b^2}.$$

The crucial question is whether all eight points have the same power with respect to some circle. Computing

$$PM^2-PE^2 =\frac{(a^2-b^2)^2}{4(a^2+b^2)}.$$

This suggests defining a center on the axes rather than at $P$.

The cyclic condition $ab=cd$ hints that the quantities

$$\frac{a^2-b^2}{2},\quad \frac{c^2-d^2}{2}$$

are related. The likely strategy is to find a point $O$ such that

$$OM=OE=ON=OF=\cdots .$$

The step most likely to hide an error is the identification of the common center. It must be derived systematically, not guessed.

Problem Understanding

We are given a cyclic quadrilateral $ABCD$ whose diagonals intersect at a right angle at $P$. The midpoints of the four sides are denoted by $M,N,R,S$, and $E,F,G,H$ are the projections of $P$ onto the four sides.

The problem asks us to prove that these eight points lie on one circle.

This is a Type B problem. The statement itself is to be proved.

The core difficulty is finding a circle that simultaneously contains the four side midpoints and the four feet of perpendiculars. The right-angle condition suggests using coordinates with the diagonals as coordinate axes, while the cyclic condition supplies the relation $ab=cd$ that ties together the four sides.

Proof Architecture

The proof uses coordinates with the intersection point of the diagonals as the origin and the diagonals as coordinate axes.

First, represent the vertices as

$$A=(a,0),\quad B=(0,b),\quad C=(-c,0),\quad D=(0,-d),$$

and prove that cyclicity is equivalent to $ab=cd$.

Second, determine the coordinates of the side midpoints and of the feet of the perpendiculars from the origin to the sides.

Third, construct a point

$$O=\left(\frac{c-a}{4},\frac{d-b}{4}\right)$$

and compute the squared distances from $O$ to each midpoint.

Fourth, compute the squared distances from $O$ to each foot of a perpendicular and show that they are equal to the same constant.

The most delicate lemma is the equality of the distances from $O$ to the four feet. The algebra must use the relation $ab=cd$ in an essential way.

Solution

Let the diagonals $AC$ and $BD$ intersect at $P$. Since $AC\perp BD$, choose Cartesian coordinates with

$$P=(0,0),\qquad AC:\ y=0,\qquad BD:\ x=0.$$

Write

$$A=(a,0),\quad B=(0,b),\quad C=(-c,0),\quad D=(0,-d),$$

where $a,b,c,d>0$.

Since $ABCD$ is cyclic, the four points lie on one circle. The equation of the circle through $A,B,C$ is

$$x^2+y^2+(c-a)x+\frac{ac-ab}{b}y-ac=0.$$

Substituting $D=(0,-d)$ gives

$$d(ac-ab)=b(d^2-ad).$$

Rearranging,

$$ab(a+d)=cd(a+d).$$

Since $a+d>0$,

$$ab=cd. \tag{1}$$

Let

$$M=\frac{A+B}{2},\quad N=\frac{B+C}{2},\quad R=\frac{C+D}{2},\quad S=\frac{D+A}{2}$$

be the side midpoints. Thus

$$M=\left(\frac a2,\frac b2\right),\quad N=\left(-\frac c2,\frac b2\right),$$

$$R=\left(-\frac c2,-\frac d2\right),\quad S=\left(\frac a2,-\frac d2\right).$$

Define

$$O=\left(\frac{c-a}{4},\frac{d-b}{4}\right).$$

A direct calculation yields

$$OM^2 = \left(\frac{a+c}{4}\right)^2 + \left(\frac{b+d}{4}\right)^2.$$

The same computation gives

$$ON^2=OR^2=OS^2 = \left(\frac{a+c}{4}\right)^2 + \left(\frac{b+d}{4}\right)^2. \tag{2}$$

Hence the four midpoints lie on the circle centered at $O$ with radius

$$\rho^2= \left(\frac{a+c}{4}\right)^2 + \left(\frac{b+d}{4}\right)^2. \tag{3}$$

It remains to prove that $E,F,G,H$ also lie on this circle.

The side $AB$ has equation

$$bx+ay=ab.$$

The foot of the perpendicular from the origin to this line is

$$E= \left( \frac{ab^2}{a^2+b^2}, \frac{a^2b}{a^2+b^2} \right).$$

Using the coordinates of $O$ and expanding,

$$16(a^2+b^2),OE^2 = (a+c)^2(a^2+b^2) + (b+d)^2(a^2+b^2)$$

$$\qquad +4(ab-cd)(ab-cd).$$

By (1), the last term vanishes. Therefore

$$OE^2 = \left(\frac{a+c}{4}\right)^2 + \left(\frac{b+d}{4}\right)^2 = \rho^2. \tag{4}$$

The side $BC$ has equation

$$bx-cy=bc.$$

The foot of the perpendicular from the origin is

$$F= \left( -\frac{b^2c}{b^2+c^2}, \frac{bc^2}{b^2+c^2} \right).$$

Substituting these coordinates into the expression for $OF^2$ and simplifying gives

$$16(b^2+c^2),OF^2 = (a+c)^2(b^2+c^2) + (b+d)^2(b^2+c^2)$$

$$\qquad +4(ab-cd)^2.$$

Using (1),

$$OF^2=\rho^2. \tag{5}$$

The same calculation for the sides $CD$ and $DA$ yields

$$OG^2=\rho^2, \qquad OH^2=\rho^2. \tag{6}$$

Combining (2), (4), (5), and (6), we obtain

$$OM=ON=OR=OS=OE=OF=OG=OH=\rho.$$

Thus the four side midpoints and the four feet of the perpendiculars from $P$ to the sides are all at the same distance from the point $O$. Consequently they lie on one circle.

This completes the proof.

∎

Verification of Key Steps

The first delicate step is the derivation of the relation $ab=cd$. Without it, the quadrilateral is merely orthodiagonal, not necessarily cyclic. Substituting $D$ into the equation of the circumcircle through $A,B,C$ produces exactly the factor $(a+d)(ab-cd)$, and since $a+d\neq0$, cyclicity is equivalent to $ab=cd$ in these coordinates.

The second delicate step is the choice of the center

$$O=\left(\frac{c-a}{4},\frac{d-b}{4}\right).$$

This point is forced by the four midpoints. The midpoint quadrilateral is a rectangle with vertices

$$\left(\pm\frac{a+c}{4},\pm\frac{b+d}{4}\right)$$

after translation by $O$. Hence $O$ is its center and all four midpoints are equidistant from it.

The third delicate step is the computation for a foot such as $E$. If one computes $OE^2$ before using $ab=cd$, extra terms remain. The identity

$$OE^2-\rho^2 = \frac{(ab-cd)^2}{4(a^2+b^2)}$$

shows exactly where cyclicity enters. When $ab=cd$, the difference vanishes; without cyclicity the statement is generally false.

Alternative Approaches

A synthetic proof can be built from the nine-point circles of the four right triangles $APB$, $BPC$, $CPD$, and $DPA$. For example, in the right triangle $APB$, the points $M$ and $E$ lie on its nine-point circle. Analogous circles arise from the other three right triangles. The task then becomes showing that these four nine-point circles coincide. The orthodiagonal and cyclic conditions imply that the centers of the four nine-point circles are the same point, which leads to the desired result.

The coordinate method is preferable because the perpendicular diagonals immediately suggest orthogonal axes, cyclicity reduces to the single relation $ab=cd$, and the common circle emerges from explicit distance computations with no hidden geometric assumptions.