THEOREMA III. PROPOS. III.
Et incommensurabilia corpora eiusdem generis eandem in grauitate rationem habent, quam in magnitudine.
SINT incommensurabilia corpora A, BC, quorum grauitates D, ipsius A, et EF, ipsius BC.
Dico esse ut A, ad BC, ita D, ad EF, si
-- 3 -- enim non est ut A, ad BC, ita D, ad EF, erit ut A, ad BC, ita D, vel ad minorem quam EF, vel ad maiorem, sit primum ad minore, nempe ad EG, et exponatur aliquod corpus K, eiusdem generis cum corporibus A, B C, cuius grauitas sit aequalis ipsi GF, et a corpore BC, auferatur aliqua pars HC, quae sit minor corpore K, ita ut reliquae pars. BL, sit commensurabilis ipsi A. et sit partis HC, grauitas IF, ergo reliquae partis BL, grauitas erit EI.
Quoniam igitur corpus A, commensurabile est ipsi BL,* erit ut A, ad BL, ita D, ad EI, sed ut A, ad BC, ita est D, ad EG, atque A, primus, proportionalium terminus in serie prima, * maiorem habet rationem ad BL, secundum terminum, quam A, primus terminus in serie secunda ad BC, secundum; ergo et D, tertius terminus in serie prima ad EI, quartum, maiorem habebit rationem quam D, tertius terminus in serie secunda ad EG, quartum, quoniam igitur D, maiorem habet rationem ad EI, quam ad EG,* erit EI, minor quam EG, quod est absurdum.
non igitur est ut A, ad BC, ita D, ad minorem quam EF.
Ex antecedente.
2. 5. Elem.
10. 5. Elem.
Deinde sit ut A, ad BC, ita D, ad maiorem quam EF, nempe ad EG, et exposito corpore K, ut dictum est, cuius grauitas, sit aequalis grauitati FG, addatur corpori BC, aliquod corpus CH, quod sit minus corpore K, et eiusdem generis cum corporibus A, BC, ita ut totum corpus BL, sit commensurabile ipsi A, et sit ipsius CH, grauitas FI, ergo totius corporis BL, grauitas erit EI; Quoniam igitur corpori A, commensurabile est corpus BL,* erit ut A, ad BL, ita D, ad EI, sed ut A, ad BC, ita est D, ad EG, atque A, primus proportionalium terminus in serie prima, * minorem habet rationem ad BL, secundum terminum,
-- 4 -- quam A, primus terminus in serie secunda ad BC, secundum, ergo, et D, tertius terminus in serie prima ad EI, quartum, minorem habebit rationem quam D, tertius terminus in serie secunda ad EG, quartum.
Quoniam igitur D, minorem habet rationem ad EI, quam ad EG, erit * EI, maior quam EG, quod est absurdum.
Non igitur est ut A, ad BC, ita D, ad maiorem quam EF, ostensum autem est neque ad minorem; quare ut A, ad BC, ita erit D, ad EF. et incommensurabilia igitur corpora eiusdem generis eandem in grauitate rationem habent, quam in magnitudine, quod erat demonstrandum.
Ex anteced..8. 5.Ele
10. 5. Elem.
ID QVOD nos duobus praecedentibus Theorematis demonstrauimus, nonnulli, ut per se notum, et ut commune quoddam axioma supponunt, quam bene et rationabiliter ipsi viderint; melius enim Euclides propositionem 20. primi libri Elementorum supposuisset ut pronuntiatum; unicuique enim notius est duo trianguli latera reliquo esse maiora (cum et Asino illud sit notum) quam corpora grauia eiusdem generis eandem in grauitate rationem habere, quam in magnitudine, et tamen illam propositionem demonstrat Euclides, non supponit, non igitur haec, quae minus ad principij rationem accedit, supponenda fuit, sed demonstranda.
