-- 326 — 



espace B^D^DB existe pareillement entre les per- 

 pendiculaires B^B et D'D , de part et d'autre de 

 AC. Mais il arrivera de deux choses Tune : ou 

 G'G se dirigera suivant B'B , ou s'en écartera ; 

 dans le premier cas , les espaces G^D'DG etB^D'DB 

 n'en feront qu'un seul ; dans le deuxième cas , ils 

 seront équivalens , car ils auront une partie com" 

 mune EG'D'DB , tandis que leurs parties restantes 

 seront les espaces angulaires B'EG' et GEB , que 

 l'on pourra faire coïncider. Cela posé^ si EF 

 n'était pas égale à AC, il est évident qu'elle se- 

 rait plus grande ou plus petite que celle-ci. Sup- 

 posons d'abord que EF soit plus grande que AC 

 et continuons cette dernière jusqu'en H , de ma- 

 nière que CH soit égal à EF ; puis élevons au point 

 H sur CH , la perpendiculaire indéfinie l'I qui n'at- 

 teindra B'B d'aucun côté , à cause que B'B est aussi 

 perpendiculaire sur CH. Maintenant nous aurons 

 par cette construction un nouvel espace l'D'DI 

 qui sera supei'posable sur G'D'DG : en mettant le 

 point C sur le point F etCH dans la direction de 

 FE j et comme ces droites sont égales, il en résulte 

 que le point H se placera en E : en même temps 

 CF se couchera sur FD , vu que les angles ACF et 

 EFDsont droits; il en sera de même de CD' rela- 



