Elementa

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

ἐὰν δύο τρίγωνα μίαν γωνίαν μιᾷ γωνίᾳ ἴσην ἔχῃ, περὶ δὲ ἄλλας γωνίας τὰς πλευρὰς ἀνάλογον, τῶν δὲ λοιπῶν ἑκατέραν ἅμα ἤτοι ἐλάσσονα ἢ μὴ ἐλάσσονα ὀρθῆς, ἰσογώνια ἔσται τὰ τρίγωνα καὶ ἴσας ἕξει τὰς γωνίας, περὶ ἃς ἀνάλογόν εἰσιν αἱ πλευραί.

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

εἰ γὰρ ἄνισός ἐστιν ἡ ὑπὸ ΑΒΓ γωνία τῇ ὑπὸ ΔΕΖ, μία αὐτῶν μείζων ἐστίν. ἔστω μείζων ἡ ὑπὸ ΑΒΓ. καὶ συνεστάτω πρὸς τῇ ΑΒ εὐθείᾳ καὶ τῷ πρὸς αὐτῇ σημείῳ τῷ Β τῇ ὑπὸ ΔΕΖ γωνίᾳ ἴση ἡ ὑπὸ ΑΒΗ.

καὶ ἐπεὶ ἴση ἐστὶν ἡ μὲν Α γωνία τῇ Δ, ἡ δὲ ὑπὸ ΑΒΗ τῇ ὑπὸ ΔΕΖ, λοιπὴ ἄρα ἡ ὑπὸ ΑΗΒ λοιπῇ τῇ ὑπὸ ΔΖΕ ἐστιν ἴση. ἰσογώνιον ἄρα ἐστὶ τὸ ΑΒΗ τρίγωνον τῷ ΔΕΖ τριγώνῳ. ἔστιν ἄρα ὡς ἡ ΑΒ πρὸς τὴν ΒΗ, οὕτως ἡ ΔΕ πρὸς τὴν ΕΖ. ὡς δὲ ἡ ΔΕ πρὸς τὴν ΕΖ, οὕτως ὑπόκειται ἡ ΑΒ πρὸς τὴν ΒΓ· ἡ ΑΒ ἄρα πρὸς ἑκατέραν τῶν ΒΓ, ΒΗ τὸν αὐτὸν ἔχει λόγον· ἴση ἄρα ἡ ΒΓ τῇ ΒΗ. ὥστε καὶ γωνία ἡ πρὸς τῷ Γ γωνίᾳ τῇ ὑπὸ ΒΗΓ ἐστιν ἴση. ἐλάττων δὲ ὀρθῆς ὑπόκειται ἡ πρὸς τῷ Γ· ἐλάττων ἄρα ἐστὶν ὀρθῆς καὶ ἡ ὑπὸ ΒΗΓ· ὥστε ἡ ἐφεξῆς αὐτῇ γωνία ἡ ὑπὸ ΑΗΒ μείζων ἐστὶν ὀρθῆς. καὶ ἐδείχθη ἴση οὖσα τῇ πρὸς τῷ Ζ· καὶ ἡ πρὸς τῷ Ζ ἄρα μείζων ἐστὶν ὀρθῆς. ὑπόκειται δὲ ἐλάσσων ὀρθῆς· ὅπερ ἐστὶν ἄτοπον. οὐκ ἄρα ἄνισός ἐστιν ἡ ὑπὸ ΑΒΓ γωνία τῇ ὑπὸ ΔΕΖ· ἴση ἄρα. ἔστι δὲ καὶ ἡ πρὸς τῷ Α ἴση τῇ πρὸς τῷ Δ· καὶ λοιπὴ ἄρα ἡ πρὸς τῷ Γ λοιπῇ τῇ πρὸς τῷ Ζ ἴση ἐστίν. ἰσογώνιον ἄρα ἐστὶ τὸ ΑΒΓ τρίγωνον τῷ ΔΕΖ τριγώνῳ.

ἀλλὰ δὴ πάλιν ὑποκείσθω ἑκατέρα τῶν πρὸς τοῖς Γ, Ζ μὴ ἐλάσσων ὀρθῆς· λέγω πάλιν, ὅτι καὶ οὕτως ἐστὶν ἰσογώνιον τὸ ΑΒΓ τρίγωνον τῷ ΔΕΖ τριγώνῳ.

τῶν γὰρ αὐτῶν κατασκευασθέντων ὁμοίως δείξομεν, ὅτι ἴση ἐστὶν ἡ ΒΓ τῇ ΒΗ· ὥστε καὶ γωνία ἡ πρὸς τῷ Γ τῇ ὑπὸ ΒΗΓ ἴση ἐστίν. οὐκ ἐλάττων δὲ ὀρθῆς ἡ πρὸς τῷ Γ· οὐκ ἐλάττων ἄρα ὀρθῆς οὐδὲ ἡ ὑπὸ ΒΗΓ. τριγώνου δὴ τοῦ ΒΗΓ αἱ δύο γωνίαι δύο ὀρθῶν οὔκ εἰσιν ἐλάττονες· ὅπερ ἐστὶν ἀδύνατον. οὐκ ἄρα πάλιν ἄνισός ἐστιν ἡ ὑπὸ ΑΒΓ γωνία τῇ ὑπὸ ΔΕΖ· ἴση ἄρα. ἔστι δὲ καὶ ἡ πρὸς τῷ Α τῇ πρὸς τῷ Δ ἴση· λοιπὴ ἄρα ἡ πρὸς τῷ Γ λοιπῇ τῇ πρὸς τῷ Ζ ἴση ἐστίν. ἰσογώνιον ἄρα ἐστὶ τὸ ΑΒΓ τρίγωνον τῷ ΔΕΖ τριγώνῳ.

ἐὰν ἄρα δύο τρίγωνα μίαν γωνίαν μιᾷ γωνίᾳ ἴσην ἔχῃ, περὶ δὲ ἄλλας γωνίας τὰς πλευρὰς ἀνάλογον, τῶν δὲ λοιπῶν ἑκατέραν ἅμα ἐλάττονα ἢ μὴ ἐλάττονα ὀρθῆς, ἰσογώνια ἔσται τὰ τρίγωνα καὶ ἴσας ἕξει τὰς γωνίας, περὶ ἃς ἀνάλογόν εἰσιν αἱ πλευραί· ὅπερ ἔδει δεῖξαι.

ἐὰν ἐν ὀρθογωνίῳ τριγώνῳ ἀπὸ τῆς ὀρθῆς γωνίας ἐπὶ τὴν βάσιν κάθετος ἀχθῇ, τὰ πρὸς τῇ καθέτῳ τρίγωνα ὅμοιά ἐστι τῷ τε ὅλῳ καὶ ἀλλήλοις.

ἔστω τρίγωνον ὀρθογώνιον τὸ ΑΒΓ ὀρθὴν ἔχον τὴν ὑπὸ ΒΑΓ γωνίαν, καὶ ἤχθω ἀπὸ τοῦ Α ἐπὶ τὴν ΒΓ κάθετος ἡ ΑΔ· λέγω, ὅτι ὅμοιόν ἐστιν ἑκάτερον τῶν ΑΒΔ, ΑΔΓ τριγώνων ὅλῳ τῷ ΑΒΓ καὶ ἔτι ἀλλήλοις.

