Click on a word to bring up parses, dictionary entries, and frequency statistics
ἡ εἰς τὰς παραλλήλους εὐθείας εὐθεῖα ἐμπίπτουσα τάς τε ἐναλλὰξ γωνίας ἴσας ἀλλήλαις ποιεῖ καὶ τὴν ἐκτὸς τῇ ἐντὸς καὶ ἀπεναντίον ἴσην καὶ τὰς ἐντὸς καὶ ἐπὶ τὰ αὐτὰ μέρη δυσὶν ὀρθαῖς ἴσας.
5εἰς γὰρ παραλλήλους εὐθείας τὰς ΑΒ, ΓΔ εὐθεῖα ἐμπιπτέτω ἡ ΕΖ: λέγω, ὅτι τὰς ἐναλλὰξ γωνίας τὰς ὑπὸ ΑΗΘ, ΗΘΔ ἴσας ποιεῖ καὶ τὴν ἐκτὸς γωνίαν τὴν ὑπὸ ΕΗΒ τῇ ἐντὸς καὶ ἀπεναντίον τῇ ὑπὸ ΗΘΔ ἴσην καὶ τὰς ἐντὸς καὶ ἐπὶ τὰ αὐτὰ μέρη τὰς ὑπὸ
10ΒΗΘ, ΗΘΔ δυσὶν ὀρθαῖς ἴσας. εἰ γὰρ ἄνισός ἐστιν ἡ ὑπὸ ΑΗΘ τῇ ὑπὸ ΗΘΔ, μία αὐτῶν μείζων ἐστίν. ἔστω μείζων ἡ ὑπὸ ΑΗΘ: κοινὴ προσκείσθω ἡ ὑπὸ ΒΗΘ: αἱ
15ἄρα ὑπὸ ΑΗΘ, ΒΗΘ τῶν ὑπὸ ΒΗΘ, ΗΘΔ μείζονές εἰσιν. ἀλλὰ αἱ ὑπὸ ΑΗΘ, ΒΗΘ δυσὶν ὀρθαῖς ἴσαι εἰσίν. καὶ αἱ ἄρα ὑπὸ ΒΗΘ, ΗΘΔ δύο ὀρθῶν ἐλάσσονές εἰσιν. αἱ δὲ ἀπ᾽ ἐλασσόνων ἢ δύο ὀρθῶν ἐκβαλλόμεναι εἰς ἄπειρον συμπίπτουσιν: αἱ
20ἄρα ΑΒ, ΓΔ ἐκβαλλόμεναι εἰς ἄπειρον συμπεσοῦνται: οὐ συμπίπτουσι δὲ διὰ τὸ παραλλήλους αὐτὰς ὑποκεῖσθαι: οὐκ ἄρα ἄνισός ἐστιν ἡ ὑπὸ ΑΗΘ τῇ ὑπὸ ΗΘΔ: ἴση ἄρα. ἀλλὰ ἡ ὑπὸ ΑΗΘ τῇ ὑπὸ ΕΗΒ ἐστιν ἴση: καὶ ἡ ὑπὸ ΕΗΒ ἄρα τῇ ὑπὸ ΗΘΔ ἐστιν ἴση. κοινὴ προσκείσθω ἡ
25ὑπὸ ΒΗΘ: αἱ ἄρα ὑπὸ ΕΗΒ, ΒΗΘ ταῖς ὑπὸ ΒΗΘ, ΗΘΔ ἴσαι εἰσίν. ἀλλὰ αἱ ὑπὸ ΕΗΒ, ΒΗΘ δύο ὀρθαῖς ἴσαι εἰσίν: καὶ αἱ ὑπὸ ΒΗΘ, ΗΘΔ ἄρα δύο ὀρθαῖς ἴσαι εἰσίν. ἡ ἄρα εἰς τὰς παραλλήλους εὐθείας εὐθεῖα ἐμπίπτουσα
30τάς τε ἐναλλὰξ γωνίας ἴσας ἀλλήλαις ποιεῖ καὶ τὴν ἐκτὸς τῇ ἐντὸς καὶ ἀπεναντίον ἴσην καὶ τὰς ἐντὸς καὶ ἐπὶ τὰ αὐτὰ μέρη δυσὶν ὀρθαῖς ἴσας: ὅπερ ἔδει δεῖξαι.
30αἱ τῇ αὐτῇ εὐθείᾳ παράλληλοι καὶ ἀλλήλαις εἰσὶ παράλληλοι. ἔστω ἑκατέρα τῶν ΑΒ, ΓΔ τῇ ΕΖ παράλληλος: λέγω, ὅτι καὶ ἡ ΑΒ τῇ ΓΔ ἐστι παράλληλος.
5ἐμπιπτέτω γὰρ εἰς αὐτὰς εὐθεῖα ἡ ΗΚ. καὶ ἐπεὶ εἰς παραλλήλους εὐθείας τὰς ΑΒ, ΕΖ εὐθεῖα ἐμπέπτωκεν ἡ ΗΚ, ἴση ἄρα ἡ ὑπὸ ΑΗΚ τῇ ὑπὸ ΗΘΖ. πάλιν, ἐπεὶ εἰς παραλλήλους εὐθείας τὰς ΕΖ, ΓΔ εὐθεῖα ἐμπέπτωκεν ἡ ΗΚ, ἴση ἐστὶν ἡ ὑπὸ ΗΘΖ τῇ ὑπὸ ΗΚΔ.
10ἐδείχθη δὲ καὶ ἡ ὑπὸ ΑΗΚ τῇ ὑπὸ ΗΘΖ ἴση. καὶ ἡ ὑπὸ ΑΗΚ ἄρα τῇ ὑπὸ ΗΚΔ ἐστιν ἴση: καί εἰσιν ἐναλλάξ. παράλληλος ἄρα ἐστὶν ἡ ΑΒ τῇ ΓΔ. Αἱ ἄρα τῇ αὐτῇ εὐθείᾳ παράλληλοι
15καὶ ἀλλήλαις εἰσὶ παράλληλοι: ὅπερ ἔδει δεῖξαι.
Euclid. Euclidis Elementa. J. L. Heiberg. Leipzig. Teubner. 1883-1888.
The National Science Foundation provided support for entering this text.
This work is licensed under a
Creative Commons Attribution-ShareAlike 3.0 United States License.
An XML version of this text is available for download, with the additional restriction that you offer Perseus any modifications you make. Perseus provides credit for all accepted changes, storing new additions in a versioning system.