J. io. Nunc ergo totum negotium eo redit , vt va- 

 lor conftantis per integrationem ingreffae C indagetur, quem 

 Ijkilicet ex cafu quodam cognito erui oportet; manifeftum 

 autem eft aream trianguli euanefcere debere , qua-ndo alte- 

 rum binorum crurum x vel y euanefcit. Ponamus igitur effe 

 y ~ o, tum vero neceffe eft, vt fiat x~o, hoc ergo cafu 

 conftituto noftra aequatio erit 



o _ C -+• 8 Aic. cof. 2 + i cof - g . 



4 cof. | a 2 



Quoniam vero 4 cof. | ar ~ 2 -f- 2 cof. \ a et Arc. coC 1 ~ c, 

 euidens eft ffcatui debere C — o , ita Vt habeamus 



a a r * -4- cof. a -+- cof. x -|- cof. y 

 A ~ z Arc. cof. , ! jl , 



4 cof. | a cof. | x cof. \ y 

 vnde concluditur 



c r 1 a * ~+~ c °£ fl- H- c °£ ® -4- cof- J 



4 cof. | a cof. \x cof. | j 

 quae ipfa expreffio cum theoremate fupra memorato egregie 

 conuenit, fi modo loco x et y fcribantur litterae b et c. 



Alia demonftratio Geometrica theorematis 

 initio allatL 



f. 11. Sit igitur ABC triangulum fphaerjcum pro- Tab. I. 

 pofltum, cuius latera vocentur a, b, c, et anguli iis oppo- Fi S- 5- 

 fiti a, {3, y, area vero, quam quaerimus, defignemus cha- 

 raftere A. Cum igitur ex theoremate Girardi fit 



A = ci-f-{3-!-y— i8c°, erit co£A — :— cof.(a-j-r3-+-y). 

 Nunc vero ex compofitione angulorum conftat effe 



fin. (<t -+- p) zz fin. c. cof. |3 -+- cof. a fin. |3 etr 



G 3 cof. 



