---
title: "Elements · Στοιχεῖα"
author: "Euclid"
translator: "Thomas Little Heath"
languages: [grc, en]
shelf: "Classical Greek"
section: 21 of 49
url: https://scriptura.si/works/euclid-elements/21/
cite: "Euclid, tr. Thomas Little Heath, Elements · Στοιχεῖα, section 21. Scriptura (scriptura.si), https://scriptura.si/works/euclid-elements/21/"
---

# Elements · Στοιχεῖα

*Euclid, tr. Thomas Little Heath*

The thirteen books of geometry and number theory that taught mathematics for two thousand years, from the definition of a point to the five regular solids.

> Greek: ed. Johan Ludvig Heiberg, from the Perseus Digital Library (canonical-greekLit, tlg1799.tlg001, CC BY-SA 4.0).

> English: Thomas Little Heath, from the Perseus Digital Library (tlg1799.tlg001.perseus-eng2). Notes are not included.

> Rows follow the references the two texts share (books, chapters and sections), cut where both reach the end of a sentence.

## 21. Book VI · Propositions · 2–14

Source: https://scriptura.si/works/euclid-elements/21/ · cite a paragraph as https://scriptura.si/works/euclid-elements/21/#p-N

[¶0] 2. If a straight line be drawn parallel to one of the sides of a triangle, it will cut the sides of the triangle proportionally; and, if the sides of the triangle be cut proportionally, the line joining the points of section will be parallel to the remaining side of the triangle. For let DE be drawn parallel to BC, one of the sides of the triangle ABC; I say that, as BD is to DA, so is CE to EA. For let BE, CD be joined. Therefore the triangle BDE is equal to the triangle CDE; for they are on the same base DE and in the same parallels DE, BC. [] And the triangle ADE is another area. But equals have the same ratio to the same; [] therefore, as the triangle BDE is to the triangle ADE, so is the triangle CDE to the triangle ADE. But, as the triangle BDE is to ADE, so is BD to DA; for, being under the same height, the perpendicular drawn from E to AB, they are to one another as their bases. [] For the same reason also, as the triangle CDE is to ADE, so is CE to EA. Therefore also, as BD is to DA, so is CE to EA. [] Again, let the sides AB, AC of the triangle ABC be cut proportionally, so that, as BD is to DA, so is CE to EA; and let DE be joined. I say that DE is parallel to BC. For, with the same construction, since, as BD is to DA, so is CE to EA, but, as BD is to DA, so is the triangle BDE to the triangle ADE, and, as CE is to EA, so is the triangle CDE to the triangle ADE, [] therefore also, as the triangle BDE is to the triangle ADE, so is the triangle CDE to the triangle ADE. [] Therefore each of the triangles BDE, CDE has the same ratio to ADE. Therefore the triangle BDE is equal to the triangle CDE; [] and they are on the same base DE. But equal triangles which are on the same base are also in the same parallels. [] Therefore DE is parallel to BC. Therefore etc. Q. E. D.

> Greek: 2. ἐὰν τριγώνου παρὰ μίαν τῶν πλευρῶν ἀχθῇ τις εὐθεῖα, ἀνάλογον τεμεῖ τὰς τοῦ τριγώνου πλευράς· καὶ ἐὰν αἱ τοῦ τριγώνου πλευραὶ ἀνάλογον τμηθῶσιν, ἡ ἐπὶ τὰς τομὰς ἐπιζευγνυμένη εὐθεῖα παρὰ τὴν λοιπὴν ἔσται τοῦ τριγώνου πλευράν. τριγώνου γὰρ τοῦ ΑΒΓ παράλληλος μιᾷ τῶν πλευρῶν τῇ ΒΓ ἤχθω ἡ ΔΕ· λέγω, ὅτι ἐστὶν ὡς ἡ ΒΔ πρὸς τὴν ΔΑ, οὕτως ἡ ΓΕ πρὸς τὴν ΕΑ. ἐπεζεύχθωσαν γὰρ αἱ ΒΕ, ΓΔ. ἴσον ἄρα ἐστὶ ΒΔΕ τρίγωνον τῷ ΓΔΕ τριγώνῳ· ἐπὶ γὰρ τῆς αὐτῆς βάσεώς ἐστι τῆς ΔΕ καὶ ἐν ταῖς αὐταῖς παραλλήλοις ταῖς ΔΕ, ΒΓ· ἄλλο δέ τι τὸ ΑΔΕ τρίγωνον. τὰ δὲ ἴσα πρὸς τὸ αὐτὸ τὸν αὐτὸν ἔχει λόγον· ἔστιν ἄρα ὡς τὸ ΒΔΕ τρίγωνον πρὸς τὸ ΑΔΕ [τρίγωνον], οὕτως τὸ ΓΔΕ τρίγωνον πρὸς τὸ ΑΔΕ τρίγωνον. ἀλλʼ ὡς μὲν τὸ ΒΔΕ τρίγωνον πρὸς τὸ ΑΔΕ, οὕτως ἡ ΒΔ πρὸς τὴν ΔΑ· ὑπὸ γὰρ τὸ αὐτὸ ὕψος ὄντα τὴν ἀπὸ τοῦ Ε ἐπὶ τὴν ΑΒ κάθετον ἀγομένην πρὸς ἄλληλά εἰσιν ὡς αἱ βάσεις. διὰ τὰ αὐτὰ δὴ ὡς τὸ ΓΔΕ τρίγωνον πρὸς τὸ ΑΔΕ, οὕτως ἡ ΓΕ πρὸς τὴν ΕΑ· καὶ ὡς ἄρα ἡ ΒΔ πρὸς τὴν ΔΑ, οὕτως ἡ ΓΕ πρὸς τὴν ΕΑ. ἀλλὰ δὴ αἱ τοῦ ΑΒΓ τριγώνου πλευραὶ αἱ ΑΒ, ΑΓ ἀνάλογον τετμήσθωσαν, ὡς ἡ ΒΔ πρὸς τὴν ΔΑ, οὕτως ἡ ΓΕ πρὸς τὴν ΕΑ, καὶ ἐπεζεύχθω ἡ ΔΕ· λέγω, ὅτι παράλληλός ἐστιν ἡ ΔΕ τῇ ΒΓ. τῶν γὰρ αὐτῶν κατασκευασθέντων, ἐπεί ἐστιν ὡς ἡ ΒΔ πρὸς τὴν ΔΑ, οὕτως ἡ ΓΕ πρὸς τὴν ΕΑ, ἀλλʼ ὡς μὲν ἡ ΒΔ πρὸς τὴν ΔΑ, οὕτως τὸ ΒΔΕ τρίγωνον πρὸς τὸ ΑΔΕ τρίγωνον, ὡς δὲ ἡ ΓΕ πρὸς τὴν ΕΑ, οὕτως τὸ ΓΔΕ τρίγωνον πρὸς τὸ ΑΔΕ τρίγωνον, καὶ ὡς ἄρα τὸ ΒΔΕ τρίγωνον πρὸς τὸ ΑΔΕ τρίγωνον, οὕτως τὸ ΓΔΕ τρίγωνον πρὸς τὸ ΑΔΕ τρίγωνον. ἑκάτερον ἄρα τῶν ΒΔΕ, ΓΔΕ τριγώνων πρὸς τὸ ΑΔΕ τὸν αὐτὸν ἔχει λόγον. ἴσον ἄρα ἐστὶ τὸ ΒΔΕ τρίγωνον τῷ ΓΔΕ τριγώνῳ· καί εἰσιν ἐπὶ τῆς αὐτῆς βάσεως τῆς ΔΕ. τὰ δὲ ἴσα τρίγωνα καὶ ἐπὶ τῆς αὐτῆς βάσεως ὄντα καὶ ἐν ταῖς αὐταῖς παραλλήλοις ἐστίν. παράλληλος ἄρα ἐστὶν ἡ ΔΕ τῇ ΒΓ. ἐὰν ἄρα τριγώνου παρὰ μίαν τῶν πλευρῶν ἀχθῇ τις εὐθεῖα, ἀνάλογον τεμεῖ τὰς τοῦ τριγώνου πλευράς· καὶ ἐὰν αἱ τοῦ τριγώνου πλευραὶ ἀνάλογον τμηθῶσιν, ἡ ἐπὶ τὰς τομὰς ἐπιζευγνυμένη εὐθεῖα παρὰ τὴν λοιπὴν ἔσται τοῦ τριγώνου πλευράν· ὅπερ ἔδει δεῖξαι.

