of the Angle fubt ended by Two Objects, he. 415 
or the value of ED may be obtained from the folution of two 
triangles KQF and DFL, with the proportion demonftrated in 
art. 9. 
21. To proceed with the computation, through D draw 
the arc DL perpendicular to FI, and let the line of QKF ~p > 
being the fine of half the arc OP, the meafure of IKF : put the 
fine of KF - s, the fine of DF - m, the fine of DFK = ra- 
dius — 1. In the right-angled fpherical triangle KQF, the pro- 
perties of fpherics give this proportion : as radius to the fine 
of KF fo is the fine of QKF to fine of QF; wherefore 
fin. QF-rp ; cof. QF - s/i - sf ; and fin. FI (FI being 
double to QF) ■= 2s p x s/ 1 —s z p z ' Moreover, becaufe as rad. 
to cof. QK fo is cof. QF to cof. KF, we have cof. KQyr 
— — - — ; and fin. KQ — f d-ZLt . And fince as rad. : fin. QFK, 
s/l-p z s z s/l-fp z ^ 
Co is fin. KF to fin. KQ ; this proportion gives fin. QFK — 
— ' — : and becaufe the fine of the ano-le LFD is the fine of 
V 1 — s P 
the difference (or fum) of the angles QFK, DFK, of which 
the fines are, fin.QFK = juft found, and fin. DFK = ft 
s/i-sy 
hy the data, we have from the rules of trigonometry, 
fin . * DFT . - V 1 ~f * n ''~ ^py - ” 2s Y 
v'l-.y * 
and fince in the right-angled triangle LDF, as rad. : fin. DF :: fin. 
DFL : fin. DL, and by the problem fin. DF z=m it appears, that 
* If the points P and Q_be on different * fides of the point O as they are repre- 
fented in the eonftruftion, the laffc term will be affe&ed with the fign : if P 
and Q. be on the fame fide of O, the fign of the lafl: term will be + . It may be 
here obferved, concerning the geometrical conflxu&ion (fig. 2. and 3.) that when 
P and Q^are on different fides of O, the angle obferved ED will be greater than 
when thofe points are on the fame fide of the initial point O, the arcs OP, O p % 
being equal. 
* Compare fig, a. 
1 i i 2 |in e 
