CHAPITRE XV. — LA. GÉOMÉTRIE MÉTRIQUE TERNAIRE GÉNÉRALE
soit
X 1 = Œi [X'i -h (j\ |J.2 , lXi=- Zi \\ -H Z\ Xg ,
I2 — ^2 P-'l + «^2 (^2 > [i.2 = ^^2 ^^'1 -H 1^2 Xg .
Les substitutions du premier type, que nous appellerons substitutions conformes j forment dans leur ensemble un groupe; deux substitutions successives du second type équivalent, au contraire, à une substitution du premier type.
Une substitution du premier type, par exemple, transforme le cercle Ca dans le cercle 0^', et J'on a
H (^2'C2'+~ "^i'S j + — (0-11:2+ CT^ T2— 0-2X1 — (T^T^i),
a2 — ai((Ji ^2 + <T2 'û.i)h- aoCT-i xi -{- ago-g 1:2 -i- a4(Œi ^2 — <T2 Ti), a 3 = a-i ( a\ t 2 + cr'g t^^ ) + «2 cr\ t\ + «3 a2 t 2 -I- a4 ( a'i ^'2 — cr 2 t'i ) ,
^4 — — V<^1'^2 C7iT2-i- «72X1 — CTg^i) -h — (^iTi OT^ Ti )
le déterminant de celte substitution est o-^t^, si a-o=:(a'o-^), To = (tt^). Quant aux (.z?), on a
072 = (7i Ti X'^ -{- <j\ t'i ^3
^373 = (J^ T2 ^'2 -h cr'2 T2 ^'3
-H - a2T'2(^;-f- /—F^'Oh- - cr'2T2(^'i — /— F;^.'.),
- (^1—/— F;r2)=z cr2 11:^2+ ^2 '^'1^3
On a des formules analogues pour les substitutions du second type.
Nous remarquerons qu'un mouvement peut être considéré comme une substitution soit du premier type, soit du second, dans
Hosted by
laquelle les coefficients Ci, cr', , cr2, cr^ sont respectivement égaux aux coefficients t,, t, , T2, t'^. Si la substitution est du premier type, on a \J — F^^rrr g-q ^/ — F^'^; si elle est du second type, on a,
au contraire, \/ — F.^2== — g-q s] — F^'^.
Ainsi, en particulier, on peut passer des substitutions de l'un des types à celles de l'autre, en les composant avec la substitution simple
qui n'a d'autre effet que de changer l'orientation des éléments.
Les substitutions conformes déterminent un groupe à sept paramètres seulement, qui comprend en particulier le groupe des mouvements. A ces substitutions correspondent des invariants conformes^ absolus ou ordinaires, en nombre P — n ou P — 6 en général, pour un système dépendant de P éléments. Il est clair que l'on formera simplement ces invariants comme invariants multiples par rapport aux Çk) et aux (^a), quand on aura substitué ces coordonnées aux {x). C'est ainsi que la forme
ai(Xi [J.2-h ^^i\J'i) -f- CC2X1 [^1+ a.Xo 1^2 -f- a-, (Xi [j.2 — ^9 p-i) admet l'invariant multiple connu a2C/.3 — a'-^ + a^, égal à - T^},
Quand on considère les {x)^ une substitution conforme est une substitution linéaire sur x^^ x^i ^3 et \/ ~ F^^ ; il en est de même pour une substitution du second type.
402. Dans une substitution conforme, les quatre éléments tangents à l'absolu qui correspondent aux éléments doubles des deux substitutions faites sur les (X) et les ([j-) se correspondent évidemment à eux-mêmes et sont les seuls dans ce cas, tant que l'une de ces substitutions n'a pas une infinité d'éléments doubles. Par suite, dans le cas général, la substitution conforme détermine quatre cercles doubles, de rayon nul, composés des éléments tangents à l'absolu que nous venons de déterminer, pris deux à deux; les centres de ces cercles sont quatre éléments [x) se correspondant à eux-mêmes. Nous n'insisterons pas sur les cas particuliers, dont l'interprétation deviendra immédiate après l'étude de la Géométrie quaternaire.
Hosted by