[¶1] 3. If an angle of a triangle be bisected and the straight line cutting the angle cut the base also, the segments of the base will have the same ratio as the remaining sides of the triangle; and, if the segments of the base have the same ratio as the remaining sides of the triangle, the straight line joined from the vertex to the point of section will bisect the angle of the triangle. Let ABC be a triangle, and let the angle BAC be bisected by the straight line AD; I say that, as BD is to CD, so is BA to AC. For let CE be drawn through C parallel to DA, and let BA be carried through and meet it at E. Then, since the straight line AC falls upon the parallels AD, EC, the angle ACE is equal to the angle CAD. [] But the angle CAD is by hypothesis equal to the angle BAD; therefore the angle BAD is also equal to the angle ACE. Again, since the straight line BAE falls upon the parallels AD, EC, the exterior angle BAD is equal to the interior angle AEC. [] But the angle ACE was also proved equal to the angle BAD; therefore the angle ACE is also equal to the angle AEC, so that the side AE is also equal to the side AC. [] And, since AD has been drawn parallel to EC, one of the sides of the triangle BCE, therefore, proportionally, as BD is to DC, so is BA to AE. But AE is equal to AC; [] therefore, as BD is to DC, so is BA to AC. Again, let BA be to AC as BD to DC, and let AD be joined; I say that the angle BAC has been bisected by the straight line A.D. For, with the same construction, since, as BD is to DC, so is BA to AC, and also, as BD is to DC, so is BA to AE: for AD has been drawn parallel to EC, one of the sides of the triangle BCE: [] therefore also, as BA is to AC, so is BA to AE. [] Therefore AC is equal to AE, [] so that the angle AEC is also equal to the angle ACE. [] But the angle AEC is equal to the exterior angle BAD, [] and the angle ACE is equal to the alternate angle CAD; [id.] therefore the angle BAD is also equal to the angle CAD. Therefore the angle BAC has been bisected by the straight line AD. Therefore etc. Q. E. D.

> Greek: 3. ἐὰν τριγώνου ἡ γωνία δίχα τμηθῇ, ἡ δὲ τέμνουσα τὴν γωνίαν εὐθεῖα τέμνῃ καὶ τὴν βάσιν, τὰ τῆς βάσεως τμήματα τὸν αὐτὸν ἕξει λόγον ταῖς λοιπαῖς τοῦ τριγώνου πλευραῖς· καὶ ἐὰν τὰ τῆς βάσεως τμήματα τὸν αὐτὸν ἔχῃ λόγον ταῖς λοιπαῖς τοῦ τριγώνου πλευραῖς, ἡ ἀπὸ τῆς κορυφῆς ἐπὶ τὴν τομὴν ἐπιζευγνυμένη εὐθεῖα δίχα τεμεῖ τὴν τοῦ τριγώνου γωνίαν. ἔστω τρίγωνον τὸ ΑΒΓ, καὶ τετμήσθω ἡ ὑπὸ ΒΑΓ γωνία δίχα ὑπὸ τῆς ΑΔ εὐθείας· λέγω, ὅτι ἐστὶν ὡς ἡ ΒΔ πρὸς τὴν ΓΔ, οὕτως ἡ ΒΑ πρὸς τὴν ΑΓ. ἤχθω γὰρ διὰ τοῦ Γ τῇ ΔΑ παράλληλος ἡ ΓΕ καὶ διαχθεῖσα ἡ ΒΑ συμπιπτέτω αὐτῇ κατὰ τὸ Ε. καὶ ἐπεὶ εἰς παραλλήλους τὰς ΑΔ, ΕΓ εὐθεῖα ἐνέπεσεν ἡ ΑΓ, ἡ ἄρα ὑπὸ ΑΓΕ γωνία ἴση ἐστὶ τῇ ὑπὸ ΓΑΔ. ἀλλʼ ἡ ὑπὸ ΓΑΔ τῇ ὑπὸ ΒΑΔ ὑπόκειται ἴση· καὶ ἡ ὑπὸ ΒΑΔ ἄρα τῇ ὑπὸ ΑΓΕ ἐστιν ἴση. πάλιν, ἐπεὶ εἰς παραλλήλους τὰς ΑΔ, ΕΓ εὐθεῖα ἐνέπεσεν ἡ ΒΑΕ, ἡ ἐκτὸς γωνία ἡ ὑπὸ ΒΑΔ ἴση ἐστὶ τῇ ἐντὸς τῇ ὑπὸ ΑΕΓ. ἐδείχθη δὲ καὶ ἡ ὑπὸ ΑΓΕ τῇ ὑπὸ ΒΑΔ ἴση· καὶ ἡ ὑπὸ ΑΓΕ ἄρα γωνία τῇ ὑπὸ ΑΕΓ ἐστιν ἴση· ὥστε καὶ πλευρὰ ἡ ΑΕ πλευρᾷ τῇ ΑΓ ἐστιν ἴση. καὶ ἐπεὶ τριγώνου τοῦ ΒΓΕ παρὰ μίαν τῶν πλευρῶν τὴν ΕΓ ἦκται ἡ ΑΔ, ἀνάλογον ἄρα ἐστὶν ὡς ἡ ΒΔ πρὸς τὴν ΔΓ, οὕτως ἡ ΒΑ πρὸς τὴν ΑΕ. ἴση δὲ ἡ ΑΕ τῇ ΑΓ· ὡς ἄρα ἡ ΒΔ πρὸς τὴν ΔΓ, οὕτως ἡ ΒΑ πρὸς τὴν ΑΓ. ἀλλὰ δὴ ἔστω ὡς ἡ ΒΔ πρὸς τὴν ΔΓ, οὕτως ἡ ΒΑ πρὸς τὴν ΑΓ, καὶ ἐπεζεύχθω ἡ ΑΔ· λέγω, ὅτι δίχα τέτμηται ἡ ὑπὸ ΒΑΓ γωνία ὑπὸ τῆς ΑΔ εὐθείας. τῶν γὰρ αὐτῶν κατασκευασθέντων, ἐπεί ἐστιν ὡς ἡ ΒΔ πρὸς τὴν ΔΓ, οὕτως ἡ ΒΑ πρὸς τὴν ΑΓ, ἀλλὰ καὶ ὡς ἡ ΒΔ πρὸς τὴν ΔΓ, οὕτως ἐστὶν ἡ ΒΑ πρὸς τὴν ΑΕ· τριγώνου γὰρ τοῦ ΒΓΕ παρὰ μίαν τὴν ΕΓ ἦκται ἡ ΑΔ· καὶ ὡς ἄρα ἡ ΒΑ πρὸς τὴν ΑΓ, οὕτως ἡ ΒΑ πρὸς τὴν ΑΕ. ἴση ἄρα ἡ ΑΓ τῇ ΑΕ· ὥστε καὶ γωνία ἡ ὑπὸ ΑΕΓ τῇ ὑπὸ ΑΓΕ ἐστιν ἴση. ἀλλʼ ἡ μὲν ὑπὸ ΑΕΓ τῇ ἐκτὸς τῇ ὑπὸ ΒΑΔ [ἐστιν] ἴση, ἡ δὲ ὑπὸ ΑΓΕ τῇ ἐναλλὰξ τῇ ὑπὸ ΓΑΔ ἐστιν ἴση· καὶ ἡ ὑπὸ ΒΑΔ ἄρα τῇ ὑπὸ ΓΑΔ ἐστιν ἴση. ἡ ἄρα ὑπὸ ΒΑΓ γωνία δίχα τέτμηται ὑπὸ τῆς ΑΔ εὐθείας. ἐὰν ἄρα τριγώνου ἡ γωνία δίχα τμηθῇ, ἡ δὲ τέμνουσα τὴν γωνίαν εὐθεῖα τέμνῃ καὶ τὴν βάσιν, τὰ τῆς βάσεως τμήματα τὸν αὐτὸν ἕξει λόγον ταῖς λοιπαῖς τοῦ τριγώνου πλευραῖς· καὶ ἐὰν τὰ τῆς βάσεως τμήματα τὸν αὐτὸν ἔχῃ λόγον ταῖς λοιπαῖς τοῦ τριγώνου πλευραῖς, ἡ ἀπὸ τῆς κορυφῆς ἐπὶ τὴν τομὴν ἐπιζευγνυμένη εὐθεῖα δίχα τέμνει τὴν τοῦ τριγώνου γωνίαν· ὅπερ ἔδει δεῖξαι.

