Kitap 6
19
ἐπεὶ οὖν ἐστιν ὡς ἡ ΑΒ πρὸς τὴν ΒΓ, οὕτως ἡ ΔΕ πρὸς τὴν ΕΖ, ἐναλλὰξ ἄρα ἐστὶν ὡς ἡ ΑΒ πρὸς τὴν ΔΕ, οὕτως ἡ ΒΓ πρὸς τὴν ΕΖ. ἀλλʼ ὡς ἡ ΒΓ πρὸς ΕΖ, οὕτως ἐστὶν ἡ ΕΖ πρὸς ΒΗ. καὶ ὡς ἄρα ἡ ΑΒ πρὸς ΔΕ, οὕτως ἡ ΕΖ πρὸς ΒΗ· τῶν ΑΒΗ, ΔΕΖ ἄρα τριγώνων ἀντιπεπόνθασιν αἱ πλευραὶ αἱ περὶ τὰς ἴσας γωνίας. ὧν δὲ μίαν μιᾷ ἴσην ἐχόντων γωνίαν τριγώνων ἀντιπεπόνθασιν αἱ πλευραὶ αἱ περὶ τὰς ἴσας γωνίας, ἴσα ἐστὶν ἐκεῖνα. ἴσον ἄρα ἐστὶ τὸ ΑΒΗ τρίγωνον τῷ ΔΕΖ τριγώνῳ. καὶ ἐπεί ἐστιν ὡς ἡ ΒΓ πρὸς τὴν ΕΖ, οὕτως ἡ ΕΖ πρὸς τὴν ΒΗ, ἐὰν δὲ τρεῖς εὐθεῖαι ἀνάλογον ὦσιν, ἡ πρώτη πρὸς τὴν τρίτην διπλασίονα λόγον ἔχει ἤπερ πρὸς τὴν δευτέραν, ἡ ΒΓ ἄρα πρὸς τὴν ΒΗ διπλασίονα λόγον ἔχει ἤπερ ἡ ΓΒ πρὸς τὴν ΕΖ. ὡς δὲ ἡ ΓΒ πρὸς τὴν ΒΗ, οὕτως τὸ ΑΒΓ τρίγωνον πρὸς τὸ ΑΒΗ τρίγωνον· καὶ τὸ ΑΒΓ ἄρα τρίγωνον πρὸς τὸ ΑΒΗ διπλασίονα λόγον ἔχει ἤπερ ἡ ΒΓ πρὸς τὴν ΕΖ. ἴσον δὲ τὸ ΑΒΗ τρίγωνον τῷ ΔΕΖ τριγώνῳ· καὶ τὸ ΑΒΓ ἄρα τρίγωνον πρὸς τὸ ΔΕΖ τρίγωνον διπλασίονα λόγον ἔχει ἤπερ ἡ ΒΓ πρὸς τὴν ΕΖ.
19
τὰ ἄρα ὅμοια τρίγωνα πρὸς ἄλληλα ἐν διπλασίονι λόγῳ ἐστὶ τῶν ὁμολόγων πλευρῶν· ὅπερ ἔδει δεῖξαι.
19
Πόρισμα
19
ἐκ δὴ τούτου φανερόν, ὅτι, ἐὰν τρεῖς εὐθεῖαι ἀνάλογον ὦσιν, ἔστιν ὡς ἡ πρώτη πρὸς τὴν τρίτην, οὕτως τὸ ἀπὸ τῆς πρώτης εἶδος πρὸς τὸ ἀπὸ τῆς δευτέρας τὸ ὅμοιον καὶ ὁμοίως ἀναγραφόμενον ἐπείπερ ἐδείχθη, ὡς ἡ ΓΒ πρὸς ΒΗ, οὕτως τὸ ΑΒΓ τρίγωνον πρὸς τὸ ΑΒΗ τρίγωνον, τουτέστι τὸ ΔΕΖ · ὅπερ ἔδει δεῖξαι.
20
τὰ ὅμοια πολύγωνα εἴς τε ὅμοια τρίγωνα διαιρεῖται καὶ εἰς ἴσα τὸ πλῆθος καὶ ὁμόλογα τοῖς ὅλοις, καὶ τὸ πολύγωνον πρὸς τὸ πολύγωνον διπλασίονα λόγον ἔχει ἤπερ ἡ ὁμόλογος πλευρὰ πρὸς τὴν ὁμόλογον πλευράν.
20
ἔστω ὅμοια πολύγωνα τὰ ΑΒΓΔΕ, ΖΗΘΚΛ, ὁμόλογος δὲ ἔστω ἡ ΑΒ τῇ ΖΗ· λέγω, ὅτι τὰ ΑΒΓΔΕ, ΖΗΘΚΛ πολύγωνα εἴς τε ὅμοια τρίγωνα διαιρεῖται καὶ εἰς ἴσα τὸ πλῆθος καὶ ὁμόλογα τοῖς ὅλοις, καὶ τὸ ΑΒΓΔΕ πολύγωνον πρὸς τὸ ΖΗΘΚΛ πολύγωνον διπλασίονα λόγον ἔχει ἤπερ ἡ ΑΒ πρὸς τὴν ΖΗ.
20
ἐπεζεύχθωσαν αἱ ΒΕ, ΕΓ, ΗΛ, ΛΘ.