ἐπεὶ γὰρ ἴση ἐστὶν ἡ ὑπὸ ΒΑΓ τῇ ὑπὸ ΑΔΒ· ὀρθὴ γὰρ ἑκατέρα· καὶ κοινὴ τῶν δύο τριγώνων τοῦ τε ΑΒΓ καὶ τοῦ ΑΒΔ ἡ πρὸς τῷ Β, λοιπὴ ἄρα ἡ ὑπὸ ΑΓΒ λοιπῇ τῇ ὑπὸ ΒΑΔ ἐστιν ἴση· ἰσογώνιον ἄρα ἐστὶ τὸ ΑΒΓ τρίγωνον τῷ ΑΒΔ τριγώνῳ. ἔστιν ἄρα ὡς ἡ ΒΓ ὑποτείνουσα τὴν ὀρθὴν τοῦ ΑΒΓ τριγώνου πρὸς τὴν ΒΑ ὑποτείνουσαν τὴν ὀρθὴν τοῦ ΑΒΔ τριγώνου, οὕτως αὐτὴ ἡ ΑΒ ὑποτείνουσα τὴν πρὸς τῷ Γ γωνίαν τοῦ ΑΒΓ τριγώνου πρὸς τὴν ΒΔ ὑποτείνουσαν τὴν ἴσην τὴν ὑπὸ ΒΑΔ τοῦ ΑΒΔ τριγώνου, καὶ ἔτι ἡ ΑΓ πρὸς τὴν ΑΔ ὑποτείνουσαν τὴν πρὸς τῷ Β γωνίαν κοινὴν τῶν δύο τριγώνων. τὸ ΑΒΓ ἄρα τρίγωνον τῷ ΑΒΔ τριγώνῳ ἰσογώνιόν τέ ἐστι καὶ τὰς περὶ τὰς ἴσας γωνίας πλευρὰς ἀνάλογον ἔχει. ὅμοιον ἄρα ἐστὶ τὸ ΑΒΓ τρίγωνον τῷ ΑΒΔ τριγώνῳ. ὁμοίως δὴ δείξομεν, ὅτι καὶ τῷ ΑΔΓ τριγώνῳ ὅμοιόν ἐστι τὸ ΑΒΓ τρίγωνον· ἑκάτερον ἄρα τῶν ΑΒΔ, ΑΔΓ τριγώνων ὅμοιόν ἐστιν ὅλῳ τῷ ΑΒΓ.

λέγω δή, ὅτι καὶ ἀλλήλοις ἐστὶν ὅμοια τὰ ΑΒΔ, ΑΔΓ τρίγωνα.

ἐπεὶ γὰρ ὀρθὴ ἡ ὑπὸ ΒΔΑ ὀρθῇ τῇ ὑπὸ ΑΔΓ ἐστιν ἴση, ἀλλὰ μὴν καὶ ἡ ὑπὸ ΒΑΔ τῇ πρὸς τῷ Γ ἐδείχθη ἴση, καὶ λοιπὴ ἄρα ἡ πρὸς τῷ Β λοιπῇ τῇ ὑπὸ ΔΑΓ ἐστιν ἴση· ἰσογώνιον ἄρα ἐστὶ τὸ ΑΒΔ τρίγωνον τῷ ΑΔΓ τριγώνῳ. ἔστιν ἄρα ὡς ἡ ΒΔ τοῦ ΑΒΔ τριγώνου ὑποτείνουσα τὴν ὑπὸ ΒΑΔ πρὸς τὴν ΔΑ τοῦ ΑΔΓ τριγώνου ὑποτείνουσαν τὴν πρὸς τῷ Γ ἴσην τῇ ὑπὸ ΒΑΔ, οὕτως αὐτὴ ἡ ΑΔ τοῦ ΑΒΔ τριγώνου ὑποτείνουσα τὴν πρὸς τῷ Β γωνίαν πρὸς τὴν ΔΓ ὑποτείνουσαν τὴν ὑπὸ ΔΑΓ τοῦ ΑΔΓ τριγώνου ἴσην τῇ πρὸς τῷ Β, καὶ ἔτι ἡ ΒΑ πρὸς τὴν ΑΓ ὑποτείνουσαι τὰς ὀρθάς· ὅμοιον ἄρα ἐστὶ τὸ ΑΒΔ τρίγωνον τῷ ΑΔΓ τριγώνῳ.

ἐὰν ἄρα ἐν ὀρθογωνίῳ τριγώνῳ ἀπὸ τῆς ὀρθῆς γωνίας ἐπὶ τὴν βάσιν κάθετος ἀχθῇ, τὰ πρὸς τῇ καθέτῳ τρίγωνα ὅμοιά ἐστι τῷ τε ὅλῳ καὶ ἀλλήλοις ὅπερ ἔδει δεῖξαι.

Πόρισμα

ἐκ δὴ τούτου φανερόν, ὅτι ἐὰν ἐν ὀρθογωνίῳ τριγώνῳ ἀπὸ τῆς ὀρθῆς ἐπὶ τὴν βάσιν κάθετος ἀχθῇ, ἡ ἀχθεῖσα τῶν τῆς βάσεως τμημάτων μέση ἀνάλογόν ἐστιν· ὅπερ ἔδει δεῖξαι καὶ ἔτι τῆς βάσεως καὶ ἑνὸς ὁποιουοῦν τῶν τμημάτων ἡ πρὸς τῷ τμήματι πλευρὰ μέση ἀνάλογόν ἐστιν.

τῆς δοθείσης εὐθείας τὸ προσταχθὲν μέρος ἀφελεῖν.

ἔστω ἡ δοθεῖσα εὐθεῖα ἡ ΑΒ· δεῖ δὴ τῆς ΑΒ τὸ προσταχθὲν μέρος ἀφελεῖν.

Ἐπιτετάχθω δὴ τὸ τρίτον. καὶ διήχθω τις ἀπὸ τοῦ α εὐθεῖα ἡ ΑΓ γωνίαν περιέχουσα μετὰ τῆς ΑΒ τυχοῦσαν· καὶ εἰλήφθω τυχὸν σημεῖον ἐπὶ τῆς ΑΓ τὸ Δ, καὶ κείσθωσαν τῇ ΑΔ ἴσαι αἱ ΔΕ, ΕΓ. καὶ ἐπεζεύχθω ἡ ΒΓ, καὶ διὰ τοῦ Δ παράλληλος αὐτῇ ἤχθω ἡ ΔΖ.

ἐπεὶ οὖν τριγώνου τοῦ ΑΒΓ παρὰ μίαν τῶν πλευρῶν τὴν ΒΓ ἦκται ἡ ΖΔ, ἀνάλογον ἄρα ἐστὶν ὡς ἡ ΓΔ πρὸς τὴν ΔΑ, οὕτως ἡ ΒΖ πρὸς τὴν ΖΑ. διπλῆ δὲ ἡ ΓΔ τῆς ΔΑ· διπλῆ ἄρα καὶ ἡ ΒΖ τῆς ΖΑ· τριπλῆ ἄρα ἡ ΒΑ τῆς ΑΖ.

τῆς ἄρα δοθείσης εὐθείας τῆς ΑΒ τὸ ἐπιταχθὲν τρίτον μέρος ἀφῄρηται τὸ ΑΖ· ὅπερ ἔδει ποιῆσαι.

τὴν δοθεῖσαν εὐθεῖαν ἄτμητον τῇ δοθείσῃ τετμημένῃ ὁμοίως τεμεῖν.

ἔστω ἡ μὲν δοθεῖσα εὐθεῖα ἄτμητος ἡ ΑΒ, ἡ δὲ τετμημένη ἡ ΑΓ κατὰ τὰ Δ, Ε σημεῖα, καὶ κείσθωσαν ὥστε γωνίαν τυχοῦσαν περιέχειν, καὶ ἐπεζεύχθω ἡ ΓΒ, καὶ διὰ τῶν Δ, Ε τῇ ΒΓ παράλληλοι ἤχθωσαν αἱ ΔΖ, ΕΗ, διὰ δὲ τοῦ Δ τῇ ΑΒ παράλληλος ἤχθω ἡ ΔΘΚ.

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

