Letbe the generalized circle with equation
with
and
Ifthen
is the circle with centre
and radius
where
and
Alsolies on the line through
and
and
Ifthen
is the line through
perpendicular to
Proof
Letbe the extended mobius transformation defined by
maps the circle defined by
to the unit circle and so
maps the unit circle to
so that
and
Sincepoints on the extended real axis are mapped by
to points on the extended line
through
and
Ifthen the diametrically opposite points -1 and 1 are mapped by
to the diametrically opposite points
and
of
on
because
is conformal at 1 and -1.
It follows thathas centre
on
given by
and radius
given by
Furthermore
Ifthen
so
must be a line that meets
in a right angle at