•^66 s V B s I D I r M 



Tcftigationibus abfolute necefliiria , eti.imfi iam hitic 

 inde nonnulla huc rpedantia protulerinn , tamei haiid 

 abs re fore arbitror, fi hoc egregium iirgumentum ftudio- 

 fiiis pcrtradauero. 



L E M M A. 



I. Valor huiusfbrmulae inwginariae (cof. (Jj-l-y-i. 

 fin. (J))* eft cof. « H- V — I . fin. n 0, huius autem for- 

 milae imaginariae (cof.C]) — V — i.fin.^/ valor tft cof. 

 sCp-y- i.fin. «Cp. 



DEMONSTRATIO. 



5i enim habeantur diio anguli (p et a, erit ha- 

 rumiiuarum formularum produdum (co(.Cp + y— i.fin (|)) 

 ( cof a -4- V — I. Gn.a) — cof (^ cof a — fin. (p fin. a, 

 ^- (fin. (p cof a ■+- cof (f) fin. a) V - i. Conftat au- 

 tem efie cof (f) cof a — fin. (|) fin. a =: cof ((p -4- a) 

 et fin. (p cof a -h cof (J) fin. a — fin. ( (|) -h, a j , \'nde 

 illud produdum erit :=: cof ((J) + a)4- V - 1 . fin. ((p -{- a). 

 Sit iam a. — (^ eritque 



(cor.(p-|-y-i.fui. (p)' rrcof2(p-f-y-i.fin.2(I). 

 Haec formula deniio per cof a -f- V - i. fin. a mul- 

 «iplicata dabit cof (2 (p _f- a)H- V- i fin.(2 (p -^ a), 

 flc pofito a~(P 



(cof CP-|-y-i.fin.C[))^r::cof ^Cp-f-y-i.fin. 3 (J) 

 Quae fi denuo per cof a -h y— i. fin. a multiplicetur, 

 ac ponatur a zz: (J), dabit 



(cof (p-f-y- i.fin.(p)*=:cof4<I)-i-y-j.fm,4.(J) 

 hocqiie raodo generatim colligitur foxe 



(cof. 