ἡ ἄρα δοθεῖσα εὐθεῖα ἄτμητος ἡ ΑΒ τῇ δοθείσῃ εὐθείᾳ τετμημένῃ τῇ ΑΓ ὁμοίως τέτμηται· ὅπερ ἔδει ποιῆσαι.

δύο δοθεισῶν εὐθειῶν τρίτην ἀνάλογον προσευρεῖν.

ἔστωσαν αἱ δοθεῖσαι δύο εὐθεῖαι αἱ ΒΑ, ΑΓ καὶ κείσθωσαν γωνίαν περιέχουσαι τυχοῦσαν. δεῖ δὴ τῶν ΒΑ, ΑΓ τρίτην ἀνάλογον προσευρεῖν. ἐκβεβλήσθωσαν γὰρ ἐπὶ τὰ Δ, Ε σημεῖα, καὶ κείσθω τῇ ΑΓ ἴση ἡ ΒΔ, καὶ ἐπεζεύχθω ἡ ΒΓ, καὶ διὰ τοῦ Δ παράλληλος αὐτῇ ἤχθω ἡ ΔΕ.

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

δύο ἄρα δοθεισῶν εὐθειῶν τῶν ΑΒ, ΑΓ τρίτη ἀνάλογον αὐταῖς προσεύρηται ἡ ΓΕ· ὅπερ ἔδει ποιῆσαι.

τριῶν δοθεισῶν εὐθειῶν τετάρτην ἀνάλογον προσευρεῖν.

ἔστωσαν αἱ δοθεῖσαι τρεῖς εὐθεῖαι αἱ Α, Β, Γ· δεῖ δὴ τῶν Α, Β, Γ τετάρτην ἀνάλογον προσευρεῖν.

Ἐκκείσθωσαν δύο εὐθεῖαι αἱ ΔΕ, ΔΖ γωνίαν περιέχουσαι τυχοῦσαν τὴν ὑπὸ ΕΔΖ· καὶ κείσθω τῇ μὲν Α ἴση ἡ ΔΗ, τῇ δὲ Β ἴση ἡ ΗΕ, καὶ ἔτι τῇ Γ ἴση ἡ ΔΘ· καὶ ἐπιζευχθείσης τῆς ΗΘ παράλληλος αὐτῇ ἤχθω διὰ τοῦ Ε ἡ ΕΖ.

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

τριῶν ἄρα δοθεισῶν εὐθειῶν τῶν Α, Β, Γ τετάρτη ἀνάλογον προσεύρηται ἡ ΘΖ· ὅπερ ἔδει ποιῆσαι.

δύο δοθεισῶν εὐθειῶν μέσην ἀνάλογον προσευρεῖν.

ἔστωσαν αἱ δοθεῖσαι δύο εὐθεῖαι αἱ ΑΒ, ΒΓ· δεῖ δὴ τῶν ΑΒ, ΒΓ μέσην ἀνάλογον προσευρεῖν.

κείσθωσαν ἐπʼ εὐθείας, καὶ γεγράφθω ἐπὶ τῆς ΑΓ ἡμικύκλιον τὸ ΑΔΓ, καὶ ἤχθω ἀπὸ τοῦ Β σημείου τῇ ΑΓ εὐθείᾳ πρὸς ὀρθὰς ἡ ΒΔ, καὶ ἐπεζεύχθωσαν αἱ ΑΔ, ΔΓ.

ἐπεὶ ἐν ἡμικυκλίῳ γωνία ἐστὶν ἡ ὑπὸ ΑΔΓ, ὀρθή ἐστιν. καὶ ἐπεὶ ἐν ὀρθογωνίῳ τριγώνῳ τῷ ΑΔΓ ἀπὸ τῆς ὀρθῆς γωνίας ἐπὶ τὴν βάσιν κάθετος ἦκται ἡ ΔΒ, ἡ ΔΒ ἄρα τῶν τῆς βάσεως τμημάτων τῶν ΑΒ, ΒΓ μέση ἀνάλογόν ἐστιν.

δύο ἄρα δοθεισῶν εὐθειῶν τῶν ΑΒ, ΒΓ μέση ἀνάλογον προσεύρηται ἡ ΔΒ· ὅπερ ἔδει ποιῆσαι.

τῶν ἴσων τε καὶ ἰσογωνίων παραλληλογράμμων ἀντιπεπόνθασιν αἱ πλευραὶ αἱ περὶ τὰς ἴσας γωνίας· καὶ ὧν ἰσογωνίων παραλληλογράμμων ἀντιπεπόνθασιν αἱ πλευραὶ αἱ περὶ τὰς ἴσας γωνίας, ἴσα ἐστὶν ἐκεῖνα.

ἔστω ἴσα τε καὶ ἰσογώνια παραλληλόγραμμα τὰ ΑΒ, ΒΓ ἴσας ἔχοντα τὰς πρὸς τῷ Β γωνίας, καὶ κείσθωσαν ἐπʼ εὐθείας αἱ ΔΒ, ΒΕ· ἐπʼ εὐθείας ἄρα εἰσὶ καὶ αἱ ΖΒ, ΒΗ. λέγω, ὅτι τῶν ΑΒ, ΒΓ ἀντιπεπόνθασιν αἱ πλευραὶ αἱ περὶ τὰς ἴσας γωνίας, τουτέστιν, ὅτι ἐστὶν ὡς ἡ ΔΒ πρὸς τὴν ΒΕ, οὕτως ἡ ΗΒ πρὸς τὴν ΒΖ.

συμπεπληρώσθω γὰρ τὸ ΖΕ παραλληλόγραμμον. ἐπεὶ οὖν ἴσον ἐστὶ τὸ ΑΒ παραλληλόγραμμον τῷ ΒΓ παραλληλογράμμῳ, ἄλλο δέ τι τὸ ΖΕ, ἔστιν ἄρα ὡς τὸ ΑΒ πρὸς τὸ ΖΕ, οὕτως τὸ ΒΓ πρὸς τὸ ΖΕ. ἀλλʼ ὡς μὲν τὸ ΑΒ πρὸς τὸ ΖΕ, οὕτως ἡ ΔΒ πρὸς τὴν ΒΕ, ὡς δὲ τὸ ΒΓ πρὸς τὸ ΖΕ, οὕτως ἡ ΗΒ πρὸς τὴν ΒΖ· καὶ ὡς ἄρα ἡ ΔΒ πρὸς τὴν ΒΕ, οὕτως ἡ ΗΒ πρὸς τὴν ΒΖ. τῶν ἄρα ΑΒ, ΒΓ παραλληλογράμμων ἀντιπεπόνθασιν αἱ πλευραὶ αἱ περὶ τὰς ἴσας γωνίας.

ἀλλὰ δὴ ἔστω ὡς ἡ ΔΒ πρὸς τὴν ΒΕ, οὕτως ἡ ΗΒ πρὸς τὴν ΒΖ· λέγω, ὅτι ἴσον ἐστὶ τὸ ΑΒ παραλληλόγραμμον τῷ ΒΓ παραλληλογράμμῳ.

