Includant enim primum duae AB, AC, duas DB, DC; et per centrum D, recta extendatur AE. Quoniam igitur rectae DA, DB, aequales sunt,
1
erunt anguli DAB, DBA, aequales: Est autem externus angulus BDE,
2
aequalis duobus angulis internis DAB, DBA. Quare BDE, plus erit alterius corum, ut anguli DAB. Eodem modo duplus ostendetur angulus CDE, anguli DAC. Quapropter totus BDC, duplus erit totius BAC. Quando enim duae magnitudines duarum sunt duplae, singulae singularum, est quoque aggregatum ex illis aggregati ex his duplum. Constat ergo propositum.