Index ← Previous Next →

Triangles, parallels, and area: Book 1 Proposition 14

Translations

Ἐὰν πρός τινι εὐθείᾳ καὶ τῷ πρὸς αὐτῇ σημείῳ δύο εὐθεῖαι μὴ ἐπὶ τὰ αὐτὰ μέρη κείμεναι τὰς ἐφεξῆς γωνίας δυσὶν ὀρθαῖς ἴσας ποιῶσιν, ἐπ' εὐθείας ἔσονται ἀλλήλαις αἱ εὐθεῖαι. Πρὸς γάρ τινι εὐθείᾳ τῇ ΑΒ καὶ τῷ πρὸς αὐτῇ σημείῳ τῷ Β δύο εὐθεῖαι αἱ ΒΓ, ΒΔ μὴ ἐπὶ τὰ αὐτὰ μέρη κείμεναι τὰς ἐφεξῆς γωνίας τὰς ὑπὸ ΑΒΓ, ΑΒΔ δύο ὀρθαῖς ἴσας ποιείτωσαν: λέγω, ὅτι ἐπ' εὐθείας ἐστὶ τῇ ΓΒ ἡ ΒΔ. Εἰ γὰρ μή ἐστι τῇ ΒΓ ἐπ' εὐθείας ἡ ΒΔ, ἔστω τῇ ΓΒ ἐπ' εὐθείας ἡ ΒΕ. Ἐπεὶ οὖν εὐθεῖα ἡ ΑΒ ἐπ' εὐθεῖαν τὴν ΓΒΕ ἐφέστηκεν, αἱ ἄρα ὑπὸ ΑΒΓ, ΑΒΕ γωνίαι δύο ὀρθαῖς ἴσαι εἰσίν: εἰσὶ δὲ καὶ αἱ ὑπὸ ΑΒΓ, ΑΒΔ δύο ὀρθαῖς ἴσαι: αἱ ἄρα ὑπὸ ΓΒΑ, ΑΒΕ ταῖς ὑπὸ ΓΒΑ, ΑΒΔ ἴσαι εἰσίν. κοινὴ ἀφῃρήσθω ἡ ὑπὸ ΓΒΑ: λοιπὴ ἄρα ἡ ὑπὸ ΑΒΕ λοιπῇ τῇ ὑπὸ ΑΒΔ ἐστιν ἴση, ἡ ἐλάσσων τῇ μείζονι: ὅπερ ἐστὶν ἀδύνατον. οὐκ ἄρα ἐπ' εὐθείας ἐστὶν ἡ ΒΕ τῇ ΓΒ. ὁμοίως δὴ δείξομεν, ὅτι οὐδὲ ἄλλη τις πλὴν τῆς ΒΔ: ἐπ' εὐθείας ἄρα ἐστὶν ἡ ΓΒ τῇ ΒΔ. Ἐὰν ἄρα πρός τινι εὐθείᾳ καὶ τῷ πρὸς αὐτῇ σημείῳ δύο εὐθεῖαι μὴ ἐπὶ τὰ αὐτὰ μέρη κείμεναι τὰς ἐφεξῆς γωνίας δυσὶν ὀρθαῖς ἴσας ποιῶσιν, ἐπ' εὐθείας ἔσονται ἀλλήλαις αἱ εὐθεῖαι: ὅπερ ἔδει δεῖξαι.

If with any straight line, and at a point on it, two straight lines not lying on the same side make the adjacent angles equal to two right angles, the two straight lines will be in a straight line with one another. For with any straight line AB, and at the point B on it, let the two straight lines BC, BD not lying on the same side make the adjacent angles ABC, ABD equal to two right angles; I say that BD is in a straight line with CB. For, if BD is not in a straight line with BC, let BE be in a straight line with CB. Then, since the straight line AB stands on the straight line CBE, the angles ABC, ABE are equal to two right angles. [I. 13] But the angles ABC, ABD are also equal to two right angles; therefore the angles CBA, ABE are equal to the angles CBA, ABD. [Post. 4 and C.N. 1] Let the angle CBA be subtracted from each; therefore the remaining angle ABE is equal to the remaining angle ABD, [C.N. 3] the less to the greater: which is impossible. Therefore BE is not in a straight line with CB. Similarly we can prove that neither is any other straight line except BD. Therefore CB is in a straight line with BD. Therefore etc.