En désignant par

OBC—f, OCA=f„ OAB=/:

les faces d'un angle solide d'un tétraèdre, et par sinoi* le sinus de l'angle solide polaire de celui du tétraèdre, tel que les arêtes du premier soient les normales, prolongées extérieurement, aux faces du second, on a

(OABC'f =-//,/, sin,„ (*).

Déinoîistratioii. — Désignons OA, OB, OC pai' /, /, , /«, et /v, cosr/"i pai- «o, = a,o, etc. On a (^ XVI, 4, et