View:
By Type
ἐὰν εἰς δύο εὐθείας εὐθεῖα ἐμπίπτουσα τὰς ἐναλλὰξ γωνίας ἴσας ἀλλήλαις ποιῇ, παράλληλοι ἔσονται ἀλλήλαις αἱ εὐθεῖαι.
εἰς γὰρ δύο εὐθείας τὰς
ΑΒ,
ΓΔ εὐθεῖα ἐμπίπτουσα ἡ
ΕΖ τὰς ἐναλλὰξ γωνίας τὰς ὑπὸ ΑΕΖ, ΕΖΔ ἴσας ἀλλήλαις ποιείτω· λέγω, ὅτι παράλληλός ἐστιν ἡ ΑΒ τῇ ΓΔ.
ΕΖ τὰς ἐναλλὰξ γωνίας τὰς ὑπὸ ΑΕΖ, ΕΖΔ ἴσας ἀλλήλαις ποιείτω· λέγω, ὅτι παράλληλός ἐστιν ἡ ΑΒ τῇ ΓΔ.
εἰ γὰρ μή, ἐκβαλλόμεναι αἱ
ΑΒ,
ΓΔ συμπεσοῦνται ἤτοι ἐπὶ τὰ
Β,
Δ μέρη ἢ ἐπὶ τὰ
Α,
Γ. ἐκβεβλήσθωσαν καὶ
συμπιπτέτωσαν ἐπὶ τὰ
Β,
Δ μέρη κατὰ τὸ
Η. τριγώνου
δὴ τοῦ ΗΕΖ ἡ ἐκτὸς γωνία ἡ ὑπὸ ΑΕΖ ἴση ἐστὶ τῇ ἐντὸς καὶ ἀπεναντίον τῇ ὑπὸ ΕΖΗ· ὅπερ ἐστὶν ἀδύνατον· οὐκ ἄρα αἱ ΑΒ, ΓΔ ἐκβαλλόμεναι συμπεσοῦνται ἐπὶ τὰ Β, Δ μέρη. ὁμοίως δὴ δειχθήσεται, ὅτι οὐδὲ ἐπὶ τὰ Α, Γ· αἱ δὲ ἐπὶ μηδέτερα τὰ μέρη συμπίπτουσαι παράλληλοί εἰσιν·
παράλληλος ἄρα ἐστὶν ἡ ΑΒ τῇ ΓΔ.
δὴ τοῦ ΗΕΖ ἡ ἐκτὸς γωνία ἡ ὑπὸ ΑΕΖ ἴση ἐστὶ τῇ ἐντὸς καὶ ἀπεναντίον τῇ ὑπὸ ΕΖΗ· ὅπερ ἐστὶν ἀδύνατον· οὐκ ἄρα αἱ ΑΒ, ΓΔ ἐκβαλλόμεναι συμπεσοῦνται ἐπὶ τὰ Β, Δ μέρη. ὁμοίως δὴ δειχθήσεται, ὅτι οὐδὲ ἐπὶ τὰ Α, Γ· αἱ δὲ ἐπὶ μηδέτερα τὰ μέρη συμπίπτουσαι παράλληλοί εἰσιν·
παράλληλος ἄρα ἐστὶν ἡ ΑΒ τῇ ΓΔ.
ἐὰν ἄρα εἰς δύο εὐθείας εὐθεῖα ἐμπίπτουσα τὰς ἐναλλὰξ γωνίας ἴσας ἀλλήλαις ποιῇ, παράλληλοι ἔσονται αἱ εὐθεῖαι· ὅπερ ἔδει δεῖξαι.
Elementa. Euclid. ed. Johan Ludvig Heiberg. Leipzig. 1883-1888.
Sponsored by Perseus Project, Tufts University.
Funding provided by The National Science Foundation.