Kitap 10
5
ἐπεὶ οὖν, ὅσαι εἰσὶν ἐν τῷ Δ μονάδες, τοσαῦτά εἰσι καὶ ἐν τῷ Α μεγέθη ἴσα τῷ Γ, ὃ ἄρα μέρος ἐστὶν ἡ μονὰς τοῦ Δ, τὸ αὐτὸ μέρος ἐστὶ καὶ τὸ Γ τοῦ Α· ἔστιν ἄρα ὡς τὸ Γ πρὸς τὸ Α, οὕτως ἡ μονὰς πρὸς τὸν Δ. μετρεῖ δὲ ἡ μονὰς τὸν Δ ἀριθμόν· μετρεῖ ἄρα καὶ τὸ Γ τὸ Α. καὶ ἐπεί ἐστιν ὡς τὸ Γ πρὸς τὸ Α, οὕτως ἡ μονὰς πρὸς τὸν Δ ἀριθμόν, ἀνάπαλιν ἄρα ὡς τὸ Α πρὸς τὸ Γ, οὕτως ὁ Δ ἀριθμὸς πρὸς τὴν μονάδα. πάλιν ἐπεί, ὅσαι εἰσὶν ἐν τῷ Ε μονάδες, τοσαῦτά εἰσι καὶ ἐν τῷ Ζ ἴσα τῷ Γ, ἔστιν ἄρα ὡς τὸ Γ πρὸς τὸ Ζ, οὕτως ἡ μονὰς πρὸς τὸν Ε ἀριθμόν. ἐδείχθη δὲ καὶ ὡς τὸ Α πρὸς τὸ Γ, οὕτως ὁ Δ πρὸς τὴν μονάδα· διʼ ἴσου ἄρα ἐστὶν ὡς τὸ Α πρὸς τὸ Ζ, οὕτως ὁ Δ πρὸς τὸν Ε. ἀλλʼ ὡς ὁ Δ πρὸς τὸν Ε, οὕτως ἐστὶ τὸ Α πρὸς τὸ Β· καὶ ὡς ἄρα τὸ Α πρὸς τὸ Β, οὕτως καὶ πρὸς τὸ Ζ. τὸ Α ἄρα πρὸς ἑκάτερον τῶν Β, Ζ τὸν αὐτὸν ἔχει λόγον· ἴσον ἄρα ἐστὶ τὸ Β τῷ Ζ. μετρεῖ δὲ τὸ Γ τὸ Ζ· μετρεῖ ἄρα καὶ τὸ Β. ἀλλὰ μὴν καὶ τὸ Α· τὸ Γ ἄρα τὰ Α, Β μετρεῖ. σύμμετρον ἄρα ἐστὶ τὸ Α τῷ Β.
5
ἐὰν ἄρα δύο μεγέθη πρὸς ἄλληλα, καὶ τὰ ἑξῆς.
5
Πόρισμα
5
ἐκ δὴ τούτου φανερόν, ὅτι, ἐὰν ὦσι δύο ἀριθμοί, ὡς οἱ Δ, Ε, καὶ εὐθεῖα, ὡς ἡ Α, δύνατόν ἐστι ποιῆσαι ὡς ὁ Δ ἀριθμὸς πρὸς τὸν Ε ἀριθμόν, οὕτως τὴν εὐθεῖαν πρὸς εὐθεῖαν. ἐὰν δὲ καὶ τῶν Α, Ζ μέση ἀνάλογον ληφθῇ, ὡς ἡ Β, ἔσται ὡς ἡ Α πρὸς τὴν Ζ, οὕτως τὸ ἀπὸ τῆς Α πρὸς τὸ ἀπὸ τῆς Β, τουτέστιν ὡς ἡ πρώτη πρὸς τὴν τρίτην, οὕτως τὸ ἀπὸ τῆς πρώτης πρὸς τὸ ἀπὸ τῆς δευτέρας τὸ ὅμοιον καὶ ὁμοίως ἀναγραφόμενον. ἀλλʼ ὡς ἡ Α πρὸς τὴν Ζ, οὕτως ἐστὶν ὁ Δ ἀριθμὸς πρὸς τὸν Ε ἀριθμόν· γέγονεν ἄρα καὶ ὡς ὁ Δ ἀριθμὸς πρὸς τὸν Ε ἀριθμόν, οὕτως τὸ ἀπὸ τῆς Α εὐθείας πρὸς τὸ ἀπὸ τῆς Β εὐθείας· ὅπερ ἔδει δεῖξαι.
7
τὰ ἀσύμμετρα μεγέθη πρὸς ἄλληλα λόγον οὐκ ἔχει, ὃν ἀριθμὸς πρὸς ἀριθμόν.
7
ἔστω ἀσύμμετρα μεγέθη τὰ Α, Β· λέγω, ὅτι τὸ Α πρὸς τὸ Β λόγον οὐκ ἔχει, ὃν ἀριθμὸς πρὸς ἀριθμόν.
7
εἰ γὰρ ἔχει τὸ Α πρὸς τὸ Β λόγον, ὃν ἀριθμὸς πρὸς ἀριθμόν, σύμμετρον ἔσται τὸ Α τῷ Β. οὐκ ἔστι δέ· οὐκ ἄρα τὸ Α πρὸς τὸ Β λόγον ἔχει, ὃν ἀριθμὸς πρὸς ἀριθμόν.
7
τὰ ἄρα ἀσύμμετρα μεγέθη πρὸς ἄλληλα λόγον οὐκ ἔχει, καὶ τὰ ἑξῆς.
