Στοιχεῖα Εὐκλείδου ζ΄
[Βιβλίον VII]
Αἱ Προτάσεις τῶν Στοιχείων ζ΄.
Προηγουμένη Πρότασις
Ἑπομένη Πρότασις
Πρότασις ζ΄. [7]
Ἐὰν ἀριθμὸς ἀριθμοῦ μέρος ᾖ, ὅπερ ἀφαιρεθεὶς ἀφαιρεθέντος, καὶ ὁ λοιπὸς τοῦ λοιποῦ τὸ αὐτὸ μέρος ἔσται, ὅπερ ὁ ὅλος τοῦ ὅλου.
Ἀριθμὸς γὰρ ὁ ΑΒ ἀριθμοῦ τοῦ ΓΔ μέρος ἔστω, ὅπερ ἀφαιρεθεὶς ὁ ΑΕ ἀφαιρεθέντος τοῦ ΓΖ· λέγω, ὅτι καὶ λοιπὸς ὁ ΕΒ λοιποῦ τοῦ ΖΔ τὸ αὐτὸ μέρος ἐστίν, ὅπερ ὅλος ὁ ΑΒ ὅλου τοῦ ΓΔ.
Ὃ γὰρ μέρος ἐστὶν ὁ ΑΕ τοῦ ΓΖ, τὸ αὐτὸ μέρος ἔστω καὶ ὁ ΕΒ τοῦ ΓΗ. καὶ ἐπεί, ὃ μέρος ἐστὶν ὁ ΑΕ τοῦ ΓΖ, τὸ αὐτὸ μέρος ἐστὶ καὶ ὁ ΕΒ τοῦ ΓΗ, ὃ ἄρα μέρος ἐστὶν ὁ ΑΕ τοῦ ΓΖ, τὸ αὐτὸ μέρος ἐστὶ καὶ ὁ ΑΒ τοῦ ΗΖ. ὃ δὲ μέρος ἐστὶν ὁ ΑΕ τοῦ ΓΖ, τὸ αὐτὸ μέρος ὑπόκειται καὶ ὁ ΑΒ τοῦ ΓΔ· ὃ ἄρα μέρος ἐστὶ καὶ ὁ ΑΒ τοῦ ΗΖ, τὸ αὐτὸ μέρος ἐστὶ καὶ τοῦ ΓΔ· ἴσος ἄρα ἐστὶν ὁ ΗΖ τῷ ΓΔ. κοινὸς ἀφῃρήσθω ὁ ΓΖ· λοιπὸς ἄρα ὁ ΗΓ λοιπῷ τῷ ΖΔ ἐστιν ἴσος. καὶ ἐπεί, ὃ μέρος ἐστὶν ὁ ΑΕ τοῦ ΓΖ, τὸ αὐτὸ μέρος [ἐστὶ] καὶ ὁ ΕΒ τοῦ ΗΓ, ἴσος δὲ ὁ ΗΓ τῷ ΖΔ, ὃ ἄρα μέρος ἐστὶν ὁ ΑΕ τοῦ ΓΖ, τὸ αὐτὸ μέρος ἐστὶ καὶ ὁ ΕΒ τοῦ ΖΔ. ἀλλὰ ὃ μέρος ἐστὶν ὁ ΑΕ τοῦ ΓΖ, τὸ αὐτὸ μέρος ἐστὶ καὶ ὁ ΑΒ τοῦ ΓΔ· καὶ λοιπὸς ἄρα ὁ ΕΒ λοιποῦ τοῦ ΖΔ τὸ αὐτὸ μέρος ἐστίν, ὅπερ ὅλος ὁ ΑΒ ὅλου τοῦ ΓΔ· ὅπερ ἔδει δεῖξαι.
Ἑπομένη Πρότασις
Προηγουμένη Πρότασις
Αἱ Προτάσεις τῶν Στοιχείων ζ΄.
Περιεχόμενα Στοιχείων Εὐκλείδου