Στοιχεῖα Εὐκλείδου ζ΄

[Βιβλίον VII]

---

Αἱ Προτάσεις τῶν Στοιχείων ζ΄.
Προηγουμένη Πρότασις
Ἑπομένη Πρότασις

Πρότασις κ΄. [20]

Οἱ ἐλάχιστοι ἀριθμοὶ τῶν τὸν αὐτὸν λόγον ἐχόντων αὐτοῖς μετροῦσι τοὺς τὸν αὐτὸν λόγον ἔχοντας ἰσάκις ὅ τε μείζων τὸν μείζονα καὶ ὁ ἐλάσσων τὸν ἐλάσσονα.

Ἔστωσαν γὰρ ἐλάχιστοι ἀριθμοὶ τῶν τὸν αὐτὸν λόγον ἐχόντων τοῖς Α, Β οἱ ΓΔ, ΕΖ· λέγω, ὅτι ἰσάκις ὁ ΓΔ τὸν Α μετρεῖ καὶ ὁ ΕΖ τὸν Β.

• 

Ὁ ΓΔ γὰρ τοῦ Α οὔκ ἐστι μέρη. εἰ γὰρ δυνατόν, ἔστω· καὶ ὁ ΕΖ ἄρα τοῦ Β τὰ αὐτὰ μέρη ἐστίν, ἅπερ ὁ ΓΔ τοῦ Α. ὅσα ἄρα ἐστὶν ἐν τῷ ΓΔ μέρη τοῦ Α, τοσαῦτά ἐστι καὶ ἐν τῷ ΕΖ μέρη τοῦ Β. διῃρήσθω ὁ μὲν ΓΔ εἰς τὰ τοῦ Α μέρη τὰ ΓΗ, ΗΔ, ὁ δὲ ΕΖ εἰς τὰ τοῦ Β μέρη τὰ ΕΘ, ΘΖ· ἔσται δὴ ἴσον τὸ πλῆθος τῶν ΓΗ, ΗΔ τῷ πλήθει τῶν ΕΘ, ΘΖ. καὶ ἐπεὶ ἴσοι εἰσὶν οἱ ΓΗ, ΗΔ ἀριθμοὶ ἀλλήλοις, εἰσὶ δὲ καὶ οἱ ΕΘ, ΘΖ ἀριθμοὶ ἴσοι ἀλλήλοις, καί ἐστιν ἴσον τὸ πλῆθος τῶν ΓΗ, ΗΔ τῷ πλήθει τῶν ΕΘ, ΘΖ, ἔστιν ἄρα ὡς ὁ ΓΗ πρὸς τὸν ΕΘ, οὕτως ὁ ΗΔ πρὸς τὸν ΘΖ. ἔσται ἄρα καὶ ὡς εἷς τῶν ἡγουμένων πρὸς ἕνα τῶν ἑπομένων, οὕτως ἅπαντες οἱ ἡγούμενοι πρὸς ἅπαντας τοὺς ἑπομένους. ἔστιν ἄρα ὡς ὁ ΓΗ πρὸς τὸν ΕΘ, οὕτως ὁ ΓΔ πρὸς τὸν ΕΖ· οἱ ΓΗ, ΕΘ ἄρα τοῖς ΓΔ, ΕΖ ἐν τῷ αὐτῷ λόγῳ εἰσὶν ἐλάσσονες ὄντες αὐτῶν· ὅπερ ἐστὶν ἀδύνατον· ὑπόκεινται γὰρ οἱ ΓΔ, ΕΖ ἐλάχιστοι τῶν τὸν αὐτὸν λόγον ἐχόντων αὐτοῖς. οὐκ ἄρα μέρη ἐστὶν ὁ ΓΔ τοῦ Α· μέρος ἄρα. καὶ ὁ ΕΖ τοῦ Β τὸ αὐτὸ μέρος ἐστίν, ὅπερ ὁ ΓΔ τοῦ Α· ἰσάκις ἄρα ὁ ΓΔ τὸν Α μετρεῖ καὶ ὁ ΕΖ τὸν Β· ὅπερ ἔδει δεῖξαι.

---

Ἑπομένη Πρότασις
Προηγουμένη Πρότασις
Αἱ Προτάσεις τῶν Στοιχείων ζ΄.
Περιεχόμενα Στοιχείων Εὐκλείδου

---