Euclid Elementa 6.prop.19

τὰ ὅμοια τρίγωνα πρὸς ἄλληλα ἐν διπλασίονι λόγῳ ἐστὶ τῶν ὁμολόγων πλευρῶν.

ἔστω ὅμοια τρίγωνα τὰ ΑΒΓ, ΔΕΖ ἴσην ἔχοντα τὴν πρὸς τῷ Β γωνίαν τῇ πρὸς τῷ Ε, ὡς δὲ τὴν ΑΒ πρὸς τὴν
ΒΓ, οὕτως τὴν ΔΕ πρὸς τὴν ΕΖ, ὥστε ὁμόλογον εἶναι τὴν ΒΓ τῇ ΕΖ· λέγω, ὅτι τὸ ΑΒΓ τρίγωνον πρὸς τὸ ΔΕΖ τρίγωνον διπλασίονα
λόγον ἔχει ἤπερ ἡ ΒΓ πρὸς τὴν ΕΖ.

εἰλήφθω γὰρ τῶν ΒΓ, ΕΖ τρίτη ἀνάλογον ἡ ΒΗ, ὥστε εἶναι ὡς τὴν ΒΓ πρὸς τὴν ΕΖ, οὕτως τὴν ΕΖ πρὸς τὴν ΒΗ· καὶ ἐπεζεύχθω ἡ ΑΗ.

ἐπεὶ οὖν ἐστιν ὡς ἡ ΑΒ πρὸς τὴν ΒΓ, οὕτως ἡ ΔΕ πρὸς τὴν ΕΖ, ἐναλλὰξ ἄρα ἐστὶν ὡς ἡ ΑΒ πρὸς τὴν ΔΕ, οὕτως ἡ ΒΓ πρὸς τὴν ΕΖ. ἀλλʼ ὡς ἡ ΒΓ πρὸς ΕΖ, οὕτως ἐστὶν ἡ ΕΖ πρὸς ΒΗ. καὶ ὡς ἄρα ἡ ΑΒ πρὸς ΔΕ, οὕτως ἡ ΕΖ πρὸς ΒΗ· τῶν ΑΒΗ, ΔΕΖ ἄρα
τριγώνων ἀντιπεπόνθασιν αἱ πλευραὶ αἱ περὶ τὰς ἴσας γωνίας. ὧν δὲ μίαν μιᾷ ἴσην ἐχόντων γωνίαν τριγώνων ἀντιπεπόνθασιν αἱ πλευραὶ αἱ περὶ τὰς ἴσας γωνίας, ἴσα ἐστὶν ἐκεῖνα. ἴσον ἄρα ἐστὶ τὸ ΑΒΗ τρίγωνον τῷ ΔΕΖ τριγώνῳ. καὶ ἐπεί ἐστιν ὡς ἡ ΒΓ πρὸς τὴν ΕΖ, οὕτως
ἡ ΕΖ πρὸς τὴν ΒΗ, ἐὰν δὲ τρεῖς εὐθεῖαι ἀνάλογον ὦσιν, ἡ πρώτη πρὸς τὴν τρίτην διπλασίονα λόγον ἔχει ἤπερ πρὸς τὴν δευτέραν, ἡ ΒΓ ἄρα πρὸς τὴν ΒΗ διπλασίονα λόγον ἔχει ἤπερ ἡ ΓΒ πρὸς τὴν ΕΖ. ὡς δὲ ἡ ΓΒ πρὸς τὴν ΒΗ, οὕτως τὸ ΑΒΓ τρίγωνον πρὸς τὸ ΑΒΗ τρίγωνον·
καὶ τὸ ΑΒΓ ἄρα τρίγωνον πρὸς τὸ ΑΒΗ διπλασίονα λόγον ἔχει ἤπερ ἡ ΒΓ πρὸς τὴν ΕΖ. ἴσον δὲ τὸ ΑΒΗ τρίγωνον τῷ ΔΕΖ τριγώνῳ· καὶ τὸ ΑΒΓ ἄρα τρίγωνον πρὸς τὸ ΔΕΖ τρίγωνον διπλασίονα λόγον ἔχει ἤπερ ἡ ΒΓ πρὸς τὴν ΕΖ.

τὰ ἄρα ὅμοια τρίγωνα πρὸς ἄλληλα ἐν διπλασίονι λόγῳ ἐστὶ τῶν ὁμολόγων πλευρῶν· ὅπερ ἔδει δεῖξαι.

Πόρισμα

ἐκ δὴ τούτου φανερόν, ὅτι, ἐὰν τρεῖς εὐθεῖαι ἀνάλογον ὦσιν, ἔστιν ὡς ἡ πρώτη πρὸς τὴν τρίτην, οὕτως τὸ ἀπὸ
τῆς πρώτης εἶδος πρὸς τὸ ἀπὸ τῆς δευτέρας τὸ ὅμοιον καὶ ὁμοίως ἀναγραφόμενον ἐπείπερ ἐδείχθη, ὡς ἡ ΓΒ πρὸς ΒΗ, οὕτως τὸ ΑΒΓ τρίγωνον πρὸς τὸ ΑΒΗ τρίγωνον, τουτέστι τὸ ΔΕΖ· ὅπερ ἔδει δεῖξαι.