Let
be the generalized circle with equation
with
and![]()
If
then
is the circle with centre
and radius
where
and![]()
Also
lies on the line through
and
and![]()
If
then
is the line through
perpendicular to![]()
Proof
Let
be 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![]()
Since
points on the extended real axis are mapped by
to points on the extended line
through
and![]()
If
then 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 that
has centre
on
given by
and radius
given by![]()
Furthermore![]()
![]()
If
then
so
must be a line that meets
in a right angle at![]()