[¶2] 4. In equiangular triangles the sides about the equal angles are proportional, and those are corresponding sides which subtend the equal angles. Let ABC, DCE be equiangular triangles having the angle ABC equal to the angle DCE, the angle BAC to the angle CDE, and further the angle ACB to the angle CED; I say that in the triangles ABC, DCE the sides about the equal angles are proportional, and those are corresponding sides which subtend the equal angles. For let BC be placed in a straight line with CE. Then, since the angles ABC, ACB are less than two right angles, [] and the angle ACB is equal to the angle DEC, therefore the angles ABC, DEC are less than two right angles; therefore BA, ED, when produced, will meet. [] Let them be produced and meet at F. Now, since the angle DCE is equal to the angle ABC, BF is parallel to CD. [] Again, since the angle ACB is equal to the angle DEC, AC is parallel to FE. [] Therefore FACD is a parallelogram; therefore FA is equal to DC, and AC to FD. [] And, since AC has been drawn parallel to FE, one side of the triangle FBE, therefore, as BA is to AF, so is BC to CE. [] But AF is equal to CD; therefore, as BA is to CD, so is BC to CE, and alternately, as AB is to BC, so is DC to CE. [] Again, since CD is parallel to BF, therefore, as BC is to CE, so is FD to DE. [] But FD is equal to AC; therefore, as BC is to CE, so is AC to DE, and alternately, as BC is to CA, so is CE to ED. [] Since then it was proved that, as AB is to BC, so is DC to CE, and, as BC is to CA, so is CE to ED; therefore, ex aequali, as BA is to AC, so is CD to DE. [] Therefore etc. Q. E. D.

