Euclid, Elements, book 1, type Prop

(유클리드, Elements, book 1, type Prop)

Ἐπὶ τῆσ δοθείσησ εὐθείασ πεπερασμένησ τρίγωνον ἰσόπλευρον συστήσασθαι. Ἔστω ἡ δοθεῖσα εὐθεῖα πεπερασμένη ἡ ΑΒ. Δεῖ δὴ ἐπὶ τῆσ ΑΒ εὐθείασ τρίγωνον ἰσόπλευρον συστήσασθαι. Κέντρῳ μὲν τῷ Α διαστήματι δὲ τῷ ΑΒ κύκλοσ γεγράφθω ὁ ΒΓΔ, καὶ πάλιν κέντρῳ μὲν τῷ Β διαστήματι δὲ τῷ ΒΑ κύκλοσ γεγράφθω ὁ ΑΓΕ, καὶ ἀπὸ τοῦ Γ σημείου, καθ’ ὃ τέμνουσιν ἀλλήλουσ οἱ κύκλοι, ἐπὶ τὰ Α, Β σημεῖα ἐπεζεύχθωσαν εὐθεῖαι αἱ ΓΑ, ΓΒ. Καὶ ἐπεὶ τὸ Α σημεῖον κέντρον ἐστὶ τοῦ ΓΔΒ κύκλου, ἴση ἐστὶν ἡ ΑΓ τῇ ΑΒ· πάλιν, ἐπεὶ τὸ Β σημεῖον κέντρον ἐστὶ τοῦ ΓΑΕ κύκλου, ἴση ἐστὶν ἡ ΒΓ τῇ ΒΑ. ἐδείχθη δὲ καὶ ἡ ΓΑ τῇ ΑΒ ἴση· ἑκατέρα ἄρα τῶν ΓΑ, ΓΒ τῇ ΑΒ ἐστὶν ἴση. τὰ δὲ τῷ αὐτῷ ἴσα καὶ ἀλλήλοισ ἐστὶν ἴσα· καὶ ἡ ΓΑ ἄρα τῇ ΓΒ ἐστὶν ἴση· αἱ τρεῖσ ἄρα αἱ ΓΑ, ΑΒ, ΒΓ ἴσαι ἀλλήλαισ εἰσίν. Ἰσόπλευρον ἄρα ἐστὶ τὸ ΑΒΓ τρίγωνον, καὶ συνέσταται ἐπὶ τῆσ δοθείσησ εὐθείασ πεπερασμένησ τῆσ ΑΒ. [Ἐπὶ τῆσ δοθείσησ ἄρα εὐθείασ πεπερασμένησ τρίγωνον ἰσόπλευρον συνέσταται]· ὅπερ ἔδει ποιῆσαι. Πρὸσ τῷ δοθέντι σημείῳ τῇ δοθείσῃ εὐθείᾳ ἴσην εὐθεῖαν θέσθαι. Ἔστω τὸ μὲν δοθὲν σημεῖον τὸ Α, ἡ δὲ δοθεῖσα εὐθεῖα ἡ ΒΓ· δεῖ δὴ πρὸσ τῷ Α σημείῳ τῇ δοθείσῃ εὐθείᾳ τῇ ΒΓ ἴσην εὐθεῖαν θέσθαι. Ἐπεζεύχθω γὰρ ἀπὸ τοῦ Α σημείου ἐπὶ τὸ Β σημεῖον εὐθεῖα ἡ ΑΒ, καὶ συνεστάτω ἐπ’ αὐτῆσ τρίγωνον ἰσόπλευρον τὸ ΔΑΒ, καὶ ἐκβεβλήσθωσαν ἐπ’ εὐθείασ ταῖσ ΔΑ, ΔΒ εὐθεῖαι αἱ ΑΕ, ΒΖ, καὶ κέντρῳ μὲν τῷ Β διαστήματι δὲ τῷ ΒΓ κύκλοσ γεγράφθω ὁ ΓΗΘ, καὶ πάλιν κέντρῳ τῷ Δ καὶ διαστήματι τῷ ΔΗ κύκλοσ γεγράφθω ὁ ΗΚΛ. Ἐπεὶ οὖν τὸ Β σημεῖον κέντρον ἐστὶ τοῦ ΓΗΘ κύκλου, ἴση ἐστὶν ἡ ΒΓ τῇ ΒΗ. πάλιν, ἐπεὶ τὸ Δ σημεῖον κέντρον ἐστὶ τοῦ ΚΛΗ κύκλου, ἴση ἐστὶν ἡ ΔΛ τῇ ΔΗ, ὧν ἡ ΔΑ τῇ ΔΒ ἴση ἐστίν. λοιπὴ ἄρα ἡ ΑΛ λοιπῇ τῇ ΒΗ ἐστὶν ἴση. ἐδείχθη δὲ καὶ ἡ ΒΓ τῇ ΒΗ ἴση· ἑκατέρα ἄρα τῶν ΑΛ, ΒΓ τῇ ΒΗ ἐστὶν ἴση. τὰ δὲ τῷ αὐτῷ ἴσα καὶ ἀλλήλοισ ἐστὶν ἴσα· καὶ ἡ ΑΛ ἄρα τῇ ΒΓ ἐστὶν ἴση. Πρὸσ ἄρα τῷ δοθέντι σημείῳ τῷ Α τῇ δοθείσῃ εὐθείᾳ τῇ ΒΓ ἴση εὐθεῖα κεῖται ἡ ΑΛ· ὅπερ ἔδει ποιῆσαι. Δύο δοθεισῶν εὐθειῶν ἀνίσων ἀπὸ τῆσ μείζονοσ τῇ ἐλάσσονι ἴσην εὐθεῖαν ἀφελεῖν. Ἔστωσαν αἱ δοθεῖσαι δύο εὐθεῖαι ἄνισοι αἱ ΑΒ, Γ, ὧν μείζων ἔστω ἡ ΑΒ· δεῖ δὴ ἀπὸ τῆσ μείζονοσ τῆσ ΑΒ τῇ ἐλάσσονι τῇ Γ ἴσην εὐθεῖαν ἀφελεῖν. Κείσθω πρὸσ τῷ Α σημείῳ τῇ Γ εὐθείᾳ ἴση ἡ ΑΔ· καὶ κέντρῳ μὲν τῷ Α διαστήματι δὲ τῷ ΑΔ κύκλοσ γεγράφθω ὁ ΔΕΖ. Καὶ ἐπεὶ τὸ Α σημεῖον κέντρον ἐστὶ τοῦ ΔΕΖ κύκλου, ἴση ἐστὶν ἡ ΑΕ τῇ ΑΔ· ἀλλὰ καὶ ἡ Γ τῇ ΑΔ ἐστιν ἴση. ἑκατέρα ἄρα τῶν ΑΕ, Γ τῇ ΑΔ ἐστιν ἴση· ὥστε καὶ ἡ ΑΕ τῇ Γ ἐστιν ἴση. Δύο ἄρα δοθεισῶν εὐθειῶν ἀνίσων τῶν ΑΒ, Γ ἀπὸ τῆσ μείζονοσ τῆσ ΑΒ τῇ ἐλάσσονι τῇ Γ ἴση ἀφῄρηται ἡ ΑΕ· ὅπερ ἔδει ποιῆσαι. Εἂν δύο τρίγωνα τὰσ δύο πλευρὰσ [ταῖσ] δυσὶ πλευραῖσ ἴσασ ἔχῃ ἑκατέραν ἑκατέρᾳ καὶ τὴν γωνίαν τῇ γωνίᾳ ἴσην ἔχῃ τὴν ὑπὸ τῶν ἴσων εὐθειῶν περιεχομένην, καὶ τὴν βάσιν τῇ βάσει ἴσην ἕξει, καὶ τὸ τρίγωνον τῷ τριγώνῳ ἴσον ἔσται, καὶ αἱ λοιπαὶ γωνίαι ταῖσ λοιπαῖσ γωνίαισ ἴσαι ἔσονται ἑκατέρα ἑκατέρᾳ, ὑφ’ ἃσ αἱ ἴσαι πλευραὶ ὑποτείνουσιν. Ἔστω δύο τρίγωνα τὰ ΑΒΓ, ΔΕΖ τὰσ δύο πλευρὰσ τὰσ ΑΒ, ΑΓ ταῖσ δυσὶ πλευραῖσ ταῖσ ΔΕ, ΔΖ ἴσασ ἔχοντα ἑκατέραν ἑκατέρᾳ τὴν μὲν ΑΒ τῇ ΔΕ τὴν δὲ ΑΓ τῇ ΔΖ καὶ γωνίαν τὴν ὑπὸ ΒΑΓ γωνίᾳ τῇ ὑπὸ ΕΔΖ ἴσην. λέγω, ὅτι καὶ βάσισ ἡ ΒΓ βάσει τῇ ΕΖ ἴση ἐστίν, καὶ τὸ ΑΒΓ τρίγωνον τῷ ΔΕΖ τριγώνῳ ἴσον ἔσται, καὶ αἱ λοιπαὶ γωνίαι ταῖσ λοιπαῖσ γωνίαισ ἴσαι ἔσονται ἑκατέρα ἑκατέρᾳ, ὑφ’ ἃσ αἱ ἴσαι πλευραὶ ὑποτείνουσιν, ἡ μὲν ὑπὸ ΑΒΓ τῇ ὑπὸ ΔΕΖ, ἡ δὲ ὑπὸ ΑΓΒ τῇ ὑπὸ ΔΖΕ. Ἐφαρμοζομένου γὰρ τοῦ ΑΒΓ τριγώνου ἐπὶ τὸ ΔΕΖ τρίγωνον καὶ τιθεμένου τοῦ μὲν Α σημείου ἐπὶ τὸ Δ σημεῖον τῆσ δὲ ΑΒ εὐθείασ ἐπὶ τὴν ΔΕ, ἐφαρμόσει καὶ τὸ Β σημεῖον ἐπὶ τὸ Ε διὰ τὸ ἴσην εἶναι τὴν ΑΒ τῇ ΔΕ· ἐφαρμοσάσησ δὴ τῆσ ΑΒ ἐπὶ τὴν ΔΕ ἐφαρμόσει καὶ ἡ ΑΓ εὐθεῖα ἐπὶ τὴν ΔΖ διὰ τὸ ἴσην εἶναι τὴν ὑπὸ ΒΑΓ γωνίαν τῇ ὑπὸ ΕΔΖ· ὥστε καὶ τὸ Γ σημεῖον ἐπὶ τὸ Ζ σημεῖον ἐφαρμόσει διὰ τὸ ἴσην πάλιν εἶναι τὴν ΑΓ τῇ ΔΖ. ἀλλὰ μὴν καὶ τὸ Β ἐπὶ τὸ Ε ἐφηρμόκει· ὥστε βάσισ ἡ ΒΓ ἐπὶ βάσιν τὴν ΕΖ ἐφαρμόσει. εἰ γὰρ τοῦ μὲν Β ἐπὶ τὸ Ε ἐφαρμόσαντοσ τοῦ δὲ Γ ἐπὶ τὸ Ζ ἡ ΒΓ βάσισ ἐπὶ τὴν ΕΖ οὐκ ἐφαρμόσει, δύο εὐθεῖαι χωρίον περιέξουσιν· ὅπερ ἐστὶν ἀδύνατον. ἐφαρμόσει ἄρα ἡ ΒΓ βάσισ ἐπὶ τὴν ΕΖ καὶ ἴση αὐτῇ ἔσται· ὥστε καὶ ὅλον τὸ ΑΒΓ τρίγωνον ἐπὶ ὅλον τὸ ΔΕΖ τρίγωνον ἐφαρμόσει καὶ ἴσον αὐτῷ ἔσται, καὶ αἱ λοιπαὶ γωνίαι ἐπὶ τὰσ λοιπὰσ γωνίασ ἐφαρμόσουσι καὶ ἴσαι αὐταῖσ ἔσονται, ἡ μὲν ὑπὸ ΑΒΓ τῇ ὑπὸ ΔΕΖ ἡ δὲ ὑπὸ ΑΓΒ τῇ ὑπὸ ΔΖΕ. Εἂν ἄρα δύο τρίγωνα τὰσ δύο πλευρὰσ [ταῖσ] δύο πλευραῖσ ἴσασ ἔχῃ ἑκατέραν ἑκατέρᾳ καὶ τὴν γωνίαν τῇ γωνίᾳ ἴσην ἔχῃ τὴν ὑπὸ τῶν ἴσων εὐθειῶν περιεχομένην, καὶ τὴν βάσιν τῇ βάσει ἴσην ἕξει, καὶ τὸ τρίγωνον τῷ τριγώνῳ ἴσον ἔσται, καὶ αἱ λοιπαὶ γωνίαι ταῖσ λοιπαῖσ γωνίαισ ἴσαι ἔσονται ἑκατέρα ἑκατέρᾳ, ὑφ’ ἃσ αἱ ἴσαι πλευραὶ ὑποτείνουσιν· ὅπερ ἔδει δεῖξαι. Τῶν ἰσοσκελῶν τριγώνων αἱ πρὸσ τῇ βάσει γωνίαι ἴσαι ἀλλήλαισ εἰσίν, καὶ προσεκβληθεισῶν τῶν ἴσων εὐθειῶν αἱ ὑπὸ τὴν βάσιν γωνίαι ἴσαι ἀλλήλαισ ἔσονται. Ἔστω τρίγωνον ἰσοσκελὲσ τὸ ΑΒΓ ἴσην ἔχον τὴν ΑΒ πλευρὰν τῇ ΑΓ πλευρᾷ, καὶ προσεκβεβλήσθωσαν ἐπ’ εὐθείασ ταῖσ ΑΒ, ΑΓ εὐθεῖαι αἱ ΒΔ, ΓΕ· λέγω, ὅτι ἡ μὲν ὑπὸ ΑΒΓ γωνία τῇ ὑπὸ ΑΓΒ ἴση ἐστίν, ἡ δὲ ὑπὸ ΓΒΔ τῇ ὑπὸ ΒΓΕ. Εἰλήφθω γὰρ ἐπὶ τῆσ ΒΔ τυχὸν σημεῖον τὸ Ζ, καὶ ἀφῃρήσθω ἀπὸ τῆσ μείζονοσ τῆσ ΑΕ τῇ ἐλάσσονι τῇ ΑΖ ἴση ἡ ΑΗ, καὶ ἐπεζεύχθωσαν αἱ ΖΓ, ΗΒ εὐθεῖαι. Ἐπεὶ οὖν ἴση ἐστὶν ἡ μὲν ΑΖ τῇ ΑΗ ἡ δὲ ΑΒ τῇ ΑΓ, δύο δὴ αἱ ΖΑ, ΑΓ δυσὶ ταῖσ ΗΑ, ΑΒ ἴσαι εἰσὶν ἑκατέρα ἑκατέρᾳ· καὶ γωνίαν κοινὴν περιέχουσι τὴν ὑπὸ ΖΑΗ· βάσισ ἄρα ἡ ΖΓ βάσει τῇ ΗΒ ἴση ἐστίν, καὶ τὸ ΑΖΓ τρίγωνον τῷ ΑΗΒ τριγώνῳ ἴσον ἔσται, καὶ αἱ λοιπαὶ γωνίαι ταῖσ λοιπαῖσ γωνίαισ ἴσαι ἔσονται ἑκατέρα ἑκατέρᾳ, ὑφ’ ἃσ αἱ ἴσαι πλευραὶ ὑποτείνουσιν, ἡ μὲν ὑπὸ ΑΓΖ τῇ ὑπὸ ΑΒΗ, ἡ δὲ ὑπὸ ΑΖΓ τῇ ὑπὸ ΑΗΒ. καὶ ἐπεὶ ὅλη ἡ ΑΖ ὅλῃ τῇ ΑΗ ἐστιν ἴση, ὧν ἡ ΑΒ τῇ ΑΓ ἐστιν ἴση, λοιπὴ ἄρα ἡ ΒΖ λοιπῇ τῇ ΓΗ ἐστιν ἴση. ἐδείχθη δὲ καὶ ἡ ΖΓ τῇ ΗΒ ἴση· δύο δὴ αἱ ΒΖ, ΖΓ δυσὶ ταῖσ ΓΗ, ΗΒ ἴσαι εἰσὶν ἑκατέρα ἑκατέρᾳ· καὶ γωνία ἡ ὑπὸ ΒΖΓ γωνίᾳ τῇ ὑπὸ ΓΗΒ ἴση, καὶ βάσισ αὐτῶν κοινὴ ἡ ΒΓ· καὶ τὸ ΒΖΓ ἄρα τρίγωνον τῷ ΓΗΒ τριγώνῳ ἴσον ἔσται, καὶ αἱ λοιπαὶ γωνίαι ταῖσ λοιπαῖσ γωνίαισ ἴσαι ἔσονται ἑκατέρα ἑκατέρᾳ, ὑφ’ ἃσ αἱ ἴσαι πλευραὶ ὑποτείνουσιν· ἴση ἄρα ἐστὶν ἡ μὲν ὑπὸ ΖΒΓ τῇ ὑπὸ ΗΓΒ ἡ δὲ ὑπὸ ΒΓΖ τῇ ὑπὸ ΓΒΗ. ἐπεὶ οὖν ὅλη ἡ ὑπὸ ΑΒΗ γωνία ὅλῃ τῇ ὑπὸ ΑΓΖ γωνίᾳ ἐδείχθη ἴση, ὧν ἡ ὑπὸ ΓΒΗ τῇ ὑπὸ ΒΓΖ ἴση, λοιπὴ ἄρα ἡ ὑπὸ ΑΒΓ λοιπῇ τῇ ὑπὸ ΑΓΒ ἐστιν ἴση· καί εἰσι πρὸσ τῇ βάσει τοῦ ΑΒΓ τριγώνου. ἐδείχθη δὲ καὶ ἡ ὑπὸ ΖΒΓ τῇ ὑπὸ ΗΓΒ ἴση· καί εἰσιν ὑπὸ τὴν βάσιν. Τῶν ἄρα ἰσοσκελῶν τριγώνων αἱ πρὸσ τῇ βάσει γωνίαι ἴσαι ἀλλήλαισ εἰσίν, καὶ προσεκβληθεισῶν τῶν ἴσων εὐθειῶν αἱ ὑπὸ τὴν βάσιν γωνίαι ἴσαι ἀλλήλαισ ἔσονται· ὅπερ ἔδει δεῖξαι. Εἂν τριγώνου αἱ δύο γωνίαι ἴσαι ἀλλήλαισ ὦσιν, καὶ αἱ ὑπὸ τὰσ ἴσασ γωνίαισ ὑποτείνουσαι πλευραὶ ἴσαι ἀλλήλαισ ἔσονται. Ἔστω τρίγωνον τὸ ΑΒΓ ἴσην ἔχον τὴν ὑπὸ ΑΒΓ γωνίαν τῇ ὑπὸ ΑΓΒ γωνίᾳ· λέγω, ὅτι καὶ πλευρὰ ἡ ΑΒ πλευρᾷ τῇ ΑΓ ἐστιν ἴση. Εἰ γὰρ ἄνισόσ ἐστιν ἡ ΑΒ τῇ ΑΓ, ἡ ἑτέρα αὐτῶν μείζων ἐστίν. ἔστω μείζων ἡ ΑΒ, καὶ ἀφῃρήσθω ἀπὸ τῆσ μείζονοσ τῆσ ΑΒ τῇ ἐλάττονι τῇ ΑΓ ἴση ἡ ΔΒ, καὶ ἐπεζεύχθω ἡ ΔΓ. Ἐπεὶ οὖν ἴση ἐστὶν ἡ ΔΒ τῇ ΑΓ κοινὴ δὲ ἡ ΒΓ, δύο δὴ αἱ ΔΒ, ΒΓ δύο ταῖσ ΑΓ, ΓΒ ἴσαι εἰσὶν ἑκατέρα ἑκατέρᾳ, καὶ γωνία ἡ ὑπὸ ΔΒΓ γωνίᾳ τῇ ὑπὸ ΑΓΒ ἐστιν ἴση· βάσισ ἄρα ἡ ΔΓ βάσει τῇ ΑΒ ἴση ἐστίν, καὶ τὸ ΔΒΓ τρίγωνον τῷ ΑΓΒ τριγώνῳ ἴσον ἔσται, τὸ ἔλασσον τῷ μείζονι· ὅπερ ἄτοπον· οὐκ ἄρα ἄνισόσ ἐστιν ἡ ΑΒ τῇ ΑΓ· ἴση ἄρα. Εἂν ἄρα τριγώνου αἱ δύο γωνίαι ἴσαι ἀλλήλαισ ὦσιν, καὶ αἱ ὑπὸ τὰσ ἴσασ γωνίασ ὑποτείνουσαι πλευραὶ ἴσαι ἀλλήλαισ ἔσονται· ὅπερ ἔδει δεῖξαι. Ἐπὶ τῆσ αὐτῆσ εὐθείασ δύο ταῖσ αὐταῖσ εὐθείαισ ἄλλαι δύο εὐθεῖαι ἴσαι ἑκατέρα ἑκατέρᾳ οὐ συσταθήσονται πρὸσ ἄλλῳ καὶ ἄλλῳ σημείῳ ἐπὶ τὰ αὐτὰ μέρη τὰ αὐτὰ πέρατα ἔχουσαι ταῖσ ἐξ ἀρχῆσ εὐθείαισ. Εἰ γὰρ δυνατόν, ἐπὶ τῆσ αὐτῆσ εὐθείασ τῆσ ΑΒ δύο ταῖσ αὐταῖσ εὐθείαισ ταῖσ ΑΓ, ΓΒ ἄλλαι δύο εὐθεῖαι αἱ ΑΔ, ΔΒ ἴσαι ἑκατέρα ἑκατέρᾳ συνεστάτωσαν πρὸσ ἄλλῳ καὶ ἄλλῳ σημείῳ τῷ τε Γ καὶ Δ ἐπὶ τὰ αὐτὰ μέρη τὰ αὐτὰ πέρατα ἔχουσαι, ὥστε ἴσην εἶναι τὴν μὲν ΓΑ τῇ ΔΑ τὸ αὐτὸ πέρασ ἔχουσαν αὐτῇ τὸ Α, τὴν δὲ ΓΒ τῇ ΔΒ τὸ αὐτὸ πέρασ ἔχουσαν αὐτῇ τὸ Β, καὶ ἐπεζεύχθω ἡ ΓΔ. Ἐπεὶ οὖν ἴση ἐστὶν ἡ ΑΓ τῇ ΑΔ, ἴση ἐστὶ καὶ γωνία ἡ ὑπὸ ΑΓΔ τῇ ὑπὸ ΑΔΓ· μείζων ἄρα ἡ ὑπὸ ΑΔΓ τῆσ ὑπὸ ΔΓΒ· πολλῷ ἄρα ἡ ὑπὸ ΓΔΒ μείζων ἐστὶ τῆσ ὑπὸ ΔΓΒ. πάλιν ἐπεὶ ἴση ἐστὶν ἡ ΓΒ τῇ ΔΒ, ἴση ἐστὶ καὶ γωνία ἡ ὑπὸ ΓΔΒ γωνίᾳ τῇ ὑπὸ ΔΓΒ. ἐδείχθη δὲ αὐτῆσ καὶ πολλῷ μείζων· ὅπερ ἐστὶν ἀδύνατον. Οὐκ ἄρα ἐπὶ τῆσ αὐτῆσ εὐθείασ δύο ταῖσ αὐταῖσ εὐθείαισ ἄλλαι δύο εὐθεῖαι ἴσαι ἑκατέρα ἑκατέρᾳ συσταθήσονται πρὸσ ἄλλῳ καὶ ἄλλῳ σημείῳ ἐπὶ τὰ αὐτὰ μέρη τὰ αὐτὰ πέρατα ἔχουσαι ταῖσ ἐξ ἀρχῆσ εὐθείαισ· ὅπερ ἔδει δεῖξαι. Εἂν δύο τρίγωνα τὰσ δύο πλευρὰσ [ταῖσ] δύο πλευραῖσ ἴσασ ἔχῃ ἑκατέραν ἑκατέρα, ἔχῃ δὲ καὶ τὴν βάσιν τῇ βάσει ἴσην, καὶ τὴν γωνίαν τῇ γωνίᾳ ἴσην ἕξει τὴν ὑπὸ τῶν ἴσων εὐθειῶν περιεχομένην. Ἔστω δύο τρίγωνα τὰ ΑΒΓ, ΔΕΖ τὰσ δύο πλευρὰσ τὰσ ΑΒ, ΑΓ ταῖσ δύο πλευραῖσ ταῖσ ΔΕ, ΔΖ ἴσασ ἔχοντα ἑκατέραν ἑκατέρᾳ, τὴν μὲν ΑΒ τῇ ΔΕ τὴν δὲ ΑΓ τῇ ΔΖ· ἐχέτω δὲ καὶ βάσιν τὴν ΒΓ βάσει τῇ ΕΖ ἴσην· λέγω, ὅτι καὶ γωνία ἡ ὑπὸ ΒΑΓ γωνίᾳ τῇ ὑπὸ ΕΔΖ ἐστιν ἴση. Ἐφαρμοζομένου γὰρ τοῦ ΑΒΓ τριγώνου ἐπὶ τὸ ΔΕΖ τρίγωνον καὶ τιθεμένου τοῦ μὲν Β σημείου ἐπὶ τὸ Ε σημεῖον τῆσ δὲ ΒΓ εὐθείασ ἐπὶ τὴν ΕΖ ἐφαρμόσει καὶ τὸ Γ σημεῖον ἐπὶ τὸ Ζ διὰ τὸ ἴσην εἶναι τὴν ΒΓ τῇ ΕΖ· ἐφαρμοσάσησ δὴ τῆσ ΒΓ ἐπὶ τὴν ΕΖ ἐφαρμόσουσι καὶ αἱ ΒΑ, ΓΑ ἐπὶ τὰσ ΕΔ, ΔΖ. εἰ γὰρ βάσισ μὲν ἡ ΒΓ ἐπὶ βάσιν τὴν ΕΖ ἐφαρμόσει, αἱ δὲ ΒΑ, ΑΓ πλευραὶ ἐπὶ τὰσ ΕΔ, ΔΖ οὐκ ἐφαρμόσουσιν ἀλλὰ παραλλάξουσιν ὡσ αἱ ΕΗ, ΗΖ, συσταθήσονται ἐπὶ τῆσ αὐτῆσ εὐθείασ δύο ταῖσ αὐταῖσ εὐθείαισ ἄλλαι δύο εὐθεῖαι ἴσαι ἑκατέρα ἑκατέρᾳ πρὸσ ἄλλῳ καὶ ἄλλῳ σημείῳ ἐπὶ τὰ αὐτὰ μέρη τὰ αὐτὰ πέρατα ἔχουσαι. οὐ συνίστανται δέ· οὐκ ἄρα ἐφαρμοζομένησ τῆσ ΒΓ βάσεωσ ἐπὶ τὴν ΕΖ βάσιν οὐκ ἐφαρμόσουσι καὶ αἱ ΒΑ, ΑΓ πλευραὶ ἐπὶ τὰσ ΕΔ, ΔΖ. ἐφαρμόσουσιν ἄρα· ὥστε καὶ γωνία ἡ ὑπὸ ΒΑΓ ἐπὶ γωνίαν τὴν ὑπὸ ΕΔΖ ἐφαρμόσει καὶ ἴση αὐτῇ ἔσται. Εἂν ἄρα δύο τρίγωνα τὰσ δύο πλευρὰσ [ταῖσ] δύο πλευραῖσ ἴσασ ἔχῃ ἑκατέραν ἑκατέρᾳ καὶ τὴν βάσιν τῇ βάσει ἴσην ἔχῃ, καὶ τὴν γωνίαν τῇ γωνίᾳ ἴσην ἕξει τὴν ὑπὸ τῶν ἴσων εὐθειῶν περιεχομένην· ὅπερ ἔδει δεῖξαι. Τὴν δοθεῖσαν γωνίαν εὐθύγραμμον δίχα τεμεῖν. Ἔστω ἡ δοθεῖσα γωνία εὐθύγραμμοσ ἡ ὑπὸ ΒΑΓ. δεῖ δὴ αὐτὴν δίχα τεμεῖν. Εἰλήφθω ἐπὶ τῆσ ΑΒ τυχὸν σημεῖον τὸ Δ, καὶ ἀφῃρήσθω ἀπὸ τῆσ ΑΓ τῇ ΑΔ ἴση ἡ ΑΕ, καὶ ἐπεζεύχθω ἡ ΔΕ, καὶ συνεστάτω ἐπὶ τῆσ ΔΕ τρίγωνον ἰσόπλευρον τὸ ΔΕΖ, καὶ ἐπεζεύχθω ἡ ΑΖ· λέγω, ὅτι ἡ ὑπὸ ΒΑΓ γωνία δίχα τέτμηται ὑπὸ τῆσ ΑΖ εὐθείασ. Ἐπεὶ γὰρ ἴση ἐστὶν ἡ ΑΔ τῇ ΑΕ, κοινὴ δὲ ἡ ΑΖ, δύο δὴ αἱ ΔΑ, ΑΖ δυσὶ ταῖσ ΕΑ, ΑΖ ἴσαι εἰσὶν ἑκατέρα ἑκατέρᾳ. καὶ βάσισ ἡ ΔΖ βάσει τῇ ΕΖ ἴση ἐστίν· γωνία ἄρα ἡ ὑπὸ ΔΑΖ γωνίᾳ τῇ ὑπὸ ΕΑΖ ἴση ἐστίν. Ἡ ἄρα δοθεῖσα γωνία εὐθύγραμμοσ ἡ ὑπὸ ΒΑΓ δίχα τέτμηται ὑπὸ τῆσ ΑΖ εὐθείασ· ὅπερ ἔδει ποιῆσαι. Τὴν δοθεῖσαν εὐθεῖαν πεπερασμένην δίχα τεμεῖν. Ἔστω ἡ δοθεῖσα εὐθεῖα πεπερασμένη ἡ ΑΒ· δεῖ δὴ τὴν ΑΒ εὐθεῖαν πεπερασμένην δίχα τεμεῖν. Συνεστάτω ἐπ’ αὐτῆσ τρίγωνον ἰσόπλευρον τὸ ΑΒΓ, καὶ τετμήσθω ἡ ὑπὸ ΑΓΒ γωνία δίχα τῇ ΓΔ εὐθείᾳ· λέγω, ὅτι ἡ ΑΒ εὐθεῖα δίχα τέτμηται κατὰ τὸ Δ σημεῖον. Ἐπεὶ γὰρ ἴση ἐστὶν ἡ ΑΓ τῇ ΓΒ, κοινὴ δὲ ἡ ΓΔ, δύο δὴ αἱ ΑΓ, ΓΔ δύο ταῖσ ΒΓ, ΓΔ ἴσαι εἰσὶν ἑκατέρα ἑκατέρᾳ· καὶ γωνία ἡ ὑπὸ ΑΓΔ γωνίᾳ τῇ ὑπὸ ΒΓΔ ἴση ἐστίν· βάσισ ἄρα ἡ ΑΔ βάσει τῇ ΒΔ ἴση ἐστίν. Ἡ ἄρα δοθεῖσα εὐθεῖα πεπερασμένη ἡ ΑΒ δίχα τέτμηται κατὰ τὸ Δ· ὅπερ ἔδει ποιῆσαι. Τῇ δοθείσῃ εὐθείᾳ ἀπὸ τοῦ πρὸσ αὐτῇ δοθέντοσ σημείου πρὸσ ὀρθὰσ γωνίασ εὐθεῖαν γραμμὴν ἀγαγεῖν. Ἔστω ἡ μὲν δοθεῖσα εὐθεῖα ἡ ΑΒ τὸ δὲ δοθὲν σημεῖον ἐπ’ αὐτῆσ τὸ Γ· δεῖ δὴ ἀπὸ τοῦ Γ σημείου τῇ ΑΒ εὐθείᾳ πρὸσ ὀρθὰσ γωνίασ εὐθεῖαν γραμμὴν ἀγαγεῖν. Εἰλήφθω ἐπὶ τῆσ ΑΓ τυχὸν σημεῖον τὸ Δ, καὶ κείσθω τῇ ΓΔ ἴση ἡ ΓΕ, καὶ συνεστάτω ἐπὶ τῆσ ΔΕ τρίγωνον ἰσόπλευρον τὸ ΖΔΕ, καὶ ἐπεζεύχθω ἡ ΖΓ· λέγω, ὅτι τῇ δοθείσῃ εὐθείᾳ τῇ ΑΒ ἀπὸ τοῦ πρὸσ αὐτῇ δοθέντοσ σημείου τοῦ Γ πρὸσ ὀρθὰσ γωνίασ εὐθεῖα γραμμὴ ἦκται ἡ ΖΓ. Ἐπεὶ γὰρ ἴση ἐστὶν ἡ ΔΓ τῇ ΓΕ, κοινὴ δὲ ἡ ΓΖ, δύο δὴ αἱ ΔΓ, ΓΖ δυσὶ ταῖσ ΕΓ, ΓΖ ἴσαι εἰσὶν ἑκατέρα ἑκατέρᾳ· καὶ βάσισ ἡ ΔΖ βάσει τῇ ΖΕ ἴση ἐστίν· γωνία ἄρα ἡ ὑπὸ ΔΓΖ γωνίᾳ τῇ ὑπὸ ΕΓΖ ἴση ἐστίν· καί εἰσιν ἐφεξῆσ. ὅταν δὲ εὐθεῖα ἐπ’ εὐθεῖαν σταθεῖσα τὰσ ἐφεξῆσ γωνίασ ἴσασ ἀλλήλαισ ποιῇ, ὀρθὴ ἑκατέρα τῶν ἴσων γωνιῶν ἐστιν· ὀρθὴ ἄρα ἐστὶν ἑκατέρα τῶν ὑπὸ ΔΓΖ, ΖΓΕ. Τῇ ἄρα δοθείσῃ εὐθείᾳ τῇ ΑΒ ἀπὸ τοῦ πρὸσ αὐτῇ δοθέντοσ σημείου τοῦ Γ πρὸσ ὀρθὰσ γωνίασ εὐθεῖα γραμμὴ ἦκται ἡ ΓΖ· ὅπερ ἔδει ποιῆσαι. Ἐπὶ τὴν δοθεῖσαν εὐθεῖαν ἄπειρον ἀπὸ τοῦ δοθέντοσ σημείου, ὃ μή ἐστιν ἐπ’ αὐτῆσ, κάθετον εὐθεῖαν γραμμὴν ἀγαγεῖν. Ἔστω ἡ μὲν δοθεῖσα εὐθεῖα ἄπειροσ ἡ ΑΒ τὸ δὲ δοθὲν σημεῖον, ὃ μή ἐστιν ἐπ’ αὐτῆσ, τὸ Γ· δεῖ δὴ ἐπὶ τὴν δοθεῖσαν εὐθεῖαν ἄπειρον τὴν ΑΒ ἀπὸ τοῦ δοθέντοσ σημείου τοῦ Γ, ὃ μή ἐστιν ἐπ’ αὐτῆσ, κάθετον εὐθεῖαν γραμμὴν ἀγαγεῖν. Εἰλήφθω γὰρ ἐπὶ τὰ ἕτερα μέρη τῆσ ΑΒ εὐθείασ τυχὸν σημεῖον τὸ Δ, καὶ κέντρῳ μὲν τῷ Γ διαστήματι δὲ τῷ ΓΔ κύκλοσ γεγράφθω ὁ ΕΖΗ, καὶ τετμήσθω ἡ ΕΗ εὐθεῖα δίχα κατὰ τὸ Θ, καὶ ἐπεζεύχθωσαν αἱ ΓΗ, ΓΘ, ΓΕ εὐθεῖαι· λέγω, ὅτι ἐπὶ τὴν δοθεῖσαν εὐθεῖαν ἄπειρον τὴν ΑΒ ἀπὸ τοῦ δοθέντοσ σημείου τοῦ Γ, ὃ μή ἐστιν ἐπ’ αὐτῆσ, κάθετοσ ἦκται ἡ ΓΘ. Ἐπεὶ γὰρ ἴση ἐστὶν ἡ ΗΘ τῇ ΘΕ, κοινὴ δὲ ἡ ΘΓ, δύο δὴ αἱ ΗΘ, ΘΓ δύο ταῖσ ΕΘ, ΘΓ ἴσαι εἰσὶν ἑκατέρα ἑκατέρᾳ· καὶ βάσισ ἡ ΓΗ βάσει τῇ ΓΕ ἐστιν ἴση· γωνία ἄρα ἡ ὑπὸ ΓΘΗ γωνίᾳ τῇ ὑπὸ ΕΘΓ ἐστιν ἴση. καί εἰσιν ἐφεξῆσ. ὅταν δὲ εὐθεῖα ἐπ’ εὐθεῖαν σταθεῖσα τὰσ ἐφεξῆσ γωνίασ ἴσασ ἀλλήλαισ ποιῇ, ὀρθὴ ἑκατέρα τῶν ἴσων γωνιῶν ἐστιν, καὶ ἡ ἐφεστηκυῖα εὐθεῖα κάθετοσ καλεῖται ἐφ’ ἣν ἐφέστηκεν. Ἐπὶ τὴν δοθεῖσαν ἄρα εὐθεῖαν ἄπειρον τὴν ΑΒ ἀπὸ τοῦ δοθέντοσ σημείου τοῦ Γ, ὃ μή ἐστιν ἐπ’ αὐτῆσ, κάθετοσ ἦκται ἡ ΓΘ· ὅπερ ἔδει ποιῆσαι. Εἂν εὐθεῖα ἐπ’ εὐθεῖαν σταθεῖσα γωνίασ ποιῇ, ἤτοι δύο ὀρθὰσ ἢ δυσὶν ὀρθαῖσ ἴσασ ποιήσει. Εὐθεῖα γάρ τισ ἡ ΑΒ ἐπ’ εὐθεῖαν τὴν ΓΔ σταθεῖσα γωνίασ ποιείτω τὰσ ὑπὸ ΓΒΑ, ΑΒΔ· λέγω, ὅτι αἱ ὑπὸ ΓΒΑ, ΑΒΔ γωνίαι ἤτοι δύο ὀρθαί εἰσιν ἢ δυσὶν ὀρθαῖσ ἴσαι. Εἰ μὲν οὖν ἴση ἐστὶν ἡ ὑπὸ ΓΒΑ τῇ ὑπὸ ΑΒΔ, δύο ὀρθαί εἰσιν. εἰ δὲ οὔ, ἤχθω ἀπὸ τοῦ Β σημείου τῇ ΓΔ [εὐθείᾳ] πρὸσ ὀρθὰσ ἡ ΒΕ· αἱ ἄρα ὑπὸ ΓΒΕ, ΕΒΔ δύο ὀρθαί εἰσιν· καὶ ἐπεὶ ἡ ὑπὸ ΓΒΕ δυσὶ ταῖσ ὑπὸ ΓΒΑ, ΑΒΕ ἴση ἐστίν, κοινὴ προσκείσθω ἡ ὑπὸ ΕΒΔ· αἱ ἄρα ὑπὸ ΓΒΕ, ΕΒΔ τρισὶ ταῖσ ὑπὸ ΓΒΑ, ΑΒΕ, ΕΒΔ ἴσαι εἰσίν. πάλιν, ἐπεὶ ἡ ὑπὸ ΔΒΑ δυσὶ ταῖσ ὑπὸ ΔΒΕ, ΕΒΑ ἴση ἐστίν, κοινὴ προσκείσθω ἡ ὑπὸ ΑΒΓ· αἱ ἄρα ὑπὸ ΔΒΑ, ΑΒΓ τρισὶ ταῖσ ὑπὸ ΔΒΕ, ΕΒΑ, ΑΒΓ ἴσαι εἰσίν. ἐδείχθησαν δὲ καὶ αἱ ὑπὸ ΓΒΕ, ΕΒΔ τρισὶ ταῖσ αὐταῖσ ἴσαι· τὰ δὲ τῷ αὐτῷ ἴσα καὶ ἀλλήλοισ ἐστὶν ἴσα· καὶ αἱ ὑπὸ ΓΒΕ, ΕΒΔ ἄρα ταῖσ ὑπὸ ΔΒΑ, ΑΒΓ ἴσαι εἰσίν· ἀλλὰ αἱ ὑπὸ ΓΒΕ, ΕΒΔ δύο ὀρθαί εἰσιν· καὶ αἱ ὑπὸ ΔΒΑ, ΑΒΓ ἄρα δυσὶν ὀρθαῖσ ἴσαι εἰσίν. Εἂν ἄρα εὐθεῖα ἐπ’ εὐθεῖαν σταθεῖσα γωνίασ ποιῇ, ἤτοι δύο ὀρθὰσ ἢ δυσὶν ὀρθαῖσ ἴσασ ποιήσει· ὅπερ ἔδει δεῖξαι. Εἂν πρόσ τινι εὐθείᾳ καὶ τῷ πρὸσ αὐτῇ σημείῳ δύο εὐθεῖαι μὴ ἐπὶ τὰ αὐτὰ μέρη κείμεναι τὰσ ἐφεξῆσ γωνίασ δυσὶν ὀρθαῖσ ἴσασ ποιῶσιν, ἐπ’ εὐθείασ ἔσονται ἀλλήλαισ αἱ εὐθεῖαι. Πρὸσ γάρ τινι εὐθείᾳ τῇ ΑΒ καὶ τῷ πρὸσ αὐτῇ σημείῳ τῷ Β δύο εὐθεῖαι αἱ ΒΓ, ΒΔ μὴ ἐπὶ τὰ αὐτὰ μέρη κείμεναι τὰσ ἐφεξῆσ γωνίασ τὰσ ὑπὸ ΑΒΓ, ΑΒΔ δύο ὀρθαῖσ ἴσασ ποιείτωσαν· λέγω, ὅτι ἐπ’ εὐθείασ ἐστὶ τῇ ΓΒ ἡ ΒΔ. Εἰ γὰρ μή ἐστι τῇ ΒΓ ἐπ’ εὐθείασ ἡ ΒΔ, ἔστω τῇ ΓΒ ἐπ’ εὐθείασ ἡ ΒΕ. Ἐπεὶ οὖν εὐθεῖα ἡ ΑΒ ἐπ’ εὐθεῖαν τὴν ΓΒΕ ἐφέστηκεν, αἱ ἄρα ὑπὸ ΑΒΓ, ΑΒΕ γωνίαι δύο ὀρθαῖσ ἴσαι εἰσίν· εἰσὶ δὲ καὶ αἱ ὑπὸ ΑΒΓ, ΑΒΔ δύο ὀρθαῖσ ἴσαι· αἱ ἄρα ὑπὸ ΓΒΑ, ΑΒΕ ταῖσ ὑπὸ ΓΒΑ, ΑΒΔ ἴσαι εἰσίν. κοινὴ ἀφῃρήσθω ἡ ὑπὸ ΓΒΑ· λοιπὴ ἄρα ἡ ὑπὸ ΑΒΕ λοιπῇ τῇ ὑπὸ ΑΒΔ ἐστιν ἴση, ἡ ἐλάσσων τῇ μείζονι· ὅπερ ἐστὶν ἀδύνατον. οὐκ ἄρα ἐπ’ εὐθείασ ἐστὶν ἡ ΒΕ τῇ ΓΒ. ὁμοίωσ δὴ δείξομεν, ὅτι οὐδὲ ἄλλη τισ πλὴν τῆσ ΒΔ· ἐπ’ εὐθείασ ἄρα ἐστὶν ἡ ΓΒ τῇ ΒΔ. Εἂν ἄρα πρόσ τινι εὐθείᾳ καὶ τῷ πρὸσ αὐτῇ σημείῳ δύο εὐθεῖαι μὴ ἐπὶ τὰ αὐτὰ μέρη κείμεναι τὰσ ἐφεξῆσ γωνίασ δυσὶν ὀρθαῖσ ἴσασ ποιῶσιν, ἐπ’ εὐθείασ ἔσονται ἀλλήλαισ αἱ εὐθεῖαι· ὅπερ ἔδει δεῖξαι. Εἂν δύο εὐθεῖαι τέμνωσιν ἀλλήλασ, τὰσ κατὰ κορυφὴν γωνίασ ἴσασ ἀλλήλαισ ποιοῦσιν. Δύο γὰρ εὐθεῖαι αἱ ΑΒ, ΓΔ τεμνέτωσαν ἀλλήλασ κατὰ τὸ Ε σημεῖον· λέγω, ὅτι ἴση ἐστὶν ἡ μὲν ὑπὸ ΑΕΓ γωνία τῇ ὑπὸ ΔΕΒ, ἡ δὲ ὑπὸ ΓΕΒ τῇ ὑπὸ ΑΕΔ. Ἐπεὶ γὰρ εὐθεῖα ἡ ΑΕ ἐπ’ εὐθεῖαν τὴν ΓΔ ἐφέστηκε γωνίασ ποιοῦσα τὰσ ὑπὸ ΓΕΑ, ΑΕΔ, αἱ ἄρα ὑπὸ ΓΕΑ, ΑΕΔ γωνίαι δυσὶν ὀρθαῖσ ἴσαι εἰσίν. πάλιν, ἐπεὶ εὐθεῖα ἡ ΔΕ ἐπ’ εὐθεῖαν τὴν ΑΒ ἐφέστηκε γωνίασ ποιοῦσα τὰσ ὑπὸ ΑΕΔ, ΔΕΒ, αἱ ἄρα ὑπὸ ΑΕΔ, ΔΕΒ γωνίαι δυσὶν ὀρθαῖσ ἴσαι εἰσίν. ἐδείχθησαν δὲ καὶ αἱ ὑπὸ ΓΕΑ, ΑΕΔ δυσὶν ὀρθαῖσ ἴσαι· αἱ ἄρα ὑπὸ ΓΕΑ, ΑΕΔ ταῖσ ὑπὸ ΑΕΔ, ΔΕΒ ἴσαι εἰσίν. κοινὴ ἀφῃρήσθω ἡ ὑπὸ ΑΕΔ· λοιπὴ ἄρα ἡ ὑπὸ ΓΕΑ λοιπῇ τῇ ὑπὸ ΒΕΔ ἴση ἐστίν· ὁμοίωσ δὴ δειχθήσεται, ὅτι καὶ αἱ ὑπὸ ΓΕΒ, ΔΕΑ ἴσαι εἰσίν. Εἂν ἄρα δύο εὐθεῖαι τέμνωσιν ἀλλήλασ, τὰσ κατὰ κορυφὴν γωνίασ ἴσασ ἀλλήλαισ ποιοῦσιν· ὅπερ ἔδει δεῖξαι. [Πόρισμα Ἐκ δὴ τούτου φανερὸν ὅτι, ἐὰν δύο εὐθεῖαι τέμνωσιν ἀλλήλασ, τὰσ πρὸσ τῇ τομῇ γωνίασ τέτρασιν ὀρθαῖσ ἴσασ ποιήσουσιν. ] Παντὸσ τριγώνου μιᾶσ τῶν πλευρῶν προσεκβληθείσησ ἡ ἐκτὸσ γωνία ἑκατέρασ τῶν ἐντὸσ καὶ ἀπεναντίον γωνιῶν μείζων ἐστίν. Ἔστω τρίγωνον τὸ ΑΒΓ, καὶ προσεκβεβλήσθω αὐτοῦ μία πλευρὰ ἡ ΒΓ ἐπὶ τὸ Δ· λέγω, ὅτι ἡ ἐκτὸσ γωνία ἡ ὑπὸ ΑΓΔ μείζων ἐστὶν ἑκατέρασ τῶν ἐντὸσ καὶ ἀπεναντίον τῶν ὑπὸ ΓΒΑ, ΒΑΓ γωνιῶν. Τετμήσθω ἡ ΑΓ δίχα κατὰ τὸ Ε, καὶ ἐπιζευχθεῖσα ἡ ΒΕ ἐκβεβλήσθω ἐπ’ εὐθείασ ἐπὶ τὸ Ζ, καὶ κείσθω τῇ ΒΕ ἴση ἡ ΕΖ, καὶ ἐπεζεύχθω ἡ ΖΓ, καὶ διήχθω ἡ ΑΓ ἐπὶ τὸ Η. Ἐπεὶ οὖν ἴση ἐστὶν ἡ μὲν ΑΕ τῇ ΕΓ, ἡ δὲ ΒΕ τῇ ΕΖ, δύο δὴ αἱ ΑΕ, ΕΒ δυσὶ ταῖσ ΓΕ, ΕΖ ἴσαι εἰσὶν ἑκατέρα ἑκατέρᾳ· καὶ γωνία ἡ ὑπὸ ΑΕΒ γωνίᾳ τῇ ὑπὸ ΖΕΓ ἴση ἐστίν· κατὰ κορυφὴν γάρ· βάσισ ἄρα ἡ ΑΒ βάσει τῇ ΖΓ ἴση ἐστίν, καὶ τὸ ΑΒΕ τρίγωνον τῷ ΖΕΓ τριγώνῳ ἐστὶν ἴσον, καὶ αἱ λοιπαὶ γωνίαι ταῖσ λοιπαῖσ γωνίαισ ἴσαι εἰσὶν ἑκατέρα ἑκατέρᾳ, ὑφ’ ἃσ αἱ ἴσαι πλευραὶ ὑποτείνουσιν· ἴση ἄρα ἐστὶν ἡ ὑπὸ ΒΑΕ τῇ ὑπὸ ΕΓΖ. μείζων δέ ἐστιν ἡ ὑπὸ ΕΓΔ τῆσ ὑπὸ ΕΓΖ· μείζων ἄρα ἡ ὑπὸ ΑΓΔ τῆσ ὑπὸ ΒΑΕ. ὁμοίωσ δὴ τῆσ ΒΓ τετμημένησ δίχα δειχθήσεται καὶ ἡ ὑπὸ ΒΓΗ, τουτέστιν ἡ ὑπὸ ΑΓΔ, μείζων καὶ τῆσ ὑπὸ ΑΒΓ. Παντὸσ ἄρα τριγώνου μιᾶσ τῶν πλευρῶν προσεκβληθείσησ ἡ ἐκτὸσ γωνία ἑκατέρασ τῶν ἐντὸσ καὶ ἀπεναντίον γωνιῶν μείζων ἐστίν· ὅπερ ἔδει δεῖξαι. Παντὸσ τριγώνου αἱ δύο γωνίαι δύο ὀρθῶν ἐλάσσονέσ εἰσι πάντῃ μεταλαμβανόμεναι. Ἔστω τρίγωνον τὸ ΑΒΓ· λέγω, ὅτι τοῦ ΑΒΓ τριγώνου αἱ δύο γωνίαι δύο ὀρθῶν ἐλάττονέσ εἰσι πάντῃ μεταλαμβανόμεναι. Ἐκβεβλήσθω γὰρ ἡ ΒΓ ἐπὶ τὸ Δ. Καὶ ἐπεὶ τριγώνου τοῦ ΑΒΓ ἐκτόσ ἐστι γωνία ἡ ὑπὸ ΑΓΔ, μείζων ἐστὶ τῆσ ἐντὸσ καὶ ἀπεναντίον τῆσ ὑπὸ ΑΒΓ. κοινὴ προσκείσθω ἡ ὑπὸ ΑΓΒ· αἱ ἄρα ὑπὸ ΑΓΔ, ΑΓΒ τῶν ὑπὸ ΑΒΓ, ΒΓΑ μείζονέσ εἰσιν. ἀλλ’ αἱ ὑπὸ ΑΓΔ, ΑΓΒ δύο ὀρθαῖσ ἴσαι εἰσίν· αἱ ἄρα ὑπὸ ΑΒΓ, ΒΓΑ δύο ὀρθῶν ἐλάσσονέσ εἰσιν. ὁμοίωσ δὴ δείξομεν, ὅτι καὶ αἱ ὑπὸ ΒΑΓ, ΑΓΒ δύο ὀρθῶν ἐλάσσονέσ εἰσι καὶ ἔτι αἱ ὑπὸ ΓΑΒ, ΑΒΓ. Παντὸσ ἄρα τριγώνου αἱ δύο γωνίαι δύο ὀρθῶν ἐλάσσονέσ εἰσι πάντῃ μεταλαμβανόμεναι· ὅπερ ἔδει δεῖξαι. Παντὸσ τριγώνου ἡ μείζων πλευρὰ τὴν μείζονα γωνίαν ὑποτείνει. Ἔστω γὰρ τρίγωνον τὸ ΑΒΓ μείζονα ἔχον τὴν ΑΓ πλευρὰν τῆσ ΑΒ· λέγω, ὅτι καὶ γωνία ἡ ὑπὸ ΑΒΓ μείζων ἐστὶ τῆσ ὑπὸ ΒΓΑ. Ἐπεὶ γὰρ μείζων ἐστὶν ἡ ΑΓ τῆσ ΑΒ, κείσθω τῇ ΑΒ ἴση ἡ ΑΔ, καὶ ἐπεζεύχθω ἡ ΒΔ. Καὶ ἐπεὶ τριγώνου τοῦ ΒΓΔ ἐκτόσ ἐστι γωνία ἡ ὑπὸ ΑΔΒ, μείζων ἐστὶ τῆσ ἐντὸσ καὶ ἀπεναντίον τῆσ ὑπὸ ΔΓΒ· ἴση δὲ ἡ ὑπὸ ΑΔΒ τῇ ὑπὸ ΑΒΔ, ἐπεὶ καὶ πλευρὰ ἡ ΑΒ τῇ ΑΔ ἐστιν ἴση· μείζων ἄρα καὶ ἡ ὑπὸ ΑΒΔ τῆσ ὑπὸ ΑΓΒ· πολλῷ ἄρα ἡ ὑπὸ ΑΒΓ μείζων ἐστὶ τῆσ ὑπὸ ΑΓΒ. Παντὸσ ἄρα τριγώνου ἡ μείζων πλευρὰ τὴν μείζονα γωνίαν ὑποτείνει· ὅπερ ἔδει δεῖξαι. Παντὸσ τριγώνου ὑπὸ τὴν μείζονα γωνίαν ἡ μείζων πλευρὰ ὑποτείνει. Ἔστω τρίγωνον τὸ ΑΒΓ μείζονα ἔχον τὴν ὑπὸ ΑΒΓ γωνίαν τῆσ ὑπὸ ΒΓΑ· λέγω, ὅτι καὶ πλευρὰ ἡ ΑΓ πλευρᾶσ τῆσ ΑΒ μείζων ἐστίν. Εἰ γὰρ μή, ἤτοι ἴση ἐστὶν ἡ ΑΓ τῇ ΑΒ ἢ ἐλάσσων· ἴση μὲν οὖν οὐκ ἔστιν ἡ ΑΓ τῇ ΑΒ· ἴση γὰρ ἂν ἦν καὶ γωνία ἡ ὑπὸ ΑΒΓ τῇ ὑπὸ ΑΓΒ· οὐκ ἔστι δέ· οὐκ ἄρα ἴση ἐστὶν ἡ ΑΓ τῇ ΑΒ. οὐδὲ μὴν ἐλάσσων ἐστὶν ἡ ΑΓ τῆσ ΑΒ· ἐλάσσων γὰρ ἂν ἦν καὶ γωνία ἡ ὑπὸ ΑΒΓ τῆσ ὑπὸ ΑΓΒ· οὐκ ἔστι δέ· οὐκ ἄρα ἐλάσσων ἐστὶν ἡ ΑΓ τῆσ ΑΒ. ἐδείχθη δέ, ὅτι οὐδὲ ἴση ἐστίν. μείζων ἄρα ἐστὶν ἡ ΑΓ τῆσ ΑΒ. Παντὸσ ἄρα τριγώνου ὑπὸ τὴν μείζονα γωνίαν ἡ μείζων πλευρὰ ὑποτείνει· ὅπερ ἔδει δεῖξαι. Παντὸσ τριγώνου αἱ δύο πλευραὶ τῆσ λοιπῆσ μείζονέσ εἰσι πάντῃ μεταλαμβανόμεναι. Ἔστω γὰρ τρίγωνον τὸ ΑΒΓ· λέγω, ὅτι τοῦ ΑΒΓ τριγώνου αἱ δύο πλευραὶ τῆσ λοιπῆσ μείζονέσ εἰσι πάντῃ μεταλαμβανόμεναι, αἱ μὲν ΒΑ, ΑΓ τῆσ ΒΓ, αἱ δὲ ΑΒ, ΒΓ τῆσ ΑΓ, αἱ δὲ ΒΓ, ΓΑ τῆσ ΑΒ. Διήχθω γὰρ ἡ ΒΑ ἐπὶ τὸ Δ σημεῖον, καὶ κείσθω τῇ ΓΑ ἴση ἡ ΑΔ, καὶ ἐπεζεύχθω ἡ ΔΓ. Ἐπεὶ οὖν ἴση ἐστὶν ἡ ΔΑ τῇ ΑΓ, ἴση ἐστὶ καὶ γωνία ἡ ὑπὸ ΑΔΓ τῇ ὑπὸ ΑΓΔ· μείζων ἄρα ἡ ὑπὸ ΒΓΔ τῆσ ὑπὸ ΑΔΓ· καὶ ἐπεὶ τρίγωνόν ἐστι τὸ ΔΓΒ μείζονα ἔχον τὴν ὑπὸ ΒΓΔ γωνίαν τῆσ ὑπὸ ΒΔΓ, ὑπὸ δὲ τὴν μείζονα γωνίαν ἡ μείζων πλευρὰ ὑποτείνει, ἡ ΔΒ ἄρα τῆσ ΒΓ ἐστι μείζων. ἴση δὲ ἡ ΔΑ τῇ ΑΓ· μείζονεσ ἄρα αἱ ΒΑ, ΑΓ τῆσ ΒΓ· ὁμοίωσ δὴ δείξομεν, ὅτι καὶ αἱ μὲν ΑΒ, ΒΓ τῆσ ΓΑ μείζονέσ εἰσιν, αἱ δὲ ΒΓ, ΓΑ τῆσ ΑΒ. Παντὸσ ἄρα τριγώνου αἱ δύο πλευραὶ τῆσ λοιπῆσ μείζονέσ εἰσι πάντῃ μεταλαμβανόμεναι· ὅπερ ἔδει δεῖξαι. Εἂν τριγώνου ἐπὶ μιᾶσ τῶν πλευρῶν ἀπὸ τῶν περάτων δύο εὐθεῖαι ἐντὸσ συσταθῶσιν, αἱ συσταθεῖσαι τῶν λοιπῶν τοῦ τριγώνου δύο πλευρῶν ἐλάττονεσ μὲν ἔσονται, μείζονα δὲ γωνίαν περιέξουσιν. Τριγώνου γὰρ τοῦ ΑΒΓ ἐπὶ μιᾶσ τῶν πλευρῶν τῆσ ΒΓ ἀπὸ τῶν περάτων τῶν Β, Γ δύο εὐθεῖαι ἐντὸσ συνεστάτωσαν αἱ ΒΔ, ΔΓ· λέγω, ὅτι αἱ ΒΔ, ΔΓ τῶν λοιπῶν τοῦ τριγώνου δύο πλευρῶν τῶν ΒΑ, ΑΓ ἐλάσσονεσ μέν εἰσιν, μείζονα δὲ γωνίαν περιέχουσι τὴν ὑπὸ ΒΔΓ τῆσ ὑπὸ ΒΑΓ. Διήχθω γὰρ ἡ ΒΔ ἐπὶ τὸ Ε. καὶ ἐπεὶ παντὸσ τριγώνου αἱ δύο πλευραὶ τῆσ λοιπῆσ μείζονέσ εἰσιν, τοῦ ΑΒΕ ἄρα τριγώνου αἱ δύο πλευραὶ αἱ ΑΒ, ΑΕ τῆσ ΒΕ μείζονέσ εἰσιν· κοινὴ προσκείσθω ἡ ΕΓ· αἱ ἄρα ΒΑ, ΑΓ τῶν ΒΕ, ΕΓ μείζονέσ εἰσιν. πάλιν, ἐπεὶ τοῦ ΓΕΔ τριγώνου αἱ δύο πλευραὶ αἱ ΓΕ, ΕΔ τῆσ ΓΔ μείζονέσ εἰσιν, κοινὴ προσκείσθω ἡ ΔΒ· αἱ ΓΕ, ΕΒ ἄρα τῶν ΓΔ, ΔΒ μείζονέσ εἰσιν. ἀλλὰ τῶν ΒΕ, ΕΓ μείζονεσ ἐδείχθησαν αἱ ΒΑ, ΑΓ· πολλῷ ἄρα αἱ ΒΑ, ΑΓ τῶν ΒΔ, ΔΓ μείζονέσ εἰσιν. Πάλιν, ἐπεὶ παντὸσ τριγώνου ἡ ἐκτὸσ γωνία τῆσ ἐντὸσ καὶ ἀπεναντίον μείζων ἐστίν, τοῦ ΓΔΕ ἄρα τριγώνου ἡ ἐκτὸσ γωνία ἡ ὑπὸ ΒΔΓ μείζων ἐστὶ τῆσ ὑπὸ ΓΕΔ. διὰ ταὐτὰ τοίνυν καὶ τοῦ ΑΒΕ τριγώνου ἡ ἐκτὸσ γωνία ἡ ὑπὸ ΓΕΒ μείζων ἐστὶ τῆσ ὑπὸ ΒΑΓ. ἀλλὰ τῆσ ὑπὸ ΓΕΒ μείζων ἐδείχθη ἡ ὑπὸ ΒΔΓ· πολλῷ ἄρα ἡ ὑπὸ ΒΔΓ μείζων ἐστὶ τῆσ ὑπὸ ΒΑΓ. Εἂν ἄρα τριγώνου ἐπὶ μιᾶσ τῶν πλευρῶν ἀπὸ τῶν περάτων δύο εὐθεῖαι ἐντὸσ συσταθῶσιν, αἱ συσταθεῖσαι τῶν λοιπῶν τοῦ τριγώνου δύο πλευρῶν ἐλάττονεσ μέν εἰσιν, μείζονα δὲ γωνίαν περιέχουσιν· ὅπερ ἔδει δεῖξαι. Ἐκ τριῶν εὐθειῶν, αἵ εἰσιν ἴσαι τρισὶ ταῖσ δοθείσαισ [εὐθείαισ], τρίγωνον συστήσασθαι· δεῖ δὲ τὰσ δύο τῆσ λοιπῆσ μείζονασ εἶναι πάντῃ μεταλαμβανομένασ [διὰ τὸ καὶ παντὸσ τριγώνου τὰσ δύο πλευρὰσ τῆσ λοιπῆσ μείζονασ εἶναι πάντῃ μεταλαμβανομένασ]. Ἔστωσαν αἱ δοθεῖσαι τρεῖσ εὐθεῖαι αἱ Α, Β, Γ, ὧν αἱ δύο τῆσ λοιπῆσ μείζονεσ ἔστωσαν πάντῃ μεταλαμβανόμεναι, αἱ μὲν Α, Β τῆσ Γ, αἱ δὲ Α, Γ τῆσ Β, καὶ ἔτι αἱ Β, Γ τῆσ Α· δεῖ δὴ ἐκ τῶν ἴσων ταῖσ Α, Β, Γ τρίγωνον συστήσασθαι. Ἐκκείσθω τισ εὐθεῖα ἡ ΔΕ πεπερασμένη μὲν κατὰ τὸ Δ ἄπειροσ δὲ κατὰ τὸ Ε, καὶ κείσθω τῇ μὲν Α ἴση ἡ ΔΖ, τῇ δὲ Β ἴση ἡ ΖΗ, τῇ δὲ Γ ἴση ἡ ΗΘ· καὶ κέντρῳ μὲν τῷ Ζ, διαστήματι δὲ τῷ ΖΔ κύκλοσ γεγράφθω ὁ ΔΚΛ· πάλιν κέντρῳ μὲν τῷ Η, διαστήματι δὲ τῷ ΗΘ κύκλοσ γεγράφθω ὁ ΚΛΘ, καὶ ἐπεζεύχθωσαν αἱ ΚΖ, ΚΗ· λέγω, ὅτι ἐκ τριῶν εὐθειῶν τῶν ἴσων ταῖσ Α, Β, Γ τρίγωνον συνέσταται τὸ ΚΖΗ. Ἐπεὶ γὰρ τὸ Ζ σημεῖον κέντρον ἐστὶ τοῦ ΔΚΛ κύκλου, ἴση ἐστὶν ἡ ΖΔ τῇ ΖΚ· ἀλλὰ ἡ ΖΔ τῇ Α ἐστιν ἴση. καὶ ἡ ΚΖ ἄρα τῇ Α ἐστιν ἴση. πάλιν, ἐπεὶ τὸ Η σημεῖον κέντρον ἐστὶ τοῦ ΛΚΘ κύκλου, ἴση ἐστὶν ἡ ΗΘ τῇ ΗΚ· ἀλλὰ ἡ ΗΘ τῇ Γ ἐστιν ἴση· καὶ ἡ ΚΗ ἄρα τῇ Γ ἐστιν ἴση. ἐστὶ δὲ καὶ ἡ ΖΗ τῇ Β ἴση· αἱ τρεῖσ ἄρα εὐθεῖαι αἱ ΚΖ, ΖΗ, ΗΚ τρισὶ ταῖσ Α, Β, Γ ἴσαι εἰσίν. Ἐκ τριῶν ἄρα εὐθειῶν τῶν ΚΖ, ΖΗ, ΗΚ, αἵ εἰσιν ἴσαι τρισὶ ταῖσ δοθείσαισ εὐθείαισ ταῖσ Α, Β, Γ, τρίγωνον συνέσταται τὸ ΚΖΗ· ὅπερ ἔδει ποιῆσαι. Πρὸσ τῇ δοθείσῃ εὐθείᾳ καὶ τῷ πρὸσ αὐτῇ σημείῳ τῇ δοθείσῃ γωνίᾳ εὐθυγράμμῳ ἴσην γωνίαν εὐθύγραμμον συστήσασθαι. Ἔστω ἡ μὲν δοθεῖσα εὐθεῖα ἡ ΑΒ, τὸ δὲ πρὸσ αὐτῇ σημεῖον τὸ Α, ἡ δὲ δοθεῖσα γωνία εὐθύγραμμοσ ἡ ὑπὸ ΔΓΕ· δεῖ δὴ πρὸσ τῇ δοθείσῃ εὐθείᾳ τῇ ΑΒ καὶ τῷ πρὸσ αὐτῇ σημείῳ τῷ Α τῇ δοθείσῃ γωνίᾳ εὐθυγράμμῳ τῇ ὑπὸ ΔΓΕ ἴσην γωνίαν εὐθύγραμμον συστήσασθαι. Εἰλήφθω ἐφ’ ἑκατέρασ τῶν ΓΔ, ΓΕ τυχόντα σημεῖα τὰ Δ, Ε, καὶ ἐπεζεύχθω ἡ ΔΕ· καὶ ἐκ τριῶν εὐθειῶν, αἵ εἰσιν ἴσαι τρισὶ ταῖσ ΓΔ, ΔΕ, ΓΕ, τρίγωνον συνεστάτω τὸ ΑΖΗ, ὥστε ἴσην εἶναι τὴν μὲν ΓΔ τῇ ΑΖ, τὴν δὲ ΓΕ τῇ ΑΗ, καὶ ἔτι τὴν ΔΕ τῇ ΖΗ. Ἐπεὶ οὖν δύο αἱ ΔΓ, ΓΕ δύο ταῖσ ΖΑ, ΑΗ ἴσαι εἰσὶν ἑκατέρα ἑκατέρᾳ, καὶ βάσισ ἡ ΔΕ βάσει τῇ ΖΗ ἴση, γωνία ἄρα ἡ ὑπὸ ΔΓΕ γωνίᾳ τῇ ὑπὸ ΖΑΗ ἐστιν ἴση. Πρὸσ ἄρα τῇ δοθείσῃ εὐθείᾳ τῇ ΑΒ καὶ τῷ πρὸσ αὐτῇ σημείῳ τῷ Α τῇ δοθείσῃ γωνίᾳ εὐθυγράμμῳ τῇ ὑπὸ ΔΓΕ ἴση γωνία εὐθύγραμμοσ συνέσταται ἡ ὑπὸ ΖΑΗ· ὅπερ ἔδει ποιῆσαι. Εἂν δύο τρίγωνα τὰσ δύο πλευρὰσ [ταῖσ] δύο πλευραῖσ ἴσασ ἔχῃ ἑκατέραν ἑκατέρᾳ, τὴν δὲ γωνίαν τῆσ γωνίασ μείζονα ἔχῃ τὴν ὑπὸ τῶν ἴσων εὐθειῶν περιεχομένην, καὶ τὴν βάσιν τῆσ βάσεωσ μείζονα ἕξει. Ἔστω δύο τρίγωνα τὰ ΑΒΓ, ΔΕΖ τὰσ δύο πλευρὰσ τὰσ ΑΒ, ΑΓ ταῖσ δύο πλευραῖσ ταῖσ ΔΕ, ΔΖ ἴσασ ἔχοντα ἑκατέραν ἑκατέρᾳ, τὴν μὲν ΑΒ τῇ ΔΕ τὴν δὲ ΑΓ τῇ ΔΖ, ἡ δὲ πρὸσ τῷ Α γωνία τῆσ πρὸσ τῷ Δ γωνίασ μείζων ἔστω· λέγω, ὅτι καὶ βάσισ ἡ ΒΓ βάσεωσ τῆσ ΕΖ μείζων ἐστίν. Ἐπεὶ γὰρ μείζων ἡ ὑπὸ ΒΑΓ γωνία τῆσ ὑπὸ ΕΔΖ γωνίασ, συνεστάτω πρὸσ τῇ ΔΕ εὐθείᾳ καὶ τῷ πρὸσ αὐτῇ σημείῳ τῷ Δ τῇ ὑπὸ ΒΑΓ γωνίᾳ ἴση ἡ ὑπὸ ΕΔΗ, καὶ κείσθω ὁποτέρᾳ τῶν ΑΓ, ΔΖ ἴση ἡ ΔΗ, καὶ ἐπεζεύχθωσαν αἱ ΕΗ, ΖΗ. Ἐπεὶ οὖν ἴση ἐστὶν ἡ μὲν ΑΒ τῇ ΔΕ, ἡ δὲ ΑΓ τῇ ΔΗ, δύο δὴ αἱ ΒΑ, ΑΓ δυσὶ ταῖσ ΕΔ, ΔΗ ἴσαι εἰσὶν ἑκατέρα ἑκατέρᾳ· καὶ γωνία ἡ ὑπὸ ΒΑΓ γωνίᾳ τῇ ὑπὸ ΕΔΗ ἴση· βάσισ ἄρα ἡ ΒΓ βάσει τῇ ΕΗ ἐστιν ἴση. πάλιν, ἐπεὶ ἴση ἐστὶν ἡ ΔΖ τῇ ΔΗ, ἴση ἐστὶ καὶ ἡ ὑπὸ ΔΗΖ γωνία τῇ ὑπὸ ΔΖΗ· μείζων ἄρα ἡ ὑπὸ ΔΖΗ τῆσ ὑπὸ ΕΗΖ· πολλῷ ἄρα μείζων ἐστὶν ἡ ὑπὸ ΕΖΗ τῆσ ὑπὸ ΕΗΖ. καὶ ἐπεὶ τρίγωνόν ἐστι τὸ ΕΖΗ μείζονα ἔχον τὴν ὑπὸ ΕΖΗ γωνίαν τῆσ ὑπὸ ΕΗΖ, ὑπὸ δὲ τὴν μείζονα γωνίαν ἡ μείζων πλευρὰ ὑποτείνει, μείζων ἄρα καὶ πλευρὰ ἡ ΕΗ τῆσ ΕΖ. ἴση δὲ ἡ ΕΗ τῇ ΒΓ· μείζων ἄρα καὶ ἡ ΒΓ τῆσ ΕΖ. Εἂν ἄρα δύο τρίγωνα τὰσ δύο πλευρὰσ δυσὶ πλευραῖσ ἴσασ ἔχῃ ἑκατέραν ἑκατέρᾳ, τὴν δὲ γωνίαν τῆσ γωνίασ μείζονα ἔχῃ τὴν ὑπὸ τῶν ἴσων εὐθειῶν περιεχομένην, καὶ τὴν βάσιν τῆσ βάσεωσ μείζονα ἕξει· ὅπερ ἔδει δεῖξαι. Εἂν δύο τρίγωνα τὰσ δύο πλευρὰσ δυσὶ πλευραῖσ ἴσασ ἔχῃ ἑκατέραν ἑκατέρᾳ, τὴν δὲ βάσιν τῆσ βάσεωσ μείζονα ἔχῃ, καὶ τὴν γωνίαν τῆσ γωνίασ μείζονα ἕξει τὴν ὑπὸ τῶν ἴσων εὐθειῶν περιεχομένην. Ἔστω δύο τρίγωνα τὰ ΑΒΓ, ΔΕΖ τὰσ δύο πλευρὰσ τὰσ ΑΒ, ΑΓ ταῖσ δύο πλευραῖσ ταῖσ ΔΕ, ΔΖ ἴσασ ἔχοντα ἑκατέραν ἑκατέρᾳ, τὴν μὲν ΑΒ τῇ ΔΕ, τὴν δὲ ΑΓ τῇ ΔΖ· βάσισ δὲ ἡ ΒΓ βάσεωσ τῆσ ΕΖ μείζων ἔστω· λέγω, ὅτι καὶ γωνία ἡ ὑπὸ ΒΑΓ γωνίασ τῆσ ὑπὸ ΕΔΖ μείζων ἐστίν· Εἰ γὰρ μή, ἤτοι ἴση ἐστὶν αὐτῇ ἢ ἐλάσσων· ἴση μὲν οὖν οὐκ ἔστιν ἡ ὑπὸ ΒΑΓ τῇ ὑπὸ ΕΔΖ· ἴση γὰρ ἂν ἦν καὶ βάσισ ἡ ΒΓ βάσει τῇ ΕΖ· οὐκ ἔστι δέ. οὐκ ἄρα ἴση ἐστὶ γωνία ἡ ὑπὸ ΒΑΓ τῇ ὑπὸ ΕΔΖ· οὐδὲ μὴν ἐλάσσων ἐστὶν ἡ ὑπὸ ΒΑΓ τῆσ ὑπὸ ΕΔΖ· ἐλάσσων γὰρ ἂν ἦν καὶ βάσισ ἡ ΒΓ βάσεωσ τῆσ ΕΖ· οὐκ ἔστι δέ· οὐκ ἄρα ἐλάσσων ἐστὶν ἡ ὑπὸ ΒΑΓ γωνία τῆσ ὑπὸ ΕΔΖ. ἐδείχθη δὲ ὅτι οὐδὲ ἴση· μείζων ἄρα ἐστὶν ἡ ὑπὸ ΒΑΓ τῆσ ὑπὸ ΕΔΖ. Εἂν ἄρα δύο τρίγωνα τὰσ δύο πλευρὰσ δυσὶ πλευραῖσ ἴσασ ἔχῃ ἑκατέραν ἑκάτερᾳ, τὴν δὲ βάσιν τῆσ βάσεωσ μείζονα ἔχῃ, καὶ τὴν γωνίαν τῆσ γωνίασ μείζονα ἕξει τὴν ὑπὸ τῶν ἴσων εὐθειῶν περιεχομένην· ὅπερ ἔδει δεῖξαι. Εἂν δύο τρίγωνα τὰσ δύο γωνίασ δυσὶ γωνίαισ ἴσασ ἔχῃ ἑκατέραν ἑκατέρᾳ καὶ μίαν πλευρὰν μιᾷ πλευρᾷ ἴσην ἤτοι τὴν πρὸσ ταῖσ ἴσαισ γωνίαισ ἢ τὴν ὑποτείνουσαν ὑπὸ μίαν τῶν ἴσων γωνιῶν, καὶ τὰσ λοιπὰσ πλευρὰσ ταῖσ λοιπαῖσ πλευραῖσ ἴσασ ἕξει [ἑκατέραν ἑκατέρᾳ] καὶ τὴν λοιπὴν γωνίαν τῇ λοιπῇ γωνίᾳ. Ἔστω δύο τρίγωνα τὰ ΑΒΓ, ΔΕΖ τὰσ δύο γωνίασ τὰσ ὑπὸ ΑΒΓ, ΒΓΑ δυσὶ ταῖσ ὑπὸ ΔΕΖ, ΕΖΔ ἴσασ ἔχοντα ἑκατέραν ἑκατέρᾳ, τὴν μὲν ὑπὸ ΑΒΓ τῇ ὑπὸ ΔΕΖ, τὴν δὲ ὑπὸ ΒΓΑ τῇ ὑπὸ ΕΖΔ· ἐχέτω δὲ καὶ μίαν πλευρὰν μιᾷ πλευρᾷ ἴσην, πρότερον τὴν πρὸσ ταῖσ ἴσαισ γωνίαισ τὴν ΒΓ τῇ ΕΖ· λέγω, ὅτι καὶ τὰσ λοιπὰσ πλευρὰσ ταῖσ λοιπαῖσ πλευραῖσ ἴσασ ἕξει ἑκατέραν ἑκατέρᾳ, τὴν μὲν ΑΒ τῇ ΔΕ τὴν δὲ ΑΓ τῇ ΔΖ, καὶ τὴν λοιπὴν γωνίαν τῇ λοιπῇ γωνίᾳ, τὴν ὑπὸ ΒΑΓ τῇ ὑπὸ ΕΔΖ. Εἰ γὰρ ἄνισόσ ἐστιν ἡ ΑΒ τῇ ΔΕ, μία αὐτῶν μείζων ἐστίν. ἔστω μείζων ἡ ΑΒ, καὶ κείσθω τῇ ΔΕ ἴση ἡ ΒΗ, καὶ ἐπεζεύχθω ἡ ΗΓ. Ἐπεὶ οὖν ἴση ἐστὶν ἡ μὲν ΒΗ τῇ ΔΕ, ἡ δὲ ΒΓ τῇ ΕΖ, δύο δὴ αἱ ΒΗ, ΒΓ δυσὶ ταῖσ ΔΕ, ΕΖ ἴσαι εἰσὶν ἑκατέρα ἑκατέρᾳ· καὶ γωνία ἡ ὑπὸ ΗΒΓ γωνίᾳ τῇ ὑπὸ ΔΕΖ ἴση ἐστίν· βάσισ ἄρα ἡ ΗΓ βάσει τῇ ΔΖ ἴση ἐστίν, καὶ τὸ ΗΒΓ τρίγωνον τῷ ΔΕΖ τριγώνῳ ἴσον ἐστίν, καὶ αἱ λοιπαὶ γωνίαι ταῖσ λοιπαῖσ γωνίαισ ἴσαι ἔσονται, ὑφ’ ἃσ αἱ ἴσαι πλευραὶ ὑποτείνουσιν· ἴση ἄρα ἡ ὑπὸ ΗΓΒ γωνία τῇ ὑπὸ ΔΖΕ. ἀλλὰ ἡ ὑπὸ ΔΖΕ τῇ ὑπὸ ΒΓΑ ὑπόκειται ἴση· καὶ ἡ ὑπὸ ΒΓΗ ἄρα τῇ ὑπὸ ΒΓΑ ἴση ἐστίν, ἡ ἐλάσσων τῇ μείζονι· ὅπερ ἀδύνατον. οὐκ ἄρα ἄνισόσ ἐστιν ἡ ΑΒ τῇ ΔΕ. ἴση ἄρα. ἔστι δὲ καὶ ἡ ΒΓ τῇ ΕΖ ἴση· δύο δὴ αἱ ΑΒ, ΒΓ δυσὶ ταῖσ ΔΕ, ΕΖ ἴσαι εἰσὶν ἑκατέρα ἑκατέρᾳ· καὶ γωνία ἡ ὑπὸ ΑΒΓ γωνίᾳ τῇ ὑπὸ ΔΕΖ ἐστιν ἴση· βάσισ ἄρα ἡ ΑΓ βάσει τῇ ΔΖ ἴση ἐστίν, καὶ λοιπὴ γωνία ἡ ὑπὸ ΒΑΓ τῇ λοιπῇ γωνίᾳ τῇ ὑπὸ ΕΔΖ ἴση ἐστίν. Ἀλλὰ δὴ πάλιν ἔστωσαν αἱ ὑπὸ τὰσ ἴσασ γωνίασ πλευραὶ ὑποτείνουσαι ἴσαι, ὡσ ἡ ΑΒ τῇ ΔΕ· λέγω πάλιν, ὅτι καὶ αἱ λοιπαὶ πλευραὶ ταῖσ λοιπαῖσ πλευραῖσ ἴσαι ἔσονται, ἡ μὲν ΑΓ τῇ ΔΖ, ἡ δὲ ΒΓ τῇ ΕΖ καὶ ἔτι ἡ λοιπὴ γωνία ἡ ὑπὸ ΒΑΓ τῇ λοιπῇ γωνίᾳ τῇ ὑπὸ ΕΔΖ ἴση ἐστίν. Εἰ γὰρ ἄνισόσ ἐστιν ἡ ΒΓ τῇ ΕΖ, μία αὐτῶν μείζων ἐστίν. ἔστω μείζων, εἰ δυνατόν, ἡ ΒΓ, καὶ κείσθω τῇ ΕΖ ἴση ἡ ΒΘ, καὶ ἐπεζεύχθω ἡ ΑΘ. καὶ ἐπεὶ ἴση ἐστὶν ἡ μὲν ΒΘ τῇ ΕΖ ἡ δὲ ΑΒ τῇ ΔΕ, δύο δὴ αἱ ΑΒ, ΒΘ δυσὶ ταῖσ ΔΕ, ΕΖ ἴσαι εἰσὶν ἑκατέρα ἑκατέρᾳ· καὶ γωνίασ ἴσασ περιέχουσιν· βάσισ ἄρα ἡ ΑΘ βάσει τῇ ΔΖ ἴση ἐστίν, καὶ τὸ ΑΒΘ τρίγωνον τῷ ΔΕΖ τριγώνῳ ἴσον ἐστίν, καὶ αἱ λοιπαὶ γωνίαι ταῖσ λοιπαῖσ γωνίαισ ἴσαι ἔσονται, ὑφ’ ἃσ αἱ ἴσαι πλευραὶ ὑποτείνουσιν· ἴση ἄρα ἐστὶν ἡ ὑπὸ ΒΘΑ γωνία τῇ ὑπὸ ΕΖΔ. ἀλλὰ ἡ ὑπὸ ΕΖΔ τῇ ὑπὸ ΒΓΑ ἐστιν ἴση· τριγώνου δὴ τοῦ ΑΘΓ ἡ ἐκτὸσ γωνία ἡ ὑπὸ ΒΘΑ ἴση ἐστὶ τῇ ἐντὸσ καὶ ἀπεναντίον τῇ ὑπὸ ΒΓΑ· ὅπερ ἀδύνατον. οὐκ ἄρα ἄνισόσ ἐστιν ἡ ΒΓ τῇ ΕΖ· ἴση ἄρα. ἐστὶ δὲ καὶ ἡ ΑΒ τῇ ΔΕ ἴση. δύο δὴ αἱ ΑΒ, ΒΓ δύο ταῖσ ΔΕ, ΕΖ ἴσαι εἰσὶν ἑκατέρα ἑκατέρᾳ· καὶ γωνίασ ἴσασ περιέχουσι· βάσισ ἄρα ἡ ΑΓ βάσει τῇ ΔΖ ἴση ἐστίν, καὶ τὸ ΑΒΓ τρίγωνον τῷ ΔΕΖ τριγώνῳ ἴσον καὶ λοιπὴ γωνία ἡ ὑπὸ ΒΑΓ τῇ λοιπῇ γωνίᾳ τῇ ὑπὸ ΕΔΖ ἴση. Εἂν ἄρα δύο τρίγωνα τὰσ δύο γωνίασ δυσὶ γωνίαισ ἴσασ ἔχῃ ἑκατέραν ἑκατέρᾳ καὶ μίαν πλευρὰν μιᾷ πλευρᾷ ἴσην ἤτοι τὴν πρὸσ ταῖσ ἴσαισ γωνίαισ, ἢ τὴν ὑποτείνουσαν ὑπὸ μίαν τῶν ἴσων γωνιῶν, καὶ τὰσ λοιπὰσ πλευρὰσ ταῖσ λοιπαῖσ πλευραῖσ ἴσασ ἕξει καὶ τὴν λοιπὴν γωνίαν τῇ λοιπῇ γωνίᾳ· ὅπερ ἔδει δεῖξαι. Εἂν εἰσ δύο εὐθείασ εὐθεῖα ἐμπίπτουσα τὰσ ἐναλλὰξ γωνίασ ἴσασ ἀλλήλαισ ποιῇ, παράλληλοι ἔσονται ἀλλήλαισ αἱ εὐθεῖαι. Εἰσ γὰρ δύο εὐθείασ τὰσ ΑΒ, ΓΔ εὐθεῖα ἐμπίπτουσα ἡ ΕΖ τὰσ ἐναλλὰξ γωνίασ τὰσ ὑπὸ ΑΕΖ, ΕΖΔ ἴσασ ἀλλήλαισ ποιείτω· λέγω, ὅτι παράλληλόσ ἐστιν ἡ ΑΒ τῇ ΓΔ. Εἰ γὰρ μή, ἐκβαλλόμεναι αἱ ΑΒ, ΓΔ συμπεσοῦνται ἤτοι ἐπὶ τὰ Β, Δ μέρη ἢ ἐπὶ τὰ Α, Γ. ἐκβεβλήσθωσαν καὶ συμπιπτέτωσαν ἐπὶ τὰ Β, Δ μέρη κατὰ τὸ Η. τριγώνου δὴ τοῦ ΗΕΖ ἡ ἐκτὸσ γωνία ἡ ὑπὸ ΑΕΖ ἴση ἐστὶ τῇ ἐντὸσ καὶ ἀπεναντίον τῇ ὑπὸ ΕΖΗ· ὅπερ ἐστὶν ἀδύνατον· οὐκ ἄρα αἱ ΑΒ, ΓΔ ἐκβαλλόμεναι συμπεσοῦνται ἐπὶ τὰ Β, Δ μέρη. ὁμοίωσ δὴ δειχθήσεται, ὅτι οὐδὲ ἐπὶ τὰ Α, Γ· αἱ δὲ ἐπὶ μηδέτερα τὰ μέρη συμπίπτουσαι παράλληλοί εἰσιν· παράλληλοσ ἄρα ἐστὶν ἡ ΑΒ τῇ ΓΔ. Εἂν ἄρα εἰσ δύο εὐθείασ εὐθεῖα ἐμπίπτουσα τὰσ ἐναλλὰξ γωνίασ ἴσασ ἀλλήλαισ ποιῇ, παράλληλοι ἔσονται αἱ εὐθεῖαι· ὅπερ ἔδει δεῖξαι. Εἂν εἰσ δύο εὐθείασ εὐθεῖα ἐμπίπτουσα τὴν ἐκτὸσ γωνίαν τῇ ἐντὸσ καὶ ἀπεναντίον καὶ ἐπὶ τὰ αὐτὰ μέρη ἴσην ποιῇ ἢ τὰσ ἐντὸσ καὶ ἐπὶ τὰ αὐτὰ μέρη δυσὶν ὀρθαῖσ ἴσασ, παράλληλοι ἔσονται ἀλλήλαισ αἱ εὐθεῖαι. Εἰσ γὰρ δύο εὐθείασ τὰσ ΑΒ, ΓΔ εὐθεῖα ἐμπίπτουσα ἡ ΕΖ τὴν ἐκτὸσ γωνίαν τὴν ὑπὸ ΕΗΒ τῇ ἐντὸσ καὶ ἀπεναντίον γωνίᾳ τῇ ὑπὸ ΗΘΔ ἴσην ποιείτω ἢ τὰσ ἐντὸσ καὶ ἐπὶ τὰ αὐτὰ μέρη τὰσ ὑπὸ ΒΗΘ, ΗΘΔ δυσὶν ὀρθαῖσ ἴσασ· λέγω, ὅτι παράλληλόσ ἐστιν ἡ ΑΒ τῇ ΓΔ. Ἐπεὶ γὰρ ἴση ἐστὶν ἡ ὑπὸ ΕΗΒ τῇ ὑπὸ ΗΘΔ, ἀλλὰ ἡ ὑπὸ ΕΗΒ τῇ ὑπὸ ΑΗΘ ἐστιν ἴση, καὶ ἡ ὑπὸ ΑΗΘ ἄρα τῇ ὑπὸ ΗΘΔ ἐστιν ἴση· καί εἰσιν ἐναλλάξ· παράλληλοσ ἄρα ἐστὶν ἡ ΑΒ τῇ ΓΔ. Πάλιν, ἐπεὶ αἱ ὑπὸ ΒΗΘ, ΗΘΔ δύο ὀρθαῖσ ἴσαι εἰσίν, εἰσὶ δὲ καὶ αἱ ὑπὸ ΑΗΘ, ΒΗΘ δυσὶν ὀρθαῖσ ἴσαι, αἱ ἄρα ὑπὸ ΑΗΘ, ΒΗΘ ταῖσ ὑπὸ ΒΗΘ, ΗΘΔ ἴσαι εἰσίν· κοινὴ ἀφῃρήσθω ἡ ὑπὸ ΒΗΘ· λοιπὴ ἄρα ἡ ὑπὸ ΑΗΘ λοιπῇ τῇ ὑπὸ ΗΘΔ ἐστιν ἴση· καί εἰσιν ἐναλλάξ· παράλληλοσ ἄρα ἐστὶν ἡ ΑΒ τῇ ΓΔ. Εἂν ἄρα εἰσ δύο εὐθείασ εὐθεῖα ἐμπίπτουσα τὴν ἐκτὸσ γωνίαν τῇ ἐντὸσ καὶ ἀπεναντίον καὶ ἐπὶ τὰ αὐτὰ μέρη ἴσην ποιῇ ἢ τὰσ ἐντὸσ καὶ ἐπὶ τὰ αὐτὰ μέρη δυσὶν ὀρθαῖσ ἴσασ, παράλληλοι ἔσονται αἱ εὐθεῖαι· ὅπερ ἔδει δεῖξαι. Ἡ εἰσ τὰσ παραλλήλουσ εὐθείασ εὐθεῖα ἐμπίπτουσα τάσ τε ἐναλλὰξ γωνίασ ἴσασ ἀλλήλαισ ποιεῖ καὶ τὴν ἐκτὸσ τῇ ἐντὸσ καὶ ἀπεναντίον ἴσην καὶ τὰσ ἐντὸσ καὶ ἐπὶ τὰ αὐτὰ μέρη δυσὶν ὀρθαῖσ ἴσασ. Εἰσ γὰρ παραλλήλουσ εὐθείασ τὰσ ΑΒ, ΓΔ εὐθεῖα ἐμπιπτέτω ἡ ΕΖ· λέγω, ὅτι τὰσ ἐναλλὰξ γωνίασ τὰσ ὑπὸ ΑΗΘ, ΗΘΔ ἴσασ ποιεῖ καὶ τὴν ἐκτὸσ γωνίαν τὴν ὑπὸ ΕΗΒ τῇ ἐντὸσ καὶ ἀπεναντίον τῇ ὑπὸ ΗΘΔ ἴσην καὶ τὰσ ἐντὸσ καὶ ἐπὶ τὰ αὐτὰ μέρη τὰσ ὑπὸ ΒΗΘ, ΗΘΔ δυσὶν ὀρθαῖσ ἴσασ. Εἰ γὰρ ἄνισόσ ἐστιν ἡ ὑπὸ ΑΗΘ τῇ ὑπὸ ΗΘΔ, μία αὐτῶν μείζων ἐστίν. ἔστω μείζων ἡ ὑπὸ ΑΗΘ· κοινὴ προσκείσθω ἡ ὑπὸ ΒΗΘ· αἱ ἄρα ὑπὸ ΑΗΘ, ΒΗΘ τῶν ὑπὸ ΒΗΘ, ΗΘΔ μείζονέσ εἰσιν. ἀλλὰ αἱ ὑπὸ ΑΗΘ, ΒΗΘ δυσὶν ὀρθαῖσ ἴσαι εἰσίν. [καὶ] αἱ ἄρα ὑπὸ ΒΗΘ, ΗΘΔ δύο ὀρθῶν ἐλάσσονέσ εἰσιν. αἱ δὲ ἀπ’ ἐλασσόνων ἢ δύο ὀρθῶν ἐκβαλλόμεναι εἰσ ἄπειρον συμπίπτουσιν· αἱ ἄρα ΑΒ, ΓΔ ἐκβαλλόμεναι εἰσ ἄπειρον συμπεσοῦνται· οὐ συμπίπτουσι δὲ διὰ τὸ παραλλήλουσ αὐτὰσ ὑποκεῖσθαι· οὐκ ἄρα ἄνισόσ ἐστιν ἡ ὑπὸ ΑΗΘ τῇ ὑπὸ ΗΘΔ· ἴση ἄρα. ἀλλὰ ἡ ὑπὸ ΑΗΘ τῇ ὑπὸ ΕΗΒ ἐστιν ἴση· καὶ ἡ ὑπὸ ΕΗΒ ἄρα τῇ ὑπὸ ΗΘΔ ἐστιν ἴση. κοινὴ προσκείσθω ἡ ὑπὸ ΒΗΘ· αἱ ἄρα ὑπὸ ΕΗΒ, ΒΗΘ ταῖσ ὑπὸ ΒΗΘ, ΗΘΔ ἴσαι εἰσίν. ἀλλὰ αἱ ὑπὸ ΕΗΒ, ΒΗΘ δύο ὀρθαῖσ ἴσαι εἰσίν· καὶ αἱ ὑπὸ ΒΗΘ, ΗΘΔ ἄρα δύο ὀρθαῖσ ἴσαι εἰσίν. Ἡ ἄρα εἰσ τὰσ παραλλήλουσ εὐθείασ εὐθεῖα ἐμπίπτουσα τάσ τε ἐναλλὰξ γωνίασ ἴσασ ἀλλήλαισ ποιεῖ καὶ τὴν ἐκτὸσ τῇ ἐντὸσ καὶ ἀπεναντίον ἴσην καὶ τὰσ ἐντὸσ καὶ ἐπὶ τὰ αὐτὰ μέρη δυσὶν ὀρθαῖσ ἴσασ· ὅπερ ἔδει δεῖξαι. Αἱ τῇ αὐτῇ εὐθείᾳ παράλληλοι καὶ ἀλλήλαισ εἰσὶ παράλληλοι. Ἔστω ἑκατέρα τῶν ΑΒ, ΓΔ τῇ ΕΖ παράλληλοσ· λέγω, ὅτι καὶ ἡ ΑΒ τῇ ΓΔ ἐστι παράλληλοσ. Ἐμπιπτέτω γὰρ εἰσ αὐτὰσ εὐθεῖα ἡ ΗΚ. Καὶ ἐπεὶ εἰσ παραλλήλουσ εὐθείασ τὰσ ΑΒ, ΕΖ εὐθεῖα ἐμπέπτωκεν ἡ ΗΚ, ἴση ἄρα ἡ ὑπὸ ΑΗΚ τῇ ὑπὸ ΗΘΖ. πάλιν, ἐπεὶ εἰσ παραλλήλουσ εὐθείασ τὰσ ΕΖ, ΓΔ εὐθεῖα ἐμπέπτωκεν ἡ ΗΚ, ἴση ἐστὶν ἡ ὑπὸ ΗΘΖ τῇ ὑπὸ ΗΚΔ. ἐδείχθη δὲ καὶ ἡ ὑπὸ ΑΗΚ τῇ ὑπὸ ΗΘΖ ἴση. καὶ ἡ ὑπὸ ΑΗΚ ἄρα τῇ ὑπὸ ΗΚΔ ἐστιν ἴση· καί εἰσιν ἐναλλάξ. παράλληλοσ ἄρα ἐστὶν ἡ ΑΒ τῇ ΓΔ. [Αἱ ἄρα τῇ αὐτῇ εὐθείᾳ παράλληλοι καὶ ἀλλήλαισ εἰσὶ παράλληλοι· ] ὅπερ ἔδει δεῖξαι. Διὰ τοῦ δοθέντοσ σημείου τῇ δοθείσῃ εὐθείᾳ παράλληλον εὐθεῖαν γραμμὴν ἀγαγεῖν. Ἔστω τὸ μὲν δοθὲν σημεῖον τὸ Α, ἡ δὲ δοθεῖσα εὐθεῖα ἡ ΒΓ· δεῖ δὴ διὰ τοῦ Α σημείου τῇ ΒΓ εὐθείᾳ παράλληλον εὐθεῖαν γραμμὴν ἀγαγεῖν. Εἰλήφθω ἐπὶ τῆσ ΒΓ τυχὸν σημεῖον τὸ Δ, καὶ ἐπεζεύχθω ἡ ΑΔ· καὶ συνεστάτω πρὸσ τῇ ΔΑ εὐθείᾳ καὶ τῷ πρὸσ αὐτῇ σημείῳ τῷ Α τῇ ὑπὸ ΑΔΓ γωνίᾳ ἴση ἡ ὑπὸ ΔΑΕ· καὶ ἐκβεβλήσθω ἐπ’ εὐθείασ τῇ ΕΑ εὐθεῖα ἡ ΑΖ. Καὶ ἐπεὶ εἰσ δύο εὐθείασ τὰσ ΒΓ, ΕΖ εὐθεῖα ἐμπίπτουσα ἡ ΑΔ τὰσ ἐναλλὰξ γωνίασ τὰσ ὑπὸ ΕΑΔ, ΑΔΓ ἴσασ ἀλλήλαισ πεποίηκεν, παράλληλοσ ἄρα ἐστὶν ἡ ΕΑΖ τῇ ΒΓ. Διὰ τοῦ δοθέντοσ ἄρα σημείου τοῦ Α τῇ δοθείσῃ εὐθείᾳ τῇ ΒΓ παράλληλοσ εὐθεῖα γραμμὴ ἦκται ἡ ΕΑΖ· ὅπερ ἔδει ποιῆσαι. Παντὸσ τριγώνου μιᾶσ τῶν πλευρῶν προσεκβληθείσησ ἡ ἐκτὸσ γωνία δυσὶ ταῖσ ἐντὸσ καὶ ἀπεναντίον ἴση ἐστίν, καὶ αἱ ἐντὸσ τοῦ τριγώνου τρεῖσ γωνίαι δυσὶν ὀρθαῖσ ἴσαι εἰσίν. Ἔστω τρίγωνον τὸ ΑΒΓ, καὶ προσεκβεβλήσθω αὐτοῦ μία πλευρὰ ἡ ΒΓ ἐπὶ τὸ Δ· λέγω, ὅτι ἡ ἐκτὸσ γωνία ἡ ὑπὸ ΑΓΔ ἴση ἐστὶ δυσὶ ταῖσ ἐντὸσ καὶ ἀπεναντίον ταῖσ ὑπὸ ΓΑΒ, ΑΒΓ, καὶ αἱ ἐντὸσ τοῦ τριγώνου τρεῖσ γωνίαι αἱ ὑπὸ ΑΒΓ, ΒΓΑ, ΓΑΒ δυσὶν ὀρθαῖσ ἴσαι εἰσίν. Ἤχθω γὰρ διὰ τοῦ Γ σημείου τῇ ΑΒ εὐθείᾳ παράλληλοσ ἡ ΓΕ. Καὶ ἐπεὶ παράλληλόσ ἐστιν ἡ ΑΒ τῇ ΓΕ, καὶ εἰσ αὐτὰσ ἐμπέπτωκεν ἡ ΑΓ, αἱ ἐναλλὰξ γωνίαι αἱ ὑπὸ ΒΑΓ, ΑΓΕ ἴσαι ἀλλήλαισ εἰσίν. πάλιν, ἐπεὶ παράλληλόσ ἐστιν ἡ ΑΒ τῇ ΓΕ, καὶ εἰσ αὐτὰσ ἐμπέπτωκεν εὐθεῖα ἡ ΒΔ, ἡ ἐκτὸσ γωνία ἡ ὑπὸ ΕΓΔ ἴση ἐστὶ τῇ ἐντὸσ καὶ ἀπεναντίον τῇ ὑπὸ ΑΒΓ. ἐδείχθη δὲ καὶ ἡ ὑπὸ ΑΓΕ τῇ ὑπὸ ΒΑΓ ἴση· ὅλη ἄρα ἡ ὑπὸ ΑΓΔ γωνία ἴση ἐστὶ δυσὶ ταῖσ ἐντὸσ καὶ ἀπεναντίον ταῖσ ὑπὸ ΒΑΓ, ΑΒΓ. Κοινὴ προσκείσθω ἡ ὑπὸ ΑΓΒ· αἱ ἄρα ὑπὸ ΑΓΔ, ΑΓΒ τρισὶ ταῖσ ὑπὸ ΑΒΓ, ΒΓΑ, ΓΑΒ ἴσαι εἰσίν. ἀλλ’ αἱ ὑπὸ ΑΓΔ, ΑΓΒ δυσὶν ὀρθαῖσ ἴσαι εἰσίν· καὶ αἱ ὑπὸ ΑΓΒ, ΓΒΑ, ΓΑΒ ἄρα δυσίν ὀρθαῖσ ἴσαι εἰσίν. Παντὸσ ἄρα τριγώνου μιᾶσ τῶν πλευρῶν προσεκβληθείσησ ἡ ἐκτὸσ γωνία δυσὶ ταῖσ ἐντὸσ καὶ ἀπεναντίον ἴση ἐστίν, καὶ αἱ ἐντὸσ τοῦ τριγώνου τρεῖσ γωνίαι δυσὶν ὀρθαῖσ ἴσαι εἰσίν· ὅπερ ἔδει δεῖξαι. Αἱ τὰσ ἴσασ τε καὶ παραλλήλουσ ἐπὶ τὰ αὐτὰ μέρη ἐπιζευγνύουσαι εὐθεῖαι καὶ αὐταὶ ἴσαι τε καὶ παράλληλοί εἰσιν. Ἔστωσαν ἴσαι τε καὶ παράλληλοι αἱ ΑΒ, ΓΔ, καὶ ἐπιζευγνύτωσαν αὐτὰσ ἐπὶ τὰ αὐτὰ μέρη εὐθεῖαι αἱ ΑΓ, ΒΔ· λέγω, ὅτι καὶ αἱ ΑΓ, ΒΔ ἴσαι τε καὶ παράλληλοί εἰσιν. Ἐπεζεύχθω ἡ ΒΓ. καὶ ἐπεὶ παράλληλόσ ἐστιν ἡ ΑΒ τῇ ΓΔ, καὶ εἰσ αὐτὰσ ἐμπέπτωκεν ἡ ΒΓ, αἱ ἐναλλὰξ γωνίαι αἱ ὑπὸ ΑΒΓ, ΒΓΔ ἴσαι ἀλλήλαισ εἰσίν. καὶ ἐπεὶ ἴση ἐστὶν ἡ ΑΒ τῇ ΓΔ κοινὴ δὲ ἡ ΒΓ, δύο δὴ αἱ ΑΒ, ΒΓ δύο ταῖσ ΒΓ, ΓΔ ἴσαι εἰσίν· καὶ γωνία ἡ ὑπὸ ΑΒΓ γωνίᾳ τῇ ὑπὸ ΒΓΔ ἴση· βάσισ ἄρα ἡ ΑΓ βάσει τῇ ΒΔ ἐστιν ἴση, καὶ τὸ ΑΒΓ τρίγωνον τῷ ΒΓΔ τριγώνῳ ἴσον ἐστίν, καὶ αἱ λοιπαὶ γωνίαι ταῖσ λοιπαῖσ γωνίαισ ἴσαι ἔσονται ἑκατέρα ἑκατέρᾳ, ὑφ’ ἃσ αἱ ἴσαι πλευραὶ ὑποτείνουσιν· ἴση ἄρα ἡ ὑπὸ ΑΓΒ γωνία τῇ ὑπὸ ΓΒΔ. καὶ ἐπεὶ εἰσ δύο εὐθείασ τὰσ ΑΓ, ΒΔ εὐθεῖα ἐμπίπτουσα ἡ ΒΓ τὰσ ἐναλλὰξ γωνίασ ἴσασ ἀλλήλαισ πεποίηκεν, παράλληλοσ ἄρα ἐστὶν ἡ ΑΓ τῇ ΒΔ. ἐδείχθη δὲ αὐτῇ καὶ ἴση. Αἱ ἄρα τὰσ ἴσασ τε καὶ παραλλήλουσ ἐπὶ τὰ αὐτὰ μέρη ἐπιζευγνύουσαι εὐθεῖαι καὶ αὐταὶ ἴσαι τε καὶ παράλληλοί εἰσιν· ὅπερ ἔδει δεῖξαι. Τῶν παραλληλογράμμων χωρίων αἱ ἀπεναντίον πλευραί τε καὶ γωνίαι ἴσαι ἀλλήλαισ εἰσίν, καὶ ἡ διάμετροσ αὐτὰ δίχα τέμνει. Ἔστω παραλληλόγραμμον χωρίον τὸ ΑΓΔΒ, διάμετροσ δὲ αὐτοῦ ἡ ΒΓ· λέγω, ὅτι τοῦ ΑΓΔΒ παραλληλογράμμου αἱ ἀπεναντίον πλευραί τε καὶ γωνίαι ἴσαι ἀλλήλαισ εἰσίν, καὶ ἡ ΒΓ διάμετροσ αὐτὸ δίχα τέμνει. Ἐπεὶ γὰρ παράλληλόσ ἐστιν ἡ ΑΒ τῇ ΓΔ, καὶ εἰσ αὐτὰσ ἐμπέπτωκεν εὐθεῖα ἡ ΒΓ, αἱ ἐναλλὰξ γωνίαι αἱ ὑπὸ ΑΒΓ, ΒΓΔ ἴσαι ἀλλήλαισ εἰσίν. πάλιν, ἐπεὶ παράλληλόσ ἐστιν ἡ ΑΓ τῇ ΒΔ, καὶ εἰσ αὐτὰσ ἐμπέπτωκεν ἡ ΒΓ, αἱ ἐναλλὰξ γωνίαι αἱ ὑπὸ ΑΓΒ, ΓΒΔ ἴσαι ἀλλήλαισ εἰσίν. δύο δὴ τρίγωνά ἐστι τὰ ΑΒΓ, ΒΓΔ τὰσ δύο γωνίασ τὰσ ὑπὸ ΑΒΓ, ΒΓΑ δυσὶ ταῖσ ὑπὸ ΒΓΔ, ΓΒΔ ἴσασ ἔχοντα ἑκατέραν ἑκατέρᾳ καὶ μίαν πλευρὰν μιᾷ πλευρᾷ ἴσην τὴν πρὸσ ταῖσ ἴσαισ γωνίαισ κοινὴν αὐτῶν τὴν ΒΓ· καὶ τὰσ λοιπὰσ ἄρα πλευρὰσ ταῖσ λοιπαῖσ ἴσασ ἕξει ἑκατέραν ἑκατέρᾳ καὶ τὴν λοιπὴν γωνίαν τῇ λοιπῇ γωνίᾳ· ἴση ἄρα ἡ μὲν ΑΒ πλευρὰ τῇ ΓΔ, ἡ δὲ ΑΓ τῇ ΒΔ, καὶ ἔτι ἴση ἐστὶν ἡ ὑπὸ ΒΑΓ γωνία τῇ ὑπὸ ΓΔΒ. καὶ ἐπεὶ ἴση ἐστὶν ἡ μὲν ὑπὸ ΑΒΓ γωνία τῇ ὑπὸ ΒΓΔ, ἡ δὲ ὑπὸ ΓΒΔ τῇ ὑπὸ ΑΓΒ, ὅλη ἄρα ἡ ὑπὸ ΑΒΔ ὅλῃ τῇ ὑπὸ ΑΓΔ ἐστιν ἴση. ἐδείχθη δὲ καὶ ἡ ὑπὸ ΒΑΓ τῇ ὑπὸ ΓΔΒ ἴση. Τῶν ἄρα παραλληλογράμμων χωρίων αἱ ἀπεναντίον πλευραί τε καὶ γωνίαι ἴσαι ἀλλήλαισ εἰσίν. Λέγω δή, ὅτι καὶ ἡ διάμετροσ αὐτὰ δίχα τέμνει. ἐπεὶ γὰρ ἴση ἐστὶν ἡ ΑΒ τῇ ΓΔ, κοινὴ δὲ ἡ ΒΓ, δύο δὴ αἱ ΑΒ, ΒΓ δυσὶ ταῖσ ΓΔ, ΒΓ ἴσαι εἰσὶν ἑκατέρα ἑκατέρᾳ· καὶ γωνία ἡ ὑπὸ ΑΒΓ γωνίᾳ τῇ ὑπὸ ΒΓΔ ἴση. καὶ βάσισ ἄρα ἡ ΑΓ τῇ ΔΒ ἴση. καὶ τὸ ΑΒΓ [ἄρα] τρίγωνον τῷ ΒΓΔ τριγώνῳ ἴσον ἐστίν. Ἡ ἄρα ΒΓ διάμετροσ δίχα τέμνει τὸ ΑΒΓΔ παραλληλόγραμμον· ὅπερ ἔδει δεῖξαι. Τὰ παραλληλόγραμμα τὰ ἐπὶ τῆσ αὐτῆσ βάσεωσ ὄντα καὶ ἐν ταῖσ αὐταῖσ παραλλήλοισ ἴσα ἀλλήλοισ ἐστίν. Ἔστω παραλληλόγραμμα τὰ ΑΒΓΔ, ΕΒΓΖ ἐπὶ τῆσ αὐτῆσ βάσεωσ τῆσ ΒΓ καὶ ἐν ταῖσ αὐταῖσ παραλλήλοισ ταῖσ ΑΖ, ΒΓ· λέγω, ὅτι ἴσον ἐστὶ τὸ ΑΒΓΔ τῷ ΕΒΓΖ παραλληλογράμμῳ. Ἐπεὶ γὰρ παραλληλόγραμμόν ἐστι τὸ ΑΒΓΔ, ἴση ἐστὶν ἡ ΑΔ τῇ ΒΓ. διὰ τὰ αὐτὰ δὴ καὶ ἡ ΕΖ τῇ ΒΓ ἐστιν ἴση· ὥστε καὶ ἡ ΑΔ τῇ ΕΖ ἐστιν ἴση· καὶ κοινὴ ἡ ΔΕ· ὅλη ἄρα ἡ ΑΕ ὅλῃ τῇ ΔΖ ἐστιν ἴση. ἔστι δὲ καὶ ἡ ΑΒ τῇ ΔΓ ἴση· δύο δὴ αἱ ΕΑ, ΑΒ δύο ταῖσ ΖΔ, ΔΓ ἴσαι εἰσὶν ἑκατέρα ἑκατέρᾳ· καὶ γωνία ἡ ὑπὸ ΖΔΓ γωνίᾳ τῇ ὑπὸ ΕΑΒ ἐστιν ἴση ἡ ἐκτὸσ τῇ ἐντόσ· βάσισ ἄρα ἡ ΕΒ βάσει τῇ ΖΓ ἴση ἐστίν, καὶ τὸ ΕΑΒ τρίγωνον τῷ ΔΖΓ τριγώνῳ ἴσον ἔσται· κοινὸν ἀφῃρήσθω τὸ ΔΗΕ· λοιπὸν ἄρα τὸ ΑΒΗΔ τραπέζιον λοιπῷ τῷ ΕΗΓΖ τραπεζίῳ ἐστὶν ἴσον· κοινὸν προσκείσθω τὸ ΗΒΓ τρίγωνον· ὅλον ἄρα τὸ ΑΒΓΔ παραλληλόγραμμον ὅλῳ τῷ ΕΒΓΖ παραλληλογράμμῳ ἴσον ἐστίν. Τὰ ἄρα παραλληλόγραμμα τὰ ἐπὶ τῆσ αὐτῆσ βάσεωσ ὄντα καὶ ἐν ταῖσ αὐταῖσ παραλλήλοισ ἴσα ἀλλήλοισ ἐστίν· ὅπερ ἔδει δεῖξαι. Τὰ παραλληλόγραμμα τὰ ἐπὶ ἴσων βάσεων ὄντα καὶ ἐν ταῖσ αὐταῖσ παραλλήλοισ ἴσα ἀλλήλοισ ἐστίν. Ἔστω παραλληλόγραμμα τὰ ΑΒΓΔ, ΕΖΗΘ ἐπὶ ἴσων βάσεων ὄντα τῶν ΒΓ, ΖΗ καὶ ἐν ταῖσ αὐταῖσ παραλλήλοισ ταῖσ ΑΘ, ΒΗ· λέγω, ὅτι ἴσον ἐστὶ τὸ ΑΒΓΔ παραλληλόγραμμον τῷ ΕΖΗΘ. Ἐπεζεύχθωσαν γὰρ αἱ ΒΕ, ΓΘ. καὶ ἐπεὶ ἴση ἐστὶν ἡ ΒΓ τῇ ΖΗ, ἀλλὰ ἡ ΖΗ τῇ ΕΘ ἐστιν ἴση, καὶ ἡ ΒΓ ἄρα τῇ ΕΘ ἐστιν ἴση. εἰσὶ δὲ καὶ παράλληλοι. καὶ ἐπιζευγνύουσιν αὐτὰσ αἱ ΕΒ, ΘΓ· αἱ δὲ τὰσ ἴσασ τε καὶ παραλλήλουσ ἐπὶ τὰ αὐτὰ μέρη ἐπιζευγνύουσαι ἴσαι τε καὶ παράλληλοί εἰσι· [καὶ αἱ ΕΒ, ΘΓ ἄρα ἴσαι τέ εἰσι καὶ παράλληλοι]. παραλληλόγραμμον ἄρα ἐστὶ τὸ ΕΒΓΘ. καί ἐστιν ἴσον τῷ ΑΒΓΔ· βάσιν τε γὰρ αὐτῷ τὴν αὐτὴν ἔχει τὴν ΒΓ, καὶ ἐν ταῖσ αὐταῖσ παραλλήλοισ ἐστὶν αὐτῷ ταῖσ ΒΓ, ΑΘ. διὰ τὰ αὐτὰ δὴ καὶ τὸ ΕΖΗΘ τῷ αὐτῷ τῷ ΕΒΓΘ ἐστιν ἴσον· ὥστε καὶ τὸ ΑΒΓΔ παραλληλόγραμμον τῷ ΕΖΗΘ ἐστιν ἴσον. Τὰ ἄρα παραλληλόγραμμα τὰ ἐπὶ ἴσων βάσεων ὄντα καὶ ἐν ταῖσ αὐταῖσ παραλλήλοισ ἴσα ἀλλήλοισ ἐστίν· ὅπερ ἔδει δεῖξαι. Τὰ τρίγωνα τὰ ἐπὶ τῆσ αὐτῆσ βάσεωσ ὄντα καὶ ἐν ταῖσ αὐταῖσ παραλλήλοισ ἴσα ἀλλήλοισ ἐστίν. Ἔστω τρίγωνα τὰ ΑΒΓ, ΔΒΓ ἐπὶ τῆσ αὐτῆσ βάσεωσ τῆσ ΒΓ καὶ ἐν ταῖσ αὐταῖσ παραλλήλοισ ταῖσ ΑΔ, ΒΓ· λέγω, ὅτι ἴσον ἐστὶ τὸ ΑΒΓ τρίγωνον τῷ ΔΒΓ τριγώνῳ. Ἐκβεβλήσθω ἡ ΑΔ ἐφ’ ἑκάτερα τὰ μέρη ἐπὶ τὰ Ε, Ζ, καὶ διὰ μὲν τοῦ Β τῇ ΓΑ παράλληλοσ ἤχθω ἡ ΒΕ, διὰ δὲ τοῦ Γ τῇ ΒΔ παράλληλοσ ἤχθω ἡ ΓΖ. παραλληλόγραμμον ἄρα ἐστὶν ἑκάτερον τῶν ΕΒΓΑ, ΔΒΓΖ· καί εἰσιν ἴσα· ἐπί τε γὰρ τῆσ αὐτῆσ βάσεώσ εἰσι τῆσ ΒΓ καὶ ἐν ταῖσ αὐταῖσ παραλλήλοισ ταῖσ ΒΓ, ΕΖ· καί ἐστι τοῦ μὲν ΕΒΓΑ παραλληλογράμμου ἥμισυ τὸ ΑΒΓ τρίγωνον· ἡ γὰρ ΑΒ διάμετροσ αὐτὸ δίχα τέμνει· τοῦ δὲ ΔΒΓΖ παραλληλογράμμου ἥμισυ τὸ ΔΒΓ τρίγωνον· ἡ γὰρ ΔΓ διάμετροσ αὐτὸ δίχα τέμνει. [τὰ δὲ τῶν ἴσων ἡμίση ἴσα ἀλλήλοισ ἐστίν]. ἴσον ἄρα ἐστὶ τὸ ΑΒΓ τρίγωνον τῷ ΔΒΓ τριγώνῳ. Τὰ ἄρα τρίγωνα τὰ ἐπὶ τῆσ αὐτῆσ βάσεωσ ὄντα καὶ ἐν ταῖσ αὐταῖσ παραλλήλοισ ἴσα ἀλλήλοισ ἐστίν· ὅπερ ἔδει δεῖξαι. Τὰ τρίγωνα τὰ ἐπὶ ἴσων βάσεων ὄντα καὶ ἐν ταῖσ αὐταῖσ παραλλήλοισ ἴσα ἀλλήλοισ ἐστίν. Ἔστω τρίγωνα τὰ ΑΒΓ, ΔΕΖ ἐπὶ ἴσων βάσεων τῶν ΒΓ, ΕΖ καὶ ἐν ταῖσ αὐταῖσ παραλλήλοισ ταῖσ ΒΖ, ΑΔ· λέγω, ὅτι ἴσον ἐστὶ τὸ ΑΒΓ τρίγωνον τῷ ΔΕΖ τριγώνῳ. Ἐκβεβλήσθω γὰρ ἡ ΑΔ ἐφ’ ἑκάτερα τὰ μέρη ἐπὶ τὰ Η, Θ, καὶ διὰ μὲν τοῦ Β τῇ ΓΑ παράλληλοσ ἤχθω ἡ ΒΗ, διὰ δὲ τοῦ Ζ τῇ ΔΕ παράλληλοσ ἤχθω ἡ ΖΘ. παραλληλόγραμμον ἄρα ἐστὶν ἑκάτερον τῶν ΗΒΓΑ, ΔΕΖΘ· καὶ ἴσον τὸ ΗΒΓΑ τῷ ΔΕΖΘ· ἐπί τε γὰρ ἴσων βάσεών εἰσι τῶν ΒΓ, ΕΖ καὶ ἐν ταῖσ αὐταῖσ παραλλήλοισ ταῖσ ΒΖ, ΗΘ· καί ἐστι τοῦ μὲν ΗΒΓΑ παραλληλογράμμου ἥμισυ τὸ ΑΒΓ τρίγωνον. ἡ γὰρ ΑΒ διάμετροσ αὐτὸ δίχα τέμνει· τοῦ δὲ ΔΕΖΘ παραλληλογράμμου ἥμισυ τὸ ΖΕΔ τρίγωνον· ἡ γὰρ ΔΖ διάμετροσ αὐτὸ δίχα τέμνει· [τὰ δὲ τῶν ἴσων ἡμίση ἴσα ἀλλήλοισ ἐστίν]. ἴσον ἄρα ἐστὶ τὸ ΑΒΓ τρίγωνον τῷ ΔΕΖ τριγώνῳ. Τὰ ἄρα τρίγωνα τὰ ἐπὶ ἴσων βάσεων ὄντα καὶ ἐν ταῖσ αὐταῖσ παραλλήλοισ ἴσα ἀλλήλοισ ἐστίν· ὅπερ ἔδει δεῖξαι. Τὰ ἴσα τρίγωνα τὰ ἐπὶ τῆσ αὐτῆσ βάσεωσ ὄντα καὶ ἐπὶ τὰ αὐτὰ μέρη καὶ ἐν ταῖσ αὐταῖσ παραλλήλοισ ἐστίν. Ἔστω ἴσα τρίγωνα τὰ ΑΒΓ, ΔΒΓ ἐπὶ τῆσ αὐτῆσ βάσεωσ ὄντα καὶ ἐπὶ τὰ αὐτὰ μέρη τῆσ ΒΓ· λέγω, ὅτι καὶ ἐν ταῖσ αὐταῖσ παραλλήλοισ ἐστίν. Ἐπεζεύχθω γὰρ ἡ ΑΔ· λέγω, ὅτι παράλληλόσ ἐστιν ἡ ΑΔ τῇ ΒΓ. Εἰ γὰρ μή, ἤχθω διὰ τοῦ Α σημείου τῇ ΒΓ εὐθείᾳ παράλληλοσ ἡ ΑΕ, καὶ ἐπεζεύχθω ἡ ΕΓ. ἴσον ἄρα ἐστὶ τὸ ΑΒΓ τρίγωνον τῷ ΕΒΓ τριγώνῳ· ἐπί τε γὰρ τῆσ αὐτῆσ βάσεώσ ἐστιν αὐτῷ τῆσ ΒΓ καὶ ἐν ταῖσ αὐταῖσ παραλλήλοισ. ἀλλὰ τὸ ΑΒΓ τῷ ΔΒΓ ἐστιν ἴσον· καὶ τὸ ΔΒΓ ἄρα τῷ ΕΒΓ ἴσον ἐστὶ τὸ μεῖζον τῷ ἐλάσσονι· ὅπερ ἐστὶν ἀδύνατον· οὐκ ἄρα παράλληλόσ ἐστιν ἡ ΑΕ τῇ ΒΓ. ὁμοίωσ δὴ δείξομεν, ὅτι οὐδ’ ἄλλη τισ πλὴν τῆσ ΑΔ· ἡ ΑΔ ἄρα τῇ ΒΓ ἐστι παράλληλοσ. Τὰ ἄρα ἴσα τρίγωνα τὰ ἐπὶ τῆσ αὐτῆσ βάσεωσ ὄντα καὶ ἐπὶ τὰ αὐτὰ μέρη καὶ ἐν ταῖσ αὐταῖσ παραλλήλοισ ἐστίν· ὅπερ ἔδει δεῖξαι. Τὰ ἴσα τρίγωνα τὰ ἐπὶ ἴσων βάσεων ὄντα καὶ ἐπὶ τὰ αὐτὰ μέρη καὶ ἐν ταῖσ αὐταῖσ παραλλήλοισ ἐστίν. Ἔστω ἴσα τρίγωνα τὰ ΑΒΓ, ΓΔΕ ἐπὶ ἴσων βάσεων τῶν ΒΓ, ΓΕ καὶ ἐπὶ τὰ αὐτὰ μέρη. λέγω, ὅτι καὶ ἐν ταῖσ αὐταῖσ παραλλήλοισ ἐστίν. Ἐπεζεύχθω γὰρ ἡ ΑΔ· λέγω, ὅτι παράλληλόσ ἐστιν ἡ ΑΔ τῇ ΒΕ. Εἰ γὰρ μή, ἤχθω διὰ τοῦ Α τῇ ΒΕ παράλληλοσ ἡ ΑΖ, καὶ ἐπεζεύχθω ἡ ΖΕ. ἴσον ἄρα ἐστὶ τὸ ΑΒΓ τρίγωνον τῷ ΖΓΕ τριγώνῳ· ἐπί τε γὰρ ἴσων βάσεών εἰσι τῶν ΒΓ, ΓΕ καὶ ἐν ταῖσ αὐταῖσ παραλλήλοισ ταῖσ ΒΕ, ΑΖ. ἀλλὰ τὸ ΑΒΓ τρίγωνον ἴσον ἐστὶ τῷ ΔΓΕ [τριγώνῳ]· καὶ τὸ ΔΓΕ ἄρα [τρίγωνον] ἴσον ἐστὶ τῷ ΖΓΕ τριγώνῳ τὸ μεῖζον τῷ ἐλάσσονι· ὅπερ ἐστὶν ἀδύνατον· οὐκ ἄρα παράλληλοσ ἡ ΑΖ τῇ ΒΕ. ὁμοίωσ δὴ δείξομεν, ὅτι οὐδ’ ἄλλη τισ πλὴν τῆσ ΑΔ· ἡ ΑΔ ἄρα τῇ ΒΕ ἐστι παράλληλοσ. Τὰ ἄρα ἴσα τρίγωνα τὰ ἐπὶ ἴσων βάσεων ὄντα καὶ ἐπὶ τὰ αὐτὰ μέρη καὶ ἐν ταῖσ αὐταῖσ παραλλήλοισ ἐστίν· ὅπερ ἔδει δεῖξαι. Εἂν παραλληλόγραμμον τριγώνῳ βάσιν τε ἔχῃ τὴν αὐτὴν καὶ ἐν ταῖσ αὐταῖσ παραλλήλοισ ᾖ, διπλάσιόν ἐστι τὸ παραλληλόγραμμον τοῦ τριγώνου. Παραλληλόγραμμον γὰρ τὸ ΑΒΓΔ τριγώνῳ τῷ ΕΒΓ βάσιν τε ἐχέτω τὴν αὐτὴν τὴν ΒΓ καὶ ἐν ταῖσ αὐταῖσ παραλλήλοισ ἔστω ταῖσ ΒΓ, ΑΕ· λέγω, ὅτι διπλάσιόν ἐστι τὸ ΑΒΓΔ παραλληλόγραμμον τοῦ ΒΕΓ τριγώνου. Ἐπεζεύχθω γὰρ ἡ ΑΓ. ἴσον δή ἐστι τὸ ΑΒΓ τρίγωνον τῷ ΕΒΓ τριγώνῳ· ἐπί τε γὰρ τῆσ αὐτῆσ βάσεώσ ἐστιν αὐτῷ τῆσ ΒΓ καὶ ἐν ταῖσ αὐταῖσ παραλλήλοισ ταῖσ ΒΓ, ΑΕ. ἀλλὰ τὸ ΑΒΓΔ παραλληλόγραμμον διπλάσιόν ἐστι τοῦ ΑΒΓ τριγώνου· ἡ γὰρ ΑΓ διάμετροσ αὐτὸ δίχα τέμνει· ὥστε τὸ ΑΒΓΔ παραλληλόγραμμον καὶ τοῦ ΕΒΓ τριγώνου ἐστὶ διπλάσιον. Εἂν ἄρα παραλληλόγραμμον τριγώνῳ βάσιν τε ἔχῃ τὴν αὐτὴν καὶ ἐν ταῖσ αὐταῖσ παραλλήλοισ ᾖ, διπλάσιόν ἐστι τὸ παραλληλόγραμμον τοῦ τριγώνου· ὅπερ ἔδει δεῖξαι. Τῷ δοθέντι τριγώνῳ ἴσον παραλληλόγραμμον συστήσασθαι ἐν τῇ δοθείσῃ γωνίᾳ εὐθυγράμμῳ. Ἔστω τὸ μὲν δοθὲν τρίγωνον τὸ ΑΒΓ, ἡ δὲ δοθεῖσα γωνία εὐθύγραμμοσ ἡ Δ· δεῖ δὴ τῷ ΑΒΓ τριγώνῳ ἴσον παραλληλόγραμμον συστήσασθαι ἐν τῇ Δ γωνίᾳ εὐθυγράμμῳ. Τετμήσθω ἡ ΒΓ δίχα κατὰ τὸ Ε, καὶ ἐπεζεύχθω ἡ ΑΕ, καὶ συνεστάτω πρὸσ τῇ ΕΓ εὐθείᾳ καὶ τῷ πρὸσ αὐτῇ σημείῳ τῷ Ε τῇ Δ γωνίᾳ ἴση ἡ ὑπὸ ΓΕΖ, καὶ διὰ μὲν τοῦ Α τῇ ΕΓ παράλληλοσ ἤχθω ἡ ΑΗ, διὰ δὲ τοῦ Γ τῇ ΕΖ παράλληλοσ ἤχθω ἡ ΓΗ· παραλληλόγραμμον ἄρα ἐστὶ τὸ ΖΕΓΗ. καὶ ἐπεὶ ἴση ἐστὶν ἡ ΒΕ τῇ ΕΓ, ἴσον ἐστὶ καὶ τὸ ΑΒΕ τρίγωνον τῷ ΑΕΓ τριγώνῳ· ἐπί τε γὰρ ἴσων βάσεών εἰσι τῶν ΒΕ, ΕΓ καὶ ἐν ταῖσ αὐταῖσ παραλλήλοισ ταῖσ ΒΓ, ΑΗ· διπλάσιον ἄρα ἐστὶ τὸ ΑΒΓ τρίγωνον τοῦ ΑΕΓ τριγώνου. ἔστι δὲ καὶ τὸ ΖΕΓΗ παραλληλόγραμμον διπλάσιον τοῦ ΑΕΓ τριγώνου· βάσιν τε γὰρ αὐτῷ τὴν αὐτὴν ἔχει καὶ ἐν ταῖσ αὐταῖσ ἐστιν αὐτῷ παραλλήλοισ· ἴσον ἄρα ἐστὶ τὸ ΖΕΓΗ παραλληλόγραμμον τῷ ΑΒΓ τριγώνῳ. καὶ ἔχει τὴν ὑπὸ ΓΕΖ γωνίαν ἴσην τῇ δοθείσῃ τῇ Δ. Τῷ ἄρα δοθέντι τριγώνῳ τῷ ΑΒΓ ἴσον παραλληλόγραμμον συνέσταται τὸ ΖΕΓΗ ἐν γωνίᾳ τῇ ὑπὸ ΓΕΖ, ἥτισ ἐστὶν ἴση τῇ Δ· ὅπερ ἔδει ποιῆσαι. Παντὸσ παραλληλογράμμου τῶν περὶ τὴν διάμετρον παραλληλογράμμων τὰ παραπληρώματα ἴσα ἀλλήλοισ ἐστίν. Ἔστω παραλληλόγραμμον τὸ ΑΒΓΔ, διάμετροσ δὲ αὐτοῦ ἡ ΑΓ, περὶ δὲ τὴν ΑΓ παραλληλόγραμμα μὲν ἔστω τὰ ΖΘ, ΖΗ, τὰ δὲ λεγόμενα παραπληρώματα τὰ ΒΚ, ΚΔ· λέγω, ὅτι ἴσον ἐστὶ τὸ ΒΚ παραπλήρωμα τῷ ΚΔ παραπληρώματι. Ἐπεὶ γὰρ παραλληλόγραμμόν ἐστι τὸ ΑΒΓΔ, διάμετροσ δὲ αὐτοῦ ἡ ΑΓ, ἴσον ἐστὶ τὸ ΑΒΓ τρίγωνον τῷ ΑΓΔ τριγώνῳ. πάλιν, ἐπεὶ παραλληλόγραμμόν ἐστι τὸ ΕΘ, διάμετροσ δὲ αὐτοῦ ἐστιν ἡ ΑΚ, ἴσον ἐστὶ τὸ ΑΕΚ τρίγωνον τῷ ΑΘΚ τριγώνῳ. διὰ τὰ αὐτὰ δὴ καὶ τὸ ΚΖΓ τρίγωνον τῷ ΚΗΓ ἐστιν ἴσον. ἐπεὶ οὖν τὸ μὲν ΑΕΚ τρίγωνον τῷ ΑΘΚ τριγώνῳ ἐστὶν ἴσον, τὸ δὲ ΚΖΓ τῷ ΚΗΓ, τὸ ΑΕΚ τρίγωνον μετὰ τοῦ ΚΗΓ ἴσον ἐστὶ τῷ ΑΘΚ τριγώνῳ μετὰ τοῦ ΚΖΓ· ἔστι δὲ καὶ ὅλον τὸ ΑΒΓ τρίγωνον ὅλῳ τῷ ΑΔΓ ἴσον· λοιπὸν ἄρα τὸ ΒΚ παραπλήρωμα λοιπῷ τῷ ΚΔ παραπληρώματί ἐστιν ἴσον. Παντὸσ ἄρα παραλληλογράμμου χωρίου τῶν περὶ τὴν διάμετρον παραλληλογράμμων τὰ παραπληρώματα ἴσα ἀλλήλοισ ἐστίν· ὅπερ ἔδει δεῖξαι. Παρὰ τὴν δοθεῖσαν εὐθεῖαν τῷ δοθέντι τριγώνῳ ἴσον παραλληλόγραμμον παραβαλεῖν ἐν τῇ δοθείσῃ γωνίᾳ εὐθυγράμμῳ. Ἔστω ἡ μὲν δοθεῖσα εὐθεῖα ἡ ΑΒ, τὸ δὲ δοθὲν τρίγωνον τὸ Γ, ἡ δὲ δοθεῖσα γωνία εὐθύγραμμοσ ἡ Δ· δεῖ δὴ παρὰ τὴν δοθεῖσαν εὐθεῖαν τὴν ΑΒ τῷ δοθέντι τριγώνῳ τῷ Γ ἴσον παραλληλόγραμμον παραβαλεῖν ἐν ἴσῃ τῇ Δ γωνίᾳ. Συνεστάτω τῷ Γ τριγώνῳ ἴσον παραλληλόγραμμον τὸ ΒΕΖΗ ἐν γωνίᾳ τῇ ὑπὸ ΕΒΗ, ἥ ἐστιν ἴση τῇ Δ· καὶ κείσθω ὥστε ἐπ’ εὐθείασ εἶναι τὴν ΒΕ τῇ ΑΒ, καὶ διήχθω ἡ ΖΗ ἐπὶ τὸ Θ, καὶ διὰ τοῦ Α ὁποτέρᾳ τῶν ΒΗ, ΕΖ παράλληλοσ ἤχθω ἡ ΑΘ, καὶ ἐπεζεύχθω ἡ ΘΒ. καὶ ἐπεὶ εἰσ παραλλήλουσ τὰσ ΑΘ, ΕΖ εὐθεῖα ἐνέπεσεν ἡ ΘΖ, αἱ ἄρα ὑπὸ ΑΘΖ, ΘΖΕ γωνίαι δυσὶν ὀρθαῖσ εἰσιν ἴσαι. αἱ ἄρα ὑπὸ ΒΘΗ, ΗΖΕ δύο ὀρθῶν ἐλάσσονέσ εἰσιν· αἱ δὲ ἀπὸ ἐλασσόνων ἢ δύο ὀρθῶν εἰσ ἄπειρον ἐκβαλλόμεναι συμπίπτουσιν· αἱ ΘΒ, ΖΕ ἄρα ἐκβαλλόμεναι συμπεσοῦνται. ἐκβεβλήσθωσαν καὶ συμπιπτέτωσαν κατὰ τὸ Κ, καὶ διὰ τοῦ Κ σημείου ὁποτέρᾳ τῶν ΕΑ, ΖΘ παράλληλοσ ἤχθω ἡ ΚΛ, καὶ ἐκβεβλήσθωσαν αἱ ΘΑ, ΗΒ ἐπὶ τὰ Λ, Μ σημεῖα. παραλληλόγραμμον ἄρα ἐστὶ τὸ ΘΛΚΖ, διάμετροσ δὲ αὐτοῦ ἡ ΘΚ, περὶ δὲ τὴν ΘΚ παραλληλόγραμμα μὲν τὰ ΑΗ, ΜΕ, τὰ δὲ λεγόμενα παραπληρώματα τὰ ΛΒ, ΒΖ· ἴσον ἄρα ἐστὶ τὸ ΛΒ τῷ ΒΖ. ἀλλὰ τὸ ΒΖ τῷ Γ τριγώνῳ ἐστὶν ἴσον· καὶ τὸ ΛΒ ἄρα τῷ Γ ἐστιν ἴσον. καὶ ἐπεὶ ἴση ἐστὶν ἡ ὑπὸ ΗΒΕ γωνία τῇ ὑπὸ ΑΒΜ, ἀλλὰ ἡ ὑπὸ ΗΒΕ τῇ Δ ἐστιν ἴση, καὶ ἡ ὑπὸ ΑΒΜ ἄρα τῇ Δ γωνίᾳ ἐστὶν ἴση. Παρὰ τὴν δοθεῖσαν ἄρα εὐθεῖαν τὴν ΑΒ τῷ δοθέντι τριγώνῳ τῷ Γ ἴσον παραλληλόγραμμον παραβέβληται τὸ ΛΒ ἐν γωνίᾳ τῇ ὑπὸ ΑΒΜ, ἥ ἐστιν ἴση τῇ Δ· ὅπερ ἔδει ποιῆσαι. Τῷ δοθέντι εὐθυγράμμῳ ἴσον παραλληλόγραμμον συστήσασθαι ἐν τῇ δοθείσῃ γωνίᾳ εὐθυγράμμῳ. Ἔστω τὸ μὲν δοθὲν εὐθύγραμμον τὸ ΑΒΓΔ, ἡ δὲ δοθεῖσα γωνία εὐθύγραμμοσ ἡ Ε· δεῖ δὴ τῷ ΑΒΓΔ εὐθυγράμμῳ ἴσον παραλληλόγραμμον συστήσασθαι ἐν τῇ δοθείσῃ γωνίᾳ τῇ Ε. Ἐπεζεύχθω ἡ ΔΒ, καὶ συνεστάτω τῷ ΑΒΔ τριγώνῳ ἴσον παραλληλόγραμμον τὸ ΖΘ ἐν τῇ ὑπὸ ΘΚΖ γωνίᾳ, ἥ ἐστιν ἴση τῇ Ε· καὶ παραβεβλήσθω παρὰ τὴν ΗΘ εὐθεῖαν τῷ ΔΒΓ τριγώνῳ ἴσον παραλληλόγραμμον τὸ ΗΜ ἐν τῇ ὑπὸ ΗΘΜ γωνίᾳ, ἥ ἐστιν ἴση τῇ Ε. καὶ ἐπεὶ ἡ Ε γωνία ἑκατέρᾳ τῶν ὑπὸ ΘΚΖ, ΗΘΜ ἐστιν ἴση, καὶ ἡ ὑπὸ ΘΚΖ ἄρα τῇ ὑπὸ ΗΘΜ ἐστιν ἴση. κοινὴ προσκείσθω ἡ ὑπὸ ΚΘΗ· αἱ ἄρα ὑπὸ ΖΚΘ, ΚΘΗ ταῖσ ὑπὸ ΚΘΗ, ΗΘΜ ἴσαι εἰσίν. ἀλλ’ αἱ ὑπὸ ΖΚΘ, ΚΘΗ δυσὶν ὀρθαῖσ ἴσαι εἰσίν· καὶ αἱ ὑπὸ ΚΘΗ, ΗΘΜ ἄρα δύο ὀρθαῖσ ἴσαι εἰσίν. πρὸσ δή τινι εὐθείᾳ τῇ ΗΘ καὶ τῷ πρὸσ αὐτῇ σημείῳ τῷ Θ δύο εὐθεῖαι αἱ ΚΘ, ΘΜ μὴ ἐπὶ τὰ αὐτὰ μέρη κείμεναι τὰσ ἐφεξῆσ γωνίασ δύο ὀρθαῖσ ἴσασ ποιοῦσιν· ἐπ’ εὐθείασ ἄρα ἐστὶν ἡ ΚΘ τῇ ΘΜ· καὶ ἐπεὶ εἰσ παραλλήλουσ τὰσ ΚΜ, ΖΗ εὐθεῖα ἐνέπεσεν ἡ ΘΗ, αἱ ἐναλλὰξ γωνίαι αἱ ὑπὸ ΜΘΗ, ΘΗΖ ἴσαι ἀλλήλαισ εἰσίν. κοινὴ προσκείσθω ἡ ὑπὸ ΘΗΛ· αἱ ἄρα ὑπὸ ΜΘΗ, ΘΗΛ ταῖσ ὑπὸ ΘΗΖ, ΘΗΛ ἴσαι εἰσίν. ἀλλ’ αἱ ὑπὸ ΜΘΗ, ΘΗΛ δύο ὀρθαῖσ ἴσαι εἰσίν· καὶ αἱ ὑπὸ ΘΗΖ, ΘΗΛ ἄρα δύο ὀρθαῖσ ἴσαι εἰσίν· ἐπ’ εὐθείασ ἄρα ἐστὶν ἡ ΖΗ τῇ ΗΛ. καὶ ἐπεὶ ἡ ΖΚ τῇ ΘΗ ἴση τε καὶ παράλληλόσ ἐστιν, ἀλλὰ καὶ ἡ ΘΗ τῇ ΜΛ, καὶ ἡ ΚΖ ἄρα τῇ ΜΛ ἴση τε καὶ παράλληλόσ ἐστιν· καὶ ἐπιζευγνύουσιν αὐτὰσ εὐθεῖαι αἱ ΚΜ, ΖΛ· καὶ αἱ ΚΜ, ΖΛ ἄρα ἴσαι τε καὶ παράλληλοί εἰσιν· παραλληλόγραμμον ἄρα ἐστὶ τὸ ΚΖΛΜ. καὶ ἐπεὶ ἴσον ἐστὶ τὸ μὲν ΑΒΔ τρίγωνον τῷ ΖΘ παραλληλογράμμῳ, τὸ δὲ ΔΒΓ τῷ ΗΜ, ὅλον ἄρα τὸ ΑΒΓΔ εὐθύγραμμον ὅλῳ τῷ ΚΖΛΜ παραλληλογράμμῳ ἐστὶν ἴσον. Τῷ ἄρα δοθέντι εὐθυγράμμῳ τῷ ΑΒΓΔ ἴσον παραλληλόγραμμον συνέσταται τὸ ΚΖΛΜ ἐν γωνίᾳ τῇ ὑπὸ ΖΚΜ, ἥ ἐστιν ἴση τῇ δοθείσῃ τῇ Ε· ὅπερ ἔδει ποιῆσαι. Ἀπὸ τῆσ δοθείσησ εὐθείασ τετράγωνον ἀναγράψαι. Ἔστω ἡ δοθεῖσα εὐθεῖα ἡ ΑΒ· δεῖ δὴ ἀπὸ τῆσ ΑΒ εὐθείασ τετράγωνον ἀναγράψαι. Ἤχθω τῇ ΑΒ εὐθείᾳ ἀπὸ τοῦ πρὸσ αὐτῇ σημείου τοῦ Α πρὸσ ὀρθὰσ ἡ ΑΓ, καὶ κείσθω τῇ ΑΒ ἴση ἡ ΑΔ· καὶ διὰ μὲν τοῦ Δ σημείου τῇ ΑΒ παράλληλοσ ἤχθω ἡ ΔΕ, διὰ δὲ τοῦ Β σημείου τῇ ΑΔ παράλληλοσ ἤχθω ἡ ΒΕ. Παραλληλόγραμμον ἄρα ἐστὶ τὸ ΑΔΕΒ· ἴση ἄρα ἐστὶν ἡ μὲν ΑΒ τῇ ΔΕ, ἡ δὲ ΑΔ τῇ ΒΕ. ἀλλὰ ἡ ΑΒ τῇ ΑΔ ἐστιν ἴση· αἱ τέσσαρεσ ἄρα αἱ ΒΑ, ΑΔ, ΔΕ, ΕΒ ἴσαι ἀλλήλαισ εἰσίν· ἰσόπλευρον ἄρα ἐστὶ τὸ ΑΔΕΒ παραλληλόγραμμον. λέγω δή, ὅτι καὶ ὀρθογώνιον. ἐπεὶ γὰρ εἰσ παραλλήλουσ τὰσ ΑΒ, ΔΕ εὐθεῖα ἐνέπεσεν ἡ ΑΔ, αἱ ἄρα ὑπὸ ΒΑΔ, ΑΔΕ γωνίαι δύο ὀρθαῖσ ἴσαι εἰσίν. ὀρθὴ δὲ ἡ ὑπὸ ΒΑΔ· ὀρθὴ ἄρα καὶ ἡ ὑπὸ ΑΔΕ. τῶν δὲ παραλληλογράμμων χωρίων αἱ ἀπεναντίον πλευραί τε καὶ γωνίαι ἴσαι ἀλλήλαισ εἰσίν· ὀρθὴ ἄρα καὶ ἑκατέρα τῶν ἀπεναντίον τῶν ὑπὸ ΑΒΕ, ΒΕΔ γωνιῶν· ὀρθογώνιον ἄρα ἐστὶ τὸ ΑΔΕΒ. ἐδείχθη δὲ καὶ ἰσόπλευρον. Τετράγωνον ἄρα ἐστίν· καί ἐστιν ἀπὸ τῆσ ΑΒ εὐθείασ ἀναγεγραμμένον· ὅπερ ἔδει ποιῆσαι. Ἐν τοῖσ ὀρθογωνίοισ τριγώνοισ τὸ ἀπὸ τῆσ τὴν ὀρθὴν γωνίαν ὑποτεινούσησ πλευρᾶσ τετράγωνον ἴσον ἐστὶ τοῖσ ἀπὸ τῶν τὴν ὀρθὴν γωνίαν περιεχουσῶν πλευρῶν τετραγώνοισ. Ἔστω τρίγωνον ὀρθογώνιον τὸ ΑΒΓ ὀρθὴν ἔχον τὴν ὑπὸ ΒΑΓ γωνίαν· λέγω, ὅτι τὸ ἀπὸ τῆσ ΒΓ τετράγωνον ἴσον ἐστὶ τοῖσ ἀπὸ τῶν ΒΑ, ΑΓ τετραγώνοισ. Ἀναγεγράφθω γὰρ ἀπὸ μὲν τῆσ ΒΓ τετράγωνον τὸ ΒΔΕΓ, ἀπὸ δὲ τῶν ΒΑ, ΑΓ τὰ ΗΒ, ΘΓ, καὶ διὰ τοῦ Α ὁποτέρᾳ τῶν ΒΔ, ΓΕ παράλληλοσ ἤχθω ἡ ΑΛ· καὶ ἐπεζεύχθωσαν αἱ ΑΔ, ΖΓ. καὶ ἐπεὶ ὀρθή ἐστιν ἑκατέρα τῶν ὑπὸ ΒΑΓ, ΒΑΗ γωνιῶν, πρὸσ δή τινι εὐθείᾳ τῇ ΒΑ καὶ τῷ πρὸσ αὐτῇ σημείῳ τῷ Α δύο εὐθεῖαι αἱ ΑΓ, ΑΗ μὴ ἐπὶ τὰ αὐτὰ μέρη κείμεναι τὰσ ἐφεξῆσ γωνίασ δυσὶν ὀρθαῖσ ἴσασ ποιοῦσιν· ἐπ’ εὐθείασ ἄρα ἐστὶν ἡ ΓΑ τῇ ΑΗ. διὰ τὰ αὐτὰ δὴ καὶ ἡ ΒΑ τῇ ΑΘ ἐστιν ἐπ’ εὐθείασ. καὶ ἐπεὶ ἴση ἐστὶν ἡ ὑπὸ ΔΒΓ γωνία τῇ ὑπὸ ΖΒΑ· ὀρθὴ γὰρ ἑκατέρα· κοινὴ προσκείσθω ἡ ὑπὸ ΑΒΓ· ὅλη ἄρα ἡ ὑπὸ ΔΒΑ ὅλῃ τῇ ὑπὸ ΖΒΓ ἐστιν ἴση. καὶ ἐπεὶ ἴση ἐστὶν ἡ μὲν ΔΒ τῇ ΒΓ, ἡ δὲ ΖΒ τῇ ΒΑ, δύο δὴ αἱ ΔΒ, ΒΑ δύο ταῖσ ΖΒ, ΒΓ ἴσαι εἰσὶν ἑκατέρα ἑκατέρᾳ· καὶ γωνία ἡ ὑπὸ ΔΒΑ γωνίᾳ τῇ ὑπὸ ΖΒΓ ἴση· βάσισ ἄρα ἡ ΑΔ βάσει τῇ ΖΓ [ἐστιν] ἴση, καὶ τὸ ΑΒΔ τρίγωνον τῷ ΖΒΓ τριγώνῳ ἐστὶν ἴσον· καὶ [ἐστὶ] τοῦ μὲν ΑΒΔ τριγώνου διπλάσιον τὸ ΒΛ παραλληλόγραμμον· βάσιν τε γὰρ τὴν αὐτὴν ἔχουσι τὴν ΒΔ καὶ ἐν ταῖσ αὐταῖσ εἰσι παραλλήλοισ ταῖσ ΒΔ, ΑΛ· τοῦ δὲ ΖΒΓ τριγώνου διπλάσιον τὸ ΗΒ τετράγωνον· βάσιν τε γὰρ πάλιν τὴν αὐτὴν ἔχουσι τὴν ΖΒ καὶ ἐν ταῖσ αὐταῖσ εἰσι παραλλήλοισ ταῖσ ΖΒ, ΗΓ. [τὰ δὲ τῶν ἴσων διπλάσια ἴσα ἀλλήλοισ ἐστίν· ] ἴσον ἄρα ἐστὶ καὶ τὸ ΒΛ παραλληλόγραμμον τῷ ΗΒ τετραγώνῳ. ὁμοίωσ δὴ ἐπιζευγνυμένων τῶν ΑΕ, ΒΚ δειχθήσεται καὶ τὸ ΓΛ παραλληλόγραμμον ἴσον τῷ ΘΓ τετραγώνῳ· ὅλον ἄρα τὸ ΒΔΕΓ τετράγωνον δυσὶ τοῖσ ΗΒ, ΘΓ τετραγώνοισ ἴσον ἐστίν. καί ἐστι τὸ μὲν ΒΔΕΓ τετράγωνον ἀπὸ τῆσ ΒΓ ἀναγραφέν, τὰ δὲ ΗΒ, ΘΓ ἀπὸ τῶν ΒΑ, ΑΓ. τὸ ἄρα ἀπὸ τῆσ ΒΓ πλευρᾶσ τετράγωνον ἴσον ἐστὶ τοῖσ ἀπὸ τῶν ΒΑ, ΑΓ πλευρῶν τετραγώνοισ. Ἐν ἄρα τοῖσ ὀρθογωνίοισ τριγώνοισ τὸ ἀπὸ τῆσ τὴν ὀρθὴν γωνίαν ὑποτεινούσησ πλευρᾶσ τετράγωνον ἴσον ἐστὶ τοῖσ ἀπὸ τῶν τὴν ὀρθὴν [γωνίαν] περιεχουσῶν πλευρῶν τετραγώνοισ· ὅπερ ἔδει δεῖξαι. Εἂν τριγώνου τὸ ἀπὸ μιᾶσ τῶν πλευρῶν τετράγωνον ἴσον ᾖ τοῖσ ἀπὸ τῶν λοιπῶν τοῦ τριγώνου δύο πλευρῶν τετραγώνοισ, ἡ περιεχομένη γωνία ὑπὸ τῶν λοιπῶν τοῦ τριγώνου δύο πλευρῶν ὀρθή ἐστιν. Τριγώνου γὰρ τοῦ ΑΒΓ τὸ ἀπὸ μιᾶσ τῆσ ΒΓ πλευρᾶσ τετράγωνον ἴσον ἔστω τοῖσ ἀπὸ τῶν ΒΑ, ΑΓ πλευρῶν τετραγώνοισ· λέγω, ὅτι ὀρθή ἐστιν ἡ ὑπὸ ΒΑΓ γωνία. Ἤχθω γὰρ ἀπὸ τοῦ Α σημείου τῇ ΑΓ εὐθείᾳ πρὸσ ὀρθὰσ ἡ ΑΔ καὶ κείσθω τῇ ΒΑ ἴση ἡ ΑΔ, καὶ ἐπεζεύχθω ἡ ΔΓ. ἐπεὶ ἴση ἐστὶν ἡ ΔΑ τῇ ΑΒ, ἴσον ἐστὶ καὶ τὸ ἀπὸ τῆσ ΔΑ τετράγωνον τῷ ἀπὸ τῆσ ΑΒ τετραγώνῳ. κοινὸν προσκείσθω τὸ ἀπὸ τῆσ ΑΓ τετράγωνον· τὰ ἄρα ἀπὸ τῶν ΔΑ, ΑΓ τετράγωνα ἴσα ἐστὶ τοῖσ ἀπὸ τῶν ΒΑ, ΑΓ τετραγώνοισ. ἀλλὰ τοῖσ μὲν ἀπὸ τῶν ΔΑ, ΑΓ ἴσον ἐστὶ τὸ ἀπὸ τῆσ ΔΓ· ὀρθὴ γάρ ἐστιν ἡ ὑπὸ ΔΑΓ γωνία· τοῖσ δὲ ἀπὸ τῶν ΒΑ, ΑΓ ἴσον ἐστὶ τὸ ἀπὸ ΒΓ· ὑπόκειται γάρ· τὸ ἄρα ἀπὸ τῆσ ΔΓ τετράγωνον ἴσον ἐστὶ τῷ ἀπὸ τῆσ ΒΓ τετραγώνῳ· ὥστε καὶ πλευρὰ ἡ ΔΓ τῇ ΒΓ ἐστιν ἴση· καὶ ἐπεὶ ἴση ἐστὶν ἡ ΔΑ τῇ ΑΒ, κοινὴ δὲ ἡ ΑΓ, δύο δὴ αἱ ΔΑ, ΑΓ δύο ταῖσ ΒΑ, ΑΓ ἴσαι εἰσίν· καὶ βάσισ ἡ ΔΓ βάσει τῇ ΒΓ ἴση· γωνία ἄρα ἡ ὑπὸ ΔΑΓ γωνίᾳ τῇ ὑπὸ ΒΑΓ [ἐστιν] ἴση. ὀρθὴ δὲ ἡ ὑπὸ ΔΑΓ· ὀρθὴ ἄρα καὶ ἡ ὑπὸ ΒΑΓ. Εἂν ἄρα τριγώνου τὸ ἀπὸ μιᾶσ τῶν πλευρῶν τετράγωνον ἴσον ᾖ τοῖσ ἀπὸ τῶν λοιπῶν τοῦ τριγώνου δύο πλευρῶν τετραγώνοισ, ἡ περιεχομένη γωνία ὑπὸ τῶν λοιπῶν τοῦ τριγώνου δύο πλευρῶν ὀρθή ἐστιν· ὅπερ ἔδει δεῖξαι.

일치하는 문장이 없습니다.

SEARCH

MENU NAVIGATION