Choisissons sur chacun des
rayons A,, a 2 , A 3 , A 4 du
faisceau des sens positifs
arbitraires; nous obtenons
ainsi des axes (I, 78), que
nous désignons par a, (3, y,
S. Nous prenons également
sur la sécante L un axe
quelconque X.
Appliquons maintenant
le théorème (I, 86) au tri
angle ÜAC, en remarquant
qu’aux sommets O, A, C
sont respectivement opposés les axes X, y, a; nous avons
sin(a, y) sin(X, a)’
de même, le triangle OBC nous donne
CB _ OC
sin(p, y) - sin(X, (3)‘
Divisons membre à membre, nous obtenons
CA sin(cc, y) sin(X, ¡3)
CB sin((3, y) sin(X, a)
En remplaçant le point C par le point D, nous avons par un
calcul analogue
DA _ sin («, 8) sin (X, ¡3)
DB sin (B, 81 sin(X, al