De même que, en partant d'un élément (#), nous avons

44o LIVRE II. — LA GÉOMÉTRIE TERNAIRE.

défini un cercle Ca par l'équation

nous pouvons, en partant des cercles, définir [un ensemble de cercles par la relation

Ai ?i— AjOs-t- A3a3-+- A. x;-f- As y/— ra» = o,

puisque la forme rejoue par rapport aux (a) le même rôle que la forme Fx-- par rapport aux (x).

Cet ensemble de cercles, que nous pouvons appeler hyperce rc le t a pour coordonnées les (A) : il est clair qu'il se compose de tous les cercles Ca qui sont à une distance constante d'un cercle donné; car cette condition est précisément exprimée par

une relation linéaire et homogène entre les (a)et y/ — 1V-; si, en particulier, A5 = o, l'hypercercle (A) se compose, comme nous le savons déjà, (!<■ Ion* les cercles orthogonaux à un cercle li\e.

Parmi les hypercercles, on peut distinguer ceux qui sont de rayon nul, c'est-à-dire qui sonl tangents à un cercle fixe ; ce sont ceux pour Lesquels il existe entre les coordonnées (A) une relation quadratique facile à former.

On peut alors raisonner sur les hypercercles comme sur les cercles. On pourra soumettre leurs coordonnées à une substitution linéaire, el les théories de la Géométrie projective quinaire trouveraient là leur application. Parmi toutes les substitutions linéaires auxquelles on peut soumettre les (A), on peut envisager seulement celles qui font correspondre à un h\percercle de rayon nul, un hypercercle de même nature, et ces substitutions seront celles qui conservent un certain absolu dans l'espace à quatre dimensions rempli par les hypercercles. Ces substitutions font correspondre à un cercle un autre cercle, savoir : au cercle qui touche tous les cercles d'un hypercercle de rayon nul, le cercle qui touche tous les cercles de l'hypercercle correspondant. Ces substitutions comprendront en particulier les substitutions conformes.

Parmi elles, on peut placer évidemment celles qui consistent à augmenter le rayon de chaque cercle d'une quantité constante, le centre restant fixe; ce sonl les dilatât ion. s.

Nous n'étudierons pas davantage la théorie que nous venons d'esquisser; elle trouverait son développement naturel dans la Géométrie quaternaire.