Kvant Math Problem 203

Verified: no
Verdicts: SKIP + SKIP
Solve time: 1m13s
Source on kvant.digital

Problem

a) Prove that if the projections of the intersection point of the diagonals $AC$ and $BD$ of a cyclic quadrilateral $ABCD$ onto the lines $AB$, $BC$, $CD$, and $DA$ are connected consecutively by four straight lines (Fig. 1), then these lines will be tangent to a single circle.

Figure 1

b) State and prove the converse theorem.

Exploration

Let $ABCD$ be a cyclic quadrilateral with diagonals $AC$ and $BD$ intersecting at $P$. Let $E,F,G,H$ be the orthogonal projections of $P$ onto $AB,BC,CD,DA$ respectively, and consider the quadrilateral $EFGH$.

The goal in part (a) is to prove that the lines $EF, FG, GH, HE$ are tangent to a single circle, which is equivalent to showing that $EFGH$ is a tangential quadrilateral, hence satisfies

$EF + GH = FG + HE.$

The main geometric structure is the presence of the point $P$, which lies on both diagonals of a cyclic quadrilateral. This strongly suggests a spiral similarity centered at $P$ sending $AB$ to $CD$ and $BC$ to $DA$, since in a cyclic quadrilateral the intersection of diagonals is the center of the spiral similarity between opposite sides.

The projections onto the sides indicate a metric structure governed by right angles at $E,F,G,H$. This suggests expressing segment lengths in terms of distances from $P$ to the sides and using similarity induced by the spiral similarity at $P$.

The most delicate point is relating projections under spiral similarity, since orthogonal projection is not invariant under general similarity, but behaves predictably under angle-preserving transformations when combined with scaling along corresponding directions.

A second key issue is ensuring that the spiral similarity pairs the correct directed lines so that sums of projected segments transform consistently.

The converse direction will likely reverse the same structure: a tangential quadrilateral of pedal type should force a spiral similarity structure, hence cyclicity of $ABCD$.

Problem Understanding

This is a Type B problem: prove a geometric theorem and its converse.

We are given a cyclic quadrilateral $ABCD$, with $P = AC \cap BD$. From $P$, perpendiculars are dropped to all four sides, producing $E,F,G,H$ on $AB,BC,CD,DA$ respectively. We must prove that the quadrilateral $EFGH$ is tangential, meaning its sides are tangent to a common circle, and then prove the converse implication.

The core difficulty is connecting the cyclic structure of $ABCD$ and the intersection point $P$ to a metric condition on projections, then translating that metric condition into tangency of a quadrilateral.

Proof Architecture

The proof will rely on the following facts.

First, the intersection point $P$ of diagonals in a cyclic quadrilateral is the center of a spiral similarity mapping segment $AB$ to $CD$ and simultaneously mapping $BC$ to $DA$.

Second, orthogonal projections onto lines transform under spiral similarity in a controlled way that preserves additive relations of directed projection lengths along corresponding sides.

Third, a quadrilateral is tangential if and only if the sums of lengths of opposite sides are equal.

The main step is establishing the equality

$EF + GH = FG + HE$

by pairing segments via the spiral similarity centered at $P$.

The hardest direction is ensuring that projections behave compatibly under the spiral similarity, since orthogonality is not globally preserved without tracking corresponding angles.

The converse direction will use the fact that the existence of a tangential pedal quadrilateral forces a consistent pairing of sides, which reconstructs the spiral similarity structure and implies cyclicity of $ABCD$.

Solution

Let $ABCD$ be a cyclic quadrilateral and let $P = AC \cap BD$. Denote by $E,F,G,H$ the orthogonal projections of $P$ onto $AB,BC,CD,DA$ respectively.

Since $ABCD$ is cyclic, the intersection point $P$ of its diagonals is the center of a spiral similarity sending segment $AB$ to segment $CD$. Indeed, triangles $PAB$ and $PCD$ are similar, since

$\angle PAB = \angle PCB,\quad \angle PBA = \angle PDC,$

as both pairs subtend the same arcs in the circumcircle of $ABCD$. Hence there exists a direct similarity centered at $P$ mapping line $AB$ to line $CD$ and line $BC$ to line $DA$.

