§1.prop.12ἐπὶ τὴν δοθεῖσαν εὐθεῖαν ἄπειρον ἀπὸ τοῦ δοθέντος σημείου, ὃ μή ἐστιν ἐπʼ αὐτῆς, κάθετον εὐθεῖαν γραμμὴν ἀγαγεῖν.
从已知无限直线外的一已知点起，作一直线与该已知直线垂直。
ἔστω ἡ μὲν δοθεῖσα εὐθεῖα ἄπειρος ἡ ΑΒ τὸ δὲ δοθὲν σημεῖον, ὃ μή ἐστιν ἐπʼ αὐτῆς, τὸ Γ·
设已知无限直线为AB，其外的已知点为C。
δεῖ δὴ ἐπὶ τὴν δοθεῖσαν εὐθεῖαν ἄπειρον τὴν ΑΒ ἀπὸ τοῦ δοθέντος σημείου τοῦ Γ, ὃ μή ἐστιν ἐπʼ αὐτῆς, κάθετον εὐθεῖαν γραμμὴν ἀγαγεῖν.
要求从已知无限直线AB外的一已知点C起，作一直线与AB垂直。
εἰλήφθω γὰρ ἐπὶ τὰ ἕτερα μέρη τῆς ΑΒ εὐθείας τυχὸν σημεῖον τὸ Δ, καὶ κέντρῳ μὲν τῷ Γ διαστήματι δὲ τῷ ΓΔ κύκλος γεγράφθω ὁ ΕΖΗ, καὶ τετμήσθω ἡ ΕΗ εὐθεῖα δίχα κατὰ τὸ Θ, καὶ ἐπεζεύχθωσαν αἱ ΓΗ, ΓΘ, ΓΕ εὐθεῖαι·
因为，在直线AB的另一侧任取一点D，以C为圆心、CD为半径作圆EFG，并且在H点处二等分直线EG，连结直线CG、CH、CE。
λέγω, ὅτι ἐπὶ τὴν δοθεῖσαν εὐθεῖαν ἄπειρον τὴν ΑΒ ἀπὸ τοῦ δοθέντος σημείου τοῦ Γ, ὃ μή ἐστιν ἐπʼ αὐτῆς, κάθετος ἦκται ἡ ΓΘ.
ἐπεὶ γὰρ ἴση ἐστὶν ἡ ΗΘ τῇ ΘΕ, κοινὴ δὲ ἡ ΘΓ, δύο δὴ αἱ ΗΘ, ΘΓ δύο ταῖς ΕΘ, ΘΓ ἴσαι εἰσὶν ἑκατέρα ἑκατέρᾳ·
我说，从已知无限直线AB外的一已知点C起，已作出了与之垂直的直线CH。
καὶ βάσις ἡ ΓΗ βάσει τῇ ΓΕ ἐστιν ἴση· γωνία ἄρα ἡ ὑπὸ ΓΘΗ γωνίᾳ τῇ ὑπὸ ΕΘΓ ἐστιν ἴση.
因为，由于GH等于HE，且HC是公共的，所以两边GH、HC分别等于两边EH、HC；且底边CG等于底边CE；因此角CHG等于角EHC。
καί εἰσιν ἐφεξῆς.
并且它们是相邻的。
ὅταν δὲ εὐθεῖα ἐπʼ εὐθεῖαν σταθεῖσα τὰς ἐφεξῆς γωνίας ἴσας ἀλλήλαις ποιῇ, ὀρθὴ ἑκατέρα τῶν ἴσων γωνιῶν ἐστιν, καὶ ἡ ἐφεστηκυῖα εὐθεῖα κάθετος καλεῖται ἐφʼ ἣν ἐφέστηκεν.
而当一条直线立在另一条直线上时，如果它使相邻的角彼此相等，那么这些相等角中的每一个都是直角，并且立在上面的直线被称为它所立之直线的垂线。
ἐπὶ τὴν δοθεῖσαν ἄρα εὐθεῖαν ἄπειρον τὴν ΑΒ ἀπὸ τοῦ δοθέντος σημείου τοῦ Γ, ὃ μή ἐστιν ἐπʼ αὐτῆς, κάθετος ἦκται ἡ ΓΘ·
因此，从已知无限直线AB外的一已知点C起，已作出了与之垂直的直线CH。
ὅπερ ἔδει ποιῆσαι.
——这就是所要作的。
§1.prop.13ἐὰν εὐθεῖα ἐπʼ εὐθεῖαν σταθεῖσα γωνίας ποιῇ, ἤτοι δύο ὀρθὰς ἢ δυσὶν ὀρθαῖς ἴσας ποιήσει.
若一条直线立在另一条直线上而作出角，它将作出两个直角，或者它们相加等于两个直角。
εὐθεῖα γάρ τις ἡ ΑΒ ἐπʼ εὐθεῖαν τὴν ΓΔ σταθεῖσα γωνίας ποιείτω τὰς ὑπὸ ΓΒΑ, ΑΒΔ·
因为，设某条直线AB立在直线CD上，并作出角CBA、ABD。
λέγω, ὅτι αἱ ὑπὸ ΓΒΑ, ΑΒΔ γωνίαι ἤτοι δύο ὀρθαί εἰσιν ἢ δυσὶν ὀρθαῖς ἴσαι.
我说，角CBA、ABD要么是两个直角，要么等于两个直角。
εἰ μὲν οὖν ἴση ἐστὶν ἡ ὑπὸ ΓΒΑ τῇ ὑπὸ ΑΒΔ, δύο ὀρθαί εἰσιν.
如果角CBA等于角ABD，则它们是两个直角。
εἰ δὲ οὔ, ἤχθω ἀπὸ τοῦ Β σημείου τῇ ΓΔ πρὸς ὀρθὰς ἡ ΒΕ· αἱ ἄρα ὑπὸ ΓΒΕ, ΕΒΔ δύο ὀρθαί εἰσιν·
但若不等，则从点B起，作BE与CD 垂直；因此角CBE、EBD是两个直角。
καὶ ἐπεὶ ἡ ὑπὸ ΓΒΕ δυσὶ ταῖς ὑπὸ ΓΒΑ, ΑΒΕ ἴση ἐστίν, κοινὴ προσκείσθω ἡ ὑπὸ ΕΒΔ· αἱ ἄρα ὑπὸ ΓΒΕ, ΕΒΔ τρισὶ ταῖς ὑπὸ ΓΒΑ, ΑΒΕ, ΕΒΔ ἴσαι εἰσίν.
而由于角CBE等于两个角CBA、ABE之和，让公共的角EBD加到其上；因此角CBE、EBD等于三个角CBA、ABE、EBD。
πάλιν, ἐπεὶ ἡ ὑπὸ ΔΒΑ δυσὶ ταῖς ὑπὸ ΔΒΕ, ΕΒΑ ἴση ἐστίν, κοινὴ προσκείσθω ἡ ὑπὸ ΑΒΓ· αἱ ἄρα ὑπὸ ΔΒΑ, ΑΒΓ τρισὶ ταῖς ὑπὸ ΔΒΕ, ΕΒΑ, ΑΒΓ ἴσαι εἰσίν.
同样，由于角DBA等于两个角DBE、EBA之和，让公共的角ABC加到其上；因此角DBA、ABC等于三个角DBE、EBA、ABC。
ἐδείχθησαν δὲ καὶ αἱ ὑπὸ ΓΒΕ, ΕΒΔ τρισὶ ταῖς αὐταῖς ἴσαι· τὰ δὲ τῷ αὐτῷ ἴσα καὶ ἀλλήλοις ἐστὶν ἴσα· καὶ αἱ ὑπὸ ΓΒΕ, ΕΒΔ ἄρα ταῖς ὑπὸ ΔΒΑ, ΑΒΓ ἴσαι εἰσίν·
而角CBE、EBD也已被证明等于同样的这三个角；等于同一事物的两事物也彼此相等；因而角CBE、EBD也等于角DBA、ABC。
ἀλλὰ αἱ ὑπὸ ΓΒΕ, ΕΒΔ δύο ὀρθαί εἰσιν· καὶ αἱ ὑπὸ ΔΒΑ, ΑΒΓ ἄρα δυσὶν ὀρθαῖς ἴσαι εἰσίν.
然而角CBE、EBD是两个直角；因此角DBA、ABC也等于两个直角。
ἐὰν ἄρα εὐθεῖα ἐπʼ εὐθεῖαν σταθεῖσα γωνίας ποιῇ, ἤτοι δύο ὀρθὰς ἢ δυσὶν ὀρθαῖς ἴσας ποιήσει·
因此，若一条直线立在另一条直线上而作出角，它将作出两个直角，或者它们相加等于两个直角。
ὅπερ ἔδει δεῖξαι.
——这就是所要证明的。