> Greek: 4. τῶν ἰσογωνίων τριγώνων ἀνάλογόν εἰσιν αἱ πλευραὶ αἱ περὶ τὰς ἴσας γωνίας καὶ ὁμόλογοι αἱ ὑπὸ τὰς ἴσας γωνίας ὑποτείνουσαι. ἔστω ἰσογώνια τρίγωνα τὰ ΑΒΓ, ΔΓΕ ἴσην ἔχοντα τὴν μὲν ὑπὸ ΑΒΓ γωνίαν τῇ ὑπὸ ΔΓΕ, τὴν δὲ ὑπὸ ΒΑΓ τῇ ὑπὸ ΓΔΕ καὶ ἔτι τὴν ὑπὸ ΑΓΒ τῇ ὑπὸ ΓΕΔ· λέγω, ὅτι τῶν ΑΒΓ, ΔΓΕ τριγώνων ἀνάλογόν εἰσιν αἱ πλευραὶ αἱ περὶ τὰς ἴσας γωνίας καὶ ὁμόλογοι αἱ ὑπὸ τὰς ἴσας γωνίας ὑποτείνουσαι. κείσθω γὰρ ἐπʼ εὐθείας ἡ ΒΓ τῇ ΓΕ. καὶ ἐπεὶ αἱ ὑπὸ ΑΒΓ, ΑΓΒ γωνίαι δύο ὀρθῶν ἐλάττονές εἰσιν, ἴση δὲ ἡ ὑπὸ ΑΓΒ τῇ ὑπὸ ΔΕΓ, αἱ ἄρα ὑπὸ ΑΒΓ, ΔΕΓ δύο ὀρθῶν ἐλάττονές εἰσιν· αἱ ΒΑ, ΕΔ ἄρα ἐκβαλλόμεναι συμπεσοῦνται. ἐκβεβλήσθωσαν καὶ συμπιπτέτωσαν κατὰ τὸ Ζ. καὶ ἐπεὶ ἴση ἐστὶν ἡ ὑπὸ ΔΓΕ γωνία τῇ ὑπὸ ΑΒΓ, παράλληλός ἐστιν ἡ ΒΖ τῇ ΓΔ. πάλιν, ἐπεὶ ἴση ἐστὶν ἡ ὑπὸ ΑΓΒ τῇ ὑπὸ ΔΕΓ, παράλληλός ἐστιν ἡ ΑΓ τῇ ΖΕ. παραλληλόγραμμον ἄρα ἐστὶ τὸ ΖΑΓΔ· ἴση ἄρα ἡ μὲν ΖΑ τῇ ΔΓ, ἡ δὲ ΑΓ τῇ ΖΔ. καὶ ἐπεὶ τριγώνου τοῦ ΖΒΕ παρὰ μίαν τὴν ΖΕ ἦκται ἡ ΑΓ, ἔστιν ἄρα ὡς ἡ ΒΑ πρὸς τὴν ΑΖ, οὕτως ἡ ΒΓ πρὸς τὴν ΓΕ. ἴση δὲ ἡ ΑΖ τῇ ΓΔ· ὡς ἄρα ἡ ΒΑ πρὸς τὴν ΓΔ, οὕτως ἡ ΒΓ πρὸς τὴν ΓΕ, καὶ ἐναλλὰξ ὡς ἡ ΑΒ πρὸς τὴν ΒΓ, οὕτως ἡ ΔΓ πρὸς τὴν ΓΕ. πάλιν, ἐπεὶ παράλληλός ἐστιν ἡ ΓΔ τῇ ΒΖ, ἔστιν ἄρα ὡς ἡ ΒΓ πρὸς τὴν ΓΕ, οὕτως ἡ ΖΔ πρὸς τὴν ΔΕ. ἴση δὲ ἡ ΖΔ τῇ ΑΓ· ὡς ἄρα ἡ ΒΓ πρὸς τὴν ΓΕ, οὕτως ἡ ΑΓ πρὸς τὴν ΔΕ, καὶ ἐναλλὰξ ὡς ἡ ΒΓ πρὸς τὴν ΓΑ, οὕτως ἡ ΓΕ πρὸς τὴν ΕΔ. ἐπεὶ οὖν ἐδείχθη ὡς μὲν ἡ ΑΒ πρὸς τὴν ΒΓ, οὕτως ἡ ΔΓ πρὸς τὴν ΓΕ, ὡς δὲ ἡ ΒΓ πρὸς τὴν ΓΑ, οὕτως ἡ ΓΕ πρὸς τὴν ΕΔ, διʼ ἴσου ἄρα ὡς ἡ ΒΑ πρὸς τὴν ΑΓ, οὕτως ἡ ΓΔ πρὸς τὴν ΔΕ. τῶν ἄρα ἰσογωνίων τριγώνων ἀνάλογόν εἰσιν αἱ πλευραὶ αἱ περὶ τὰς ἴσας γωνίας καὶ ὁμόλογοι αἱ ὑπὸ τὰς ἴσας γωνίας ὑποτείνουσαι· ὅπερ ἔδει δεῖξαι.

[¶3] 5. If two triangles have their sides proportional, the triangles will be equiangular and will have those angles equal which the corresponding sides subtend. Let ABC, DEF be two triangles having their sides proportional, so that, as AB is to BC, so is DE to EF, as BC is to CA, so is EF to FD, and further, as BA is to AC, so is ED to DF; I say that the triangle ABC is equiangular with the triangle DEF, and they will have those angles equal which the corresponding sides subtend, namely the angle ABC to the angle DEF, the angle BCA to the angle EFD, and further the angle BAC to the angle EDF. For on the straight line EF, and at the points E, F on it, let there be constructed the angle FEG equal to the angle ABC, and the angle EFG equal to the angle ACB; [] therefore the remaining angle at A is equal to the remaining angle at G. [] Therefore the triangle ABC is equiangular with the triangle GEF. Therefore in the triangles ABC, GEF the sides about the equal angles are proportional, and those are corresponding sides which subtend the equal angles; [] therefore, as AB is to BC, so is GE to EF. But, as AB is to BC, so by hypothesis is DE to EF; therefore, as DE is to EF, so is GE to EF. [] Therefore each of the straight lines DE, GE has the same ratio to EF; therefore DE is equal to GE. [] For the same reason DF is also equal to GF. Since then DE is equal to EG, and EF is common, the two sides DE, EF are equal to the two sides GE, EF; and the base DF is equal to the base FG; therefore the angle DEF is equal to the angle GEF, [] and the triangle DEF is equal to the triangle GEF, and the remaining angles are equal to the remaining angles, namely those which the equal sides subtend. [] Therefore the angle DFE is also equal to the angle GFE, and the angle EDF to the angle EGF. And, since the angle FED is equal to the angle GEF, while the angle GEF is equal to the angle ABC, therefore the angle ABC is also equal to the angle DEF. For the same reason the angle ACB is also equal to the angle DFE, and further, the angle at A to the angle at D; therefore the triangle ABC is equiangular with the triangle DEF. Therefore etc. Q. E. D.

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

[¶4] 6. If two triangles have one angle equal to one angle and the sides about the equal angles proportional, the triangles will be equiangular and will have those angles equal which the corresponding sides subtend. Let ABC, DEF be two triangles having one angle BAC equal to one angle EDF and the sides about the equal angles proportional, so that, as BA is to AC, so is ED to DF; I say that the triangle ABC is equiangular with the triangle DEF, and will have the angle ABC equal to the angle DEF, and the angle ACB to the angle DFE. For on the straight line DF, and at the points D, F on it, let there be constructed the angle FDG equal to either of the angles BAC, EDF, and the angle DFG equal to the angle ACB; [] therefore the remaining angle at B is equal to the remaining angle at G. [] Therefore the triangle ABC is equiangular with the triangle DGF. Therefore, proportionally, as BA is to AC, so is GD to DF. [] But, by hypothesis, as BA is to AC, so also is ED to DF; therefore also, as ED is to DF, so is GD to DF. [] Therefore ED is equal to DG; [] and DF is common; therefore the two sides ED, DF are equal to the two sides GD, DF; and the angle EDF is equal to the angle GDF; therefore the base EF is equal to the base GF, and the triangle DEF is equal to the triangle DGF, and the remaining angles will be equal to the remaining angles, namely those which the equal sides subtend. [] Therefore the angle DFG is equal to the angle DFE, and the angle DGF to the angle DEF. But the angle DFG is equal to the angle ACB; therefore the angle ACB is also equal to the angle DFE. And, by hypothesis, the angle BAC is also equal to the angle EDF; therefore the remaining angle at B is also equal to the remaining angle at E; [] therefore the triangle ABC is equiangular with the triangle DEF. Therefore etc. Q. E. D.

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

