142FED. COMMANDINI
96[Figure 96]
linea x cum ſit minor circulo, uel ellipſi, eſt etiam minor fi-
gura rectilinea y. ergo pyramis x pyramide y minor erit.
Sed & maior; quod fieri nõ poteſt. At ſi conus, uel coni por
tio x ponatur minor pyramide y: ſit alter conus æque al-
tus, uel altera coni portio χ ipſi pyramidi y æqualis. erit
eius baſis circulus, uel ellipſis maior circulo, uel ellipſi x,
quorum exceſſus ſit ſpacium ω. Siigitur in circulo, uel elli-
pſi χ figura rectilinea deſcribatur, ita ut portiones relictæ
ſint ω ſpacio minores, eiuſinodi figura adhuc maior erit cir
culo, uel ellipſi x, hoc eſt figura rectilinea _y_. & p_y_ramis in
ea conſtituta minor cono, uel coni portione χ, hoc eſt mi-
nor p_y_ramide_y_. eſt ergo ut χ figura rectilinea ad figuram
rectilineam _y_, ita pyramis χ ad pyramidem _y_. quare cum
figura rectilinea χ ſit maior figura_y_: erit & p_y_ramis χ p_y_-
ramide_y_ maior. ſed erat minor; quod rurſus fieri non po-
teſt. non eſt igitur conus, uel coni portio x neque maior,
neque minor p_y_ramide_y_. ergo ipſi neceſſario eſt æqualis.
Itaque quoniam ut conus ad conum, uel coni portio ad
gura rectilinea y. ergo pyramis x pyramide y minor erit.
Sed & maior; quod fieri nõ poteſt. At ſi conus, uel coni por
tio x ponatur minor pyramide y: ſit alter conus æque al-
tus, uel altera coni portio χ ipſi pyramidi y æqualis. erit
eius baſis circulus, uel ellipſis maior circulo, uel ellipſi x,
quorum exceſſus ſit ſpacium ω. Siigitur in circulo, uel elli-
pſi χ figura rectilinea deſcribatur, ita ut portiones relictæ
ſint ω ſpacio minores, eiuſinodi figura adhuc maior erit cir
culo, uel ellipſi x, hoc eſt figura rectilinea _y_. & p_y_ramis in
ea conſtituta minor cono, uel coni portione χ, hoc eſt mi-
nor p_y_ramide_y_. eſt ergo ut χ figura rectilinea ad figuram
rectilineam _y_, ita pyramis χ ad pyramidem _y_. quare cum
figura rectilinea χ ſit maior figura_y_: erit & p_y_ramis χ p_y_-
ramide_y_ maior. ſed erat minor; quod rurſus fieri non po-
teſt. non eſt igitur conus, uel coni portio x neque maior,
neque minor p_y_ramide_y_. ergo ipſi neceſſario eſt æqualis.
Itaque quoniam ut conus ad conum, uel coni portio ad