CHAPITRE XVI. — LA GÉOMÉTRIE MÉTRIQUE TERNAIRE SPÉCIALE

avec

^^= sinGi?!;

9^ est ici la distance O2O3, si l'on veut. En particulier, on peut prendre 6^ = o. Enfin, supposons que Ù2 et Q3 forment l'absolu, de sorte que

0, reste arbitraire et l'on a des formules simples.

On fera les mêmes remarques qu'au n^ 375, sur l'interprétation des rapports des coordonnées.

425. Il est clair que si l'on considère l'espace E comme un plan dont les éléments de première espèce sont les droites, et ceux de seconde espèce, les points, la théorie que nous venons de développer coïncide avec celle des angles et des distances dans cet espace, à la condition de remplacer la distance de deux droites par leur angie et de prendre, comme absolu, les deux points circulaires à l'infini.

Il serait facile, d'ailleurs, de retrouver de cette façon toutes les formules de la Géométrie plane et, en particulier, de la Trigonométrie rectiligne et de la Géométrie du triangle.

Examinons seulement les propositions qui correspondent à celles du n"^ 376.

L'élément P^ perpendiculaire à O^ et contenant Q^ est

^2 C0SG2 — ^3 cosGg = o,

en conservant les premières hypothèses du numéro précédent; les trois éléments P^- sont alignés.

On peut répéter ce qui a été dit sur les milieux des distances

telles que O2O3. Mais la distance ^2^3 a un seul milieu, conjugué harmonique de (Oi^) par rapport à O2 et O3 ; les trois milieux analogues ont des propriétés immédiates résultant facilement de la considération du cas général.

Enfin nous pouvons répéter cette remarque générale, que les théorèmes de la Géométrie métrique spéciale correspondent à des propriétés plus générales de la Géométrie projective, faciles à énoncer.

An. — I. 3o

Hosted by

II. — Les substitutions linéaires au point de vue métrique spécial.

426. La distance de deui^: éléments quelconques ne change pas quand on fait un changement de coordonnées ou une transformation homographique quelconque, à la condition que, dans le dernier cas, le nouvel absolu soit l'ancien transformé, et que, dans tous les cas, la constante m ne change pas, tandis que la constante \ devient IS, S désignant le déterminant de la substitution faite sur les {x).

Transformons maintenant les éléments de Pespace E par une homographie quelconque cr

les (^x') étant rapportés aux mêmes coordonnées que les (.^), et laissons Pabsolu invariable, ainsi que les constantes m et A.

On peut rechercher les homographies cr telles que la distance de deux éléments de première espèce soit égale à celle des deux éléments correspondants, au degré près d'indétermination qui se présente toujours quand il s'agit de telles distances; telles aussi que la distance de deux éléments de seconde espèce soit égale, à un facteur constant près, à celle des deux éléments correspondants.

La condition nécessaire et suffisante pour qu'il en soit ainsi est que la substitution a- transforme l'absolu en lui-même.

Pour obtenir des formules simples, soient

on trouve alors deux séries de substitutions cr, savoir les substitu

tions 0-^

.n = OJiX'y -h CO j x'^ -\- Oj'i ^3 , X^ = CO2 x'^^

et les substitutions ^"

Xi = 0)1 a7\ -h w'j x'^ -H w'i x'^ ,

Le déterminant ()^[^v) est égal, suivant le cas, à a)^ 0)2033 ou à — o)^ 0320)3.

Hosted by