Editing Inversive geometry (section)

== Hyperbolic geometry ==
The [[n-sphere|(''n''&nbsp;−&nbsp;1)-sphere]] with equation

:<math>x_1^2 + \cdots + x_n^2 + 2a_1x_1 + \cdots + 2a_nx_n + c = 0</math>

will have a positive radius if ''a''<sub>1</sub><sup>2</sup> + ... + ''a''<sub>''n''</sub><sup>2</sup> is greater than ''c'', and on inversion gives the sphere

:<math>x_1^2 + \cdots + x_n^2 + 2\frac{a_1}{c}x_1 + \cdots + 2\frac{a_n}{c}x_n + \frac{1}{c} = 0.</math>

Hence, it will be invariant under inversion if and only if ''c'' = 1. But this is the condition of being orthogonal to the unit sphere. Hence we are led to consider the (''n''&nbsp;−&nbsp;1)-spheres with equation

:<math>x_1^2 + \cdots + x_n^2 + 2a_1x_1 + \cdots + 2a_nx_n + 1 = 0,</math>

which are invariant under inversion, orthogonal to the unit sphere, and have centers outside of the sphere. These together with the subspace hyperplanes separating hemispheres are the hypersurfaces of the [[Poincaré disk model]] of hyperbolic geometry.

Since inversion in the unit sphere leaves the spheres orthogonal to it invariant, the inversion maps the points inside the unit sphere to the outside and vice versa. This is therefore true in general of orthogonal spheres, and in particular inversion in one of the spheres orthogonal to the unit sphere maps the unit sphere to itself. It also maps the interior of the unit sphere to itself, with points outside the orthogonal sphere mapping inside, and vice versa; this defines the reflections of the Poincaré disc model if we also include with them the reflections through the diameters separating hemispheres of the unit sphere. These reflections generate the group of isometries of the model, which tells us that the isometries are conformal. Hence, the angle between two curves in the model is the same as the angle between two curves in the hyperbolic space.