TROISIÈME PARTIR. — GÉOMÉTRIE DE 1,’ESPACE

854. Toute pyramide triangulaire sphérique a pour mesure r excès de la somme des angles de sa base sur deux angles droits (803). Encore en prenant pour unités la pyramide sphérique trirectangle et l’angle plan droit

855. Tout angle trièdre a pour mesure l'excès de la somme des angles plans de ses angles dièdres sur deux droits (712). On prend pour unités l'angle trièdre trirectangle et l’angle plan droit.

856. Tout polygone sphérique a pour mesure l'excès de la somme de ses angles sur autant de fois deux angles droits qu'il a de côtés moinsdeux (808).

Une pyramide sphérique a une mesure analogue (803).