ἐπεὶ γάρ ἐστιν ὡς ἡ ΔΒ πρὸς τὴν ΒΕ, οὕτως ἡ ΗΒ πρὸς τὴν ΒΖ, ἀλλʼ ὡς μὲν ἡ ΔΒ πρὸς τὴν ΒΕ, οὕτως τὸ ΑΒ παραλληλόγραμμον πρὸς τὸ ΖΕ παραλληλόγραμμον, ὡς δὲ ἡ ΗΒ πρὸς τὴν ΒΖ, οὕτως τὸ ΒΓ παραλληλόγραμμον πρὸς τὸ ΖΕ παραλληλόγραμμον, καὶ ὡς ἄρα τὸ ΑΒ πρὸς τὸ ΖΕ, οὕτως τὸ ΒΓ πρὸς τὸ ΖΕ· ἴσον ἄρα ἐστὶ τὸ ΑΒ παραλληλόγραμμον τῷ ΒΓ παραλληλογράμμῳ.

τῶν ἄρα ἴσων τε καὶ ἰσογωνίων παραλληλογράμμων ἀντιπεπόνθασιν αἱ πλευραὶ αἱ περὶ τὰς ἴσας γωνίας· καὶ ὧν ἰσογωνίων παραλληλογράμμων ἀντιπεπόνθασιν αἱ πλευραὶ αἱ περὶ τὰς ἴσας γωνίας, ἴσα ἐστὶν ἐκεῖνα· ὅπερ ἔδει δεῖξαι.

τῶν ἴσων καὶ μίαν μιᾷ ἴσην ἐχόντων γωνίαν τριγώνων ἀντιπεπόνθασιν αἱ πλευραὶ αἱ περὶ τὰς ἴσας γωνίας· καὶ ὧν μίαν μιᾷ ἴσην ἐχόντων γωνίαν τριγώνων ἀντιπεπόνθασιν αἱ πλευραὶ αἱ περὶ τὰς ἴσας γωνίας, ἴσα ἐστὶν ἐκεῖνα.

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

κείσθω γὰρ ὥστε ἐπʼ εὐθείας εἶναι τὴν ΓΑ τῇ ΑΔ· ἐπʼ εὐθείας ἄρα ἐστὶ καὶ ἡ ΕΑ τῇ ΑΒ. καὶ ἐπεζεύχθω ἡ ΒΔ.

ἐπεὶ οὖν ἴσον ἐστὶ τὸ ΑΒΓ τρίγωνον τῷ ΑΔΕ τριγώνῳ, ἄλλο δέ τι τὸ ΒΑΔ, ἔστιν ἄρα ὡς τὸ ΓΑΒ τρίγωνον πρὸς τὸ ΒΑΔ τρίγωνον, οὕτως τὸ ΕΑΔ τρίγωνον πρὸς τὸ ΒΑΔ τρίγωνον. ἀλλʼ ὡς μὲν τὸ ΓΑΒ πρὸς τὸ ΒΑΔ, οὕτως ἡ ΓΑ πρὸς τὴν ΑΔ, ὡς δὲ τὸ ΕΑΔ πρὸς τὸ ΒΑΔ, οὕτως ἡ ΕΑ πρὸς τὴν ΑΒ. καὶ ὡς ἄρα ἡ ΓΑ πρὸς τὴν ΑΔ, οὕτως ἡ ΕΑ πρὸς τὴν ΑΒ. τῶν ΑΒΓ, ΑΔΕ ἄρα τριγώνων ἀντιπεπόνθασιν αἱ πλευραὶ αἱ περὶ τὰς ἴσας γωνίας.

ἀλλὰ δὴ ἀντιπεπονθέτωσαν αἱ πλευραὶ τῶν ΑΒΓ, ΑΔΕ τριγώνων, καὶ ἔστω ὡς ἡ ΓΑ πρὸς τὴν ΑΔ, οὕτως ἡ ΕΑ πρὸς τὴν ΑΒ· λέγω, ὅτι ἴσον ἐστὶ τὸ ΑΒΓ τρίγωνον τῷ ΑΔΕ τριγώνῳ.

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

τῶν ἄρα ἴσων καὶ μίαν μιᾷ ἴσην ἐχόντων γωνίαν τριγώνων ἀντιπεπόνθασιν αἱ πλευραὶ αἱ περὶ τὰς ἴσας γωνίας· καὶ ὧν μίαν μιᾷ ἴσην ἐχόντων γωνίαν τριγώνων ἀντιπεπόνθασιν αἱ πλευραὶ αἱ περὶ τὰς ἴσας γωνίας, ἐκεῖνα ἴσα ἐστίν· ὅπερ ἔδει δεῖξαι.

ἐὰν τέσσαρες εὐθεῖαι ἀνάλογον ὦσιν, τὸ ὑπὸ τῶν ἄκρων περιεχόμενον ὀρθογώνιον ἴσον ἐστὶ τῷ ὑπὸ τῶν μέσων περιεχομένῳ ὀρθογωνίῳ· κἂν τὸ ὑπὸ τῶν ἄκρων περιεχόμενον ὀρθογώνιον ἴσον ᾖ τῷ ὑπὸ τῶν μέσων περιεχομένῳ ὀρθογωνίῳ, αἱ τέσσαρες εὐθεῖαι ἀνάλογον ἔσονται.

ἔστωσαν τέσσαρες εὐθεῖαι ἀνάλογον αἱ ΑΒ, ΓΔ, Ε, Ζ, ὡς ἡ ΑΒ πρὸς τὴν ΓΔ, οὕτως ἡ Ε πρὸς τὴν Ζ· λέγω, ὅτι τὸ ὑπὸ τῶν ΑΒ, Ζ περιεχόμενον ὀρθογώνιον ἴσον ἐστὶ τῷ ὑπὸ τῶν ΓΔ, Ε περιεχομένῳ ὀρθογωνίῳ.

ἤχθωσαν γὰρ ἀπὸ τῶν Α, Γ σημείων ταῖς ΑΒ, ΓΔ εὐθείαις πρὸς ὀρθὰς αἱ ΑΗ, ΓΘ, καὶ κείσθω τῇ μὲν Ζ ἴση ἡ ΑΓ, τῇ δὲ Ε ἴση ἡ ΓΘ. καὶ συμπεπληρώσθω τὰ ΒΗ, ΔΘ παραλληλόγραμμα.

καὶ ἐπεί ἐστιν ὡς ἡ ΑΒ πρὸς τὴν ΓΔ, οὕτως ἡ Ε πρὸς τὴν Ζ, ἴση δὲ ἡ μὲν Ε τῇ ΓΘ, ἡ δὲ Ζ τῇ ΑΗ, ἔστιν ἄρα ὡς ἡ ΑΒ πρὸς τὴν ΓΔ, οὕτως ἡ ΓΘ πρὸς τὴν ΑΗ. τῶν ΒΗ, ΔΘ ἄρα παραλληλογράμμων ἀντιπεπόνθασιν αἱ πλευραὶ αἱ περὶ τὰς ἴσας γωνίας. ὧν δὲ ἰσογωνίων παραλληλογράμμων ἀντιπεπόνθασιν αἱ πλευραὶ αἱ περὶ τὰς ἴσας γωνίας, ἴσα ἐστὶν ἐκεῖνα· ἴσον ἄρα ἐστὶ τὸ ΒΗ παραλληλόγραμμον τῷ ΔΘ παραλληλογράμμῳ. καί ἐστι τὸ μὲν ΒΗ τὸ ὑπὸ τῶν ΑΒ, Ζ· ἴση γὰρ ἡ ΑΗ τῇ Ζ· τὸ δὲ ΔΘ τὸ ὑπὸ τῶν ΓΔ, Ε· ἴση γὰρ ἡ Ε τῇ ΓΘ· τὸ ἄρα ὑπὸ τῶν ΑΒ, Ζ περιεχόμενον ὀρθογώνιον ἴσον ἐστὶ τῷ ὑπὸ τῶν ΓΔ, Ε περιεχομένῳ ὀρθογωνίῳ.

