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

[Βιβλίον IX]

---

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

Πρότασις ιε΄. [15]

Ἐὰν τρεῖς ἀριθμοὶ ἑξῆς ἀνάλογον ὦσιν ἐλάχιστοι τῶν τὸν αὐτὸν λόγον ἐχόντων αὐτοῖς, δύο ὁποιοιοῦν συντεθέντες πρὸς τὸν λοιπὸν πρῶτοί εἰσιν.

Ἔστωσαν τρεῖς ἀριθμοὶ ἑξῆς ἀνάλογον ἐλάχιστοι τῶν τὸν αὐτὸν λόγον ἐχόντων αὐτοῖς οἱ Α, Β, Γ· λέγω, ὅτι τῶν Α, Β, Γ δύο ὁποιοιοῦν συντεθέντες πρὸς τὸν λοιπὸν πρῶτοί εἰσιν, οἱ μὲν Α, Β πρὸς τὸν Γ, οἱ δὲ Β, Γ πρὸς τὸν Α καὶ ἔτι οἱ Α, Γ πρὸς τὸν Β.

• 

Εἰλήφθωσαν γὰρ ἐλάχιστοι ἀριθμοὶ τῶν τὸν αὐτὸν λόγον ἐχόντων τοῖς Α, Β, Γ δύο οἱ ΔΕ, ΕΖ. φανερὸν δή, ὅτι ὁ μὲν ΔΕ ἑαυτὸν πολλαπλασιάσας τὸν Α πεποίηκεν, τὸν δὲ ΕΖ πολλαπλασιάσας τὸν Β πεποίηκεν, καὶ ἔτι ὁ ΕΖ ἑαυτὸν πολλαπλασιάσας τὸν Γ πεποίηκεν. καὶ ἐπεὶ οἱ ΔΕ, ΕΖ ἐλάχιστοί εἰσιν, πρῶτοι πρὸς ἀλλήλους εἰσίν. ἐὰν δὲ δύο ἀριθμοί πρῶτοι πρὸς ἀλλήλους ὦσιν, καὶ συναμφότερος πρὸς ἑκάτερον πρῶτός ἐστιν· καὶ ὁ ΔΖ ἄρα πρὸς ἑκάτερον τῶν ΔΕ, ΕΖ πρῶτός ἐστιν. ἀλλὰ μὴν καὶ ὁ ΔΕ πρὸς τὸν ΕΖ πρῶτός ἐστιν· οἱ ΔΖ, ΔΕ ἄρα πρὸς τὸν ΕΖ πρῶτοί εἰσιν. ἐὰν δὲ δύο ἀριθμοὶ πρός τινα ἀριθμὸν πρῶτοι ὦσιν, καὶ ὁ ἐξ αὐτῶν γενόμενος πρὸς τὸν λοιπὸν πρῶτός ἐστιν· ὥστε ὁ ἐκ τῶν ΖΔ, ΔΕ πρὸς τὸν ΕΖ πρῶτός ἐστιν· ὥστε καὶ ὁ ἐκ τῶν ΖΔ, ΔΕ πρὸς τὸν ἀπὸ τοῦ ΕΖ πρῶτός ἐστιν. [ἐὰν γὰρ δύο ἀριθμοὶ πρῶτοι πρὸς ἀλλήλους ὦσιν, ὁ ἐκ τοῦ ἑνὸς αὐτῶν γενόμενος πρὸς τὸν λοιπὸν πρῶτός ἐστιν]. ἀλλ' ὁ ἐκ τῶν ΖΔ, ΔΕ ὁ ἀπὸ τοῦ ΔΕ ἐστι μετὰ τοῦ ἐκ τῶν ΔΕ, ΕΖ· ὁ ἄρα ἀπὸ τοῦ ΔΕ μετὰ τοῦ ἐκ τῶν ΔΕ, ΕΖ πρὸς τὸν ἀπὸ τοῦ ΕΖ πρῶτός ἐστιν. καί ἐστιν ὁ μὲν ἀπὸ τοῦ ΔΕ ὁ Α, ὁ δὲ ἐκ τῶν ΔΕ, ΕΖ ὁ Β, ὁ δὲ ἀπὸ τοῦ ΕΖ ὁ Γ· οἱ Α, Β ἄρα συντεθέντες πρὸς τὸν Γ πρῶτοί εἰσιν. ὁμοίως δὴ δείξομεν, ὅτι καὶ οἱ Β, Γ πρὸς τὸν Α πρῶτοί εἰσιν. λέγω δή, ὅτι καὶ οἱ Α, Γ πρὸς τὸν Β πρῶτοί εἰσιν. ἐπεὶ γὰρ ὁ ΔΖ πρὸς ἑκάτερον τῶν ΔΕ, ΕΖ πρῶτός ἐστιν, καὶ ὁ ἀπὸ τοῦ ΔΖ πρὸς τὸν ἐκ τῶν ΔΕ, ΕΖ πρῶτός ἐστιν. ἀλλὰ τῷ ἀπὸ τοῦ ΔΖ ἴσοι εἰσὶν οἱ ἀπὸ τῶν ΔΕ, ΕΖ μετὰ τοῦ δὶς ἐκ τῶν ΔΕ, ΕΖ· καὶ οἱ ἀπὸ τῶν ΔΕ, ΕΖ ἄρα μετὰ τοῦ δὶς ὑπὸ τῶν ΔΕ, ΕΖ πρὸς τὸν ὑπὸ τῶν ΔΕ, ΕΖ πρῶτοί [εἰσι]. διελόντι οἱ ἀπὸ τῶν ΔΕ, ΕΖ μετὰ τοῦ ἅπαξ ὑπὸ ΔΕ, ΕΖ πρὸς τὸν ὑπὸ ΔΕ, ΕΖ πρῶτοί εἰσιν. ἔτι διελόντι οἱ ἀπὸ τῶν ΔΕ, ΕΖ ἄρα πρὸς τὸν ὑπὸ ΔΕ, ΕΖ πρῶτοί εἰσιν. καί ἐστιν ὁ μὲν ἀπὸ τοῦ ΔΕ ὁ Α, ὁ δὲ ὑπὸ τῶν ΔΕ, ΕΖ ὁ Β, ὁ δὲ ἀπὸ τοῦ ΕΖ ὁ Γ. οἱ Α, Γ ἄρα συντεθέντες πρὸς τὸν Β πρῶτοί εἰσιν· ὅπερ ἔδει δεῖξαι.

---

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

---