[¶5] 7. If two triangles have one angle equal to one angle, the sides about other angles proportional, and the remaining angles either both less or both not less than a right angle, the triangles will be equiangular and will have those angles equal, the sides about which are proportional. Let ABC, DEF be two triangles having one angle equal to one angle, the angle BAC to the angle EDF, the sides about other angles ABC, DEF proportional, so that, as AB is to BC, so is DE to EF, and, first, each of the remaining angles at C, F less than a right angle; I say that the triangle ABC is equiangular with the triangle DEF, the angle ABC will be equal to the angle DEF, and the remaining angle, namely the angle at C, equal to the remaining angle, the angle at F. For, if the angle ABC is unequal to the angle DEF, one of them is greater. Let the angle ABC be greater; and on the straight line AB, and at the point B on it, let the angle ABG be constructed equal to the angle DEF. [] Then, since the angle A is equal to D, and the angle ABG to the angle DEF, therefore the remaining angle AGB is equal to the remaining angle DFE. [] Therefore the triangle ABG is equiangular with the triangle DEF. Therefore, as AB is to BG, so is DE to EF [] But, as DE is to EF, so by hypothesis is AB to BC; therefore AB has the same ratio to each of the straight lines BC, BG; [] therefore BC is equal to BG, [] so that the angle at C is also equal to the angle BGC. [] But, by hypothesis, the angle at C is less than a right angle; therefore the angle BGC is also less than a right angle; so that the angle AGB adjacent to it is greater than a right angle. [] And it was proved equal to the angle at F; therefore the angle at F is also greater than a right angle. But it is by hypothesis less than a right angle: which is absurd. Therefore the angle ABC is not unequal to the angle DEF; therefore it is equal to it. But the angle at A is also equal to the angle at D; therefore the remaining angle at C is equal to the remaining angle at F. [] Therefore the triangle ABC is equiangular with the triangle DEF. But, again, let each of the angles at C, F be supposed not less than a right angle; I say again that, in this case too, the triangle ABC is equiangular with the triangle DEF. For, with the same construction, we can prove similarly that BC is equal to BG; so that the angle at C is also equal to the angle BGC. [] But the angle at C is not less than a right angle; therefore neither is the angle BGC less than a right angle. Thus in the triangle BGC the two angles are not less than two right angles: which is impossible. [] Therefore, once more, the angle ABC is not unequal to the angle DEF; therefore it is equal to it. But the angle at A is also equal to the angle at D; therefore the remaining angle at C is equal to the remaining angle at F. [] Therefore the triangle ABC is equiangular with the triangle DEF. Therefore etc. Q. E. D.

> Greek: 7. ἐὰν δύο τρίγωνα μίαν γωνίαν μιᾷ γωνίᾳ ἴσην ἔχῃ, περὶ δὲ ἄλλας γωνίας τὰς πλευρὰς ἀνάλογον, τῶν δὲ λοιπῶν ἑκατέραν ἅμα ἤτοι ἐλάσσονα ἢ μὴ ἐλάσσονα ὀρθῆς, ἰσογώνια ἔσται τὰ τρίγωνα καὶ ἴσας ἕξει τὰς γωνίας, περὶ ἃς ἀνάλογόν εἰσιν αἱ πλευραί. ἔστω δύο τρίγωνα τὰ ΑΒΓ, ΔΕΖ μίαν γωνίαν μιᾷ γωνίᾳ ἴσην ἔχοντα τὴν ὑπὸ ΒΑΓ τῇ ὑπὸ ΕΔΖ, περὶ δὲ ἄλλας γωνίας τὰς ὑπὸ ΑΒΓ, ΔΕΖ τὰς πλευρὰς ἀνάλογον, ὡς τὴν ΑΒ πρὸς τὴν ΒΓ, οὕτως τὴν ΔΕ πρὸς τὴν ΕΖ, τῶν δὲ λοιπῶν τῶν πρὸς τοῖς Γ, Ζ πρότερον ἑκατέραν ἅμα ἐλάσσονα ὀρθῆς· λέγω, ὅτι ἰσογώνιόν ἐστι τὸ ΑΒΓ τρίγωνον τῷ ΔΕΖ τριγώνῳ, καὶ ἴση ἔσται ἡ ὑπὸ ΑΒΓ γωνία τῇ ὑπὸ ΔΕΖ, καὶ λοιπὴ δηλονότι ἡ πρὸς τῷ Γ λοιπῇ τῇ πρὸς τῷ Ζ ἴση. εἰ γὰρ ἄνισός ἐστιν ἡ ὑπὸ ΑΒΓ γωνία τῇ ὑπὸ ΔΕΖ, μία αὐτῶν μείζων ἐστίν. ἔστω μείζων ἡ ὑπὸ ΑΒΓ. καὶ συνεστάτω πρὸς τῇ ΑΒ εὐθείᾳ καὶ τῷ πρὸς αὐτῇ σημείῳ τῷ Β τῇ ὑπὸ ΔΕΖ γωνίᾳ ἴση ἡ ὑπὸ ΑΒΗ. καὶ ἐπεὶ ἴση ἐστὶν ἡ μὲν Α γωνία τῇ Δ, ἡ δὲ ὑπὸ ΑΒΗ τῇ ὑπὸ ΔΕΖ, λοιπὴ ἄρα ἡ ὑπὸ ΑΗΒ λοιπῇ τῇ ὑπὸ ΔΖΕ ἐστιν ἴση. ἰσογώνιον ἄρα ἐστὶ τὸ ΑΒΗ τρίγωνον τῷ ΔΕΖ τριγώνῳ. ἔστιν ἄρα ὡς ἡ ΑΒ πρὸς τὴν ΒΗ, οὕτως ἡ ΔΕ πρὸς τὴν ΕΖ. ὡς δὲ ἡ ΔΕ πρὸς τὴν ΕΖ, [οὕτως] ὑπόκειται ἡ ΑΒ πρὸς τὴν ΒΓ· ἡ ΑΒ ἄρα πρὸς ἑκατέραν τῶν ΒΓ, ΒΗ τὸν αὐτὸν ἔχει λόγον· ἴση ἄρα ἡ ΒΓ τῇ ΒΗ. ὥστε καὶ γωνία ἡ πρὸς τῷ Γ γωνίᾳ τῇ ὑπὸ ΒΗΓ ἐστιν ἴση. ἐλάττων δὲ ὀρθῆς ὑπόκειται ἡ πρὸς τῷ Γ· ἐλάττων ἄρα ἐστὶν ὀρθῆς καὶ ἡ ὑπὸ ΒΗΓ· ὥστε ἡ ἐφεξῆς αὐτῇ γωνία ἡ ὑπὸ ΑΗΒ μείζων ἐστὶν ὀρθῆς. καὶ ἐδείχθη ἴση οὖσα τῇ πρὸς τῷ Ζ· καὶ ἡ πρὸς τῷ Ζ ἄρα μείζων ἐστὶν ὀρθῆς. ὑπόκειται δὲ ἐλάσσων ὀρθῆς· ὅπερ ἐστὶν ἄτοπον. οὐκ ἄρα ἄνισός ἐστιν ἡ ὑπὸ ΑΒΓ γωνία τῇ ὑπὸ ΔΕΖ· ἴση ἄρα. ἔστι δὲ καὶ ἡ πρὸς τῷ Α ἴση τῇ πρὸς τῷ Δ· καὶ λοιπὴ ἄρα ἡ πρὸς τῷ Γ λοιπῇ τῇ πρὸς τῷ Ζ ἴση ἐστίν. ἰσογώνιον ἄρα ἐστὶ τὸ ΑΒΓ τρίγωνον τῷ ΔΕΖ τριγώνῳ. ἀλλὰ δὴ πάλιν ὑποκείσθω ἑκατέρα τῶν πρὸς τοῖς Γ, Ζ μὴ ἐλάσσων ὀρθῆς· λέγω πάλιν, ὅτι καὶ οὕτως ἐστὶν ἰσογώνιον τὸ ΑΒΓ τρίγωνον τῷ ΔΕΖ τριγώνῳ. τῶν γὰρ αὐτῶν κατασκευασθέντων ὁμοίως δείξομεν, ὅτι ἴση ἐστὶν ἡ ΒΓ τῇ ΒΗ· ὥστε καὶ γωνία ἡ πρὸς τῷ Γ τῇ ὑπὸ ΒΗΓ ἴση ἐστίν. οὐκ ἐλάττων δὲ ὀρθῆς ἡ πρὸς τῷ Γ· οὐκ ἐλάττων ἄρα ὀρθῆς οὐδὲ ἡ ὑπὸ ΒΗΓ. τριγώνου δὴ τοῦ ΒΗΓ αἱ δύο γωνίαι δύο ὀρθῶν οὔκ εἰσιν ἐλάττονες· ὅπερ ἐστὶν ἀδύνατον. οὐκ ἄρα πάλιν ἄνισός ἐστιν ἡ ὑπὸ ΑΒΓ γωνία τῇ ὑπὸ ΔΕΖ· ἴση ἄρα. ἔστι δὲ καὶ ἡ πρὸς τῷ Α τῇ πρὸς τῷ Δ ἴση· λοιπὴ ἄρα ἡ πρὸς τῷ Γ λοιπῇ τῇ πρὸς τῷ Ζ ἴση ἐστίν. ἰσογώνιον ἄρα ἐστὶ τὸ ΑΒΓ τρίγωνον τῷ ΔΕΖ τριγώνῳ. ἐὰν ἄρα δύο τρίγωνα μίαν γωνίαν μιᾷ γωνίᾳ ἴσην ἔχῃ, περὶ δὲ ἄλλας γωνίας τὰς πλευρὰς ἀνάλογον, τῶν δὲ λοιπῶν ἑκατέραν ἅμα ἐλάττονα ἢ μὴ ἐλάττονα ὀρθῆς, ἰσογώνια ἔσται τὰ τρίγωνα καὶ ἴσας ἕξει τὰς γωνίας, περὶ ἃς ἀνάλογόν εἰσιν αἱ πλευραί· ὅπερ ἔδει δεῖξαι.

