Στοιχεῖα Εὐκλείδου ε΄
[Βιβλίον V]
Αἱ Προτάσεις τῶν Στοιχείων ε΄.
Προηγουμένη Πρότασις
Ἑπομένη Πρότασις
Πρότασις ιθ΄. [19]
Ἐὰν ᾖ ὡς ὅλον πρὸς ὅλον, οὕτως ἀφαιρεθὲν πρὸς ἀφαιρεθέν, καὶ τὸ λοιπὸν πρὸς τὸ λοιπὸν ἔσται ὡς ὅλον πρὸς ὅλον.
Ἔστω γὰρ ὡς ὅλον τὸ ΑΒ πρὸς ὅλον τὸ ΓΔ, οὕτως ἀφαιρεθὲν τὸ ΑΕ πρὸς ἀφαιρεθὲν τὸ ΓΖ· λέγω, ὅτι καὶ λοιπὸν τὸ ΕΒ πρὸς λοιπὸν τὸ ΖΔ ἔσται ὡς ὅλον τὸ ΑΒ πρὸς ὅλον τὸ ΓΔ.
Ἐπεὶ γάρ ἐστιν ὡς τὸ ΑΒ πρὸς τὸ ΓΔ, οὕτως τὸ ΑΕ πρὸς τὸ ΓΖ, καὶ ἐναλλὰξ ὡς τὸ ΒΑ πρὸς τὸ ΑΕ, οὕτως τὸ ΔΓ πρὸς τὸ ΓΖ. καὶ ἐπεὶ συγκείμενα μεγέθη ἀνάλογόν ἐστιν, καὶ διαιρεθέντα ἀνάλογον ἔσται, ὡς τὸ ΒΕ πρὸς τὸ ΕΑ, οὕτως τὸ ΔΖ πρὸς τὸ ΓΖ· καὶ ἐναλλάξ, ὡς τὸ ΒΕ πρὸς τὸ ΔΖ, οὕτως τὸ ΕΑ πρὸς τὸ ΖΓ. ὡς δὲ τὸ ΑΕ πρὸς τὸ ΓΖ, οὕτως ὑπόκειται ὅλον τὸ ΑΒ πρὸς ὅλον τὸ ΓΔ. καὶ λοιπὸν ἄρα τὸ ΕΒ πρὸς λοιπὸν τὸ ΖΔ ἔσται ὡς ὅλον τὸ ΑΒ πρὸς ὅλον τὸ ΓΔ.
Ἐὰν ἄρα ᾖ ὡς ὅλον πρὸς ὅλον, οὕτως ἀφαιρεθὲν πρὸς ἀφαιρεθέν, καὶ τὸ λοιπὸν πρὸς τὸ λοιπὸν ἔσται ὡς ὅλον πρὸς ὅλον [ὅπερ ἔδει δεῖξαι].
[Καὶ ἐπεὶ ἐδείχθη ὡς τὸ ΑΒ πρὸς τὸ ΓΔ, οὕτως τὸ ΕΒ πρὸς τὸ ΖΔ, καὶ ἐναλλὰξ ὡς τὸ ΑΒ πρὸς τὸ ΒΕ οὕτως τὸ ΓΔ πρὸς τὸ ΖΔ, συγκείμενα ἄρα μεγέθη ἀνάλογόν ἐστιν· ἐδείχθη δὲ ὡς τὸ ΒΑ πρὸς τὸ ΑΕ, οὕτως τὸ ΔΓ πρὸς τὸ ΓΖ· καί ἐστιν ἀναστρέψαντι].
Πόρισμα
Ἐκ δὴ τούτου φανερόν, ὅτι ἐὰν συγκείμενα μεγέθη ἀνάλογον ᾖ, καὶ ἀναστρέψαντι ἀνάλογον ἔσται· ὅπερ ἔδει δεῖξαι.
Ἑπομένη Πρότασις
Προηγουμένη Πρότασις
Αἱ Προτάσεις τῶν Στοιχείων ε΄.
Περιεχόμενα Στοιχείων Εὐκλείδου