View:
By Type
ἐὰν ᾖ ὡς ὅλος πρὸς ὅλον, οὕτως ἀφαιρεθεὶς πρὸς ἀφαιρεθέντα, καὶ ὁ λοιπὸς πρὸς τὸν λοιπὸν ἔσται, ὡς ὅλος πρὸς ὅλον.
ἔστω ὡς ὅλος ὁ
ΑΒ πρὸς ὅλον τὸν
ΓΔ, οὕτως ἀφαιρεθεὶς
ὁ ΑΕ πρὸς ἀφαιρεθέντα τὸν ΓΖ· λέγω, ὅτι καὶ λοιπὸς ὁ ΕΒ πρὸς λοιπὸν τὸν ΖΔ ἐστιν, ὡς ὅλος ὁ ΑΒ πρὸς ὅλον τὸν ΓΔ.
ὁ ΑΕ πρὸς ἀφαιρεθέντα τὸν ΓΖ· λέγω, ὅτι καὶ λοιπὸς ὁ ΕΒ πρὸς λοιπὸν τὸν ΖΔ ἐστιν, ὡς ὅλος ὁ ΑΒ πρὸς ὅλον τὸν ΓΔ.
ἐπεί ἐστιν ὡς ὁ
ΑΒ πρὸς τὸν
ΓΔ, οὕτως ὁ
ΑΕ πρὸς τὸν
ΓΖ, ὃ ἄρα μέρος ἐστὶν ὁ
ΑΒ τοῦ
ΓΔ ἢ μέρη, τὸ αὐτὸ μέρος ἐστὶ καὶ ὁ ΑΕ τοῦ ΓΖ ἢ τὰ αὐτὰ μέρη. καὶ λοιπὸς ἄρα ὁ ΕΒ λοιποῦ τοῦ ΖΔ τὸ αὐτὸ μέρος ἐστὶν ἢ μέρη, ἅπερ ὁ ΑΒ τοῦ ΓΔ. ἔστιν ἄρα ὡς ὁ ΕΒ πρὸς τὸν ΖΔ, οὕτως ὁ ΑΒ πρὸς τὸν ΓΔ· ὅπερ ἔδει δεῖξαι.
ΓΔ ἢ μέρη, τὸ αὐτὸ μέρος ἐστὶ καὶ ὁ ΑΕ τοῦ ΓΖ ἢ τὰ αὐτὰ μέρη. καὶ λοιπὸς ἄρα ὁ ΕΒ λοιποῦ τοῦ ΖΔ τὸ αὐτὸ μέρος ἐστὶν ἢ μέρη, ἅπερ ὁ ΑΒ τοῦ ΓΔ. ἔστιν ἄρα ὡς ὁ ΕΒ πρὸς τὸν ΖΔ, οὕτως ὁ ΑΒ πρὸς τὸν ΓΔ· ὅπερ ἔδει δεῖξαι.
Elementa. Euclid. ed. Johan Ludvig Heiberg. Leipzig. 1883-1888.
Sponsored by Perseus Project, Tufts University.
Funding provided by The National Science Foundation.