[¶6] 8. If in a right-angled triangle a perpendicular be drawn from the right angle to the base, the triangles adjoining the perpendicular are similar both to the whole and to one another. Let ABC be a right-angled triangle having the angle BAC right, and let AD be drawn from A perpendicular to BC; I say that each of the triangles ABD, ADC is similar to the whole ABC and, further, they are similar to one another. For, since the angle BAC is equal to the angle ADB, for each is right, and the angle at B is common to the two triangles ABC and ABD, therefore the remaining angle ACB is equal to the remaining angle BAD; [] therefore the triangle ABC is equiangular with the triangle ABD. Therefore, as BC which subtends the right angle in the triangle ABC is to BA which subtends the right angle in the triangle ABD, so is AB itself which subtends the angle at C in the triangle ABC to BD which subtends the equal angle BAD in the triangle ABD, and so also is AC to AD which subtends the angle at B common to the two triangles. [] Therefore the triangle ABC is both equiangular to the triangle ABD and has the sides about the equal angles proportional. Therefore the triangle ABC is similar to the triangle ABD. [] Similarly we can prove that the triangle ABC is also similar to the triangle ADC; therefore each of the triangles ABD, ADC is similar to the whole ABC. I say next that the triangles ABD, ADC are also similar to one another. For, since the right angle BDA is equal to the right angle ADC, and moreover the angle BAD was also proved equal to the angle at C, therefore the remaining angle at B is also equal to the remaining angle DAC; [] therefore the triangle ABD is equiangular with the triangle ADC. Therefore, as BD which subtends the angle BAD in the triangle ABD is to DA which subtends the angle at C in the triangle ADC equal to the angle BAD, so is AD itself which subtends the angle at B in the triangle ABD to DC which subtends the angle DAC in the triangle ADC equal to the angle at B, and so also is BA to AC, these sides subtending the right angles; [] therefore the triangle ABD is similar to the triangle ADC. [] Therefore etc. Porism. From this it is clear that, if in a right-angled triangle a perpendicular be drawn from the right angle to the base, the straight line so drawn is a mean proportional between the segments of the base. Q. E. D.

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

[¶7] 9. From a given straight line to cut off a prescribed part. Let AB be the given straight line; thus it is required to cut off from AB a prescribed part. Let the third part be that prescribed. Let a straight line AC be drawn through from A containing with AB any angle; let a point D be taken at random on AC, and let DE, EC be made equal to AD. [] Let BC be joined, and through D let DF be drawn parallel to it. [] Then, since FD has been drawn parallel to BC, one of the sides of the triangle ABC, therefore, proportionally, as CD is to DA, so is BF to FA. [] But CD is double of DA; therefore BF is also double of FA; therefore BA is triple of AF. Therefore from the given straight line AB the prescribed third part AF has been cut off. Q. E. F.