ἀλλὰ δὴ τὸ ὑπὸ τῶν ΑΒ, Ζ περιεχόμενον ὀρθογώνιον ἴσον ἔστω τῷ ὑπὸ τῶν ΓΔ, Ε περιεχομένῳ ὀρθογωνίῳ· λέγω, ὅτι αἱ τέσσαρες εὐθεῖαι ἀνάλογον ἔσονται, ὡς ἡ ΑΒ πρὸς τὴν ΓΔ, οὕτως ἡ Ε πρὸς τὴν Ζ.

τῶν γὰρ αὐτῶν κατασκευασθέντων, ἐπεὶ τὸ ὑπὸ τῶν ΑΒ, Ζ ἴσον ἐστὶ τῷ ὑπὸ τῶν ΓΔ, Ε, καί ἐστι τὸ μὲν ὑπὸ τῶν ΑΒ, Ζ τὸ ΒΗ· ἴση γάρ ἐστιν ἡ ΑΗ τῇ Ζ· τὸ δὲ ὑπὸ τῶν ΓΔ, Ε τὸ ΔΘ· ἴση γὰρ ἡ ΓΘ τῇ Ε· τὸ ἄρα ΒΗ ἴσον ἐστὶ τῷ ΔΘ. καί ἐστιν ἰσογώνια. τῶν δὲ ἴσων καὶ ἰσογωνίων παραλληλογράμμων ἀντιπεπόνθασιν αἱ πλευραὶ αἱ περὶ τὰς ἴσας γωνίας. ἔστιν ἄρα ὡς ἡ ΑΒ πρὸς τὴν ΓΔ, οὕτως ἡ ΓΘ πρὸς τὴν ΑΗ. ἴση δὲ ἡ μὲν ΓΘ τῇ Ε, ἡ δὲ ΑΗ τῇ Ζ· ἔστιν ἄρα ὡς ἡ ΑΒ πρὸς τὴν ΓΔ, οὕτως ἡ Ε πρὸς τὴν Ζ.

ἐὰν ἄρα τέσσαρες εὐθεῖαι ἀνάλογον ὦσιν, τὸ ὑπὸ τῶν ἄκρων περιεχόμενον ὀρθογώνιον ἴσον ἐστὶ τῷ ὑπὸ τῶν μέσων περιεχομένῳ ὀρθογωνίῳ· κἂν τὸ ὑπὸ τῶν ἄκρων περιεχόμενον ὀρθογώνιον ἴσον ᾖ τῷ ὑπὸ τῶν μέσων περιεχομένῳ ὀρθογωνίῳ, αἱ τέσσαρες εὐθεῖαι ἀνάλογον ἔσονται· ὅπερ ἔδει δεῖξαι.

ἐὰν τρεῖς εὐθεῖαι ἀνάλογον ὦσιν, τὸ ὑπὸ τῶν ἄκρων περιεχόμενον ὀρθογώνιον ἴσον ἐστὶ τῷ ἀπὸ τῆς μέσης τετραγώνῳ· κἂν τὸ ὑπὸ τῶν ἄκρων περιεχόμενον ὀρθογώνιον ἴσον ᾖ τῷ ἀπὸ τῆς μέσης τετραγώνῳ, αἱ τρεῖς εὐθεῖαι ἀνάλογον ἔσονται.

ἔστωσαν τρεῖς εὐθεῖαι ἀνάλογον αἱ Α, Β, Γ, ὡς ἡ Α πρὸς τὴν Β, οὕτως ἡ Β πρὸς τὴν Γ· λέγω, ὅτι τὸ ὑπὸ τῶν Α, Γ περιεχόμενον ὀρθογώνιον ἴσον ἐστὶ τῷ ἀπὸ τῆς β τετραγώνῳ.

κείσθω τῇ Β ἴση ἡ Δ.

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

ἀλλὰ δὴ τὸ ὑπὸ τῶν Α, Γ ἴσον ἔστω τῷ ἀπὸ τῆς Β· λέγω, ὅτι ἐστὶν ὡς ἡ Α πρὸς τὴν Β, οὕτως ἡ Β πρὸς τὴν Γ.

τῶν γὰρ αὐτῶν κατασκευασθέντων, ἐπεὶ τὸ ὑπὸ τῶν Α, Γ ἴσον ἐστὶ τῷ ἀπὸ τῆς Β, ἀλλὰ τὸ ἀπὸ τῆς Β τὸ ὑπὸ τῶν Β, Δ ἐστιν· ἴση γὰρ ἡ Β τῇ Δ· τὸ ἄρα ὑπὸ τῶν Α, Γ ἴσον ἐστὶ τῷ ὑπὸ τῶν Β, Δ. ἐὰν δὲ τὸ ὑπὸ τῶν ἄκρων ἴσον ᾖ τῷ ὑπὸ τῶν μέσων, αἱ τέσσαρες εὐθεῖαι ἀνάλογόν εἰσιν. ἔστιν ἄρα ὡς ἡ Α πρὸς τὴν Β, οὕτως ἡ Δ πρὸς τὴν Γ. ἴση δὲ ἡ Β τῇ Δ· ὡς ἄρα ἡ Α πρὸς τὴν Β, οὕτως ἡ Β πρὸς τὴν Γ.

ἐὰν ἄρα τρεῖς εὐθεῖαι ἀνάλογον ὦσιν, τὸ ὑπὸ τῶν ἄκρων περιεχόμενον ὀρθογώνιον ἴσον ἐστὶ τῷ ἀπὸ τῆς μέσης τετραγώνῳ· κἂν τὸ ὑπὸ τῶν ἄκρων περιεχόμενον ὀρθογώνιον ἴσον ᾖ τῷ ἀπὸ τῆς μέσης τετραγώνῳ, αἱ τρεῖς εὐθεῖαι ἀνάλογον ἔσονται· ὅπερ ἔδει δεῖξαι.

ἀπὸ τῆς δοθείσης εὐθείας τῷ δοθέντι εὐθυγράμμῳ ὅμοιόν τε καὶ ὁμοίως κείμενον εὐθύγραμμον ἀναγράψαι.

ἔστω ἡ μὲν δοθεῖσα εὐθεῖα ἡ ΑΒ, τὸ δὲ δοθὲν εὐθύγραμμον τὸ ΓΕ· δεῖ δὴ ἀπὸ τῆς ΑΒ εὐθείας τῷ ΓΕ εὐθυγράμμῳ ὅμοιόν τε καὶ ὁμοίως κείμενον εὐθύγραμμον ἀναγράψαι.

