Generalised circle

From Wikipedia, the free encyclopedia
Jump to: navigation, search

A generalized circle, also referred to as a "cline" or "circline", is a straight line or a circle. The concept is mainly used in inversive geometry, because straight lines and circles have very similar properties in that geometry and are best treated together.

Inversive plane geometry is formulated on the plane extended by one point at infinity. A straight line is then thought of as a circle that passes through the point at infinity. The fundamental transformations in inversive geometry, the inversions, have the property that they map generalized circles to generalized circles. Möbius transformations, which are compositions of inversions, inherit that property. These transformations do not necessarily map lines to lines and circles to circles: they can mix the two.

Inversions come in two kinds: inversions at circles and reflections at lines. Since the two have very similar properties, we combine them and talk about inversions at generalized circles.

Given any three distinct points in the extended plane, there exists precisely one generalized circle that passes through the three points.

The extended plane can be identified with the sphere using a stereographic projection. The point at infinity then becomes an ordinary point on the sphere, and all generalized circles become circles on the sphere.

Equation in the extended complex plane[edit]

The extended plane of inversive geometry can be identified with the extended complex plane, so that equations of complex numbers can be used to describe lines, circles and inversions.

A circle Γ is the set of points z in a plane that lie at radius r from a center point γ.

\Gamma(\gamma, r) = \{ z : \mathrm {\ the\ distance\ between\ } z \mathrm {\ and\ } \gamma \mathrm {\ is\ } r \}

Using the complex plane, we can treat γ as a complex number and circle Γ as a set of complex numbers.

Using the property that a complex number multiplied by its conjugate gives us the square of the modulus of the number, and that its modulus is its Euclidean distance from the origin, we can express the equation for Γ as follows:

{\left | z-\gamma \right |} = r
{\left | z-\gamma \right |} ^2 = r^2
(z-\gamma)\overline{(z-\gamma)} = r^2
z \bar z - z \bar \gamma - \bar z \gamma + \gamma \bar \gamma = r^2
z \bar z - z \bar \gamma - \bar z \gamma + \gamma \bar \gamma - r^2 = 0.

We can multiply this by a real constant A to get an equation of the form


A z \bar z + B z + C \bar z + D = 0

where A and D are real, and B and C are complex conjugates. Reversing the steps, we see that in order for this to be a circle, the radius squared must be equal to BC/A^2 - D/A > 0. So the above equation defines a generalized circle whenever AD < BC. Note that when A is zero, this equation defines a straight line.

The transformation w = 1/z[edit]

It is now easy to see that the transformation w = 1/z maps generalized circles to generalized circles:


\begin{align}
A z \bar z + B z + C \bar z + D & = 0 \\[6pt]
A \frac{1}{w} \frac{1}{\bar w} + B \frac{1}{w} + C \frac{1}{\bar w} + D & = 0 \\[6pt]
A  + B \bar w + C w + D w \bar w & = 0 \\[6pt]
D \bar w w + C w + B \bar w + A & = 0.
\end{align}

We see that straight lines through the origin (A = D = 0) are mapped to straight lines through the origin, straight lines not containing the origin (A = 0; D ≠ 0) to circles containing the origin, circles containing the origin (A ≠ 0; D = 0) to straight lines not containing the origin, and circles not containing the origin (A ≠ 0; D ≠ 0) to circles not containing the origin.

Representation by Hermitian matrices[edit]

The data defining the equation of a generalized circle


A z \bar z + B z + C \bar z + D = 0

can be usefully put into the form of an invertible hermitian matrix


\mathfrak C = \begin{pmatrix}A & B \\ C & D \end{pmatrix} = \mathfrak C ^\dagger.

Two such invertible hermitian matrices specify the same generalized circle if and only if they differ by a real multiple.

To transform a generalized circle described by \mathfrak C by the Möbius transformation \mathfrak H, you simply do

\mathfrak C \mapsto ({\mathfrak H}^{-1})^\dagger {\mathfrak C} ({\mathfrak H}^{-1})^*.

References[edit]