Euclid Elementa 6.prop.32

ἐὰν δύο τρίγωνα συντεθῇ κατὰ μίαν γωνίαν τὰς δύο πλευρὰς ταῖς δυσὶ πλευραῖς ἀνάλογον ἔχοντα ὥστε τὰς ὁμολόγους αὐτῶν πλευρὰς καὶ παραλλήλους εἶναι, αἱ λοιπαὶ τῶν τριγώνων πλευραὶ ἐπʼ εὐθείας ἔσονται.

ἔστω δύο τρίγωνα τὰ ΑΒΓ, ΔΓΕ τὰς δύο πλευρὰς τὰς ΒΑ, ΑΓ ταῖς δυσὶ πλευραῖς ταῖς ΔΓ, ΔΕ ἀνάλογον ἔχοντα, ὡς μὲν τὴν ΑΒ πρὸς τὴν ΑΓ, οὕτως τὴν ΔΓ πρὸς τὴν ΔΕ, παράλληλον δὲ τὴν μὲν ΑΒ τῇ ΔΓ, τὴν δὲ ΑΓ τῇ ΔΕ· λέγω, ὅτι ἐπʼ εὐθείας ἐστὶν ἡ ΒΓ τῇ ΓΕ.

ἐπεὶ γὰρ παράλληλός ἐστιν ἡ ΑΒ τῇ ΔΓ, καὶ εἰς αὐτὰς ἐμπέπτωκεν εὐθεῖα ἡ ΑΓ, αἱ ἐναλλὰξ γωνίαι αἱ ὑπὸ ΒΑΓ, ΑΓΔ ἴσαι ἀλλήλαις εἰσίν. διὰ τὰ αὐτὰ δὴ καὶ ἡ ὑπὸ ΓΔΕ τῇ ὑπὸ ΑΓΔ ἴση ἐστίν. ὥστε καὶ ἡ ὑπὸ ΒΑΓ τῇ ὑπὸ ΓΔΕ ἐστιν ἴση. καὶ ἐπεὶ δύο τρίγωνά ἐστι τὰ ΑΒΓ,
ΔΓΕ μίαν γωνίαν τὴν πρὸς τῷ Α μιᾷ γωνίᾳ τῇ πρὸς τῷ Δ ἴσην ἔχοντα, περὶ δὲ τὰς ἴσας γωνίας τὰς πλευρὰς ἀνάλογον, ὡς τὴν ΒΑ πρὸς τὴν ΑΓ, οὕτως τὴν ΓΔ πρὸς τὴν ΔΕ, ἰσογώνιον ἄρα ἐστὶ τὸ ΑΒΓ τρίγωνον τῷ ΔΓΕ τριγώνῳ· ἴση ἄρα ἡ ὑπὸ ΑΒΓ γωνία τῇ ὑπὸ ΔΓΕ.
ἐδείχθη δὲ καὶ ἡ ὑπὸ ΑΓΔ τῇ ὑπὸ ΒΑΓ ἴση· ὅλη ἄρα ἡ ὑπὸ ΑΓΕ δυσὶ ταῖς ὑπὸ ΑΒΓ, ΒΑΓ ἴση ἐστίν. κοινὴ προσκείσθω ἡ ὑπὸ ΑΓΒ· αἱ ἄρα ὑπὸ ΑΓΕ, ΑΓΒ ταῖς ὑπὸ ΒΑΓ, ΑΓΒ, ΓΒΑ ἴσαι εἰσίν. ἀλλʼ αἱ ὑπὸ ΒΑΓ, ΑΒΓ, ΑΓΒ δυσὶν ὀρθαῖς ἴσαι εἰσίν· καὶ αἱ ὑπὸ ΑΓΕ,
ΑΓΒ ἄρα δυσὶν ὀρθαῖς ἴσαι εἰσίν. πρὸς δή τινι εὐθείᾳ τῇ ΑΓ καὶ τῷ πρὸς αὐτῇ σημείῳ τῷ Γ δύο εὐθεῖαι αἱ ΒΓ, ΓΕ μὴ ἐπὶ τὰ αὐτὰ μέρη κείμεναι τὰς ἐφεξῆς γωνίας τὰς ὑπὸ ΑΓΕ, ΑΓΒ δυσὶν ὀρθαῖς ἴσας ποιοῦσιν· ἐπʼ εὐθείας ἄρα ἐστὶν ἡ ΒΓ τῇ ΓΕ.

ἐὰν ἄρα δύο τρίγωνα συντεθῇ κατὰ μίαν γωνίαν τὰς δύο πλευρὰς ταῖς δυσὶ πλευραῖς ἀνάλογον ἔχοντα ὥστε τὰς ὁμολόγους αὐτῶν πλευρὰς καὶ παραλλήλους εἶναι, αἱ λοιπαὶ τῶν τριγώνων πλευραὶ ἐπʼ εὐθείας ἔσονται· ὅπερ ἔδει δεῖξαι.