§12.prop.12#3καὶ ὡς ἓν τῶν ἡγουμένων πρὸς ἓν τῶν ἑπομένων, οὕτως ἅπαντα τὰ ἡγούμενα πρὸς ἅπαντα τὰ ἑπόμενα· ἔστιν ἄρα καὶ ὡς ἡ ΒΚΤΛ πυραμὶς πρὸς τὴν ΖΜΟΝ πυραμίδα, οὕτως ἡ ὅλη πυραμίς, ἧς βάσις τὸ ΑΤΒΥΓΦΔΧ πολύγωνον, κορυφὴ δὲ τὸ Λ σημεῖον, πρὸς τὴν ὅλην πυραμίδα, ἧς βάσις μὲν τὸ ΕΟΖΠΗΡΘΣ πολύγωνον, κορυφὴ δὲ τὸ Ν σημεῖον·
And as one of the antecedents is to one of the consequents, so are all the antecedents to all the consequents; therefore, as the pyramid BKTL is to the pyramid ZMON, so is the whole pyramid, of which the base is the polygon ATBYGPhDCh and the vertex the point L, to the whole pyramid, of which the base is the polygon EOZPHRThS and the vertex the point N.
ὥστε καὶ πυραμίς, ἧς βάσις μὲν τὸ ΑΤΒΥΓΦΔΧ, κορυφὴ δὲ τὸ Λ, πρὸς τὴν πυραμίδα, ἧς βάσις τὸ ΕΟΖΠΗΡΘΣ πολύγωνον, κορυφὴ δὲ τὸ Ν σημεῖον, τριπλασίονα λόγον ἔχει ἤπερ ἡ ΒΔ πρὸς τὴν ΖΘ. ὑπόκειται δὲ καὶ ὁ κῶνος, οὗ βάσις ὁ ΑΒΓΔ κύκλος, κορυφὴ δὲ τὸ Λ σημεῖον, πρὸς τὸ Ξ στερεὸν τριπλασίονα λόγον ἔχων ἤπερ ἡ ΒΔ πρὸς τὴν ΖΘ· ἔστιν ἄρα ὡς ὁ κῶνος, οὗ βάσις μέν ἐστιν ὁ ΑΒΓΔ κύκλος, κορυφὴ δὲ τὸ Λ, πρὸς τὸ Ξ στερεόν, οὕτως ἡ πυραμίς, ἧς βάσις μὲν τὸ ΑΤΒΥΓΦΔΧ, κορυφὴ δὲ τὸ Λ, πρὸς τὴν πυραμίδα, ἧς βάσις μέν ἐστι τὸ ΕΟΖΠΗΡΘΣ πολύγωνον, κορυφὴ δὲ τὸ Ν·
And so the pyramid, of which the base is ATBYGPhDCh and the vertex L, to the pyramid, of which the base is the polygon EOZPHRThS and the vertex the point N, has the triplicate ratio of that which BD has to ZTh. And the cone, of which the base is the circle ABCD and the vertex the point L, is also assumed to have to the solid Xi the triplicate ratio of that which BD has to ZTh; therefore, as the cone, of which the base is the circle ABCD and the vertex L, is to the solid Xi, so is the pyramid, of which the base is ATBYGPhDCh and the vertex L, to the pyramid, of which the base is the polygon EOZPHRThS and the vertex N.
ἐναλλὰξ ἄρα, ὡς ὁ κῶνος, οὗ βάσις μὲν ὁ ΑΒΓΔ κύκλος, κορυφὴ δὲ τὸ Λ, πρὸς τὴν ἐν αὐτῷ πυραμίδα, ἧς βάσις μὲν τὸ ΑΤΒΥΓΦΔΧ πολύγωνον, κορυφὴ δὲ τὸ Λ, οὕτως τὸ Ξ πρὸς τὴν πυραμίδα, ἧς βάσις μέν ἐστι τὸ ΕΟΖΠΗΡΘΣ πολύγωνον, κορυφὴ δὲ τὸ Ν. μείζων δὲ ὁ εἰρημένος κῶνος τῆς ἐν αὐτῷ πυραμίδος· ἐμπεριέχει γὰρ αὐτήν.
Therefore, alternately, as the cone, of which the base is the circle ABCD and the vertex L, is to the pyramid in it, of which the base is the polygon ATBYGPhDCh and the vertex L, so is the solid Xi to the pyramid, of which the base is the polygon EOZPHRThS and the vertex N. But the said cone is greater than the pyramid in it; for it encloses it.
μεῖζον ἄρα καὶ τὸ Ξ στερεὸν τῆς πυραμίδος, ἧς βάσις μέν ἐστι τὸ ΕΟΖΠΗΡΘΣ πολύγωνον, κορυφὴ δὲ τὸ Ν. ἀλλὰ καὶ ἔλαττον· ὅπερ ἐστὶν ἀδύνατον.
Therefore the solid Xi is also greater than the pyramid, of which the base is the polygon EOZPHRThS and the vertex N. But it is also less; which is impossible.
οὐκ ἄρα ὁ κῶνος, οὗ βάσις ὁ ΑΒΓΔ κύκλος, κορυφὴ δὲ τὸ Λ, πρὸς ἔλαττόν τι τοῦ κώνου στερεόν, οὗ βάσις μὲν ὁ ΕΖΗΘ κύκλος, κορυφὴ δὲ τὸ Ν σημεῖον, τριπλασίονα λόγον ἔχει ἤπερ ἡ ΒΔ πρὸς τὴν ΖΘ. ὁμοίως δὴ δείξομεν, ὅτι οὐδὲ ὁ ΕΖΗΘΝ κῶνος πρὸς ἔλαττόν τι τοῦ ΑΒΓΔΛ κώνου στερεὸν τριπλασίονα λόγον ἔχει ἤπερ ἡ ΖΘ πρὸς τὴν ΒΔ.
λέγω δή, ὅτι οὐδὲ ὁ ΑΒΓΔΛ κῶνος πρὸς μεῖζόν τι τοῦ ΕΖΗΘΝ κώνου στερεὸν τριπλασίονα λόγον ἔχει ἤπερ ἡ ΒΔ πρὸς τὴν ΖΘ.
εἰ γὰρ δυνατόν, ἐχέτω πρὸς μεῖζον τὸ Ξ. ἀνάπαλιν ἄρα τὸ Ξ στερεὸν πρὸς τὸν ΑΒΓΔΛ κῶνον τριπλασίονα λόγον ἔχει ἤπερ ἡ ΖΘ πρὸς τὴν ΒΔ. ὡς δὲ τὸ Ξ στερεὸν πρὸς τὸν ΑΒΓΔΛ κῶνον, οὕτως ὁ ΕΖΗΘΝ κῶνος πρὸς ἔλαττόν τι τοῦ ΑΒΓΔΛ κώνου στερεόν.
Therefore the cone, of which the base is the circle ABCD and the vertex L, does not have to any solid less than the cone, of which the base is the circle EZHTh and the vertex the point N, the triplicate ratio of that which BD has to ZTh. Similarly we shall show that neither does the cone EZHThN have to any solid less than the cone ABCDL the triplicate ratio of that which ZTh has to BD. I say then, that neither does the cone ABCDL have to any solid greater than the cone EZHThN the triplicate ratio of that which BD has to ZTh. For, if possible, let it have it to the greater, the solid Xi. Therefore, inversely, the solid Xi to the cone ABCDL has the triplicate ratio of that which ZTh has to BD. But as the solid Xi is to the cone ABCDL, so is the cone EZHThN to some solid less than the cone ABCDL.
καὶ ὁ ΕΖΗΘΝ ἄρα κῶνος πρὸς ἔλαττόν τι τοῦ ΑΒΓΔΛ κώνου στερεὸν τριπλασίονα λόγον ἔχει ἤπερ ἡ ΖΘ πρὸς τὴν ΒΔ· ὅπερ ἀδύνατον ἐδείχθη.
Therefore also the cone EZHThN to some solid less than the cone ABCDL has the triplicate ratio of that which ZTh has to BD; which was shown to be impossible.
οὐκ ἄρα ὁ ΑΒΓΔΛ κῶνος πρὸς μεῖζόν τι τοῦ ΕΖΗΘΝ κώνου στερεὸν τριπλασίονα λόγον ἔχει ἤπερ ἡ ΒΔ πρὸς τὴν ΖΘ. ἐδείχθη δέ, ὅτι οὐδὲ πρὸς ἔλαττον.
Therefore the cone ABCDL does not have to any solid greater than the cone EZHThN the triplicate ratio of that which BD has to ZTh. And it was shown that neither does it have it to a less.
ὁ ΑΒΓΔΛ ἄρα κῶνος πρὸς τὸν ΕΖΗΘΝ κῶνον τριπλασίονα λόγον ἔχει ἤπερ ἡ ΒΔ πρὸς τὴν ΖΘ.
ὡς δὲ ὁ κῶνος πρὸς τὸν κῶνον, ὁ κύλινδρος πρὸς τὸν κύλινδρον· τριπλάσιος γὰρ ὁ κύλινδρος τοῦ κώνου ὁ ἐπὶ τῆς αὐτῆς βάσεως τῷ κώνῳ καὶ ἰσοϋψὴς αὐτῷ.
Therefore the cone ABCDL to the cone EZHThN has the triplicate ratio of that which BD has to ZTh. But as the cone is to the cone, so is the cylinder to the cylinder; for the cylinder which is on the same base as the cone and of equal height with it is triple the cone.
καὶ ὁ κύλινδρος ἄρα πρὸς τὸν κύλινδρον τριπλασίονα λόγον ἔχει ἤπερ ἡ ΒΔ πρὸς τὴν ΖΘ.
οἱ ἄρα ὅμοιοι κῶνοι καὶ κύλινδροι πρὸς ἀλλήλους ἐν τριπλασίονι λόγῳ εἰσὶ τῶν ἐν ταῖς βάσεσι διαμέτρων· ὅπερ ἔδει δεῖξαι.
Therefore the cylinder also to the cylinder has the triplicate ratio of that which BD has to ZTh. Therefore, similar cones and cylinders are to one another in the triplicate ratio of the diameters in their bases; which it was required to show.