Remarquons, de plus, que l’on a (prop. 32)
Si la perpendiculaire au plan du triangle (fig. 28), au lieu
d’être élevée au point l’avait été au point les lignes et
seraient restées les mêmes ; les arcs et se seraient changé en
et les droites et en et et l’angle en
On aurait, par conséquent,
d’où résulte, en substituant pour sa valeur,
et, en changeant en en
d’où, en multipliant par
Il en résulte aussi
Or les droites et sont indépendantes l’une de l’autre, et de plus,
pour on a
Donc, pour toute droite on a
ce qui donne
41