Kitap 10
12
ἐπεὶ γὰρ σύμμετρόν ἐστι τὸ Α τῷ Γ, τὸ Α ἄρα πρὸς τὸ Γ λόγον ἔχει, ὃν ἀριθμὸς πρὸς ἀριθμόν. ἐχέτω, ὃν ὁ Δ πρὸς τὸν Ε. πάλιν, ἐπεὶ σύμμετρόν ἐστι τὸ Γ τῷ Β, τὸ Γ ἄρα πρὸς τὸ Β λόγον ἔχει, ὃν ἀριθμὸς πρὸς ἀριθμόν. ἐχέτω, ὃν ὁ Ζ πρὸς τὸν Η. καὶ λόγων δοθέντων ὁποσωνοῦν τοῦ τε, ὃν ἔχει ὁ Δ πρὸς τὸν Ε, καὶ ὁ Ζ πρὸς τὸν Η εἰλήφθωσαν ἀριθμοὶ ἑξῆς ἐν τοῖς δοθεῖσι λόγοις οἱ Θ, Κ, Λ· ὥστε εἶναι ὡς μὲν τὸν Δ πρὸς τὸν Ε, οὕτως τὸν Θ πρὸς τὸν Κ, ὡς δὲ τὸν Ζ πρὸς τὸν Η, οὕτως τὸν Κ πρὸς τὸν Λ.
12
ἐπεὶ οὖν ἐστιν ὡς τὸ Α πρὸς τὸ Γ, οὕτως ὁ Δ πρὸς τὸν Ε, ἀλλʼ ὡς ὁ Δ πρὸς τὸν Ε, οὕτως ὁ Θ πρὸς τὸν Κ, ἔστιν ἄρα καὶ ὡς τὸ Α πρὸς τὸ Γ, οὕτως ὁ Θ πρὸς τὸν Κ. πάλιν, ἐπεί ἐστιν ὡς τὸ Γ πρὸς τὸ Β, οὕτως ὁ Ζ πρὸς τὸν Η, ἀλλʼ ὡς ὁ Ζ πρὸς τὸν Η, οὕτως ὁ Κ πρὸς τὸν Λ, καὶ ὡς ἄρα τὸ Γ πρὸς τὸ Β, οὕτως ὁ Κ πρὸς τὸν Λ. ἔστι δὲ καὶ ὡς τὸ Α πρὸς τὸ Γ, οὕτως ὁ Θ πρὸς τὸν Κ· διʼ ἴσου ἄρα ἐστὶν ὡς τὸ Α πρὸς τὸ Β, οὕτως ὁ Θ πρὸς τὸν Λ. τὸ Α ἄρα πρὸς τὸ Β λόγον ἔχει, ὃν ἀριθμὸς ὁ Θ πρὸς ἀριθμὸν τὸν Λ· σύμμετρον ἄρα ἐστὶ τὸ Α τῷ Β.
12
τὰ ἄρα τῷ αὐτῷ μεγέθει σύμμετρα καὶ ἀλλήλοις ἐστὶ σύμμετρα· ὅπερ ἔδει δεῖξαι.
13
ἐὰν ᾖ δύο μεγέθη σύμμετρα, τὸ δὲ ἕτερον αὐτῶν μεγέθει τινὶ ἀσύμμετρον ᾖ, καὶ τὸ λοιπὸν τῷ αὐτῷ ἀσύμμετρον ἔσται.
13
ἔστω δύο μεγέθη σύμμετρα τὰ Α, Β, τὸ δὲ ἕτερον αὐτῶν τὸ Α ἄλλῳ τινὶ τῷ Γ ἀσύμμετρον ἔστω· λέγω, ὅτι καὶ τὸ λοιπὸν τὸ Β τῷ Γ ἀσύμμετρόν ἐστιν.
13
εἰ γάρ ἐστι σύμμετρον τὸ Β τῷ Γ, ἀλλὰ καὶ τὸ Α τῷ Β σύμμετρόν ἐστιν, καὶ τὸ Α ἄρα τῷ Γ σύμμετρόν ἐστιν. ἀλλὰ καὶ ἀσύμμετρον· ὅπερ ἀδύνατον. οὐκ ἄρα σύμμετρόν ἐστι τὸ Β τῷ Γ· ἀσύμμετρον ἄρα.
13
ἐὰν ἄρα ᾖ δύο μεγέθη σύμμετρα, καὶ τὰ ἑξῆς.
13
λῆμμα
13
δύο δοθεισῶν εὐθειῶν ἀνίσων εὑρεῖν, τίνι μεῖζον δύναται ἡ μείζων τῆς ἐλάσσονος.
13
ἔστωσαν αἱ δοθεῖσαι δύο ἄνισοι εὐθεῖαι αἱ ΑΒ, Γ, ὧν μείζων ἔστω ἡ ΑΒ· δεῖ δὴ εὑρεῖν, τίνι μεῖζον δύναται ἡ ΑΒ τῆς Γ.
13
γεγράφθω ἐπὶ τῆς ΑΒ ἡμικύκλιον τὸ ΑΔΒ, καὶ εἰς αὐτὸ ἐνηρμόσθω τῇ Γ ἴση ἡ ΑΔ, καὶ ἐπεζεύχθω ἡ ΔΒ. φανερὸν δή, ὅτι ὀρθή ἐστιν ἡ ὑπὸ ΑΔΒ γωνία, καὶ ὅτι ἡ ΑΒ τῆς ΑΔ, τουτέστι τῆς Γ, μεῖζον δύναται τῇ ΔΒ.
