Hinc elegans quoquc iftud Theorema comprobatur , quod 

 fi ad focum Ellipfcos , a vertice eius, couftituantur bini 

 anguli Cp et \|^ ita comparati, vt fit 



fm. (p fin. \\j V {i-e') =: (e 4- cof 0) {e + cof v|^) , 

 tum fummam binorum arcuum EUipticorum his angulis 

 rcfpondentium , efle aequalem quantitati algebraicae; 



fp-4-c3f.$ ) {e -^co(.4i) , /-• 



«>_,• (i -j-etoj. 4)) (i-t-<»L-o/, vj/) 



§. 25. Dcinde fi conferamus inter fe redudiones 

 formulae VI. ^'^^'rErr—, pofito n"^ mj §§. 12. ct 19. 

 inftitutas, has obtinebimus aequationes : 



■coJ.J> fin. v|; gj 



t-t-ecoJ.<p V (i -+-2 fcoj.v|/ -+-«') 



(14- ^cof >4/)* 



« V i , 



(i H- 2 ^ cof s\j -\- e^f 

 pofito ^ — y ^, vnde pcr Theorema (III.) colligetur: 



///rh V (■-+-» ?co/.(JJ-He') _i_ r^ .1. Vf' +iecof.^-i.e^) 



y « WJ — (Tifryc^MP)^ -t- y <? V (.-pecoj.vj.,» 



f» frn.\{<^<'->-'"''' 4''' 



e»^i* (■ -(-fuJj.vt>;V v' -+- 1 «•-.;;. >V-t-e'j' 



demonftratio autcm huius propofitionis §. praecedcnti iam 

 eft allata, quia aequalitas 



f-t- cof. ^) /«.> {> 



1 _4_ e cb/.'^ V (1 -»- 1 * eoj. xj» -f- «') ' 



omnino congruit cum ilia: 



ji-.(pV (.-»') ^#-+-«/.v|> ^ 



i-»-ecoj.(J) V(i-t- jeto/.v{»-f-«* 



Denique redudiones formulac XII. d & T^rrT-^' P^^f^ 



w>«, §§. 12. et 17. inftitutas, inter fe conferendo, col- 



ligi- 



