Generalized circle under a Möbius transformation

A generalized circle is either a Euclidean circle or a straight line together with the point at infinity. Every Möbius transformation maps generalized circles to generalized circles. A Euclidean circle becomes a line exactly when it contains the pole, the preimage of infinity.

Write a generalized circle equation as $a|z{|}^2+b\bar{z}+\bar{b}z+c=0$, where $a,c$ are real. Under the reciprocal Möbius transformation $z=1/w$, with $w\ne 0$, multiply by $|w{|}^2$ to obtainThus the coefficient triple transforms as $(a,b,c)\mapsto (c,\bar{b},a)$. A nondegenerate circle through zero has $c=0$ and becomes a straight line; a straight line missing zero becomes a circle through zero on the Riemann sphere. When working only with finite nonzero coordinates, retain the excluded point $w=0$ even if it satisfies the multiplied equation.

This reciprocal transformation is different from inversion in a circle, whose unit-circle formula is $z\mapsto 1/\bar{z}$. The latter reverses orientation; the reciprocal transformation is holomorphic away from its pole.

Inversion in a circle of centre $a$ and radius $R$ is an orientation-reversing involution of the Riemann sphere fixing that circle pointwise and exchanging its interior and exterior. It is an anti-Möbius transformation. Reflection in a line is the corresponding inversion for a generalized circle through infinity. A composition of two such inversions is a Möbius transformation.