ex formula quantitatem compos utcumque composita formata exprimere simplice nota
(1) Magnitudo est quod in re exprimitur per numerum partium determinatarum. Scholium: Ex. gr. orgyiae (quantum homo brachia extendere potest) magnitudo censetur exprimi numero sex pedum vel (quia pes 12 pollicum est) per numerum 72 pollicum. Ulnae vel cubiti magnitudo per numerum unius et dimidii pedis vel per unum pedem et sex pollices.
(2) Explicatio characteristica (definitio)/ Explicatio [illisible]
a, b, signi et similes notae significant numeros magnitudinem rerum exprimentes sive certes ?, sed ?? incognitas vel dissimul ?? sive incertos ??? qui scilicet ipsis debent assignari, posito aliquam esse rem, cui unitas assignetur, quam mensuram appellamus. ??? si pedi assignetur unitas, orgyia assegnetur 6 pedis ??? … idem …facit quod 6 pedes six pollici assignatur, orgyia assignabitur 72 seu orgyia facit 72 pollici. Priore …?... pes, posteriore pollex … mensura… . Scholium: sit pes p, pollex π, erit orgyia orgyia a, cubitus c p erit 12 π, a erit 6p vel 72 π, Cubitus c erit 1p +1/2p vel 3/2p vel 1p+6 π vel 18 π. Hinc si p (pes) sit mensura vel si ei assignetur unitas a orgyia erit 6, cubitus c erit 3/2, erit 1/12; sin (pollex sit mensura vel unitas) pes p pes erit 12, cubitus c erit 18, orgyia a erit 72. Si L sit latus quadrati sit p diagonalis sit et, diag diagonalis erit ut √2 l √2 vel si latu si l sit 1 d erit √2. Homogenea inter se sunt, quorum magnitudines eadem mensura pro unitati sumta per numeros exprimi possunt.
(3) Definitio Aequalia sunt quorum unum alteri substituti posset salva magnitudine. Et ita designatur a=b, id est ipsi a ubique substitui potest b in magnitudinum calculo, et talis enuntiatio dicitur aequatio vel pes = 12 pollices. Numerus ½ = in lineis u velut in numeris ½=3/6 in lineis pes =12 pollices vel p=12 π areis quadratum super […] hypothenusa trianguli … aequale quod …. duplo quadrato super…{cateti} unde pollicem definiens per π, fiet p=12 π et pedem per p fiet p=12 π
(4) Axioma: a=a
(5) Theorema: Si a=b sequitur esse b=a. Nam quia a=b (ex hypothesi) ergo pro a (per 3) substitui potest b. Substituatur ergo b loco priore ipsius a in aequatione a=a (vera per axiom 3) fiet b=a. Quod erat demonstradum.
(5) Theor. Si a=b et b=c erit a=c, vel ut vulgo enuntiant: quae sunt aequalia uni tertio, aqualia sunt inter se. Nam quia a=b [ex hypothesi priore] poterit in ea (per 3) pro b substitui (per 3) ipsi b pro b ipsi aequale (ex hyp. posteriore) ipsi c, et ex a=b fiat a=c. Q.E.D.
(6) Defin. Si ponantur magnitudines a et b, ut inde fiat una magnitudo m quae vocatur summa, sic scribetur: +a+b=+m Si ex pluribus magnitudinibus simpliciter positis ut a, b ex hoc ipso fiat nova ipsis homogenea, ut m, operatio erit dicetur Additio, nova aequatio dicetur summa et representatio erit talis +a+b=+m. Et + vel plus erit signum additionis (id est simplicis positionis). Idem est in pluribus ut si +a+b+c=m. Schol.: res scilicet redit ad simplicem additionem numerorum, per quos scilicet ob eandem rerum pro unitate positam magnitudines exprimuntur.
(7) Theorem +a+b=+b+a. Patet ex 6 praecedenti quia ibi nihil refert, quo ordine collocentur, sufficit unum cum alio poni.
Explic. Signum + omni notae magnitudinis sine signo sumtae praefigi potest, aut praefixum intelligi. Sed initio saepe omitti solet, itaque a=+a et a+b=+a+b. Hinc et ++a=+a, ut si ponatur f=+a, fiet a=+a=f (ex hypot. b) =+f=++a.
(9) Explic. +0+a+a. Seu 0 est signum nihili, quod nihil addit.
(10) Theor. Si aequalibus addas aequalia, fiunt aequalia. Seu: si sit a+b l, et b=m erit a+b=l+m. Nam a+b=a+b (per 3) itaque in altero a+b pro a ponendo l (ex hyp. priore) et pro b ponendo m (ex hyp. posteriore) quod licet (per 2) utique ex a+b=a+b fiet a+b=l+m. Q.E.D.
(11) Explic. a-a=0. Seu
(11) Ab a subtrahere b significat in magnitudine, in qua ponitur a, sumere aequalem ipsi b, eamque tollere, ideque indicatur scribenduo: a-b vel +a-b. Hinc si in magnitudine, in quo est a, nihil aliud esse ponantur qua… intelligatur quam a b restat nihil, adeoque a-a+0 +b-b=0
(12) Theor. Si ab aequalibus auferas aequalia, residua sunt aequalia. Seu: si sit a=l et b=m erit a-b=l-m. Nam a-b=a-b (per 3) in posteriore pro a ponatur l (ex hyp. 1) et pro b ponatur m (ex hyp. 2). Ergo ex a-b=a-b fiet a-b=l-m. Q.E.D.
(13) Theor. Si a quantitatibus duabus auferas
(14) Theor. Si ab aequalibus auferas duas quantitates et residua sint aequalia; erunt quantitates aequales: seu si fit a=l et a-b=l-m; erit b=m. Nam a-b=l-m (per hyp. 2). Ergo addendo utrobique aequalia b+m et b+m fient (per 10) aequalia a-b+b+m=l-m+b+m. Ergo (per 11 junct. 7) a+m=l+b a quibus aequalibus si aequalia a et l (per hyp. 1) auferantur fient (per hyp. 12) residua aequalia, m=b. Q.E.D.
(15) Theor. Si a=b+e erit a-b=e. Nam ab utroque aequalium auferendo b fient aequalia, a-b=b+e-b, id est (per 11) a-b=e. Q.E.D.
(16) Theor. Si a=-b erit b=-a. Nam quia a=-b (ex hyp.). Ergo addendo aequalibus istis aequalia b et b a et a b et b (per 3) fient (per 10) aequalia: a+b=-b+b. Ergo (per 11) a+b=0 seu (per 15) b=0-a, seu (per 9) a=-b b=-a. Q.E.D.
(17) Theor. Nam -a sit f. Ergo ex hypothesis -a - Nam -a designetur per f seu sit -
(18) Theor. Ergo Unde utrobique addendo a fient (per 10) aequalia -a=a
(19) Theor.
(20) Theor. In omni aequatione licet membrum abjicere ab una parte et signo contrario affectum ponere in altera. Sit
(21) Explic. Quod de formula sub vinculo comprehensa significatus, intelligendum est, de singulis membris vinculo inclusis ut –(a-b) –(+a-b) vel
(22) Theor. Addenda ascribuntur signis retentis, seu
(24) Explic. Si explicando notas formulae per res ipsas, verbi gratia per lineas rectas sibi addendas vel subtrahendas; evanescat tandem subtractio, vel signum –, ita ut semper destruendo id quod est signo – affectum (verb. gr. -b) per aequalis molis signo + affectum, (nempe +b); tandem nihil aliud remaneat in formula vel ei aequivalente se, ex gr. Linea, quam quod sit affectum signo +: Tunc tota formula dicitur designare quantitatem positivam; sin contra(e) postemo signum + evanescat, remanente -, tunc formula denotat quantitatem privativam seu nihilo minorem hoc est, talem, ut ad ipsam addenda sit ipsius moles, quo fiat nihil. Nempe quia (per 11) si ad -a addas a fit 0. Exempli causa si esset +e+b-b et literas omnes significarent quantitates positivas, formula resultat quae explicatae per res, nullum in ultima resolutione deprehenderetur continere signum -, patet
(25) Defin. Si sit
(26) Defin. Minus est, quod aequale est parti alterius nempe majoris verb. gr. sit
(27) Theor. Pars est minor toto, vel totum et majus sua parte. Sit
(28) Defin. Homogenea vel comparabilia sunt quorum unius quantitas ab alterius quantitate semel aut saepius subtrahi potest, ut subtractum relinquat nihil aut aliquid se minus.
(29) Theor. Duo homogenea tunc sunt aequalia, si alterum altero nec minus sit nec majus. Nam homogenea sunt (ex hypoth.) ergo (per 28) quantitas unius eorum ab alterius quantitate semel subtracta aut relinquit nihil, quo facto erunt aequalia (per 11) aut relinquit aliquid, (se rursus minus vel majus) et is cujus quantitas subtrabitur est minus (per 26) Q.E.D. et tunc parti ejus aequo subtractio facta est, aequale erit (vid. 11) adeoque erit minus. Q.E.D.
Theorema: Maius majore est majus minore. Seu si
(31) Problema: Invenire b medium arithmeticum inter a et c, id est, ita ut b tanto sit majore a minus quanto est minore c majus. Constructio. Addantur in unum a et c, et summae dimidium erit b quaesitum. Nam quia (ex hypth. constructionis) b est dimidium ipsius