Elementa

Euclid

Euclid. Euclidis Opera omnia, Volume 1-5. Heiberg, Johan Ludvig, editor. Leipzig: Teubner, 1883-88.

τὰ τρίγωνα καὶ τὰ παραλληλόγραμμα, τὰ ὑπὸ τὸ αὐτὸ ὕψος ὄντα πρὸς ἄλληλά ἐστιν ὡς αἱ βάσεις.

ἔστω τρίγωνα μὲν τὰ ΑΒΓ, ΑΓΔ, παραλληλόγραμμα δὲ τὰ ΕΓ, ΓΖ ὑπὸ τὸ αὐτὸ ὕψος τὸ ΑΓ· λέγω, ὅτι ἐστὶν ὡς ἡ ΒΓ βάσις πρὸς τὴν ΓΔ βάσιν, οὕτως τὸ ΑΒΓ τρίγωνον πρὸς τὸ ΑΓΔ τρίγωνον, καὶ τὸ ΕΓ παραλληλόγραμμον πρὸς τὸ ΓΖ παραλληλόγραμμον.

Ἐκβεβλήσθω γὰρ ἡ ΒΔ ἐφʼ ἑκάτερα τὰ μέρη ἐπὶ τὰ Θ, Λ σημεῖα, καὶ κείσθωσαν τῇ μὲν ΒΓ βάσει ἴσαι ὁσαιδηποτοῦν αἱ ΒΗ, ΗΘ, τῇ δὲ ΓΔ βάσει ἴσαι ὁσαιδηποτοῦν αἱ ΔΚ, ΚΛ, καὶ ἐπεζεύχθωσαν αἱ ΑΗ, ΑΘ, ΑΚ, ΑΛ.

καὶ ἐπεὶ ἴσαι εἰσὶν αἱ ΓΒ, ΒΗ, ΗΘ ἀλλήλαις, ἴσα ἐστὶ καὶ τὰ ΑΘΗ, ΑΗΒ, ΑΒΓ τρίγωνα ἀλλήλοις. ὁσαπλασίων ἄρα ἐστὶν ἡ ΘΓ βάσις τῆς ΒΓ βάσεως, τοσαυταπλάσιόν ἐστι καὶ τὸ ΑΘΓ τρίγωνον τοῦ ΑΒΓ τριγώνου. διὰ τὰ αὐτὰ δὴ ὁσαπλασίων ἐστὶν ἡ ΛΓ βάσις τῆς ΓΔ βάσεως, τοσαυταπλάσιόν ἐστι καὶ τὸ ΑΛΓ τρίγωνον τοῦ ΑΓΔ τριγώνου· καὶ εἰ ἴση ἐστὶν ἡ ΘΓ βάσις τῇ ΓΛ βάσει, ἴσον ἐστὶ καὶ τὸ ΑΘΓ τρίγωνον τῷ ΑΓΛ τριγώνῳ, καὶ εἰ ὑπερέχει ἡ ΘΓ βάσις τῆς ΓΛ βάσεως, ὑπερέχει καὶ τὸ ΑΘΓ τρίγωνον τοῦ ΑΓΛ τριγώνου, καὶ εἰ ἐλάσσων, ἔλασσον. τεσσάρων δὴ ὄντων μεγεθῶν δύο μὲν βάσεων τῶν ΒΓ, ΓΔ, δύο δὲ τριγώνων τῶν ΑΒΓ, ΑΓΔ εἴληπται ἰσάκις πολλαπλάσια τῆς μὲν ΒΓ βάσεως καὶ τοῦ ΑΒΓ τριγώνου ἥ τε ΘΓ βάσις καὶ τὸ ΑΘΓ τρίγωνον, τῆς δὲ ΓΔ βάσεως καὶ τοῦ ΑΔΓ τριγώνου ἄλλα, ἃ ἔτυχεν, ἰσάκις πολλαπλάσια ἥ τε ΛΓ βάσις καὶ τὸ ΑΛΓ τρίγωνον· καὶ δέδεικται, ὅτι, εἰ ὑπερέχει ἡ ΘΓ βάσις τῆς ΓΛ βάσεως, ὑπερέχει καὶ τὸ ΑΘΓ τρίγωνον τοῦ ΑΛΓ τριγώνου, καὶ εἰ ἴση, ἴσον, καὶ εἰ ἐλάσσων, ἔλασσον· ἔστιν ἄρα ὡς ἡ ΒΓ βάσις πρὸς τὴν ΓΔ βάσιν, οὕτως τὸ ΑΒΓ τρίγωνον πρὸς τὸ ΑΓΔ τρίγωνον.

