CHAPITRE V. — LA FORME BILINEAIRE. 7g
puisque h(x) doit se transformer eu (a\2 + a2i)x\ a?'2, posons
xl=f(x, z)—(xz) - -^—^L,
xi=f(oc, z) — (xz)- J-,
les formules pour passer des (y) aux (y) étant analogues.
Le déterminant de la substitution linéaire ainsi définie est,
les (x) étant les variables primitives, - -; donc i et //
étant des invariants des ordres i et o, on a, en faisant les (x) identiques aux (s),
h(z)s/i*-âj
h(zy
formules qui déterminent a\.2 et a'21 sans ambiguïté.
77. Sur la forme canonique, [x') et(j') désignant deux éléments correspondants, le rapport anharmonique de ces deux éléments
associés aux éléments doubles, soit (x' y' 0\ 0[,) , est égal à ; ,' >
c'est-à-dire à —• On a donc en général
(ayO',0',)- - v/^ r4y .
ce rapport anharmonique a une valeur constante h qui dépend de l'invariant absolu géométrique -. •
Dans le cas de l'involution, et seulement dans ce cas, on aî = o, et par suite k = — i. L'involution est donc caractérisée par ce fait que les éléments doubles sont conjugués harmoniques par rapport à deux éléments correspondants quelconques.
Pour définir une involution, il est nécessaire et suffisant de connaître deux couples d'éléments correspondants, en particulier les deux éléments doubles.
Soient trois couples de deux éléments (x) et (x), (y) et (y), (z) et (s); à quelle condition appartiennent-ils à une involution?
8o LIVRE I. — LA GÉOMÉTRIE BINAIRE.
En considérant (#), (y), (-s)et (z) comme appartenant à la série X,
leurs correspondants dans Y sont (^c), (y)-, (z) et (z); on doit donc avoir
(xyzz) =(xyzz).
La réciproque est d'ailleurs vraie, car les formules développées plus haut montrent qu'eu dehors des éléments doubles il n'y a, dans une homographie, aucun élément ayant même correspondant dans les deux séries, s'il n'y a |>a> involution.
Comme application, on voit, par exemple, que -i (x)el(x), (y) et (y) sont deux couples d'éléments correspondants dans une homographie don I 0\ el <>. sont les éléments doubles, (x) et (y) appartenant à une même série, les trois couples (x) el (y), (x) et ( y i, O', et Oj appartiennent à une même involution, car on a
yJO\0, yy(KO\>.
De même, si A est un élément double d'une involution définie
par i x) et (x), (y, et (y . on a
\ vyj ! -•
\ vyy)
78. Soil i un élément de la série Y, el ~ son correspondant ; considérons ;n omme appartenant à 1 , et soit (/) son correspondanl , el ainsi de suite.
Sur la forme canonique, on obtient tout de suite
zi " h y t
de sorte que les équations <lr | s'), i /' . ... sont successivement, en désignant par (./•' | les coordonnées courantes,
"\i-ro'->- ai\x%y\ =°) «12^1^2— aï\xty\ = °>
Introduisanl les invariants, on a d'une façon générale, pour les
équations de (s), (/). . . . successivement,
/=<>, if—j(*y) = o, {ii—j)f—ij(xy) = o,
{? — 2 ij)f — j(ïi - ;')(ay) = o, ( i* - - 3 «V - - J^f—jd3 - 2 i/)(ay; = o, la loi de formation étant évidente.
