'-I^ ) 8i ( ^^ 



fin.jAGBfin.»DGCz=fin.,^AGBcof.fAGCrin.fAGD 



- fin. ; AG B cof. ^ A G D fin. ^ A G C 



liincque 



fin. I B G D fin. I A G C -f- fin. I A G B fin.l D G C 

 rfin.iAGD(fin.^AGCcof.;AGB+fin4AGBcof.iAGC} 

 =: fin. i A G D fin. | B G C. 



Quum itaque fit 



fin. i B D n: fin. B G fin. I B G D; 

 fin. I A C - fin. B G Cn. i A G C ; 

 fin. ^ A B =r fin. B G fin. ^ A G B ; 

 fin. ^ D C r: fin. B G fin. I D G C ; 

 fin.^AD =: fin. BG fin.; AGD; 

 fin. -; B C = fin. B G fin. -: B G C ; 



fiet omnino 



fin..^ADfin.;BCz=fin.;ABfin|DC + fin.^BDfin.|AC. 



§. 30. Theorema. XXII. lisdem pofith ejl 

 ,.p,_ (fin.;ABfin.iAC+fin.3nfin.iDC)(f.lABf'DC+qACf.;BD ). 

 in.; _ fin.-;ABfin.-;BD + fin.;ACfin.;DC 



Demonjlr, 



fin.BE:fin.ECrfin.ABfin.BAD:fin.AC.fin.DAC, 



atqui per Theor. VIII. 



fin B AD — ^"•'^ ^'^^"^•^^ — ^" IBD.cot.BG 

 " cof. ; ABcol.; AD ~ col. ;AB cof.-; AD* 



nec non 



A&a Acad. Sc. Imp. Tow. VI. P. L L fin. 



