R 2OE.OF

Prenant dans la seconde la valeur de EF et la

substituant dans la première on aura

8PHÉRIQUS. 397

— — • * —a -—a rn*EOP

1^ EDÏ" DE-f-DF— OE — OF+aOE.OF^—s^ —

R aDE.DF

►r OE — DE = OD et OF — DF = OD, on a donc

„-.„ OE.OY. cos EOF— OD.R cas EDF= ^^-^ .

I ne s'agit plus que de substituer dans cette équation es valeurs relatives au triangle sphérique : or on 2^

IDF = C, EOF = ÀB = c, g| = ^

DE sin DOE

R OF R R OD cos DOE

ùTT' DF sin DOF sln^' DE fi>i DOE :os b OD cos DOF cos a

= —. — . Donc

in b' DF sin DOF sin a

^ R* cos c — R cos a cos b .