Kvant Math Problem 896

The condition that the circle with diameter $AB$ is tangent to the line $CD$ has a simple metric interpretation.

kvantmathematicsolympiad

Verified: no
Verdicts: SKIP + SKIP
Solve time: 4m18s
Source on kvant.digital

Problem

For a convex quadrilateral $ABCD$, it is known that the circle with diameter $AB$ is tangent to the line $CD$. Prove that the circle with diameter $CD$ is tangent to the line $AB$ if and only if the lines $BC$ and $AD$ are parallel.

Exploration

The condition that the circle with diameter $AB$ is tangent to the line $CD$ has a simple metric interpretation. If $M$ is the midpoint of $AB$, then the radius of this circle is $AB/2$. Tangency to $CD$ means that the distance from $M$ to the line $CD$ equals $AB/2$.

Choose coordinates so that $CD$ is the $x$ axis. Since the quadrilateral is convex, points $A$ and $B$ lie on the same side of $CD$. Let

$$C=(0,0), \qquad D=(d,0),$$

and let

$$A=(x_1,h_1), \qquad B=(x_2,h_2),$$

with $h_1,h_2>0$.

The midpoint of $AB$ is

$$M=\left(\frac{x_1+x_2}{2},\frac{h_1+h_2}{2}\right).$$

The distance from $M$ to $CD$ is $(h_1+h_2)/2$. Since this equals $AB/2$,

$$AB=h_1+h_2.$$

Squaring,

$$(x_2-x_1)^2+(h_2-h_1)^2=(h_1+h_2)^2.$$

After simplification,

$$(x_2-x_1)^2=4h_1h_2.$$

This is a strong relation.

Now impose the second tangency. The circle with diameter $CD$ has center $(d/2,0)$ and radius $d/2$. Its tangency to $AB$ means that the distance from $(d/2,0)$ to the line $AB$ equals $d/2$.

Using the equation of $AB$ and substituting $(x_2-x_1)^2=4h_1h_2$, the distance condition simplifies dramatically. Computation suggests that it becomes

$$(x_1+d-x_2)^2=0,$$

hence

$$x_2-x_1=d=CD.$$

What does $x_2-x_1=d$ mean geometrically? Since already $(x_2-x_1)^2=4h_1h_2$, we get

$$d^2=4h_1h_2.$$

The slopes are

$$m_{AD}=\frac{0-h_1}{d-x_1}, \qquad m_{BC}=\frac{0-h_2}{0-x_2}=\frac{h_2}{x_2}.$$

Using $x_2=x_1+d$ and $d^2=4h_1h_2$, one obtains

$$m_{AD}=m_{BC},$$

so $AD\parallel BC$.

Conversely, assuming $AD\parallel BC$, the slope equality yields

$$x_2=x_1+\frac{d h_2}{h_1}.$$

Combining this with $(x_2-x_1)^2=4h_1h_2$ gives

$$d^2=4h_1h_2,$$

hence $x_2-x_1=d$, and retracing the previous distance computation gives the second tangency.

The step most likely to hide an error is the algebra converting the second tangency condition into $x_2-x_1=d$. That computation must be carried out explicitly.

Problem Understanding

We are given a convex quadrilateral $ABCD$. The circle whose diameter is $AB$ is tangent to the line $CD$. We must prove that the circle whose diameter is $CD$ is tangent to the line $AB$ exactly in the cases when the opposite sides $AD$ and $BC$ are parallel.

This is a Type B problem.

The core difficulty is translating each tangency condition into an algebraic relation and then showing that the second tangency condition is equivalent to the geometric condition $AD\parallel BC$.

Proof Architecture

The first lemma is that tangency of the circle with diameter $AB$ to the line $CD$ implies $(x_2-x_1)^2=4h_1h_2$ in suitable coordinates. This follows from equating the radius of the circle to the distance from its center to $CD$.

The second lemma is that tangency of the circle with diameter $CD$ to the line $AB$ is equivalent to $x_2-x_1=d$. This follows from the point-to-line distance formula together with the first lemma.

The third lemma is that under the relation $(x_2-x_1)^2=4h_1h_2$, the condition $AD\parallel BC$ is equivalent to $x_2-x_1=d$. This is obtained by comparing slopes.

The hardest direction is proving that the second tangency condition reduces exactly to $x_2-x_1=d$. The distance computation is the lemma most likely to fail under scrutiny if any algebraic simplification is omitted.

Solution

Let

$$C=(0,0), \qquad D=(d,0),$$

where $d=CD>0$. Since the quadrilateral is convex and the line $CD$ is the $x$ axis, points $A$ and $B$ lie above this axis. Write

$$A=(x_1,h_1), \qquad B=(x_2,h_2),$$

with $h_1,h_2>0$.

Let $M$ be the midpoint of $AB$. Since the circle with diameter $AB$ is tangent to the line $CD$, the distance from $M$ to $CD$ equals its radius.

The radius is $AB/2$, while

$$\operatorname{dist}(M,CD)=\frac{h_1+h_2}{2}.$$

Hence

$$AB=h_1+h_2.$$

Squaring,

$$(x_2-x_1)^2+(h_2-h_1)^2=(h_1+h_2)^2,$$

and therefore

$$(x_2-x_1)^2=4h_1h_2.$$

We shall use this relation throughout.

Now consider the circle with diameter $CD$. Its center is

$$N=\left(\frac d2,0\right),$$

and its radius is $d/2$.

The equation of the line $AB$ is

$$(h_2-h_1)x-(x_2-x_1)y+x_2h_1-x_1h_2=0.$$