ἐπεζεύχθω ἡ ΔΖ, καὶ συνεστάτω πρὸς τῇ ΑΒ εὐθείᾳ καὶ τοῖς πρὸς αὐτῇ σημείοις τοῖς Α, Β τῇ μὲν πρὸς τῷ Γ γωνίᾳ ἴση ἡ ὑπὸ ΗΑΒ, τῇ δὲ ὑπὸ ΓΔΖ ἴση ἡ ὑπὸ ΑΒΗ. λοιπὴ ἄρα ἡ ὑπὸ ΓΖΔ τῇ ὑπὸ ΑΗΒ ἐστιν ἴση· ἰσογώνιον ἄρα ἐστὶ τὸ ΖΓΔ τρίγωνον τῷ ΗΑΒ τριγώνῳ. ἀνάλογον ἄρα ἐστὶν ὡς ἡ ΖΔ πρὸς τὴν ΗΒ, οὕτως ἡ ΖΓ πρὸς τὴν ΗΑ, καὶ ἡ ΓΔ πρὸς τὴν ΑΒ. πάλιν συνεστάτω πρὸς τῇ ΒΗ εὐθείᾳ καὶ τοῖς πρὸς αὐτῇ σημείοις τοῖς Β, Η τῇ μὲν ὑπὸ ΔΖΕ γωνίᾳ ἴση ἡ ὑπὸ ΒΗΘ, τῇ δὲ ὑπὸ ΖΔΕ ἴση ἡ ὑπὸ ΗΒΘ. λοιπὴ ἄρα ἡ πρὸς τῷ Ε λοιπῇ τῇ πρὸς τῷ Θ ἐστιν ἴση· ἰσογώνιον ἄρα ἐστὶ τὸ ΖΔΕ τρίγωνον τῷ ΗΘΒ τριγώνῳ· ἀνάλογον ἄρα ἐστὶν ὡς ἡ ΖΔ πρὸς τὴν ΗΒ, οὕτως ἡ ΖΕ πρὸς τὴν ΗΘ καὶ ἡ ΕΔ πρὸς τὴν ΘΒ. ἐδείχθη δὲ καὶ ὡς ἡ ΖΔ πρὸς τὴν ΗΒ, οὕτως ἡ ΖΓ πρὸς τὴν ΗΑ καὶ ἡ ΓΔ πρὸς τὴν ΑΒ· καὶ ὡς ἄρα ἡ ΖΓ πρὸς τὴν ΑΗ, οὕτως ἥ τε ΓΔ πρὸς τὴν ΑΒ καὶ ἡ ΖΕ πρὸς τὴν ΗΘ καὶ ἔτι ἡ ΕΔ πρὸς τὴν ΘΒ. καὶ ἐπεὶ ἴση ἐστὶν ἡ μὲν ὑπὸ ΓΖΔ γωνία τῇ ὑπὸ ΑΗΒ, ἡ δὲ ὑπὸ ΔΖΕ τῇ ὑπὸ ΒΗΘ, ὅλη ἄρα ἡ ὑπὸ ΓΖΕ ὅλῃ τῇ ὑπὸ ΑΗΘ ἐστιν ἴση. διὰ τὰ αὐτὰ δὴ καὶ ἡ ὑπὸ ΓΔΕ τῇ ὑπὸ ΑΒΘ ἐστιν ἴση. ἔστι δὲ καὶ ἡ μὲν πρὸς τῷ Γ τῇ πρὸς τῷ Α ἴση, ἡ δὲ πρὸς τῷ Ε τῇ πρὸς τῷ Θ. ἰσογώνιον ἄρα ἐστὶ τὸ ΑΘ τῷ ΓΕ· καὶ τὰς περὶ τὰς ἴσας γωνίας αὐτῶν πλευρὰς ἀνάλογον ἔχει· ὅμοιον ἄρα ἐστὶ τὸ ΑΘ εὐθύγραμμον τῷ ΓΕ εὐθυγράμμῳ.

ἀπὸ τῆς δοθείσης ἄρα εὐθείας τῆς ΑΒ τῷ δοθέντι εὐθυγράμμῳ τῷ ΓΕ ὅμοιόν τε καὶ ὁμοίως κείμενον εὐθύγραμμον ἀναγέγραπται τὸ ΑΘ· ὅπερ ἔδει ποιῆσαι.

τὰ ὅμοια τρίγωνα πρὸς ἄλληλα ἐν διπλασίονι λόγῳ ἐστὶ τῶν ὁμολόγων πλευρῶν.

ἔστω ὅμοια τρίγωνα τὰ ΑΒΓ, ΔΕΖ ἴσην ἔχοντα τὴν πρὸς τῷ Β γωνίαν τῇ πρὸς τῷ Ε, ὡς δὲ τὴν ΑΒ πρὸς τὴν ΒΓ, οὕτως τὴν ΔΕ πρὸς τὴν ΕΖ, ὥστε ὁμόλογον εἶναι τὴν ΒΓ τῇ ΕΖ· λέγω, ὅτι τὸ ΑΒΓ τρίγωνον πρὸς τὸ ΔΕΖ τρίγωνον διπλασίονα λόγον ἔχει ἤπερ ἡ ΒΓ πρὸς τὴν ΕΖ.

εἰλήφθω γὰρ τῶν ΒΓ, ΕΖ τρίτη ἀνάλογον ἡ ΒΗ, ὥστε εἶναι ὡς τὴν ΒΓ πρὸς τὴν ΕΖ, οὕτως τὴν ΕΖ πρὸς τὴν ΒΗ· καὶ ἐπεζεύχθω ἡ ΑΗ.

ἐπεὶ οὖν ἐστιν ὡς ἡ ΑΒ πρὸς τὴν ΒΓ, οὕτως ἡ ΔΕ πρὸς τὴν ΕΖ, ἐναλλὰξ ἄρα ἐστὶν ὡς ἡ ΑΒ πρὸς τὴν ΔΕ, οὕτως ἡ ΒΓ πρὸς τὴν ΕΖ. ἀλλʼ ὡς ἡ ΒΓ πρὸς ΕΖ, οὕτως ἐστὶν ἡ ΕΖ πρὸς ΒΗ. καὶ ὡς ἄρα ἡ ΑΒ πρὸς ΔΕ, οὕτως ἡ ΕΖ πρὸς ΒΗ· τῶν ΑΒΗ, ΔΕΖ ἄρα τριγώνων ἀντιπεπόνθασιν αἱ πλευραὶ αἱ περὶ τὰς ἴσας γωνίας. ὧν δὲ μίαν μιᾷ ἴσην ἐχόντων γωνίαν τριγώνων ἀντιπεπόνθασιν αἱ πλευραὶ αἱ περὶ τὰς ἴσας γωνίας, ἴσα ἐστὶν ἐκεῖνα. ἴσον ἄρα ἐστὶ τὸ ΑΒΗ τρίγωνον τῷ ΔΕΖ τριγώνῳ. καὶ ἐπεί ἐστιν ὡς ἡ ΒΓ πρὸς τὴν ΕΖ, οὕτως ἡ ΕΖ πρὸς τὴν ΒΗ, ἐὰν δὲ τρεῖς εὐθεῖαι ἀνάλογον ὦσιν, ἡ πρώτη πρὸς τὴν τρίτην διπλασίονα λόγον ἔχει ἤπερ πρὸς τὴν δευτέραν, ἡ ΒΓ ἄρα πρὸς τὴν ΒΗ διπλασίονα λόγον ἔχει ἤπερ ἡ ΓΒ πρὸς τὴν ΕΖ. ὡς δὲ ἡ ΓΒ πρὸς τὴν ΒΗ, οὕτως τὸ ΑΒΓ τρίγωνον πρὸς τὸ ΑΒΗ τρίγωνον· καὶ τὸ ΑΒΓ ἄρα τρίγωνον πρὸς τὸ ΑΒΗ διπλασίονα λόγον ἔχει ἤπερ ἡ ΒΓ πρὸς τὴν ΕΖ. ἴσον δὲ τὸ ΑΒΗ τρίγωνον τῷ ΔΕΖ τριγώνῳ· καὶ τὸ ΑΒΓ ἄρα τρίγωνον πρὸς τὸ ΔΕΖ τρίγωνον διπλασίονα λόγον ἔχει ἤπερ ἡ ΒΓ πρὸς τὴν ΕΖ.

τὰ ἄρα ὅμοια τρίγωνα πρὸς ἄλληλα ἐν διπλασίονι λόγῳ ἐστὶ τῶν ὁμολόγων πλευρῶν· ὅπερ ἔδει δεῖξαι.

