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
zoom in
zoom out
zoom area
full page
page width
set mark
remove mark
get reference
digilib