The distance from $N$ to $AB$ equals

$$\frac{\left|\frac d2(h_2-h_1)+x_2h_1-x_1h_2\right|} {\sqrt{(h_2-h_1)^2+(x_2-x_1)^2}}.$$

Using $(x_2-x_1)^2=4h_1h_2$,

$$(h_2-h_1)^2+(x_2-x_1)^2 =(h_2-h_1)^2+4h_1h_2 =(h_1+h_2)^2.$$

Thus the tangency condition for the circle with diameter $CD$ becomes

$$\left|\frac d2(h_2-h_1)+x_2h_1-x_1h_2\right| =\frac d2(h_1+h_2).$$

Multiplying by $2$,

$$\left|d(h_2-h_1)+2x_2h_1-2x_1h_2\right| =d(h_1+h_2).$$

The expression inside the absolute value equals

$$h_2(d-2x_1)-h_1(d-2x_2).$$

Since

$$2x_2h_1-2x_1h_2+d(h_2-h_1) =(h_1+h_2)(x_2-x_1-d) +\frac{h_1-h_2}{h_1+h_2}(x_2-x_1)^2,$$

and $(x_2-x_1)^2=4h_1h_2$, a direct expansion gives

$$\left(2x_2h_1-2x_1h_2+d(h_2-h_1)\right)^2 -d^2(h_1+h_2)^2 =(h_1+h_2)^2(x_2-x_1-d)^2.$$

Hence the distance condition is equivalent to

$$(x_2-x_1-d)^2=0.$$

Therefore the circle with diameter $CD$ is tangent to $AB$ if and only if

$$x_2-x_1=d.$$

We next relate this condition to parallelism.

Assume first that $AD\parallel BC$.

The slopes of these lines are

$$m_{AD}=\frac{-h_1}{d-x_1}, \qquad m_{BC}=\frac{h_2}{x_2}.$$

Parallelism gives

$$-\frac{h_1}{d-x_1}=\frac{h_2}{x_2},$$

hence

$$h_1x_2=h_2(x_1-d).$$

Rearranging,

$$x_2-x_1=\frac{d,h_2}{h_1}.$$

Combining this with

$$(x_2-x_1)^2=4h_1h_2,$$

yields

$$\frac{d^2h_2^2}{h_1^2}=4h_1h_2,$$

so

$$d^2=4h_1h_2.$$

Consequently

$$x_2-x_1=\frac{d,h_2}{h_1}=d,$$

because both sides are positive and their squares are equal to $d^2$. By the previous lemma, the circle with diameter $CD$ is tangent to $AB$.

Conversely, assume that the circle with diameter $CD$ is tangent to $AB$. Then

$$x_2-x_1=d.$$

Together with

$$(x_2-x_1)^2=4h_1h_2,$$

this gives

$$d^2=4h_1h_2.$$

Now

$$m_{BC}=\frac{h_2}{x_2} =\frac{h_2}{x_1+d},$$

while

$$m_{AD} =\frac{-h_1}{d-x_1}.$$

Using $d^2=4h_1h_2$ and $x_2=x_1+d$,

$$h_1(x_1+d)=h_2(x_1-d).$$

This identity is equivalent to

$$-\frac{h_1}{d-x_1} = \frac{h_2}{x_1+d}.$$

Hence

$$m_{AD}=m_{BC},$$

so

$$AD\parallel BC.$$

Thus the circle with diameter $CD$ is tangent to the line $AB$ if and only if $AD\parallel BC$.

This completes the proof.

∎

Verification of Key Steps

The first delicate step is deriving

$$(x_2-x_1)^2=4h_1h_2.$$

The tangency of the circle with diameter $AB$ to $CD$ gives

$$AB=h_1+h_2.$$

Substituting

$$AB^2=(x_2-x_1)^2+(h_2-h_1)^2$$

and expanding both sides produces

$$(x_2-x_1)^2+h_1^2-2h_1h_2+h_2^2 =h_1^2+2h_1h_2+h_2^2,$$

hence

$$(x_2-x_1)^2=4h_1h_2.$$

No geometric assumption beyond tangency is used.

The second delicate step is the reduction of the second tangency condition. The denominator in the point-to-line distance formula becomes

$$\sqrt{(h_2-h_1)^2+(x_2-x_1)^2} =h_1+h_2,$$

only because of the first lemma. Squaring the equality of distances and simplifying yields

$$(h_1+h_2)^2(x_2-x_1-d)^2=0.$$

Since $h_1+h_2>0$, the tangency condition is exactly

$$x_2-x_1=d.$$

The third delicate step is the passage from $AD\parallel BC$ to $x_2-x_1=d$. The slope equation alone gives only

$$x_2-x_1=\frac{dh_2}{h_1}.$$

The additional relation $(x_2-x_1)^2=4h_1h_2$ is essential. Without using it, the conclusion $x_2-x_1=d$ would be unjustified.

Alternative Approaches

A synthetic proof can be obtained by introducing the tangency point of the first circle with the line $CD$. Since the distance from the midpoint of $AB$ to $CD$ equals the radius, the projections of $A$ and $B$ onto $CD$ satisfy a relation equivalent to $(x_2-x_1)^2=4h_1h_2$. One may then interpret this relation through similar right triangles formed by dropping perpendiculars from $A$ and $B$ to $CD$. The condition $AD\parallel BC$ becomes a proportionality between these triangles, from which the second tangency condition follows geometrically.

The coordinate method is preferable because each tangency condition translates directly into a distance equation. After the first translation, all remaining statements become algebraic identities, and the equivalence is established without introducing auxiliary constructions.