CHAPITRE XV. — LA GÉOMÉTRIE MÉTRIQUE TERNAIRE GÉNÉRALE

ments, s'obtiennent aisément en composant les deux, substitutions linéaires suivantes, qui s'appliquent à des variables binaires (X),

x, = aitX', -4- o>\ x;, >', = Oj x; + Oj xj, x2 = co, X', + w'2 x ; , x'2 = o2 xï + 6'2 xî ,

et qui donnent, en effet,

Ce fait est rendu évident par la remarque suivante : si l'on considère un élément (x) de l'absolu et que l'on suppose xK = 2X,X2, #2=X^, #3= Xi;, cet élément devient, après la transformation <r, (#'), et si les (X') sont les paramètres correspondants, on a précisément

X i = 10 1 X j -)- OJ j À 2 ,

X 2 = Wa X j + u> 2 X 2 .

L'étude du mouvement <y est donc liée d'une façon fort simple à celle de l'homographie déterminée par cette dernière substitution sur l'absolu; les invariants de cette homographie sont d'ailleurs

w, + oj!, = \Ji -f- o) et io.

Cette remarque permet d'écrire facilement la substitution u quand F est donnée sous une forme quelconque : il suffira d'exprimer rationnellement les coordonnées d'un élément de F en fonction de X, et X2, d'effectuer la substitution linéaire précédente sur les (X), et finalement de remplacer X',2, 2\\V2, A2' par leurs expressions linéaires en fonction des {x').

381. Les mouvements formant un groupe à quatre paramètres, on peut, pour ce groupe, construire des invariants absolus d'un système ternaire S quelconque. En gardant les notations du Chapitre I, ces invariants seront distincts en nombre P — 4, en général, et seront les solutions de quatre équations aux dérivées partielles qu'il sera toujours facile de former en remarquant que le groupe contient quatre substitutions infinitésimales qui correspondent aux substitutions infinitésimales de la substitution binaire générale relative aux. (X) définie au numéro précédent.

Dans le cas étudié précédemment, où F = x'\ — 4#2#3> ces

quatre équations, formant un système complet, seront

A,, F -4-aA22F =o, 2AuF-+- A31F = o, \nF-h%\33F = o, 2A13F-+-AslF=o.

On fera sur ces invariants métriques absolus les mêmes remarques qu'en Géométrie binaire.

On pourra les former en adjoignant au système S les coefficients de l'absolu, et prenant ceux des invariants absolus ordinaires du système S( ainsi formé qui sont homogènes et de degré zéro par rapport aux coefficients de l'absolu. II en résulte que les équations aux dérivées partielles qui les déterminent pourront être formées de la façon suivante en général. On considérera les neuf équations

dF dF12

2F"CFM+ F'2

Ao2 F +

F dF oF

V dF F

dF„

dF

àF

dF

F dF or 13

F dF

-3 dF,3

17 dF

F dF 2F23 .„

23 ,Jl 33

on leur adjoindra l'équation

.. OF dF

F11 -jpî- +...-HF23 jb- +... = 0, »Fn <JF23

qui exprime que l'invariant F est homogène et de degré zéro par

rapport aux coefficients de l'absolu, et entre ces dix équations

.1. ■ -, àF dV ~

on éliminera les quantités -r=— 1 •••■> tf- ' •••• ^n trouvera ainsi 1 «Fn 0r2a

les quatre équations cherchées. On remarquera que les symboles A/y F employés plus haut se rapportent uniquement aux éléments du système S, et qu'au surplus il n'y a pas de confusion possible sur la signification de la lettre F, déjà employée pour désigner l'absolu.

Si, par exemple, on a