Πόρισμα

ἐκ δὴ τούτου φανερόν, ὅτι, ἐὰν τρεῖς εὐθεῖαι ἀνάλογον ὦσιν, ἔστιν ὡς ἡ πρώτη πρὸς τὴν τρίτην, οὕτως τὸ ἀπὸ τῆς πρώτης εἶδος πρὸς τὸ ἀπὸ τῆς δευτέρας τὸ ὅμοιον καὶ ὁμοίως ἀναγραφόμενον ἐπείπερ ἐδείχθη, ὡς ἡ ΓΒ πρὸς ΒΗ, οὕτως τὸ ΑΒΓ τρίγωνον πρὸς τὸ ΑΒΗ τρίγωνον, τουτέστι τὸ ΔΕΖ · ὅπερ ἔδει δεῖξαι.

τὰ ὅμοια πολύγωνα εἴς τε ὅμοια τρίγωνα διαιρεῖται καὶ εἰς ἴσα τὸ πλῆθος καὶ ὁμόλογα τοῖς ὅλοις, καὶ τὸ πολύγωνον πρὸς τὸ πολύγωνον διπλασίονα λόγον ἔχει ἤπερ ἡ ὁμόλογος πλευρὰ πρὸς τὴν ὁμόλογον πλευράν.

ἔστω ὅμοια πολύγωνα τὰ ΑΒΓΔΕ, ΖΗΘΚΛ, ὁμόλογος δὲ ἔστω ἡ ΑΒ τῇ ΖΗ· λέγω, ὅτι τὰ ΑΒΓΔΕ, ΖΗΘΚΛ πολύγωνα εἴς τε ὅμοια τρίγωνα διαιρεῖται καὶ εἰς ἴσα τὸ πλῆθος καὶ ὁμόλογα τοῖς ὅλοις, καὶ τὸ ΑΒΓΔΕ πολύγωνον πρὸς τὸ ΖΗΘΚΛ πολύγωνον διπλασίονα λόγον ἔχει ἤπερ ἡ ΑΒ πρὸς τὴν ΖΗ.

ἐπεζεύχθωσαν αἱ ΒΕ, ΕΓ, ΗΛ, ΛΘ.

καὶ ἐπεὶ ὅμοιόν ἐστι τὸ ΑΒΓΔΕ πολύγωνον τῷ ΖΗΘΚΛ πολυγώνῳ, ἴση ἐστὶν ἡ ὑπὸ ΒΑΕ γωνία τῇ ὑπὸ ΗΖΛ. καί ἐστιν ὡς ἡ ΒΑ πρὸς ΑΕ, οὕτως ἡ ΗΖ πρὸς ΖΛ. ἐπεὶ οὖν δύο τρίγωνά ἐστι τὰ ΑΒΕ, ΖΗΛ μίαν γωνίαν μιᾷ γωνίᾳ ἴσην ἔχοντα, περὶ δὲ τὰς ἴσας γωνίας τὰς πλευρὰς ἀνάλογον, ἰσογώνιον ἄρα ἐστὶ τὸ ΑΒΕ τρίγωνον τῷ ΖΗΛ τριγώνῳ· ὥστε καὶ ὅμοιον· ἴση ἄρα ἐστὶν ἡ ὑπὸ ΑΒΕ γωνία τῇ ὑπὸ ΖΗΛ. ἔστι δὲ καὶ ὅλη ἡ ὑπὸ ΑΒΓ ὅλῃ τῇ ὑπὸ ΖΗΘ ἴση διὰ τὴν ὁμοιότητα τῶν πολυγώνων· λοιπὴ ἄρα ἡ ὑπὸ ΕΒΓ γωνία τῇ ὑπὸ ΛΗΘ ἐστιν ἴση. καὶ ἐπεὶ διὰ τὴν ὁμοιότητα τῶν ΑΒΕ, ΖΗΛ τριγώνων ἐστὶν ὡς ἡ ΕΒ πρὸς ΒΑ, οὕτως ἡ ΛΗ πρὸς ΗΖ, ἀλλὰ μὴν καὶ διὰ τὴν ὁμοιότητα τῶν πολυγώνων ἐστὶν ὡς ἡ ΑΒ πρὸς ΒΓ, οὕτως ἡ ΖΗ πρὸς ΗΘ, διʼ ἴσου ἄρα ἐστὶν ὡς ἡ ΕΒ πρὸς ΒΓ, οὕτως ἡ ΛΗ πρὸς ΗΘ, καὶ περὶ τὰς ἴσας γωνίας τὰς ὑπὸ ΕΒΓ, ΛΗΘ αἱ πλευραὶ ἀνάλογόν εἰσιν· ἰσογώνιον ἄρα ἐστὶ τὸ ΕΒΓ τρίγωνον τῷ ΛΗΘ τριγώνῳ· ὥστε καὶ ὅμοιόν ἐστι τὸ ΕΒΓ τρίγωνον τῷ ΛΗΘ τριγώνῳ. διὰ τὰ αὐτὰ δὴ καὶ τὸ ΕΓΔ τρίγωνον ὅμοιόν ἐστι τῷ ΛΘΚ τριγώνῳ. τὰ ἄρα ὅμοια πολύγωνα τὰ ΑΒΓΔΕ, ΖΗΘΚΛ εἴς τε ὅμοια τρίγωνα διῄρηται καὶ εἰς ἴσα τὸ πλῆθος.

λέγω, ὅτι καὶ ὁμόλογα τοῖς ὅλοις, τουτέστιν ὥστε ἀνάλογον εἶναι τὰ τρίγωνα, καὶ ἡγούμενα μὲν εἶναι τὰ ΑΒΕ, ΕΒΓ, ΕΓΔ, ἑπόμενα δὲ αὐτῶν τὰ ΖΗΛ, ΛΗΘ, ΛΘΚ, καὶ ὅτι τὸ ΑΒΓΔΕ πολύγωνον πρὸς τὸ ΖΗΘΚΛ πολύγωνον διπλασίονα λόγον ἔχει ἤπερ ἡ ὁμόλογος πλευρὰ πρὸς τὴν ὁμόλογον πλευράν, τουτέστιν ἡ ΑΒ πρὸς τὴν ΖΗ.

