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