καὶ ἐπεὶ τοῦ μὲν ΑΒΓ τριγώνου διπλάσιόν ἐστι τὸ ΕΓ παραλληλόγραμμον, τοῦ δὲ ΑΓΔ τριγώνου διπλάσιόν ἐστι τὸ ΖΓ παραλληλόγραμμον, τὰ δὲ μέρη τοῖς ὡσαύτως πολλαπλασίοις τὸν αὐτὸν ἔχει λόγον, ἔστιν ἄρα ὡς τὸ ΑΒΓ τρίγωνον πρὸς τὸ ΑΓΔ τρίγωνον, οὕτως τὸ ΕΓ παραλληλόγραμμον πρὸς τὸ ΖΓ παραλληλόγραμμον. ἐπεὶ οὖν ἐδείχθη, ὡς μὲν ἡ ΒΓ βάσις πρὸς τὴν ΓΔ, οὕτως τὸ ΑΒΓ τρίγωνον πρὸς τὸ ΑΓΔ τρίγωνον, ὡς δὲ τὸ ΑΒΓ τρίγωνον πρὸς τὸ ΑΓΔ τρίγωνον, οὕτως τὸ ΕΓ παραλληλόγραμμον πρὸς τὸ ΓΖ παραλληλόγραμμον, καὶ ὡς ἄρα ἡ ΒΓ βάσις πρὸς τὴν ΓΔ βάσιν, οὕτως τὸ ΕΓ παραλληλόγραμμον πρὸς τὸ ΖΓ παραλληλόγραμμον.

τὰ ἄρα τρίγωνα καὶ τὰ παραλληλόγραμμα τὰ ὑπὸ τὸ αὐτὸ ὕψος ὄντα πρὸς ἄλληλά ἐστιν ὡς αἱ βάσεις· ὅπερ ἔδει δεῖξαι.

ἐὰν τριγώνου παρὰ μίαν τῶν πλευρῶν ἀχθῇ τις εὐθεῖα, ἀνάλογον τεμεῖ τὰς τοῦ τριγώνου πλευράς· καὶ ἐὰν αἱ τοῦ τριγώνου πλευραὶ ἀνάλογον τμηθῶσιν, ἡ ἐπὶ τὰς τομὰς ἐπιζευγνυμένη εὐθεῖα παρὰ τὴν λοιπὴν ἔσται τοῦ τριγώνου πλευράν.

τριγώνου γὰρ τοῦ ΑΒΓ παράλληλος μιᾷ τῶν πλευρῶν τῇ ΒΓ ἤχθω ἡ ΔΕ· λέγω, ὅτι ἐστὶν ὡς ἡ ΒΔ πρὸς τὴν ΔΑ, οὕτως ἡ ΓΕ πρὸς τὴν ΕΑ.

ἐπεζεύχθωσαν γὰρ αἱ ΒΕ, ΓΔ.

ἴσον ἄρα ἐστὶ ΒΔΕ τρίγωνον τῷ ΓΔΕ τριγώνῳ· ἐπὶ γὰρ τῆς αὐτῆς βάσεώς ἐστι τῆς ΔΕ καὶ ἐν ταῖς αὐταῖς παραλλήλοις ταῖς ΔΕ, ΒΓ· ἄλλο δέ τι τὸ ΑΔΕ τρίγωνον. τὰ δὲ ἴσα πρὸς τὸ αὐτὸ τὸν αὐτὸν ἔχει λόγον· ἔστιν ἄρα ὡς τὸ ΒΔΕ τρίγωνον πρὸς τὸ ΑΔΕ τρίγωνον, οὕτως τὸ ΓΔΕ τρίγωνον πρὸς τὸ ΑΔΕ τρίγωνον. ἀλλʼ ὡς μὲν τὸ ΒΔΕ τρίγωνον πρὸς τὸ ΑΔΕ, οὕτως ἡ ΒΔ πρὸς τὴν ΔΑ· ὑπὸ γὰρ τὸ αὐτὸ ὕψος ὄντα τὴν ἀπὸ τοῦ Ε ἐπὶ τὴν ΑΒ κάθετον ἀγομένην πρὸς ἄλληλά εἰσιν ὡς αἱ βάσεις. διὰ τὰ αὐτὰ δὴ ὡς τὸ ΓΔΕ τρίγωνον πρὸς τὸ ΑΔΕ, οὕτως ἡ ΓΕ πρὸς τὴν ΕΑ· καὶ ὡς ἄρα ἡ ΒΔ πρὸς τὴν ΔΑ, οὕτως ἡ ΓΕ πρὸς τὴν ΕΑ.

