View source for Tetracyclic coordinates

{{TEX|done}}
''of a point in the plane''

A kind of homogeneous coordinates $x_0:x_1:x_2:x_3$ for a point $(x)$ in the complex inversive plane. The numbers $x_\nu$, not all zero, are connected by the relation

$$(xx)\equiv x_0^2+x_1^2+x_2^2+x_3^2=0.$$

All points $(x)$ which satisfy a linear equation

$$(yx)\equiv y_0x_0+y_1x_1+y_2x_2+y_3x_3=0$$

are said to form a circle with  "coordinates"  $(y)$. Two circles $(y)$ and $(z)$ are orthogonal if $(yz)=0$, tangent if

$$(yy)(zz)-(yz)^2=0.$$

If two circles $(y)$ and $(z)$ intersect, the expression

$$\frac{(yz)}{\sqrt{(yy)}\sqrt{(zz)}}$$

measures the cosine of their angle (or the hyperbolic cosine of their inversive distance).

In three dimensions, with an extra coordinate $x_4$, one obtains the analogous [[Pentaspherical coordinates|pentaspherical coordinates]], which lead to spheres instead of circles.

According to an alternative definition, involving only real numbers, tetracyclic coordinates of points and circles in the plane can be introduced using [[Stereographic projection|stereographic projection]]. Here the tetracyclic coordinates of a point in the plane are the homogeneous coordinates of the point on the sphere corresponding to it under stereographic projection. The tetracyclic coordinates of a circle in the plane are the homogeneous coordinates of the point in space that is the pole of the plane of the circle on the sphere which corresponds to the circle in the plane under stereographic projection with respect to that sphere.

====Comments====
The inversive plane, also called conformal plane, is obtained by adding an ideal point  "∞"  at infinity to the plane. The name derives from the fact that with this point added, inversion in a circle becomes an everywhere well-defined  "automorphism"  of period $2$. (Given a circle of radius $r$ and centre $O$, two points $P$ and $P'$ correspond under inversion in this circle if and only if $(OP)(OP')=r^2$.) In the inversive plane all lines pass through $\infty$ and a line (of the original plane) is a circle with centre at $\infty$. Now all circles (lines) either touch or have two points of intersection.

Inversive space (conformal space) is obtained by adding an ideal point at infinity to $3$-space (making inversion in a sphere everywhere well-defined of period $2$).

Any angle inverts into an equal angle, whence the terms  "conformal space"  and  "conformal plane"  for inversive space and inversive plane.

====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  W.K. Clifford,   "On the powers of spheres" , ''Mathematical Papers'' , Macmillan  (1882)  pp. 332–336</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  G. Darboux,   "Sur les rélations entre les groupes de points, de circles et de sphères dans le plan et dans l'espace"  ''Ann. Ecole Norm. Sup.'' , '''1'''  (1872)  pp. 323–392</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  F. Klein,   "Vorlesungen über höhere Geometrie" , Chelsea, reprint  (1949)</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  R. Lachlan,   "On systems of circles and spheres"  ''Philos. Trans. Royal Soc. London A'' , '''177'''  (1886)  pp. 481–625</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  J.L. Coolidge,   "A treatise on the circle and the sphere" , Clarendon Press  (1916)</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top">  F.G. Woods,   "Higher geometry" , Ginn  (1922)</TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top">  J.B. Wilker,   "Inversive geometry"  C. Davis (ed.)  B. Grünbaum (ed.)  F.A. Sherk (ed.) , ''The geometric vein (Coxeter-Festschrift)'' , Springer  (1980)  pp. 374–442</TD></TR><TR><TD valign="top">[a8]</TD> <TD valign="top">  H.S.M. Coxeter,   "Introduction to geometry" , Wiley  (1969)  pp. §6.4, §6.8</TD></TR></table>