Circles with Tangent Diameters
The applet below illustrates Problem 4 from the 1984 International Mathematics Olympiad:
|Let ABCD be a convex quadrilateral such that the line CD is a tangent to the circle on AB as diameter. Prove that the line AB is a tangent to the circle on CD as diameter if and only if the lines BC and AD are parallel.|
|What if applet does not run?|
Let O be the midpoint of AB and Q the midpoint of CD. The two circles at hand will be denoted (O) and (Q). We first show that if AB is tangent to (Q) and CD to (O), then AD||BC.
Let P be the point of tangency of AB and (Q) and R the point of tangency of CD and (O). Join P to C, D, and Q, and R to A, B, and O. By the assumption,
|= ∠ARB - ∠ARO|
|= π/2 - (π/2 - ∠ARD)|
(This identity also follows from the observation that the inscribed ∠ABR is subtended by the arc AR to which CD is tangent at R.)
∠OAR = ∠BRC,|
∠QDP = ∠CPB,
∠RCP = ∠APD.
On the other hand, we know that, for example,
|0||= (∠CPB + ∠OBR + ∠BXP) - (∠RCP + ∠BRC + ∠CXR)|
|= (∠CPB + ∠OBR) - (∠RCP + ∠BRC)|
|= (∠CPB + ∠OBR) - (∠RCP + ∠OAR)|
|= (∠CPB + ∠OBR) - (π/2 - ∠QDP) - (π/2 - ∠OBR)|
|= (∠CPB + ∠OBR) - (π/2 - ∠CPB) - (π/2 - ∠OBR),|
implying that ∠CPB + ∠OBR = π/2. The leaves the angle in ΔBPX at X equal π/2. If Y is the intersection of DP and AR, the quadrilateral PXRY is a rectangle, with opposite sides equal:
|PY = RX and PX = RY.|
Additionally, triangles APY, DRY, BPX, CRX are similar.
which shows that the right triangles ADY and CBX are also similar, so that
(As a by-product of the above proportions, X and Y lie on the radical axis of the two circles so that XY passes through the two points where the circles meet.)
In the opposite direction, assume that BC||AD, DC tangent to (O) at R and P is the foot of the perpendicular from Q onto AB. We wish to show that ∠CPD is right, for then P will lie on (Q) making AB tangent to that circle.
... to be continued ...