ἀλλὰ δὴ αἱ τοῦ ΑΒΓ τριγώνου πλευραὶ αἱ ΑΒ, ΑΓ ἀνάλογον τετμήσθωσαν, ὡς ἡ ΒΔ πρὸς τὴν ΔΑ, οὕτως ἡ ΓΕ πρὸς τὴν ΕΑ, καὶ ἐπεζεύχθω ἡ ΔΕ· λέγω, ὅτι παράλληλός ἐστιν ἡ ΔΕ τῇ ΒΓ.

τῶν γὰρ αὐτῶν κατασκευασθέντων, ἐπεί ἐστιν ὡς ἡ ΒΔ πρὸς τὴν ΔΑ, οὕτως ἡ ΓΕ πρὸς τὴν ΕΑ, ἀλλʼ ὡς μὲν ἡ ΒΔ πρὸς τὴν ΔΑ, οὕτως τὸ ΒΔΕ τρίγωνον πρὸς τὸ ΑΔΕ τρίγωνον, ὡς δὲ ἡ ΓΕ πρὸς τὴν ΕΑ, οὕτως τὸ ΓΔΕ τρίγωνον πρὸς τὸ ΑΔΕ τρίγωνον, καὶ ὡς ἄρα τὸ ΒΔΕ τρίγωνον πρὸς τὸ ΑΔΕ τρίγωνον, οὕτως τὸ ΓΔΕ τρίγωνον πρὸς τὸ ΑΔΕ τρίγωνον. ἑκάτερον ἄρα τῶν ΒΔΕ, ΓΔΕ τριγώνων πρὸς τὸ ΑΔΕ τὸν αὐτὸν ἔχει λόγον. ἴσον ἄρα ἐστὶ τὸ ΒΔΕ τρίγωνον τῷ ΓΔΕ τριγώνῳ· καί εἰσιν ἐπὶ τῆς αὐτῆς βάσεως τῆς ΔΕ. τὰ δὲ ἴσα τρίγωνα καὶ ἐπὶ τῆς αὐτῆς βάσεως ὄντα καὶ ἐν ταῖς αὐταῖς παραλλήλοις ἐστίν. παράλληλος ἄρα ἐστὶν ἡ ΔΕ τῇ ΒΓ.

ἐὰν ἄρα τριγώνου παρὰ μίαν τῶν πλευρῶν ἀχθῇ τις εὐθεῖα, ἀνάλογον τεμεῖ τὰς τοῦ τριγώνου πλευράς· καὶ ἐὰν αἱ τοῦ τριγώνου πλευραὶ ἀνάλογον τμηθῶσιν, ἡ ἐπὶ τὰς τομὰς ἐπιζευγνυμένη εὐθεῖα παρὰ τὴν λοιπὴν ἔσται τοῦ τριγώνου πλευράν· ὅπερ ἔδει δεῖξαι.

ἐὰν τριγώνου ἡ γωνία δίχα τμηθῇ, ἡ δὲ τέμνουσα τὴν γωνίαν εὐθεῖα τέμνῃ καὶ τὴν βάσιν, τὰ τῆς βάσεως τμήματα τὸν αὐτὸν ἕξει λόγον ταῖς λοιπαῖς τοῦ τριγώνου πλευραῖς· καὶ ἐὰν τὰ τῆς βάσεως τμήματα τὸν αὐτὸν ἔχῃ λόγον ταῖς λοιπαῖς τοῦ τριγώνου πλευραῖς, ἡ ἀπὸ τῆς κορυφῆς ἐπὶ τὴν τομὴν ἐπιζευγνυμένη εὐθεῖα δίχα τεμεῖ τὴν τοῦ τριγώνου γωνίαν.

