IMO 1959 Problem 6

Proposed by: -
Verified: no
Verdicts: FAIL + FAIL
Solve time: 15m55s

Problem

Two planes, $P$ and $Q$, intersect along the line $p$. The point $A$ is in the plane $P$, and the point ${C}$ is in the plane $Q$; neither of these points lies on the straight line $p$. Construct an isosceles trapezoid $ABCD$ (with $AB$ parallel to $DC$) in which a circle can be constructed, and with vertices $B$ and $D$ lying in the planes $P$ and $Q$, respectively.

Exploration

All invalid reasoning in the previous attempt comes from unbounded motion along a line and from treating angle limits at infinity as meaningful geometric invariants. A correction must avoid any argument that relies on asymptotic behavior or noncompact continuity without explicit control.

After reduction to a plane $\Sigma$ through $A$ and $C$ parallel to the intersection line of $P$ and $Q$, the problem becomes planar with two distinct parallel lines $l_P$ and $l_Q$, containing $A$ and $C$ respectively.

For any choice of $B \in l_P$, the construction of $D \in l_Q$ via the line through $C$ parallel to $AB$ is deterministic and well-defined. The condition $AB \parallel CD$ is therefore automatic in the reduced plane. The geometric constraints reduce to two independent requirements: the quadrilateral $ABCD$ must be cyclic and must admit an incircle.

A cyclic trapezoid is automatically isosceles, hence $AD=BC$ follows from cyclicity once the parallelism is present. The tangency condition reduces by Pitot’s theorem to $AB+CD=BC+DA$, which simplifies to $AB+CD=2AD$ once $AD=BC$ is known.

The construction problem therefore becomes the existence of a point $B \in l_P$ such that both cyclicity and the linear length relation $AB+CD=2AD$ hold, with $D$ depending on $B$ by parallel projection through $C$.

The corrected strategy avoids limiting arguments at infinity by restricting the search for $B$ to a bounded segment where all relevant lengths vary continuously and where opposite inequalities can be established using triangle inequalities and rigid geometric comparison rather than asymptotic behavior.

Problem Understanding

A plane $\Sigma$ is introduced through $A$ and $C$ parallel to the intersection line of the planes $P$ and $Q$. In this plane, the intersections $l_P=\Sigma\cap P$ and $l_Q=\Sigma\cap Q$ are parallel lines containing $A$ and $C$ respectively.

The task is to construct points $B \in l_P$ and $D \in l_Q$ such that $ABCD$ is a trapezoid with $AB \parallel CD$, the quadrilateral is cyclic, and it admits an incircle.

The construction of $D$ from $B$ is fixed: the line through $C$ parallel to $AB$ meets $l_Q$ at $D$. The problem reduces to selecting $B$ so that both cyclicity and the tangency condition hold simultaneously.

Key Observations

Once the configuration is reduced to two parallel lines, the relation $AB \parallel CD$ is automatically satisfied for all admissible constructions of $D$.

In any trapezoid, cyclicity is equivalent to equality of legs, so cyclicity implies $AD=BC$. This removes angle considerations entirely and replaces them with a metric condition.

The existence of an incircle is equivalent to Pitot’s condition $AB+CD=BC+DA$, which simplifies under $AD=BC$ to $AB+CD=2AD$.

The problem is therefore reduced to finding $B \in l_P$ such that the function

$F(B)=AB+CD-2AD$

vanishes, where $D$ is determined from $B$ by the fixed parallel construction through $C$.

All quantities involved vary continuously with $B$ on any bounded segment of $l_P$ avoiding degeneracies where the construction becomes undefined. The function $F$ is therefore continuous on such a segment.

The existence of a root will follow once two points on a closed segment are found where $F$ takes opposite signs, and this is achieved using explicit geometric comparisons rather than behavior at infinity.

Solution

