Pagina:Fagnano - Opere Matematiche Volume Primo, 1911.djvu/41

12 teoria generale

, ed sarà ; adunque per le definizioni X, e XI si avrà .

Altra dimostrazione di questo corollario. — Per l'ipotesi è uguale ad , ed è uguale a , adunque pel III punto del corollario precedente è uguale a .

II. Nel primo punto di questa dimostrazione si è provato che è uguale ad ; ma per l'ipotesi è uguale a ; adunque per I punto del corollario antecedente .

Corollario XIII. — Dinotino , e fue grandezze anche di specie diversa, ed qualunque numero; io dico, che è uguale ad .

Imperocchè chiamando , ed qualsivoglia aliquota simile delle rispettive grandezze , e , ed la quantità di volte, che dette aliquote sono contenute rispettivamente in , e , sarà , e la proporzionalità da provarsi potrà così rappresentarsi , cioè , la qual'espressione amnifesta chiaramente la sussistenza della proporzionalità suddetta.

Scolio. — Dal presente corollario XIII nasce il seguente

Teorema. — Qualsisia tutto sta a qualunque sia aliquota, come qualsivoglia altro tutto alla sua aliquota simile:

I due tutti possono essere non omogenei tra loro.

Dimostrazione. — Chiamando il primo tutto, ed qualunque sua aliquota, come pure il numero delle volte, che detta aliquota entra nel medesimo tutto, sarà eguale ad ; chiamando poi il secondo tutto, e la sua aliquota simile, sarà eguale a ; ma pel presente corollario XIII si ha ; adunque se in questa proporzionalità si sostituisce in luogo di , e in cambio di , si avrà pel corollario IX de' principj ; il che doveva dimostrarsi.