ἔστω τρίγωνον τὸ ΑΒΓ, καὶ τετμήσθω ἡ ὑπὸ ΒΑΓ γωνία δίχα ὑπὸ τῆς ΑΔ εὐθείας· λέγω, ὅτι ἐστὶν ὡς ἡ ΒΔ πρὸς τὴν ΓΔ, οὕτως ἡ ΒΑ πρὸς τὴν ΑΓ.

ἤχθω γὰρ διὰ τοῦ Γ τῇ ΔΑ παράλληλος ἡ ΓΕ καὶ διαχθεῖσα ἡ ΒΑ συμπιπτέτω αὐτῇ κατὰ τὸ Ε.

καὶ ἐπεὶ εἰς παραλλήλους τὰς ΑΔ, ΕΓ εὐθεῖα ἐνέπεσεν ἡ ΑΓ, ἡ ἄρα ὑπὸ ΑΓΕ γωνία ἴση ἐστὶ τῇ ὑπὸ ΓΑΔ. ἀλλʼ ἡ ὑπὸ ΓΑΔ τῇ ὑπὸ ΒΑΔ ὑπόκειται ἴση· καὶ ἡ ὑπὸ ΒΑΔ ἄρα τῇ ὑπὸ ΑΓΕ ἐστιν ἴση. πάλιν, ἐπεὶ εἰς παραλλήλους τὰς ΑΔ, ΕΓ εὐθεῖα ἐνέπεσεν ἡ ΒΑΕ, ἡ ἐκτὸς γωνία ἡ ὑπὸ ΒΑΔ ἴση ἐστὶ τῇ ἐντὸς τῇ ὑπὸ ΑΕΓ. ἐδείχθη δὲ καὶ ἡ ὑπὸ ΑΓΕ τῇ ὑπὸ ΒΑΔ ἴση· καὶ ἡ ὑπὸ ΑΓΕ ἄρα γωνία τῇ ὑπὸ ΑΕΓ ἐστιν ἴση· ὥστε καὶ πλευρὰ ἡ ΑΕ πλευρᾷ τῇ ΑΓ ἐστιν ἴση. καὶ ἐπεὶ τριγώνου τοῦ ΒΓΕ παρὰ μίαν τῶν πλευρῶν τὴν ΕΓ ἦκται ἡ ΑΔ, ἀνάλογον ἄρα ἐστὶν ὡς ἡ ΒΔ πρὸς τὴν ΔΓ, οὕτως ἡ ΒΑ πρὸς τὴν ΑΕ. ἴση δὲ ἡ ΑΕ τῇ ΑΓ· ὡς ἄρα ἡ ΒΔ πρὸς τὴν ΔΓ, οὕτως ἡ ΒΑ πρὸς τὴν ΑΓ.

ἀλλὰ δὴ ἔστω ὡς ἡ ΒΔ πρὸς τὴν ΔΓ, οὕτως ἡ ΒΑ πρὸς τὴν ΑΓ, καὶ ἐπεζεύχθω ἡ ΑΔ· λέγω, ὅτι δίχα τέτμηται ἡ ὑπὸ ΒΑΓ γωνία ὑπὸ τῆς ΑΔ εὐθείας.

τῶν γὰρ αὐτῶν κατασκευασθέντων, ἐπεί ἐστιν ὡς ἡ ΒΔ πρὸς τὴν ΔΓ, οὕτως ἡ ΒΑ πρὸς τὴν ΑΓ, ἀλλὰ καὶ ὡς ἡ ΒΔ πρὸς τὴν ΔΓ, οὕτως ἐστὶν ἡ ΒΑ πρὸς τὴν ΑΕ· τριγώνου γὰρ τοῦ ΒΓΕ παρὰ μίαν τὴν ΕΓ ἦκται ἡ ΑΔ· καὶ ὡς ἄρα ἡ ΒΑ πρὸς τὴν ΑΓ, οὕτως ἡ ΒΑ πρὸς τὴν ΑΕ. ἴση ἄρα ἡ ΑΓ τῇ ΑΕ· ὥστε καὶ γωνία ἡ ὑπὸ ΑΕΓ τῇ ὑπὸ ΑΓΕ ἐστιν ἴση. ἀλλʼ ἡ μὲν ὑπὸ ΑΕΓ τῇ ἐκτὸς τῇ ὑπὸ ΒΑΔ ἐστιν ἴση, ἡ δὲ ὑπὸ ΑΓΕ τῇ ἐναλλὰξ τῇ ὑπὸ ΓΑΔ ἐστιν ἴση· καὶ ἡ ὑπὸ ΒΑΔ ἄρα τῇ ὑπὸ ΓΑΔ ἐστιν ἴση. ἡ ἄρα ὑπὸ ΒΑΓ γωνία δίχα τέτμηται ὑπὸ τῆς ΑΔ εὐθείας.

