Book 10
17
τῶν γὰρ αὐτῶν κατασκευασθέντων ὁμοίως δείξομεν, ὅτι ἡ ΒΓ τῆς Α μεῖζον δύναται τῷ ἀπὸ τῆς ΖΔ. δύναται δὲ ἡ ΒΓ τῆς Α μεῖζον τῷ ἀπὸ συμμέτρου ἑαυτῇ. σύμμετρος ἄρα ἐστὶν ἡ ΒΓ τῇ ΖΔ μήκει· ὥστε καὶ λοιπῇ συναμφοτέρῳ τῇ ΒΖ, ΔΓ σύμμετρός ἐστιν ἡ ΒΓ μήκει. ἀλλὰ συναμφότερος ἡ ΒΖ, ΔΓ σύμμετρός ἐστι τῇ ΔΓ μήκει. ὥστε καὶ ἡ ΒΓ τῇ ΓΔ σύμμετρός ἐστι μήκει· καὶ διελόντι ἄρα ἡ ΒΔ τῇ ΔΓ ἐστι σύμμετρος μήκει.
17
ἐὰν ἄρα ὦσι δύο εὐθεῖαι ἄνισοι, καὶ τὰ ἑξῆς.
18
ἐὰν ὦσι δύο εὐθεῖαι ἄνισοι, τῷ δὲ τετάρτῳ μέρει τοῦ ἀπὸ τῆς ἐλάσσονος ἴσον παρὰ τὴν μείζονα παραβληθῇ ἐλλεῖπον εἴδει τετραγώνῳ, καὶ εἰς ἀσύμμετρα αὐτὴν διαιρῇ μήκει, ἡ μείζων τῆς ἐλάσσονος μεῖζον δυνήσεται τῷ ἀπὸ ἀσυμμέτρου ἑαυτῇ. καὶ ἐὰν ἡ μείζων τῆς ἐλάσσονος μεῖζον δύνηται τῷ ἀπὸ ἀσυμμέτρου ἑαυτῇ, τῷ δὲ τετάρτῳ τοῦ ἀπὸ τῆς ἐλάσσονος ἴσον παρὰ τὴν μείζονα παραβληθῇ ἐλλεῖπον εἴδει τετραγώνῳ, εἰς ἀσύμμετρα αὐτὴν διαιρεῖ μήκει.
18
῎ἔστωσαν δύο εὐθεῖαι ἄνισοι αἱ Α, ΒΓ, ὧν μείζων ἡ ΒΓ, τῷ δὲ τετάρτῳ μέρει τοῦ ἀπὸ τῆς ἐλάσσονος τῆς Α ἴσον παρὰ τὴν ΒΓ παραβεβλήσθω ἐλλεῖπον εἴδει τετραγώνῳ, καὶ ἔστω τὸ ὑπὸ τῶν ΒΔΓ, ἀσύμμετρος δὲ ἔστω ἡ ΒΔ τῇ ΔΓ μήκει· λέγω, ὅτι ἡ ΒΓ τῆς Α μεῖζον δύναται τῷ ἀπὸ ἀσυμμέτρου ἑαυτῇ.