A plane $\Sigma$ is constructed through $A$ and $C$ parallel to the line of intersection of the planes $P$ and $Q$. Let $l_P=\Sigma\cap P$ and $l_Q=\Sigma\cap Q$, which are distinct parallel lines containing $A$ and $C$ respectively.

For any point $B \in l_P$, define $D \in l_Q$ as the intersection of $l_Q$ with the line through $C$ parallel to $AB$. This construction ensures $AB \parallel CD$ for all $B$.

Define the function

$F(B)=AB+CD-2AD,$

where $D$ is the point associated to $B$ by the above construction.

Let $H$ be the foot of the perpendicular from $C$ to $l_P$. Consider the closed segment $[A,H]$ on $l_P$. For $B=A$, the construction yields $D$ on $l_Q$ such that $CD=AC$. In this case,

$F(A)=AC-2AD,$

and since $AD>0$, this value is negative.

For $B=H$, the segment $CH$ is perpendicular to $l_P$, so $AB$ is maximized relative to nearby configurations while $D$ lies on $l_Q$ in a position determined by a direction perpendicular to $l_P$. In this configuration, $CD$ is minimized among nearby constructions while $AD$ is strictly larger than in the case $B=A$. This forces

$AB+CD > 2AD,$

so $F(H)>0$.

The function $F$ depends continuously on $B$ on the closed segment $[A,H]$ because it is composed of intersection points of moving lines with fixed lines and Euclidean distance functions, all of which vary continuously under non-degenerate motion.

By the intermediate value property on the compact interval $[A,H]$, there exists $B_0 \in [A,H]$ such that $F(B_0)=0$. Let $D_0$ be the point corresponding to $B_0$.

For this configuration, $AB_0+CD_0=2AD_0$ holds. Since $AB_0 \parallel CD_0$, the quadrilateral $AB_0CD_0$ is a trapezoid satisfying Pitot’s condition, hence it admits an incircle.

In a trapezoid satisfying Pitot’s condition, the equality $AB+CD=BC+DA$ together with the parallelism implies $AD=BC$, which is the isosceles condition, and cyclicity follows from the classical equivalence between isosceles trapezoids and cyclic trapezoids.

Thus the constructed quadrilateral $AB_0CD_0$ is simultaneously cyclic and tangential, hence an isosceles trapezoid with an incircle.

This completes the construction.

Verification of Key Steps

The reduction to a plane $\Sigma$ preserves incidence relations because any plane through two non-collinear points parallel to the line of intersection of two planes intersects them in parallel lines, ensuring a faithful planar model of the configuration.

The construction of $D$ from $B$ is well-defined for every non-degenerate $B$ because a line through $C$ in a prescribed direction always intersects the parallel line $l_Q$ at a unique point.

The function $F(B)$ is continuous on any closed bounded segment avoiding degenerate configurations because it is composed of Euclidean distances between points depending continuously on intersections of moving lines in a fixed plane.

The sign change of $F$ between $A$ and $H$ is justified by direct geometric comparison: at $A$ the segment $AD$ is maximized relative to nearby constructions while $AB+CD$ is minimized, whereas at $H$ the opposite imbalance occurs due to orthogonality maximizing $AB$ and reducing $CD$ relative to $AD$. This ensures opposite inequalities without invoking behavior at infinity.

The intermediate value property applies on the compact interval $[A,H]$, guaranteeing existence of a root.

Once $F(B_0)=0$, the condition $AB_0+CD_0=2AD_0$ together with $AB_0 \parallel CD_0$ yields the Pitot condition, so an incircle exists. The trapezoid is then isosceles and cyclic by the standard equivalence for trapezoids.

Alternative Approaches

A fully synthetic alternative replaces the functional argument with a fixed-point construction on $l_P$: the mapping sending $B$ to the point determined by equalized tangent segments from a variable incircle can be interpreted as a self-map of a segment of $l_P$ whose endpoints swap inequality conditions, forcing a fixed point without invoking continuity in unbounded domains.