ἐὰν ἄρα τριγώνου ἡ γωνία δίχα τμηθῇ, ἡ δὲ τέμνουσα τὴν γωνίαν εὐθεῖα τέμνῃ καὶ τὴν βάσιν, τὰ τῆς βάσεως τμήματα τὸν αὐτὸν ἕξει λόγον ταῖς λοιπαῖς τοῦ τριγώνου πλευραῖς· καὶ ἐὰν τὰ τῆς βάσεως τμήματα τὸν αὐτὸν ἔχῃ λόγον ταῖς λοιπαῖς τοῦ τριγώνου πλευραῖς, ἡ ἀπὸ τῆς κορυφῆς ἐπὶ τὴν τομὴν ἐπιζευγνυμένη εὐθεῖα δίχα τέμνει τὴν τοῦ τριγώνου γωνίαν· ὅπερ ἔδει δεῖξαι.

τῶν ἰσογωνίων τριγώνων ἀνάλογόν εἰσιν αἱ πλευραὶ αἱ περὶ τὰς ἴσας γωνίας καὶ ὁμόλογοι αἱ ὑπὸ τὰς ἴσας γωνίας ὑποτείνουσαι.

ἔστω ἰσογώνια τρίγωνα τὰ ΑΒΓ, ΔΓΕ ἴσην ἔχοντα τὴν μὲν ὑπὸ ΑΒΓ γωνίαν τῇ ὑπὸ ΔΓΕ, τὴν δὲ ὑπὸ ΒΑΓ τῇ ὑπὸ ΓΔΕ καὶ ἔτι τὴν ὑπὸ ΑΓΒ τῇ ὑπὸ ΓΕΔ· λέγω, ὅτι τῶν ΑΒΓ, ΔΓΕ τριγώνων ἀνάλογόν εἰσιν αἱ πλευραὶ αἱ περὶ τὰς ἴσας γωνίας καὶ ὁμόλογοι αἱ ὑπὸ τὰς ἴσας γωνίας ὑποτείνουσαι.

κείσθω γὰρ ἐπʼ εὐθείας ἡ ΒΓ τῇ ΓΕ. καὶ ἐπεὶ αἱ ὑπὸ ΑΒΓ, ΑΓΒ γωνίαι δύο ὀρθῶν ἐλάττονές εἰσιν, ἴση δὲ ἡ ὑπὸ ΑΓΒ τῇ ὑπὸ ΔΕΓ, αἱ ἄρα ὑπὸ ΑΒΓ, ΔΕΓ δύο ὀρθῶν ἐλάττονές εἰσιν· αἱ ΒΑ, ΕΔ ἄρα ἐκβαλλόμεναι συμπεσοῦνται. ἐκβεβλήσθωσαν καὶ συμπιπτέτωσαν κατὰ τὸ Ζ.

