Let
be the point
and
be
. Any circle that touches the
-axis will have the
-coordinate of its center same (in absolute value) as the radius.
The mid point of
is
while the length of
so that half of
is
which is same as the
-coordinate. So one of the circles passing through
and
and touching the
axis will have
as its diameter. Its center is
and radius
.
Let the other circle be centered at
. Then,
, which gives
and
From these we obtain
Sum of roots
Obviously, the
coordinate of the center of the first circle is a root of this quadratic (it can be checked by direct substitution), we get the ordinate of
as
. So that
. Thus,
Now the angle between the tangents will be same as the angle between the corresponding radii i.e. between
and
. We see that if this angle be
, then
Therefore,
which was to be proved.