Reflection symmetry of a complex circle equation
ID: reflection-symmetry-of-a-complex-circle-equation
For real and complex , completing the square in gives center and radius , when the radicand is nonnegative. The displayed map is reflection in the line through and : it preserves the complex modulus, fixes the center, and squares to the identity. Hence it maps the circle onto itself, including a radius-zero degeneration.
New to topics? Read the docs here!