## Book I, Proposition 15

If two straight lines cut one another, they make the vertical angles equal to one another.

 Ἐὰν δύο εὐθεῖαι τέμνωσιν ἀλλήλας, τὰς κατὰ κορυφὴν γωνίας ἴσας ἀλλήλαις ποιοῦσιν. Δύο γὰρ εὐθεῖαι αἱ ΑΒ, ΓΔ τεμνέτωσαν ἀλλήλας κατὰ τὸ Ε σημεῖον: λέγω, ὅτι ἴση ἐστὶν ἡ μὲν ὑπὸ ΑΕΓ γωνία τῇ ὑπὸ ΔΕΒ, ἡ δὲ ὑπὸ ΓΕΒ τῇ ὑπὸ ΑΕΔ. Ἐπεὶ γὰρ εὐθεῖα ἡ ΑΕ ἐπ' εὐθεῖαν τὴν ΓΔ ἐφέστηκε γωνίας ποιοῦσα τὰς ὑπὸ ΓΕΑ, ΑΕΔ, αἱ ἄρα ὑπὸ ΓΕΑ, ΑΕΔ γωνίαι δυσὶν ὀρθαῖς ἴσαι εἰσίν. πάλιν, ἐπεὶ εὐθεῖα ἡ ΔΕ ἐπ' εὐθεῖαν τὴν ΑΒ ἐφέστηκε γωνίας ποιοῦσα τὰς ὑπὸ ΑΕΔ, ΔΕΒ, αἱ ἄρα ὑπὸ ΑΕΔ, ΔΕΒ γωνίαι δυσὶν ὀρθαῖς ἴσαι εἰσίν. ἐδείχθησαν δὲ καὶ αἱ ὑπὸ ΓΕΑ, ΑΕΔ δυσὶν ὀρθαῖς ἴσαι: αἱ ἄρα ὑπὸ ΓΕΑ, ΑΕΔ ταῖς ὑπὸ ΑΕΔ, ΔΕΒ ἴσαι εἰσίν. κοινὴ ἀφῃρήσθω ἡ ὑπὸ ΑΕΔ: λοιπὴ ἄρα ἡ ὑπὸ ΓΕΑ λοιπῇ τῇ ὑπὸ ΒΕΔ ἴση ἐστίν: ὁμοίως δὴ δειχθήσεται, ὅτι καὶ αἱ ὑπὸ ΓΕΒ, ΔΕΑ ἴσαι εἰσίν. Ἐὰν ἄρα δύο εὐθεῖαι τέμνωσιν ἀλλήλας, τὰς κατὰ κορυφὴν γωνίας ἴσας ἀλλήλαις ποιοῦσιν: ὅπερ ἔδει δεῖξαι. [ Πόρισμα Ἐκ δὴ τούτου φανερὸν ὅτι, ἐὰν δύο εὐθεῖαι τέμνωσιν ἀλλήλας, τὰς πρὸς τῇ τομῇ γωνίας τέτρασιν ὀρθαῖς ἴσας ποιήσουσιν. ] If two straight lines cut one another, they make the vertical angles equal to one another. For let the straight lines AB, CD cut one another at the point E; I say that the angle AEC is equal to the angle DEB, and the angle CEB to the angle AED. For, since the straight line AE stands on the straight line CD, making the angles CEA, AED, the angles CEA, AED are equal to two right angles [I. 13] Again, since the straight line DE stands on the straight line AB, making the angles AED, DEB, the angles AED, DEB are equal to two right angles. [I. 13] But the angles CEA, AED were also proved equal to two right angles; therefore the angles CEA, AED are equal to the angles AED DEB. [Post. 4 and C. N. 1] Let the angle AED be subtracted from each; therefore the remaining angle CEA is equal to the remaining angle BED. [C. N. 3] Similarly it can be proved that the angles CEB, DEA are also equal. Therefore etc. Q. E. D. Porism.