> Greek: 9. τῆς δοθείσης εὐθείας τὸ προσταχθὲν μέρος ἀφελεῖν. ἔστω ἡ δοθεῖσα εὐθεῖα ἡ ΑΒ· δεῖ δὴ τῆς ΑΒ τὸ προσταχθὲν μέρος ἀφελεῖν. Ἐπιτετάχθω δὴ τὸ τρίτον. [καὶ] διήχθω τις ἀπὸ τοῦ α εὐθεῖα ἡ ΑΓ γωνίαν περιέχουσα μετὰ τῆς ΑΒ τυχοῦσαν· καὶ εἰλήφθω τυχὸν σημεῖον ἐπὶ τῆς ΑΓ τὸ Δ, καὶ κείσθωσαν τῇ ΑΔ ἴσαι αἱ ΔΕ, ΕΓ. καὶ ἐπεζεύχθω ἡ ΒΓ, καὶ διὰ τοῦ Δ παράλληλος αὐτῇ ἤχθω ἡ ΔΖ. ἐπεὶ οὖν τριγώνου τοῦ ΑΒΓ παρὰ μίαν τῶν πλευρῶν τὴν ΒΓ ἦκται ἡ ΖΔ, ἀνάλογον ἄρα ἐστὶν ὡς ἡ ΓΔ πρὸς τὴν ΔΑ, οὕτως ἡ ΒΖ πρὸς τὴν ΖΑ. διπλῆ δὲ ἡ ΓΔ τῆς ΔΑ· διπλῆ ἄρα καὶ ἡ ΒΖ τῆς ΖΑ· τριπλῆ ἄρα ἡ ΒΑ τῆς ΑΖ. τῆς ἄρα δοθείσης εὐθείας τῆς ΑΒ τὸ ἐπιταχθὲν τρίτον μέρος ἀφῄρηται τὸ ΑΖ· ὅπερ ἔδει ποιῆσαι.

[¶8] 10. To cut a given uncut straight line similarly to a given cut straight line. Let AB be the given uncut straight line, and AC the straight line cut at the points D, E; and let them be so placed as to contain any angle; let CB be joined, and through D, E let DF, EG be drawn parallel to BC, and through D let DHK be drawn parallel to AB. [] Therefore each of the figures FH, HB is a parallelogram; therefore DH is equal to FG and HK to GB. [] Now, since the straight line HE has been drawn parallel to KC, one of the sides of the triangle DKC, therefore, proportionally, as CE is to ED, so is KH to HD. [] But KH is equal to BG, and HD to GF; therefore, as CE is to ED, so is BG to GF. Again, since FD has been drawn parallel to GE, one of the sides of the triangle AGE, therefore, proportionally, as ED is to DA, so is GF to FA. [] But it was also proved that, as CE is to ED, so is BG to GF; therefore, as CE is to ED, so is BG to GF, and, as ED is to DA, so is GF to FA. Therefore the given uncut straight line AB has been cut similarly to the given cut straight line AC. Q. E. F.

> Greek: 10. τὴν δοθεῖσαν εὐθεῖαν ἄτμητον τῇ δοθείσῃ τετμημένῃ ὁμοίως τεμεῖν. ἔστω ἡ μὲν δοθεῖσα εὐθεῖα ἄτμητος ἡ ΑΒ, ἡ δὲ τετμημένη ἡ ΑΓ κατὰ τὰ Δ, Ε σημεῖα, καὶ κείσθωσαν ὥστε γωνίαν τυχοῦσαν περιέχειν, καὶ ἐπεζεύχθω ἡ ΓΒ, καὶ διὰ τῶν Δ, Ε τῇ ΒΓ παράλληλοι ἤχθωσαν αἱ ΔΖ, ΕΗ, διὰ δὲ τοῦ Δ τῇ ΑΒ παράλληλος ἤχθω ἡ ΔΘΚ. παραλληλόγραμμον ἄρα ἐστὶν ἑκάτερον τῶν ΖΘ, ΘΒ· ἴση ἄρα ἡ μὲν ΔΘ τῇ ΖΗ, ἡ δὲ ΘΚ τῇ ΗΒ. καὶ ἐπεὶ τριγώνου τοῦ ΔΚΓ παρὰ μίαν τῶν πλευρῶν τὴν ΚΓ εὐθεῖα ἦκται ἡ ΘΕ, ἀνάλογον ἄρα ἐστὶν ὡς ἡ ΓΕ πρὸς τὴν ΕΔ, οὕτως ἡ ΚΘ πρὸς τὴν ΘΔ. ἴση δὲ ἡ μὲν ΚΘ τῇ ΒΗ, ἡ δὲ ΘΔ τῇ ΗΖ. ἔστιν ἄρα ὡς ἡ ΓΕ πρὸς τὴν ΕΔ, οὕτως ἡ ΒΗ πρὸς τὴν ΗΖ. πάλιν, ἐπεὶ τριγώνου τοῦ ΑΗΕ παρὰ μίαν τῶν πλευρῶν τὴν ΗΕ ἦκται ἡ ΖΔ, ἀνάλογον ἄρα ἐστὶν ὡς ἡ ΕΔ πρὸς τὴν ΔΑ, οὕτως ἡ ΗΖ πρὸς τὴν ΖΑ. ἐδείχθη δὲ καὶ ὡς ἡ ΓΕ πρὸς τὴν ΕΔ, οὕτως ἡ ΒΗ πρὸς τὴν ΗΖ· ἔστιν ἄρα ὡς μὲν ἡ ΓΕ πρὸς τὴν ΕΔ, οὕτως ἡ ΒΗ πρὸς τὴν ΗΖ, ὡς δὲ ἡ ΕΔ πρὸς τὴν ΔΑ, οὕτως ἡ ΗΖ πρὸς τὴν ΖΑ. ἡ ἄρα δοθεῖσα εὐθεῖα ἄτμητος ἡ ΑΒ τῇ δοθείσῃ εὐθείᾳ τετμημένῃ τῇ ΑΓ ὁμοίως τέτμηται· ὅπερ ἔδει ποιῆσαι.

[¶9] 11. To two given straight lines to find a third proportional. Let BA, AC be the two given straight lines, and let them be placed so as to contain any angle; thus it is required to find a third proportional to BA, AC. For let them be produced to the points D, E, and let BD be made equal to AC; [] let BC be joined, and through D let DE be drawn parallel to it. [] Since, then, BC has been drawn parallel to DE, one of the sides of the triangle ADE, proportionally, as AB is to BD, so is AC to CE. [] But BD is equal to AC; therefore, as AB is to AC, so is AC to CE. Therefore to two given straight lines AB, AC a third proportional to them, CE, has been found. Q. E. F.

> Greek: 11. δύο δοθεισῶν εὐθειῶν τρίτην ἀνάλογον προσευρεῖν. ἔστωσαν αἱ δοθεῖσαι [δύο εὐθεῖαι] αἱ ΒΑ, ΑΓ καὶ κείσθωσαν γωνίαν περιέχουσαι τυχοῦσαν. δεῖ δὴ τῶν ΒΑ, ΑΓ τρίτην ἀνάλογον προσευρεῖν. ἐκβεβλήσθωσαν γὰρ ἐπὶ τὰ Δ, Ε σημεῖα, καὶ κείσθω τῇ ΑΓ ἴση ἡ ΒΔ, καὶ ἐπεζεύχθω ἡ ΒΓ, καὶ διὰ τοῦ Δ παράλληλος αὐτῇ ἤχθω ἡ ΔΕ. ἐπεὶ οὖν τριγώνου τοῦ ΑΔΕ παρὰ μίαν τῶν πλευρῶν τὴν ΔΕ ἦκται ἡ ΒΓ, ἀνάλογόν ἐστιν ὡς ἡ ΑΒ πρὸς τὴν ΒΔ, οὕτως ἡ ΑΓ πρὸς τὴν ΓΕ. ἴση δὲ ἡ ΒΔ τῇ ΑΓ. ἔστιν ἄρα ὡς ἡ ΑΒ πρὸς τὴν ΑΓ, οὕτως ἡ ΑΓ πρὸς τὴν ΓΕ. δύο ἄρα δοθεισῶν εὐθειῶν τῶν ΑΒ, ΑΓ τρίτη ἀνάλογον αὐταῖς προσεύρηται ἡ ΓΕ· ὅπερ ἔδει ποιῆσαι.