ἐπεζεύχθωσαν γὰρ αἱ ΑΓ, ΖΘ. καὶ ἐπεὶ διὰ τὴν ὁμοιότητα τῶν πολυγώνων ἴση ἐστὶν ἡ ὑπὸ ΑΒΓ γωνία τῇ ὑπὸ ΖΗΘ, καί ἐστιν ὡς ἡ ΑΒ πρὸς ΒΓ, οὕτως ἡ ΖΗ πρὸς ΗΘ, ἰσογώνιόν ἐστι τὸ ΑΒΓ τρίγωνον τῷ ΖΗΘ τριγώνῳ· ἴση ἄρα ἐστὶν ἡ μὲν ὑπὸ ΒΑΓ γωνία τῇ ὑπὸ ΗΖΘ, ἡ δὲ ὑπὸ ΒΓΑ τῇ ὑπὸ ΗΘΖ. καὶ ἐπεὶ ἴση ἐστὶν ἡ ὑπὸ ΒΑΜ γωνία τῇ ὑπὸ ΗΖΝ, ἔστι δὲ καὶ ἡ ὑπὸ ΑΒΜ τῇ ὑπὸ ΖΗΝ ἴση, καὶ λοιπὴ ἄρα ἡ ὑπὸ ΑΜΒ λοιπῇ τῇ ὑπὸ ΖΝΗ ἴση ἐστίν· ἰσογώνιον ἄρα ἐστὶ τὸ ΑΒΜ τρίγωνον τῷ ΖΗΝ τριγώνῳ. ὁμοίως δὴ δείξομεν, ὅτι καὶ τὸ ΒΜΓ τρίγωνον ἰσογώνιόν ἐστι τῷ ΗΝΘ τριγώνῳ. ἀνάλογον ἄρα ἐστίν, ὡς μὲν ἡ ΑΜ πρὸς ΜΒ, οὕτως ἡ ΖΝ πρὸς ΝΗ, ὡς δὲ ἡ ΒΜ πρὸς ΜΓ, οὕτως ἡ ΗΝ πρὸς ΝΘ· ὥστε καὶ διʼ ἴσου, ὡς ἡ ΑΜ πρὸς ΜΓ, οὕτως ἡ ΖΝ πρὸς ΝΘ. ἀλλʼ ὡς ἡ ΑΜ πρὸς ΜΓ, οὕτως τὸ ΑΒΜ τρίγωνον πρὸς τὸ ΜΒΓ, καὶ τὸ ΑΜΕ πρὸς τὸ ΕΜΓ· πρὸς ἄλληλα γάρ εἰσιν ὡς αἱ βάσεις. καὶ ὡς ἄρα ἓν τῶν ἡγουμένων πρὸς ἓν τῶν ἑπομένων, οὕτως ἅπαντα τὰ ἡγούμενα πρὸς ἅπαντα τὰ ἑπόμενα· ὡς ἄρα τὸ ΑΜΒ τρίγωνον πρὸς τὸ ΒΜΓ, οὕτως τὸ ΑΒΕ πρὸς τὸ ΓΒΕ. ἀλλʼ ὡς τὸ ΑΜΒ πρὸς τὸ ΒΜΓ, οὕτως ἡ ΑΜ πρὸς ΜΓ· καὶ ὡς ἄρα ἡ ΑΜ πρὸς ΜΓ, οὕτως τὸ ΑΒΕ τρίγωνον πρὸς τὸ ΕΒΓ τρίγωνον. διὰ τὰ αὐτὰ δὴ καὶ ὡς ἡ ΖΝ πρὸς ΝΘ, οὕτως τὸ ΖΗΛ τρίγωνον πρὸς τὸ ΗΛΘ τρίγωνον. καί ἐστιν ὡς ἡ ΑΜ πρὸς ΜΓ, οὕτως ἡ ΖΝ πρὸς ΝΘ· καὶ ὡς ἄρα τὸ ΑΒΕ τρίγωνον πρὸς τὸ ΒΕΓ τρίγωνον, οὕτως τὸ ΖΗΛ τρίγωνον πρὸς τὸ ΗΛΘ τρίγωνον, καὶ ἐναλλὰξ, ὡς τὸ ΑΒΕ τρίγωνον πρὸς τὸ ΖΗΛ τρίγωνον, οὕτως τὸ ΒΕΓ τρίγωνον πρὸς τὸ ΗΛΘ τρίγωνον. ὁμοίως δὴ δείξομεν ἐπιζευχθεισῶν τῶν ΒΔ, ΗΚ, ὅτι καὶ ὡς τὸ ΒΕΓ τρίγωνον πρὸς τὸ ΛΗΘ τρίγωνον, οὕτως τὸ ΕΓΔ τρίγωνον πρὸς τὸ ΛΘΚ τρίγωνον. καὶ ἐπεί ἐστιν ὡς τὸ ΑΒΕ τρίγωνον πρὸς τὸ ΖΗΛ τρίγωνον, οὕτως τὸ ΕΒΓ πρὸς τὸ ΛΗΘ, καὶ ἔτι τὸ ΕΓΔ πρὸς τὸ ΛΘΚ, καὶ ὡς ἄρα ἓν τῶν ἡγουμένων πρὸς ἓν τῶν ἑπομένων, οὕτως ἅπαντα τὰ ἡγούμενα πρὸς ἅπαντα τὰ ἑπόμενα· ἔστιν ἄρα ὡς τὸ ΑΒΕ τρίγωνον πρὸς τὸ ΖΗΛ τρίγωνον, οὕτως τὸ ΑΒΓΔΕ πολύγωνον πρὸς τὸ ΖΗΘΚΛ πολύγωνον. ἀλλὰ τὸ ΑΒΕ τρίγωνον πρὸς τὸ ΖΗΛ τρίγωνον διπλασίονα λόγον ἔχει ἤπερ ἡ ΑΒ ὁμόλογος πλευρὰ πρὸς τὴν ΖΗ ὁμόλογον πλευράν· τὰ γὰρ ὅμοια τρίγωνα ἐν διπλασίονι λόγῳ ἐστὶ τῶν ὁμολόγων πλευρῶν. καὶ τὸ ΑΒΓΔΕ ἄρα πολύγωνον πρὸς τὸ ΖΗΘΚΛ πολύγωνον διπλασίονα λόγον ἔχει ἤπερ ἡ ΑΒ ὁμόλογος πλευρὰ πρὸς τὴν ΖΗ ὁμόλογον πλευράν.

τὰ ἄρα ὅμοια πολύγωνα εἴς τε ὅμοια τρίγωνα διαιρεῖται καὶ εἰς ἴσα τὸ πλῆθος καὶ ὁμόλογα τοῖς ὅλοις, καὶ τὸ πολύγωνον πρὸς τὸ πολύγωνον διπλασίονα λόγον ἔχει ἤπερ ἡ ὁμόλογος πλευρὰ πρὸς τὴν ὁμόλογον πλευράν· ὅπερ ἔδει δεῖξαι.

Πόρισμα

ὡσαύτως δὲ καὶ ἐπὶ τῶν ὁμοίων τετραπλεύρων δειχθήσεται, ὅτι ἐν διπλασίονι λόγῳ εἰσὶ τῶν ὁμολόγων πλευρῶν. ἐδείχθη δὲ καὶ ἐπὶ τῶν τριγώνων· ὥστε καὶ καθόλου τὰ ὅμοια εὐθύγραμμα σχήματα πρὸς ἄλληλα ἐν διπλασίονι λόγῳ εἰσὶ τῶν ὁμολόγων πλευρῶν. ὅπερ ἔδει δεῖξαι.

πόρισμα β#

καὶ ἐὰν τῶν ΑΒ, ΖΗ τρίτην ἀνάλογον λάβωμεν τὴν Ξ, ἡ ΒΑ πρὸς τὴν Ξ διπλασίονα λόγον ἔχει ἤπερ ἡ ΑΒ πρὸς τὴν ΖΗ. ἔχει δὲ καὶ τὸ πολύγωνον πρὸς τὸ πολύγωνον ἢ τὸ τετράπλευρον πρὸς τὸ τετράπλευρον διπλασίονα λόγον ἤπερ ἡ ὁμόλογος πλευρὰ πρὸς τὴν ὁμόλογον πλευράν, τουτέστιν ἡ ΑΒ πρὸς τὴν ΖΗ· ἐδείχθη δὲ τοῦτο καὶ ἐπὶ τῶν τριγώνων· ὥστε καὶ καθόλου φανερόν, ὅτι, ἐὰν τρεῖς εὐθεῖαι ἀνάλογον ὦσιν, ἔσται ὡς ἡ πρώτη πρὸς τὴν τρίτην, οὕτως τὸ ἀπὸ τῆς πρώτης εἶδος πρὸς τὸ ἀπὸ τῆς δευτέρας τὸ ὅμοιον καὶ ὁμοίως ἀναγραφόμενον.