CHAPITRE XVI. — LA GÉOMÉTRIE MÉTRIQUE TERNAIRE SPÉCIALE
et {^') sont correspondants, (l^') contient l'élément défini par ^\ ^2 + ^I -^3 == o ajDpartenant à g, et l'on a
-r- . . i/l(JL>\ (Jù"i
JS' = X i — - = const.
On dit qu'il j a translation; une translation est aussi un moucernent.
Les mouvements sont caractérisés par la relation
Une translation peut aussi être considérée comme ane homothétie spéciale.
428. Pour étudier les similitudes symétriques, remarquons qu'une telle substitution o-'^ se ramène à une similitude proprement dite quand on la compose avec une substitution particulière, dite symétrie, et de la forme
C'est une homologie involutive dont les éléments doubles sont d'abord celai de coordonnées x>, ■=. o^ x^~\- x^ = o, puis tous ceux de l'élément x^ — x^^= o.
Si (i) et (il) sont correspondants, (i^) est perpendiculaire au premier élément double^ et le milieu de (c^) appartient à ce même élément double.
En général, une substitution o-'^ sera une symétrie dès qu'elle se ramènera à une liomologie involutive, et, par suite, qu'on aura
W| 0)2 0^3=0 et COi W'( -j- (O2 Wj =0.
Nous n'insisterons pas davantage sur les propriétés des différentes substitutions que nous venons de reconnaître 5 la Géométrie ordinaire les met suffisamment en évidence, et leur vérification directe n'offre aucune difficulté.
Remarquons encore que l'on pourrait définir d'autres substitutions intéressantes, par exemple celles qui conservent l'un des éléments de l'absolu; 00 qui changent l'un de ces éléments dans l'autre; ou encore qui conservent l'élément double (^') de l'absolu : ces dernières sont les affinités, et leur forme générale est immédiate; leurs propriétés sont connues.
Hosted by
4yO LIVRE II. — L\ GÉOMÉTRIE TERNAIRE.
429. Les similitudes forment évidemment un groupe à cinq paramètres. La loi de composition de deux similitudes se trouve sans peine, et l'on en déduit en particulier que le rapport de similitude résultant est égal au produit des rapports de similitude composants, au signe près.
Deux similitudes symétriques consécutives équivalent à une similitude proprement dite.
Les homothéties forment un groupe à quatre paramètres; il en est de même des mouvements; enfin, les translations forment un groupe à trois paramètres, contenu dans celui des homothéties et dans celui des mouvements, ceux-ci étant eux-mêmes contenus dans celui des similitudes.
On peut, pour les différents groupes que nous venons d'énumérer, construire des invariants absolus d'un système ternaire S quelconque.
Les équations aux dérivées partielles formant un système complet, qui caractérisent ces invariants, seront toujours faciles à former en se servant des substitutions infinitésimales des différents groupes considérés.
Faisant F =: ix^x^j comme plus haut, et gardant les notations du Chapitre I, ces équations seront :
Pour les similitudes
AiiF — o, A22F=:o, A33F=:o, Ai2F = o, Ai3F=:o; Pour les homothéties
AiiF = o, A22F -1- A33F = o, Ai2F = o, Ai3F = o; Pour les mouvements AHF-f-2A22F =0, AiiF -f-2A33F = o, A12F = o, AisF^^o; Pour les translations
AiiF-f- A22F-H A33F =: o, Ai2F = 0, Ai3Fr=:0.
On pourra aussi, quand il s'agit des similitudes, procéder d'une façon plus générale, identique à celle qui a été indiquée au n° 381 . Mais, dans ce cas, on trouve cinq équations et non plus quatre seulement, en vertu de la décomposition de l'absolu.
Dans le cas des homothéties, on pourra de même former un
Hosted by