[¶10] 12. To three given straight lines to find a fourth proportional. Let A, B, C be the three given straight lines; thus it is required to find a fourth proportional to A, B, C. Let two straight lines DE, DF be set out containing any angle EDF; let DG be made equal to A, GE equal to B, and further DH equal to C; let GH be joined, and let EF be drawn through E parallel to it. [] Since, then, GH has been drawn parallel to EF, one of the sides of the triangle DEF, therefore, as DG is to GE, so is DH to HF. [] But DG is equal to A, GE to B, and DH to C; therefore, as A is to B, so is C to HF. Therefore to the three given straight lines A, B, C a fourth proportional HF has been found. Q. E. F.

> Greek: 12. τριῶν δοθεισῶν εὐθειῶν τετάρτην ἀνάλογον προσευρεῖν. ἔστωσαν αἱ δοθεῖσαι τρεῖς εὐθεῖαι αἱ Α, Β, Γ· δεῖ δὴ τῶν Α, Β, Γ τετάρτην ἀνάλογον προσευρεῖν. Ἐκκείσθωσαν δύο εὐθεῖαι αἱ ΔΕ, ΔΖ γωνίαν περιέχουσαι [τυχοῦσαν] τὴν ὑπὸ ΕΔΖ· καὶ κείσθω τῇ μὲν Α ἴση ἡ ΔΗ, τῇ δὲ Β ἴση ἡ ΗΕ, καὶ ἔτι τῇ Γ ἴση ἡ ΔΘ· καὶ ἐπιζευχθείσης τῆς ΗΘ παράλληλος αὐτῇ ἤχθω διὰ τοῦ Ε ἡ ΕΖ. ἐπεὶ οὖν τριγώνου τοῦ ΔΕΖ παρὰ μίαν τὴν ΕΖ ἦκται ἡ ΗΘ, ἔστιν ἄρα ὡς ἡ ΔΗ πρὸς τὴν ΗΕ, οὕτως ἡ ΔΘ πρὸς τὴν ΘΖ. ἴση δὲ ἡ μὲν ΔΗ τῇ Α, ἡ δὲ ΗΕ τῇ Β, ἡ δὲ ΔΘ τῇ Γ· ἔστιν ἄρα ὡς ἡ Α πρὸς τὴν Β, οὕτως ἡ Γ πρὸς τὴν ΘΖ. τριῶν ἄρα δοθεισῶν εὐθειῶν τῶν Α, Β, Γ τετάρτη ἀνάλογον προσεύρηται ἡ ΘΖ· ὅπερ ἔδει ποιῆσαι.

[¶11] 13. To two given straight lines to find a mean proportional. Let AB, BC be the two given straight lines; thus it is required to find a mean proportional to AB, BC. Let them be placed in a straight line, and let the semicircle ADC be described on AC; let BD be drawn from the point B at right angles to the straight line AC, and let AD, DC be joined. Since the angle ADC is an angle in a semicircle, it is right. [] And, since, in the right-angled triangle ADC, DB has been drawn from the right angle perpendicular to the base, therefore DB is a mean proportional between the segments of the base, AB, BC. [] Therefore to the two given straight lines AB, BC a mean proportional DB has been found. Q. E. F.

> Greek: 13. δύο δοθεισῶν εὐθειῶν μέσην ἀνάλογον προσευρεῖν. ἔστωσαν αἱ δοθεῖσαι δύο εὐθεῖαι αἱ ΑΒ, ΒΓ· δεῖ δὴ τῶν ΑΒ, ΒΓ μέσην ἀνάλογον προσευρεῖν. κείσθωσαν ἐπʼ εὐθείας, καὶ γεγράφθω ἐπὶ τῆς ΑΓ ἡμικύκλιον τὸ ΑΔΓ, καὶ ἤχθω ἀπὸ τοῦ Β σημείου τῇ ΑΓ εὐθείᾳ πρὸς ὀρθὰς ἡ ΒΔ, καὶ ἐπεζεύχθωσαν αἱ ΑΔ, ΔΓ. ἐπεὶ ἐν ἡμικυκλίῳ γωνία ἐστὶν ἡ ὑπὸ ΑΔΓ, ὀρθή ἐστιν. καὶ ἐπεὶ ἐν ὀρθογωνίῳ τριγώνῳ τῷ ΑΔΓ ἀπὸ τῆς ὀρθῆς γωνίας ἐπὶ τὴν βάσιν κάθετος ἦκται ἡ ΔΒ, ἡ ΔΒ ἄρα τῶν τῆς βάσεως τμημάτων τῶν ΑΒ, ΒΓ μέση ἀνάλογόν ἐστιν. δύο ἄρα δοθεισῶν εὐθειῶν τῶν ΑΒ, ΒΓ μέση ἀνάλογον προσεύρηται ἡ ΔΒ· ὅπερ ἔδει ποιῆσαι.

[¶12] 14. In equal and equiangular parallelograms the sides about the equal angles are reciprocally proportional; and equiangular parallelograms in which the sides about the equal angles are reciprocally proportional are equal. Let AB, BC be equal and equiangular parallelograms having the angles at B equal, and let DB, BE be placed in a straight line; therefore FB, BG are also in a straight line. [] I say that, in AB, BC, the sides about the equal angles are reciprocally proportional, that is to say, that, as DB is to BE, so is GB to BF. For let the parallelogram FE be completed. Since, then, the parallelogram AB is equal to the parallelogram BC, and FE is another area, therefore, as AB is to FE, so is BC to FE. [] But, as AB is to FE, so is DB to BE, [] and, as BC is to FE, so is GB to BF. [id.] therefore also, as DB is to BE, so is GB to BF. [] Therefore in the parallelograms AB, BC the sides about the equal angles are reciprocally proportional. Next, let GB be to BF as DB to BE; I say that the parallelogram AB is equal to the parallelogram BC. For since, as DB is to BE, so is GB to BF, while, as DB is to BE, so is the parallelogram AB to the parallelogram FE, [] and, as GB is to BF, so is the parallelogram BC to the parallelogram FE, [] therefore also, as AB is to FE, so is BC to FE; [] therefore the parallelogram AB is equal to the parallelogram BC. [] Therefore etc. Q. E. D.

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