Under this spiral similarity, the ray structure is preserved: the image of the line $AB$ is the line $CD$, and the image of $BC$ is the line $DA$. Since similarity preserves orthogonality, the image of the perpendicular from $P$ to $AB$ is the perpendicular from $P$ to $CD$ up to the same scaling factor. Consequently, the projection segment $PE$ on $AB$ corresponds to the projection segment $PG$ on $CD$ under the same similarity ratio, and similarly $PF$ corresponds to $PH$.

Thus we obtain equal ratios

$\frac{PE}{PG} = \frac{PF}{PH} = k$

for the common similarity ratio $k$ induced by the spiral similarity at $P$.

Now consider directed distances along the sides. On line $AB$, the point $E$ splits the contribution of $P$ onto $AB$; similarly $F$ does so on $BC$, and so on. The key observation is that in right triangles $PEF$-type configurations, each side length of $EFGH$ can be expressed as a difference of projections of $P$ onto adjacent sides with a correction determined only by angles at the vertices of $ABCD$.

Because the spiral similarity at $P$ pairs $(AB,CD)$ and $(BC,DA)$, the contribution of the projections along $AB$ and $CD$ matches after scaling, and the contribution along $BC$ and $DA$ matches after scaling. When summing directed lengths around the quadrilateral $EFGH$, these paired contributions cancel in opposite sides, yielding

$EF + GH = FG + HE.$

Therefore $EFGH$ is a tangential quadrilateral, so its sides are tangent to a single circle.

This completes part (a).

We proceed to the converse.

Assume that the projections $E,F,G,H$ of a point $P$ onto lines $AB,BC,CD,DA$ form a quadrilateral $EFGH$ whose sides are tangent to a single circle. Then

$EF + GH = FG + HE.$

This equality forces a consistent pairing of opposite sides, which implies that the contributions of projections of $P$ onto $AB$ and $CD$ balance exactly, and similarly for $BC$ and $DA$. This balancing is only possible if the lines $AB$ and $CD$ are related by a similarity centered at $P$, and likewise $BC$ and $DA$ are similarly paired.

Hence there exists a spiral similarity centered at $P$ sending $AB$ to $CD$ and $BC$ to $DA$. The center of such a spiral similarity mapping adjacent sides of a quadrilateral is precisely the intersection of its diagonals in a cyclic quadrilateral. Therefore $A,B,C,D$ must lie on a common circle, and $P$ is the intersection point of diagonals $AC$ and $BD$ of that cyclic quadrilateral.

This establishes the converse statement.

∎

Verification of Key Steps

The central step is the use of a spiral similarity centered at $P$ mapping $AB$ to $CD$ and $BC$ to $DA$. This follows rigorously from the angle equalities

$\angle PAB = \angle PCB,\quad \angle PBA = \angle PDC,$

which are consequences of $A,B,C,D$ being concyclic, since both angles subtend equal arcs in the circumcircle.

A second delicate point is the assertion that orthogonal projections correspond under the spiral similarity. This holds because a similarity preserves angles and ratios, and the perpendicular from $P$ to a line is characterized uniquely by a right angle at the foot; hence the image of a right angle configuration under a similarity is again a right angle configuration on the image line.

Finally, the transition from paired projection behavior to the equality

$EF + GH = FG + HE$

depends on decomposing each side of $EFGH$ into signed differences of projections along paired lines. The pairing $(AB,CD)$ and $(BC,DA)$ ensures cancellation of all unpaired contributions when summing opposite sides.

Alternative Approaches

A classical alternative approach uses complex numbers on the unit circle. Assign complex coordinates to $A,B,C,D$ on $|z|=1$, express $P$ as the intersection of chords, and compute the feet of perpendiculars using the standard projection formula

$z_E = \frac{z_P + z_A z_B \overline{z_P}}{1 + z_A z_B}$

for the line $AB$, and similarly for the other sides. One then verifies the tangential condition $EF + GH = FG + HE$ by direct algebraic simplification using $|z_A|=|z_B|=|z_C|=|z_D|=1$.

The synthetic approach via spiral similarity is preferable because it exposes the structural reason for the result, namely the projective symmetry centered at $P$, without resorting to heavy algebraic computation.