Solid geometry: Book 11 Proposition 10
Translations
Ἐὰν δύο εὐθεῖαι ἁπτόμεναι ἀλλήλων παρὰ δύο εὐθείας ἁπτομένας ἀλλήλων ὦσι μὴ ἐν τῷ αὐτῷ ἐπιπέδῳ, ἴσας γωνίας περιέξουσιν. Δύο γὰρ εὐθεῖαι αἱ ΑΒ, ΒΓ ἁπτόμεναι ἀλλήλων παρὰ δύο εὐθείας τὰς ΔΕ, ΕΖ ἁπτομένας ἀλλήλων ἔστωσαν μὴ ἐν τῷ αὐτῷ ἐπιπέδῳ: λέγω, ὅτι ἴση ἐστὶν ἡ ὑπὸ ΑΒΓ γωνία τῇ ὑπὸ ΔΕΖ. Ἀπειλήφθωσαν γὰρ αἱ ΒΑ, ΒΓ, ΕΔ, ΕΖ ἴσαι ἀλλήλαις, καὶ ἐπεζεύχθωσαν αἱ ΑΔ, ΓΖ, ΒΕ, ΑΓ, ΔΖ. καὶ ἐπεὶ ἡ ΒΑ τῇ ΕΔ ἴση ἐστὶ καὶ παράλληλος, καὶ ἡ ΑΔ ἄρα τῇ ΒΕ ἴση ἐστὶ καὶ παράλληλος. διὰ τὰ αὐτὰ δὴ καὶ ἡ ΓΖ τῇ ΒΕ ἴση ἐστὶ καὶ παράλληλος: ἑκατέρα ἄρα τῶν ΑΔ, ΓΖ τῇ ΒΕ ἴση ἐστὶ καὶ παράλληλος. αἱ δὲ τῇ αὐτῇ εὐθείᾳ παράλληλοι καὶ μὴ οὖσαι αὐτῇ ἐν τῷ αὐτῷ ἐπιπέδῳ καὶ ἀλλήλαις εἰσὶ παράλληλοι: παράλληλος ἄρα ἐστὶν ἡ ΑΔ τῇ ΓΖ καὶ ἴση. καὶ ἐπιζευγνύουσιν αὐτὰς αἱ ΑΓ, ΔΖ: καὶ ἡ ΑΓ ἄρα τῇ ΔΖ ἴση ἐστὶ καὶ παράλληλος. καὶ ἐπεὶ δύο αἱ ΑΒ, ΒΓ δυσὶ ταῖς ΔΕ, ΕΖ ἴσαι εἰσίν, καὶ βάσις ἡ ΑΓ βάσει τῇ ΔΖ ἴση, γωνία ἄρα ἡ ὑπὸ ΑΒΓ γωνίᾳ τῇ ὑπὸ ΔΕΖ ἐστιν ἴση. Ἐὰν ἄρα δύο εὐθεῖαι ἁπτόμεναι ἀλλήλων παρὰ δύο εὐθείας ἁπτομένας ἀλλήλων ὦσι μὴ ἐν τῷ αὐτῷ ἐπιπέδῳ, ἴσας γωνίας περιέξουσιν: ὅπερ ἔδει δεῖξαι.
If two straight lines meeting one another be parallel to two straight lines meeting one another not in the same plane, they will contain equal angles. For let the two straight lines AB, BC meeting one another be parallel to the two straight lines DE, EF meeting one another, not in the same plane; I say that the angle ABC is equal to the angle DEF. For let BA, BC, ED, EF be cut off equal to one another, and let AD, CF, BE, AC, DF be joined. Now, since BA is equal and parallel to ED, therefore AD is also equal and parallel to BE. [I. 33] For the same reason CF is also equal and parallel to BE. Therefore each of the straight lines AD, CF is equal and parallel to BE. But straight lines which are parallel to the same straight line and are not in the same plane with it are parallel to one another; [XI. 9] therefore AD is parallel and equal to CF. And AC, DF join them; therefore AC is also equal and parallel to DF. [I. 33] Now, since the two sides AB, BC are equal to the two sides DE, EF, and the base AC is equal to the base DF, therefore the angle ABC is equal to the angle DEF. [I. 8]