καὶ ἐπεὶ ἴση ἐστὶν ἡ ὑπὸ ΔΓΕ γωνία τῇ ὑπὸ ΑΒΓ, παράλληλός ἐστιν ἡ ΒΖ τῇ ΓΔ. πάλιν, ἐπεὶ ἴση ἐστὶν ἡ ὑπὸ ΑΓΒ τῇ ὑπὸ ΔΕΓ, παράλληλός ἐστιν ἡ ΑΓ τῇ ΖΕ. παραλληλόγραμμον ἄρα ἐστὶ τὸ ΖΑΓΔ· ἴση ἄρα ἡ μὲν ΖΑ τῇ ΔΓ, ἡ δὲ ΑΓ τῇ ΖΔ. καὶ ἐπεὶ τριγώνου τοῦ ΖΒΕ παρὰ μίαν τὴν ΖΕ ἦκται ἡ ΑΓ, ἔστιν ἄρα ὡς ἡ ΒΑ πρὸς τὴν ΑΖ, οὕτως ἡ ΒΓ πρὸς τὴν ΓΕ. ἴση δὲ ἡ ΑΖ τῇ ΓΔ· ὡς ἄρα ἡ ΒΑ πρὸς τὴν ΓΔ, οὕτως ἡ ΒΓ πρὸς τὴν ΓΕ, καὶ ἐναλλὰξ ὡς ἡ ΑΒ πρὸς τὴν ΒΓ, οὕτως ἡ ΔΓ πρὸς τὴν ΓΕ. πάλιν, ἐπεὶ παράλληλός ἐστιν ἡ ΓΔ τῇ ΒΖ, ἔστιν ἄρα ὡς ἡ ΒΓ πρὸς τὴν ΓΕ, οὕτως ἡ ΖΔ πρὸς τὴν ΔΕ. ἴση δὲ ἡ ΖΔ τῇ ΑΓ· ὡς ἄρα ἡ ΒΓ πρὸς τὴν ΓΕ, οὕτως ἡ ΑΓ πρὸς τὴν ΔΕ, καὶ ἐναλλὰξ ὡς ἡ ΒΓ πρὸς τὴν ΓΑ, οὕτως ἡ ΓΕ πρὸς τὴν ΕΔ. ἐπεὶ οὖν ἐδείχθη ὡς μὲν ἡ ΑΒ πρὸς τὴν ΒΓ, οὕτως ἡ ΔΓ πρὸς τὴν ΓΕ, ὡς δὲ ἡ ΒΓ πρὸς τὴν ΓΑ, οὕτως ἡ ΓΕ πρὸς τὴν ΕΔ, διʼ ἴσου ἄρα ὡς ἡ ΒΑ πρὸς τὴν ΑΓ, οὕτως ἡ ΓΔ πρὸς τὴν ΔΕ.

τῶν ἄρα ἰσογωνίων τριγώνων ἀνάλογόν εἰσιν αἱ πλευραὶ αἱ περὶ τὰς ἴσας γωνίας καὶ ὁμόλογοι αἱ ὑπὸ τὰς ἴσας γωνίας ὑποτείνουσαι· ὅπερ ἔδει δεῖξαι.

ἐὰν δύο τρίγωνα τὰς πλευρὰς ἀνάλογον ἔχῃ, ἰσογώνια ἔσται τὰ τρίγωνα καὶ ἴσας ἕξει τὰς γωνίας, ὑφʼ ἃς αἱ ὁμόλογοι πλευραὶ ὑποτείνουσιν.

ἔστω δύο τρίγωνα τὰ ΑΒΓ, ΔΕΖ τὰς πλευρὰς ἀνάλογον ἔχοντα, ὡς μὲν τὴν ΑΒ πρὸς τὴν ΒΓ, οὕτως τὴν ΔΕ πρὸς τὴν ΕΖ, ὡς δὲ τὴν ΒΓ πρὸς τὴν ΓΑ, οὕτως τὴν ΕΖ πρὸς τὴν ΖΔ, καὶ ἔτι ὡς τὴν ΒΑ πρὸς τὴν ΑΓ, οὕτως τὴν ΕΔ πρὸς τὴν ΔΖ. λέγω, ὅτι ἰσογώνιόν ἐστι τὸ ΑΒΓ τρίγωνον τῷ ΔΕΖ τριγώνῳ καὶ ἴσας ἕξουσι τὰς γωνίας, ὑφʼ ἃς αἱ ὁμόλογοι πλευραὶ ὑποτείνουσιν, τὴν μὲν ὑπὸ ΑΒΓ τῇ ὑπὸ ΔΕΖ, τὴν δὲ ὑπὸ ΒΓΑ τῇ ὑπὸ ΕΖΔ καὶ ἔτι τὴν ὑπὸ ΒΑΓ τῇ ὑπὸ ΕΔΖ.

