View source for Convolution random number generator

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 (geometry)|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 transformation]]s, 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==
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 (mathematics)|set]] of [[Point (geometry)|points]] ''z''  in a plane that lie at [[radius]] ''r''  from a center point '''γ'''. 

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

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 [[complex conjugate|conjugate]] gives us the square of the [[Absolute value#Complex numbers|modulus]] of the number, and that its modulus is its [[Euclidean distance]] from the origin, we can express the equation for Γ as follows:

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

We can multiply this by a real [[Coefficient|constant]] ''A'' to get an equation of the form

:<math>
A z \bar z + B z + C \bar z + D = 0
</math>

where ''A'' and ''D'' are [[real number|real]], and ''B'' and ''C'' are [[complex conjugate]]s. 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''==
It is now easy to see that the transformation ''w'' =&nbsp;1/''z'' maps generalized circles to generalized circles:
:<math>
\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}
</math>

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

==Representation by Hermitian matrices==
The data defining the equation of a generalized circle 
:<math>
A z \bar z + B z + C \bar z + D = 0
</math>
can be usefully put into the form of an [[invertible matrix|invertible]] [[hermitian matrix]]
:<math>
\mathfrak C = \begin{pmatrix}A & B \\ C & D \end{pmatrix} = \mathfrak C ^\dagger.
</math>

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 <math>\mathfrak C</math> by the [[Möbius transformation]] <math>\mathfrak H</math>, you simply do
:<math>\mathfrak C \mapsto ({\mathfrak H}^{-1})^\dagger {\mathfrak C} ({\mathfrak H}^{-1})^*.</math>

== References ==

* Hans Schwerdtfeger, ''Geometry of Complex Numbers'', [[Courier Dover Publications]], 1979
* Michael Henle, "Modern Geometry: Non-Euclidean, Projective, and Discrete", 2nd edition, [[Prentice Hall]], 2001

[[Category:Circles]]
[[Category:Inversive geometry]]