III. — Les cercles
384. Les formules de la Géométrie métrique ternaire générale permettent de retrouver facilement tous les -théorèmes de Géo-
4f4 LIVRE II. — LA GÉOMÉTRIE TERNAIRE.
métrie sphérique élémentaire. Nous ne ferons pas cette étude, et nous développerons simplement quelques points particuliers d'une importance capitale.
Considérons une série ^quadratique de première espèce bitangente à l'absolu, de sorte que son équation pourra s'écrire
Nous pouvons dédoubler tout d'abord, en quelque sorte, cette série en deux autres orientées, puisque son équation nous permet d'exprimer y/— F^a en fonction rationnelle des coordonnées {x) et que l'on a y/ — F^.2= i\/¥x^ '- ces deux séries seront donc composées d'éléments orientés, et leurs éléments sont les mêmes, mais orientés en sens différent. Une telle série orientée sera donc
ai57i-f- «2^2-!- «3^3+ «4 / — Fx^ = o;
nous dirons que c'est une séi^ie circulaire de première espèce, ou simplement un cercle; l'équation générale des cercles contient d'une façon linéaire et homogène quatre paramètres a^ , a2, ag, a4 ; le cercle correspondant à un système de valeurs de ces paramètres sera désigné par Ca ainsi que le premier membre de son équation, et ses coordonnées seront les (a).
Les séries linéaires sont des cercles particuliers pour lesquels a4 = o ; l'absolu est aussi un cercle particulier.
Le discriminant du cercle 0^ est celui de la forme quadratique
que nous écrivons en considérant a^, a2, as comme des coordonnées ordinaires de seconde espèce; sa valeur est a^(<ï>a2-|- Da^).
Le facteur $a-+Da^ est une forme quadratique contenant les quatre variables (a), et que nous désignerons par r^^ ; quand cette forme s'annule sans que a/, soit nul, le cercle se compose de deux éléments tangents à l'absolu, à éléments orientés.
Si de plus a4 est nul, ces deux éléments coïncident.
385. La série tangentielle de (a |^)2 -i- a4F^2= o est, après
suppression du facteur -Yr^'>
on peut comme précédemment dédoubler, ou orienter, cette
Hosted by