Στοιχεῖα Εὐκλείδου ια΄
[Βιβλίον XI]
Αἱ Προτάσεις τῶν Στοιχείων ια΄.
Προηγουμένη Πρότασις
Ἑπομένη Πρότασις
Πρότασις θ΄. [9]
Αἱ τῇ αὐτῇ εὐθείᾳ παράλληλοι καὶ μὴ οὖσαι αὐτῇ ἐν τῷ αὐτῷ ἐπιπέδῳ καὶ ἀλλήλαις εἰσὶ παράλληλοι.
Ἔστω γὰρ ἑκατέρα τῶν ΑΒ, ΓΔ τῇ ΕΖ παράλληλος μὴ οὖσαι αὐτῇ ἐν τῷ αὐτῷ ἐπιπέδῳ· λέγω, ὅτι παράλληλός ἐστιν ἡ ΑΒ τῇ ΓΔ.
Εἰλήφθω γὰρ ἐπὶ τῆς ΕΖ τυχὸν σημεῖον τὸ Η, καὶ ἀπ' αὐτοῦ τῇ ΕΖ ἐν μὲν τῷ διὰ τῶν ΕΖ, ΑΒ ἐπιπέδῳ πρὸς ὀρθὰς ἤχθω ἡ ΗΘ, ἐν δὲ τῷ διὰ τῶν ΖΕ, ΓΔ τῇ ΕΖ πάλιν πρὸς ὀρθὰς ἤχθω ἡ ΗΚ. καὶ ἐπεὶ ἡ ΕΖ πρὸς ἑκατέραν τῶν ΗΘ, ΗΚ ὀρθή ἐστιν, ἡ ΕΖ ἄρα καὶ τῷ διὰ τῶν ΗΘ, ΗΚ ἐπιπέδῳ πρὸς ὀρθάς ἐστιν. καί ἐστιν ἡ ΕΖ τῇ ΑΒ παράλληλος· καὶ ἡ ΑΒ ἄρα τῷ διὰ τῶν ΘΗΚ ἐπιπέδῳ πρὸς ὀρθάς ἐστιν. διὰ τὰ αὐτὰ δὴ καὶ ἡ ΓΔ τῷ διὰ τῶν ΘΗΚ ἐπιπέδῳ πρὸς ὀρθάς ἐστιν· ἑκατέρα ἄρα τῶν ΑΒ, ΓΔ τῷ διὰ τῶν ΘΗΚ ἐπιπέδῳ πρὸς ὀρθάς ἐστιν. ἐὰν δὲ δύο εὐθεῖαι τῷ αὐτῷ ἐπιπέδῳ πρὸς ὀρθὰς ὦσιν, παράλληλοί εἰσιν αἱ εὐθεῖαι· παράλληλος ἄρα ἐστὶν ἡ ΑΒ τῇ ΓΔ· ὅπερ ἔδει δεῖξαι.
Ἑπομένη Πρότασις
Προηγουμένη Πρότασις
Αἱ Προτάσεις τῶν Στοιχείων ια΄.
Περιεχόμενα Στοιχείων Εὐκλείδου