(39) 



car 



— est positif, et — est négatif; donc 



12. Réduction sur le plan lobatcliefskien. 



Nous commençons également par la rotation 1° du para- 

 graphe précédent, qui transforme l'équation (19) en celle-ci : 



l\[x\ y\ z') = a^x'^ -+- a\y'^ -f- a\'z'^ -*- %^y'z' 



(49, 



dans laquelle les coefficients sont définis par les relations gA» ; 

 l'angle 9 est déterminé de la même manière que dans ce para 

 graphe : il est réel ainsi que s^ par hypothèse; donc la fonction 

 /i est réelle. 



Pour définir la translation 2° qui déplace l'origine de en 

 0', prenons 



c\id — û\d 