συνεστάτω γὰρ πρὸς τῇ ΕΖ εὐθείᾳ καὶ τοῖς πρὸς αὐτῇ σημείοις τοῖς Ε, Ζ τῇ μὲν ὑπὸ ΑΒΓ γωνίᾳ ἴση ἡ ὑπὸ ΖΕΗ, τῇ δὲ ὑπὸ ΑΓΒ ἴση ἡ ὑπὸ ΕΖΗ· λοιπὴ ἄρα ἡ πρὸς τῷ Α λοιπῇ τῇ πρὸς τῷ Η ἐστιν ἴση.

ἰσογώνιον ἄρα ἐστὶ τὸ ΑΒΓ τρίγωνον τῷ ΕΗΖ τριγώνῳ. τῶν ἄρα ΑΒΓ, ΕΗΖ τριγώνων ἀνάλογόν εἰσιν αἱ πλευραὶ αἱ περὶ τὰς ἴσας γωνίας καὶ ὁμόλογοι αἱ ὑπὸ τὰς ἴσας γωνίας ὑποτείνουσαι· ἔστιν ἄρα ὡς ἡ ΑΒ πρὸς τὴν ΒΓ, οὕτως ἡ ΗΕ πρὸς τὴν ΕΖ. ἀλλʼ ὡς ἡ ΑΒ πρὸς τὴν ΒΓ, οὕτως ὑπόκειται ἡ ΔΕ πρὸς τὴν ΕΖ· ὡς ἄρα ἡ ΔΕ πρὸς τὴν ΕΖ, οὕτως ἡ ΗΕ πρὸς τὴν ΕΖ. ἑκατέρα ἄρα τῶν ΔΕ, ΗΕ πρὸς τὴν ΕΖ τὸν αὐτὸν ἔχει λόγον· ἴση ἄρα ἐστὶν ἡ ΔΕ τῇ ΗΕ. διὰ τὰ αὐτὰ δὴ καὶ ἡ ΔΖ τῇ ΗΖ ἐστιν ἴση. ἐπεὶ οὖν ἴση ἐστὶν ἡ ΔΕ τῇ ΕΗ, κοινὴ δὲ ἡ ΕΖ, δύο δὴ αἱ ΔΕ, ΕΖ δυσὶ ταῖς ΗΕ, ΕΖ ἴσαι εἰσίν· καὶ βάσις ἡ ΔΖ βάσει τῇ ΖΗ ἐστιν ἴση· γωνία ἄρα ἡ ὑπὸ ΔΕΖ γωνίᾳ τῇ ὑπὸ ΗΕΖ ἐστιν ἴση, καὶ τὸ ΔΕΖ τρίγωνον τῷ ΗΕΖ τριγώνῳ ἴσον, καὶ αἱ λοιπαὶ γωνίαι ταῖς λοιπαῖς γωνίαις ἴσαι, ὑφʼ ἃς αἱ ἴσαι πλευραὶ ὑποτείνουσιν. ἴση ἄρα ἐστὶ καὶ ἡ μὲν ὑπὸ ΔΖΕ γωνία τῇ ὑπὸ ΗΖΕ, ἡ δὲ ὑπὸ ΕΔΖ τῇ ὑπὸ ΕΗΖ. καὶ ἐπεὶ ἡ μὲν ὑπὸ ΖΕΔ τῇ ὑπὸ ΗΕΖ ἐστιν ἴση, ἀλλʼ ἡ ὑπὸ ΗΕΖ τῇ ὑπὸ ΑΒΓ, καὶ ἡ ὑπὸ ΑΒΓ ἄρα γωνία τῇ ὑπὸ ΔΕΖ ἐστιν ἴση. διὰ τὰ αὐτὰ δὴ καὶ ἡ ὑπὸ ΑΓΒ τῇ ὑπὸ ΔΖΕ ἐστιν ἴση, καὶ ἔτι ἡ πρὸς τῷ Α τῇ πρὸς τῷ Δ· ἰσογώνιον ἄρα ἐστὶ τὸ ΑΒΓ τρίγωνον τῷ ΔΕΖ τριγώνῳ.

ἐὰν ἄρα δύο τρίγωνα τὰς πλευρὰς ἀνάλογον ἔχῃ, ἰσογώνια ἔσται τὰ τρίγωνα καὶ ἴσας ἕξει τὰς γωνίας, ὑφʼ ἃς αἱ ὁμόλογοι πλευραὶ ὑποτείνουσιν· ὅπερ ἔδει δεῖξαι.