Reflection and symmetry in a circle

Definition

Suppose \(S\) is a line or circle. A pair of points \(z_{1}\),\(z_{2}\) is called symmetric with respect to \(S\) if every line or circle through the two points intersects \(S\) orthogonally.

Proposition

Fractional linear transformations preserve symmetry. That is, if \(z_{1}\) and \(z_{2}\) are symmetric with respect to a line or circle \(S\), then for an FLT \(T\), \(T(z_{1})\) and \(T(z_{2})\) are symmetric with respect to \(T(S)\).

Proof

From the definition of symmetry in terms of lines and circles and angles, the fractional linear transformations map lines and circles to lines and circles, and being conformal, preserve angles.

Theorem

Suppose \(S\) is a line or circle and \(z_{1}\) a point not on \(S\). There is a unique point \(z_{2}\) such that the pair \(z_{1},z_{2}\) is symmetric with respect to \(S\).

Proof

Let \(T\) be a fractional linear transformation that maps \(S\) to a line. We know that \(w_{1}=T(z_{1})\) has a unique reflection \(w_{2}\) over this line. Since \(T^{-1}\) preserves symmetry, \(z_{1}\) and \(z_{2}=T^{-1}(w_{2})\) are symmetric with respect to \(S\). Since \(w_{2}\) is the unique point symmetric to \(w_{1}\), the same is true for \(z_{2}\) vis-a-vis \(z_{1}\).

Extra

This is all shown the figure below.

Definition

The point \(z_{2}\) in the theorem is called the reflection of \(z_{1}\) over \(S\).