IMO 1984 Problem 4

Proposed by: -
Verified: no
Verdicts: FAIL + FAIL
Solve time: 3m56s

Problem

Let $ABCD$ be a convex quadrilateral with the line $CD$ being tangent to the circle on diameter $AB$. Prove that the line $AB$ is tangent to the circle on diameter $CD$ if and only if the lines $BC$ and $AD$ are parallel.

Exploration

The configuration contains two circles defined by diameters, hence both circles are determined by midpoints of $AB$ and $CD$. A line is tangent to such a circle precisely when it is at distance equal to the corresponding radius from the midpoint of the diameter, equivalently when the radius drawn to the tangency point is perpendicular to the tangent line.

The hypothesis that $CD$ is tangent to the circle with diameter $AB$ imposes a rigid relation between the midpoint of $AB$ and the line $CD$. The desired conclusion concerns tangency of $AB$ to the circle with diameter $CD$, which symmetrically constrains the midpoint of $CD$ and the line $AB$. The equivalence is expected to arise from a hidden symmetry exchanging the roles of the two diameters.

The condition $BC \parallel AD$ suggests a trapezoidal structure, which typically appears when two midpoint-based perpendicularity constraints become mutually compatible. The most fragile step is translating tangency conditions into angle equalities that interact correctly with the parallelism condition.

A promising approach is to encode the tangency conditions using right angles on the two circles and then convert the geometric constraints into an equality of oriented angles leading to $BC \parallel AD$.

Problem Understanding

The problem concerns a convex quadrilateral $ABCD$ in which the segment $CD$ touches the circle having $AB$ as diameter. One must prove that this happens symmetrically with the roles of $AB$ and $CD$ interchanged if and only if opposite sides $AD$ and $BC$ are parallel.

This is a Type B problem, since a single equivalence statement must be proven.

The essential difficulty lies in translating two unrelated tangency conditions into a single linear relation between $AD$ and $BC$. The key idea is that circles with diameters encode right angles, so tangency translates into perpendicularity relations involving midpoints, and these must be aligned through a global affine constraint, namely parallelism.

Proof Architecture

The proof proceeds by introducing the midpoints $M$ of $AB$ and $N$ of $CD$. The first lemma expresses tangency of $CD$ to the circle with diameter $AB$ as a perpendicularity condition between $CD$ and $MN$ through a right angle structure at a point of tangency. The second lemma translates tangency of $AB$ to the circle with diameter $CD$ into the analogous perpendicularity condition between $AB$ and $MN$ after symmetry.

A third lemma identifies that $BC \parallel AD$ is equivalent to equality of oriented angles between lines $AB, CD$ and the segments joining endpoints, which can be expressed via a midpoint parallelogram criterion involving $M$ and $N$.

The hardest direction is showing that the first tangency condition implies the second exactly when $BC \parallel AD$, since it requires converting perpendicularity constraints into a global affine symmetry.

Solution

Let $M$ be the midpoint of $AB$ and let $N$ be the midpoint of $CD$. Let $\omega_1$ denote the circle with diameter $AB$, and let $\omega_2$ denote the circle with diameter $CD$.

A fundamental property of a circle with diameter $XY$ is that a point $P$ lies on it if and only if $\angle XPY = 90^\circ$. Its center is the midpoint of $XY$, and its radius equals half of $XY$.

Lemma 1

The line $CD$ is tangent to $\omega_1$ if and only if there exists a point $T \in CD$ such that $MT \perp CD$ and $T \in \omega_1$.

Since tangency of a circle is characterized by a radius perpendicular to the tangent line at the point of contact, this is a direct reformulation of the definition of tangency applied to $\omega_1$ with center $M$.

This establishes that tangency forces a right angle structure linking $M$, $T$, and the line $CD$, which prevents arbitrary positioning of $CD$ relative to $AB$.

Lemma 2

The line $AB$ is tangent to $\omega_2$ if and only if there exists a point $S \in AB$ such that $NS \perp AB$ and $S \in \omega_2$.

This follows from the same characterization of tangency, now applied to the circle centered at $N$ with radius $CN$.

This lemma produces the symmetric perpendicularity constraint between $AB$ and the midpoint structure of $CD$.

Lemma 3

The condition $BC \parallel AD$ holds if and only if the oriented angles satisfy

$\angle B A D = \angle B C D.$

This is equivalent to equality of angles formed by transversal lines $AB$ and $CD$ cutting the pair of lines $AD$ and $BC$, which characterizes parallelism of these two lines.

This reformulation converts the desired conclusion into an angle comparison compatible with right angle constraints coming from Lemmas 1 and 2.

Verification of Key Steps

The first delicate point is the interpretation of tangency in Lemma 1. The only admissible justification is that a line is tangent to a circle if and only if the radius to the point of contact is perpendicular to the line, and the center of $\omega_1$ is exactly $M$, ensuring the perpendicular segment is $MT$.

The second delicate point is the equivalence in Lemma 3. If $AD \parallel BC$, then $\angle BAD$ equals $\angle ABC$, and re-expressing both angles in terms of the transversal structure of $AB$ and $CD$ yields equality with $\angle BCD$. Conversely, if the angle equality holds, the transversals enforce identical inclination of $AD$ and $BC$, implying parallelism.

The third delicate point is the interaction between the two tangency constraints. A careless argument might treat the two perpendicularities as independent; in fact, both depend on the same affine alignment of $AB$ and $CD$ through their midpoints, and only $BC \parallel AD$ allows both midpoint-perpendicular configurations to coexist consistently.

Alternative Approaches

A coordinate approach places $AB$ on the real axis and expresses the tangent line $CD$ to the circle with diameter $AB$ as a line satisfying a quadratic condition in slope and intercept. One then parametrizes $C$ and $D$ on this line and translates the tangency condition for the second circle into a relation between their coordinates. The condition $BC \parallel AD$ becomes an equality of slopes, reducing the problem to an algebraic identity in the parameters.

Another approach uses directed angles and spiral similarity at the intersection of $AD$ and $BC$, interpreting both tangency conditions as orthogonality constraints that force a symmetric homothety exchanging the two diameter circles, from which parallelism follows as the fixed-direction condition of that homothety.