23. Equiangular parallelograms have to one another the ratio compounded of the ratios of their sides. Let AC, CF be equiangular parallelograms having the angle BCD equal to the angle ECG; I say that the parallelogram AC has to the parallelogram CF the ratio compounded of the ratios of the sides. For let them be placed so that BC is in a straight line with CG; therefore DC is also in a straight line with CE. Let the parallelogram DG be completed; let a straight line K be set out, and let it be contrived that, as BC is to CG, so is K to L, and, as DC is to CE, so is L to M. [] Then the ratios of K to L and of L to M are the same as the ratios of the sides, namely of BC to CG and of DC to CE. But the ratio of K to M is compounded of the ratio of K to L and of that of L to M; so that K has also to M the ratio compounded of the ratios of the sides. Now since, as BC is to CG, so is the parallelogram AC to the parallelogram CH, [] while, as BC is to CG, so is K to L, therefore also, as K is to L, so is AC to CH. [] Again, since, as DC is to CE, so is the parallelogram CH to CF, [] while, as DC is to CE, so is L to M, therefore also, as L is to M, so is the parallelogram CH to the parallelogram CF. [] Since then it was proved that, as K is to L, so is the parallelogram AC to the parallelogram CH, and, as L is to M, so is the parallelogram CH to the parallelogram CF, therefore, ex aequali, as K is to M, so is AC to the parallelogram CF. But K has to M the ratio compounded of the ratios of the sides; therefore AC also has to CF the ratio compounded of the ratios of the sides. Therefore etc. Q. E. D.
23. τὰ ἰσογώνια παραλληλόγραμμα πρὸς ἄλληλα λόγον ἔχει τὸν συγκείμενον ἐκ τῶν πλευρῶν. ἔστω ἰσογώνια παραλληλόγραμμα τὰ ΑΓ, ΓΖ ἴσην ἔχοντα τὴν ὑπὸ ΒΓΔ γωνίαν τῇ ὑπὸ ΕΓΗ· λέγω, ὅτι τὸ ΑΓ παραλληλόγραμμον πρὸς τὸ ΓΖ παραλληλόγραμμον λόγον ἔχει τὸν συγκείμενον ἐκ τῶν πλευρῶν. κείσθω γὰρ ὥστε ἐπʼ εὐθείας εἶναι τὴν ΒΓ τῇ ΓΗ· ἐπʼ εὐθείας ἄρα ἐστὶ καὶ ἡ ΔΓ τῇ ΓΕ. καὶ συμπεπληρώσθω τὸ ΔΗ παραλληλόγραμμον, καὶ ἐκκείσθω τις εὐθεῖα ἡ Κ, καὶ γεγονέτω ὡς μὲν ἡ ΒΓ πρὸς τὴν ΓΗ, οὕτως ἡ Κ πρὸς τὴν Λ, ὡς δὲ ἡ ΔΓ πρὸς τὴν ΓΕ, οὕτως ἡ Λ πρὸς τὴν Μ. οἱ ἄρα λόγοι τῆς τε Κ πρὸς τὴν Λ καὶ τῆς Λ πρὸς τὴν Μ οἱ αὐτοί εἰσι τοῖς λόγοις τῶν πλευρῶν, τῆς τε ΒΓ πρὸς τὴν ΓΗ καὶ τῆς ΔΓ πρὸς τὴν ΓΕ. ἀλλʼ ὁ τῆς Κ πρὸς Μ λόγος σύγκειται ἔκ τε τοῦ τῆς Κ πρὸς Λ λόγου καὶ τοῦ τῆς Λ πρὸς Μ· ὥστε καὶ ἡ Κ πρὸς τὴν Μ λόγον ἔχει τὸν συγκείμενον ἐκ τῶν πλευρῶν. καὶ ἐπεί ἐστιν ὡς ἡ ΒΓ πρὸς τὴν ΓΗ, οὕτως τὸ ΑΓ παραλληλόγραμμον πρὸς τὸ ΓΘ, ἀλλʼ ὡς ἡ ΒΓ πρὸς τὴν ΓΗ, οὕτως ἡ Κ πρὸς τὴν λ, καὶ ὡς ἄρα ἡ Κ πρὸς τὴν Λ, οὕτως τὸ ΑΓ πρὸς τὸ ΓΘ. πάλιν, ἐπεί ἐστιν ὡς ἡ ΔΓ πρὸς τὴν ΓΕ, οὕτως τὸ ΓΘ παραλληλόγραμμον πρὸς τὸ ΓΖ, ἀλλʼ ὡς ἡ ΔΓ πρὸς τὴν ΓΕ, οὕτως ἡ Λ πρὸς τὴν Μ, καὶ ὡς ἄρα ἡ Λ πρὸς τὴν Μ, οὕτως τὸ ΓΘ παραλληλόγραμμον πρὸς τὸ ΓΖ παραλληλόγραμμον. ἐπεὶ οὖν ἐδείχθη, ὡς μὲν ἡ Κ πρὸς τὴν Λ, οὕτως τὸ ΑΓ παραλληλόγραμμον πρὸς τὸ ΓΘ παραλληλόγραμμον, ὡς δὲ ἡ Λ πρὸς τὴν Μ, οὕτως τὸ ΓΘ παραλληλόγραμμον πρὸς τὸ ΓΖ παραλληλόγραμμον, διʼ ἴσου ἄρα ἐστὶν ὡς ἡ Κ πρὸς τὴν Μ, οὕτως τὸ ΑΓ πρὸς τὸ ΓΖ παραλληλόγραμμον. ἡ δὲ Κ πρὸς τὴν Μ λόγον ἔχει τὸν συγκείμενον ἐκ τῶν πλευρῶν· καὶ τὸ ΑΓ ἄρα πρὸς τὸ ΓΖ λόγον ἔχει τὸν συγκείμενον ἐκ τῶν πλευρῶν. τὰ ἄρα ἰσογώνια παραλληλόγραμμα πρὸς ἄλληλα λόγον ἔχει τὸν συγκείμενον ἐκ τῶν πλευρῶν· ὅπερ ἔδει δεῖξαι.
24. In any parallelogram the parallelograms about the diameter are similar both to the whole and to one another. Let ABCD be a parallelogram, and AC its diameter, and let EG, HK be parallelograms about AC; I say that each of the parallelograms EG, HK is similar both to the whole ABCD and to the other. For, since EF has been drawn parallel to BC, one of the sides of the triangle ABC, proportionally, as BE is to EA, so is CF to FA. [] Again, since FG has been drawn parallel to CD, one of the sides of the triangle ACD, proportionally, as CF is to FA, so is DG to GA. [] But it was proved that, as CF is to FA, so also is BE to EA; therefore also, as BE is to EA, so is DG to GA, and therefore, componendo, as BA is to AE, so is DA to AG, [] and, alternately, as BA is to AD, so is EA to AG. [] Therefore in the parallelograms ABCD, EG, the sides about the common angle BAD are proportional. And, since GF is parallel to DC, the angle AFG is equal to the angle DCA; and the angle DAC is common to the two triangles ADC, AGF; therefore the triangle ADC is equiangular with the triangle AGF. For the same reason the triangle ACB is also equiangular with the triangle AFE, and the whole parallelogram ABCD is equiangular with the parallelogram EG. Therefore, proportionally, as AD is to DC, so is AG to GF, as DC is to CA, so is GF to FA, as AC is to CB, so is AF to FE, and further, as CB is to BA, so is FE to EA. And, since it was proved that, as DC is to CA, so is GF to FA, and, as AC is to CB, so is AF to FE, therefore, ex aequali, as DC is to CB, so is GF to FE. [] Therefore in the parallelograms ABCD, EG the sides about the equal angles are proportional; therefore the parallelogram ABCD is similar to the parallelogram EG. [] For the same reason the parallelogram ABCD is also similar to the parallelogram KH; therefore each of the parallelograms EG, HK is similar to ABCD. But figures similar to the same rectilineal figure are also similar to one another; [] therefore the parallelogram EG is also similar to the parallelogram HK. Therefore etc. Q. E. D.
24. παντὸς παραλληλογράμμου τὰ περὶ τὴν διάμετρον παραλληλόγραμμα ὅμοιά ἐστι τῷ τε ὅλῳ καὶ ἀλλήλοις. ἔστω παραλληλόγραμμον τὸ ΑΒΓΔ, διάμετρος δὲ αὐτοῦ ἡ ΑΓ, περὶ δὲ τὴν ΑΓ παραλληλόγραμμα ἔστω τὰ ΕΗ, ΘΚ· λέγω, ὅτι ἑκάτερον τῶν ΕΗ, ΘΚ παραλληλογράμμων ὅμοιόν ἐστι ὅλῳ τῷ ΑΒΓΔ καὶ ἀλλήλοις. ἐπεὶ γὰρ τριγώνου τοῦ ΑΒΓ παρὰ μίαν τῶν πλευρῶν τὴν ΒΓ ἦκται ἡ ΕΖ, ἀνάλογόν ἐστιν ὡς ἡ ΒΕ πρὸς τὴν ΕΑ, οὕτως, ἡ ΓΖ πρὸς τὴν ΖΑ. πάλιν, ἐπεὶ τριγώνου τοῦ ΑΓΔ παρὰ μίαν τὴν ΓΔ ἦκται ἡ ΖΗ, ἀνάλογόν ἐστιν ὡς ἡ ΓΖ πρὸς τὴν ΖΑ, οὕτως ἡ ΔΗ πρὸς τὴν ΗΑ. ἀλλʼ ὡς ἡ ΓΖ πρὸς τὴν ΖΑ, οὕτως ἐδείχθη καὶ ἡ ΒΕ πρὸς τὴν ΕΑ· καὶ ὡς ἄρα ἡ ΒΕ πρὸς τὴν ΕΑ, οὕτως ἡ ΔΗ πρὸς τὴν ΗΑ, καὶ συνθέντι ἄρα ὡς ἡ ΒΑ πρὸς ΑΕ, οὕτως ἡ ΔΑ πρὸς ΑΗ, καὶ ἐναλλὰξ ὡς ἡ ΒΑ πρὸς τὴν ΑΔ, οὕτως ἡ ΕΑ πρὸς τὴν ΑΗ. τῶν ἄρα ΑΒΓΔ, ΕΗ παραλληλογράμμων ἀνάλογόν εἰσιν αἱ πλευραὶ αἱ περὶ τὴν κοινὴν γωνίαν τὴν ὑπὸ ΒΑΔ. καὶ ἐπεὶ παράλληλός ἐστιν ἡ ΗΖ τῇ ΔΓ, ἴση ἐστὶν ἡ μὲν ὑπὸ ΑΖΗ γωνία τῇ ὑπὸ ΔΓΑ· καὶ κοινὴ τῶν δύο τριγώνων τῶν ΑΔΓ, ΑΗΖ ἡ ὑπὸ ΔΑΓ γωνία· ἰσογώνιον ἄρα ἐστὶ τὸ ΑΔΓ τρίγωνον τῷ ΑΗΖ τριγώνῳ. διὰ τὰ αὐτὰ δὴ καὶ τὸ ΑΓΒ τρίγωνον ἰσογώνιόν ἐστι τῷ ΑΖΕ τριγώνῳ, καὶ ὅλον τὸ ΑΒΓΔ παραλληλόγραμμον τῷ ΕΗ παραλληλογράμμῳ ἰσογώνιόν ἐστιν. ἀνάλογον ἄρα ἐστὶν ὡς ἡ ΑΔ πρὸς τὴν ΔΓ, οὕτως ἡ ΑΗ πρὸς τὴν ΗΖ, ὡς δὲ ἡ ΔΓ πρὸς τὴν ΓΑ, οὕτως ἡ ΗΖ πρὸς τὴν ΖΑ, ὡς δὲ ἡ ΑΓ πρὸς τὴν ΓΒ, οὕτως ἡ ΑΖ πρὸς τὴν ΖΕ, καὶ ἔτι ὡς ἡ ΓΒ πρὸς τὴν ΒΑ, οὕτως ἡ ΖΕ πρὸς τὴν ΕΑ. καὶ ἐπεὶ ἐδείχθη ὡς μὲν ἡ ΔΓ πρὸς τὴν ΓΑ, οὕτως ἡ ΗΖ πρὸς τὴν ΖΑ, ὡς δὲ ἡ ΑΓ πρὸς τὴν ΓΒ, οὕτως ἡ ΑΖ πρὸς τὴν ΖΕ, διʼ ἴσου ἄρα ἐστὶν ὡς ἡ ΔΓ πρὸς τὴν ΓΒ, οὕτως ἡ ΗΖ πρὸς τὴν ΖΕ. τῶν ἄρα ΑΒΓΔ, ΕΗ παραλληλογράμμων ἀνάλογόν εἰσιν αἱ πλευραὶ αἱ περὶ τὰς ἴσας γωνίας· ὅμοιον ἄρα ἐστὶ τὸ ΑΒΓΔ παραλληλόγραμμον τῷ ΕΗ παραλληλογράμμῳ. διὰ τὰ αὐτὰ δὴ τὸ ΑΒΓΔ παραλληλόγραμμον καὶ τῷ ΚΘ παραλληλογράμμῳ ὅμοιόν ἐστιν· ἑκάτερον ἄρα τῶν ΕΗ, ΘΚ παραλληλογράμμων τῷ ΑΒΓΔ [παραλληλογράμμῳ] ὅμοιόν ἐστιν. τὰ δὲ τῷ αὐτῷ εὐθυγράμμῳ ὅμοια καὶ ἀλλήλοις ἐστὶν ὅμοια· καὶ τὸ ΕΗ ἄρα παραλληλόγραμμον τῷ ΘΚ παραλληλογράμμῳ ὅμοιόν ἐστιν. παντὸς ἄρα παραλληλογράμμου τὰ περὶ τὴν διάμετρον παραλληλόγραμμα ὅμοιά ἐστι τῷ τε ὅλῳ καὶ ἀλλήλοις· ὅπερ ἔδει δεῖξαι.
25. To construct one and the same figure similar to a given rectilineal figure and equal to another given rectilineal figure. Let ABC be the given rectilineal figure to which the figure to be constructed must be similar, and D that to which it must be equal; thus it is required to construct one and the same figure similar to ABC and equal to D. Let there be applied to BC the parallelogram BE equal to the triangle ABC [], and to CE the parallelogram CM equal to D in the angle FCE which is equal to the angle CBL. [] Therefore BC is in a straight line with CF, and LE with EM. Now let GH be taken a mean proportional to BC, CF [], and on GH let KGH be described similar and similarly situated to ABC. [] Then, since, as BC is to GH, so is GH to CF, and, if three straight lines be proportional, as the first is to the third, so is the figure on the first to the similar and similarly situated figure described on the second, [] therefore, as BC is to CF, so is the triangle ABC to the triangle KGH. But, as BC is to CF, so also is the parallelogram BE to the parallelogram EF. [] Therefore also, as the triangle ABC is to the triangle KGH, so is the parallelogram BE to the parallelogram EF; therefore, alternately, as the triangle ABC is to the parallelogram BE, so is the triangle KGH to the parallelogram EF. [] But the triangle ABC is equal to the parallelogram BE; therefore the triangle KGH is also equal to the parallelogram EF. But the parallelogram EF is equal to D; therefore KGH is also equal to D. And KGH is also similar to ABC. Therefore one and the same figure KGH has been constructed similar to the given rectilineal figure ABC and equal to the other given figure D. Q. E. D.
25. τῷ δοθέντι εὐθυγράμμῳ ὅμοιον καὶ ἄλλῳ τῷ δοθέντι ἴσον τὸ αὐτὸ συστήσασθαι. ἔστω τὸ μὲν δοθὲν εὐθύγραμμον, ᾧ δεῖ ὅμοιον συστήσασθαι, τὸ ΑΒΓ, ᾧ δὲ δεῖ ἴσον, τὸ Δ· δεῖ δὴ τῷ μὲν ΑΒΓ ὅμοιον, τῷ δὲ Δ ἴσον τὸ αὐτὸ συστήσασθαι. παραβεβλήσθω γὰρ παρὰ μὲν τὴν ΒΓ τῷ ΑΒΓ τριγώνῳ ἴσον παραλληλόγραμμον τὸ ΒΕ, παρὰ δὲ τὴν ΓΕ τῷ Δ ἴσον παραλληλόγραμμον τὸ ΓΜ ἐν γωνίᾳ τῇ ὑπὸ ΖΓΕ, ἥ ἐστιν ἴση τῇ ὑπὸ ΓΒΛ. ἐπʼ εὐθείας ἄρα ἐστὶν ἡ μὲν ΒΓ τῇ ΓΖ, ἡ δὲ ΛΕ τῇ ΕΜ. καὶ εἰλήφθω τῶν ΒΓ, ΓΖ μέση ἀνάλογον ἡ ΗΘ, καὶ ἀναγεγράφθω ἀπὸ τῆς ΗΘ τῷ ΑΒΓ ὅμοιόν τε καὶ ὁμοίως κείμενον τὸ ΚΗΘ. καὶ ἐπεί ἐστιν ὡς ἡ ΒΓ πρὸς τὴν ΗΘ, οὕτως ἡ ΗΘ πρὸς τὴν ΓΖ, ἐὰν δὲ τρεῖς εὐθεῖαι ἀνάλογον ὦσιν, ἔστιν ὡς ἡ πρώτη πρὸς τὴν τρίτην, οὕτως τὸ ἀπὸ τῆς πρώτης εἶδος πρὸς τὸ ἀπὸ τῆς δευτέρας τὸ ὅμοιον καὶ ὁμοίως ἀναγραφόμενον, ἔστιν ἄρα ὡς ἡ ΒΓ πρὸς τὴν ΓΖ, οὕτως τὸ ΑΒΓ τρίγωνον πρὸς τὸ ΚΗΘ τρίγωνον. ἀλλὰ καὶ ὡς ἡ ΒΓ πρὸς τὴν ΓΖ, οὕτως τὸ ΒΕ παραλληλόγραμμον πρὸς τὸ ΕΖ παραλληλόγραμμον. καὶ ὡς ἄρα τὸ ΑΒΓ τρίγωνον πρὸς τὸ ΚΗΘ τρίγωνον, οὕτως τὸ ΒΕ παραλληλόγραμμον πρὸς τὸ ΕΖ παραλληλόγραμμον· ἐναλλὰξ ἄρα ὡς τὸ ΑΒΓ τρίγωνον πρὸς τὸ ΒΕ παραλληλόγραμμον, οὕτως τὸ ΚΗΘ τρίγωνον πρὸς τὸ ΕΖ παραλληλόγραμμον. ἴσον δὲ τὸ ΑΒΓ τρίγωνον τῷ ΒΕ παραλληλογράμμῳ· ἴσον ἄρα καὶ τὸ ΚΗΘ τρίγωνον τῷ ΕΖ παραλληλογράμμῳ. ἀλλὰ τὸ ΕΖ παραλληλόγραμμον τῷ Δ ἐστιν ἴσον· καὶ τὸ ΚΗΘ ἄρα τῷ Δ ἐστιν ἴσον. ἔστι δὲ τὸ ΚΗΘ καὶ τῷ ΑΒΓ ὅμοιον. τῷ ἄρα δοθέντι εὐθυγράμμῳ τῷ ΑΒΓ ὅμοιον καὶ ἄλλῳ τῷ δοθέντι τῷ Δ ἴσον τὸ αὐτὸ συνέσταται τὸ ΚΗΘ· ὅπερ ἔδει ποιῆσαι.
26. If from a parallelogram there be taken away a parallelogram similar and similarly situated to the whole and having a common angle with it, it is about the same diameter with the whole For from the parallelogram ABCD let there be taken away the parallelogram AF similar and similarly situated to ABCD, and having the angle DAB common with it; I say that ABCD is about the same diameter with AF. For suppose it is not, but, if possible, let AHC be the diameter lt of ABCD gt, let GF be produced and carried through to H, and let HK be drawn through H parallel to either of the straight lines AD, BC. [] Since, then, ABCD is about the same diameter with KG, therefore, as DA is to AB, so is GA to AK. [] But also, because of the similarity of ABCD, EG, as DA is to AB, so is GA to AE; therefore also, as GA is to AK, so is GA to AE. [] Therefore GA has the same ratio to each of the straight lines AK, AE. Therefore AE is equal to AK [], the less to the greater: which is impossible. Therefore ABCD cannot but be about the same diameter with AF; therefore the parallelogram ABCD is about the same diameter with the parallelogram AF. Therefore etc. Q. E. D.
26. ἐὰν ἀπὸ παραλληλογράμμου παραλληλόγραμμον ἀφαιρεθῇ ὅμοιόν τε τῷ ὅλῳ καὶ ὁμοίως κείμενον κοινὴν γωνίαν ἔχον αὐτῷ, περὶ τὴν αὐτὴν διάμετρόν ἐστι τῷ ὅλῳ. ἀπὸ γὰρ παραλληλογράμμου τοῦ ΑΒΓΔ παραλληλόγραμμον ἀφῃρήσθω τὸ ΑΖ ὅμοιον τῷ ΑΒΓΔ καὶ ὁμοίως κείμενον κοινὴν γωνίαν ἔχον αὐτῷ τὴν ὑπὸ ΔΑΒ· λέγω, ὅτι περὶ τὴν αὐτὴν διάμετρόν ἐστι τὸ ΑΒΓΔ τῷ ΑΖ. μὴ γάρ, ἀλλʼ εἰ δυνατόν, ἔστω [αὐτῶν] διάμετρος ἡ ΑΘΓ, καὶ ἐκβληθεῖσα ἡ ΗΖ διήχθω ἐπὶ τὸ Θ, καὶ ἤχθω διὰ τοῦ Θ ὁποτέρᾳ τῶν ΑΔ, ΒΓ παράλληλος ἡ ΘΚ. ἐπεὶ οὖν περὶ τὴν αὐτὴν διάμετρόν ἐστι τὸ ΑΒΓΔ τῷ ΚΗ, ἔστιν ἄρα ὡς ἡ ΔΑ πρὸς τὴν ΑΒ, οὕτως ἡ ΗΑ πρὸς τὴν ΑΚ. ἔστι δὲ καὶ διὰ τὴν ὁμοιότητα τῶν ΑΒΓΔ, ΕΗ καὶ ὡς ἡ ΔΑ πρὸς τὴν ΑΒ, οὕτως ἡ ΗΑ πρὸς τὴν ΑΕ· καὶ ὡς ἄρα ἡ ΗΑ πρὸς τὴν ΑΚ, οὕτως ἡ ΗΑ πρὸς τὴν ΑΕ. ἡ ΗΑ ἄρα πρὸς ἑκατέραν τῶν ΑΚ, ΑΕ τὸν αὐτὸν ἔχει λόγον. ἴση ἄρα ἐστὶν ἡ ΑΕ τῇ ΑΚ ἡ ἐλάττων τῇ μείζονι· ὅπερ ἐστὶν ἀδύνατον. οὐκ ἄρα οὔκ ἐστι περὶ τὴν αὐτὴν διάμετρον τὸ ΑΒΓΔ τῷ ΑΖ· περὶ τὴν αὐτὴν ἄρα ἐστὶ διάμετρον τὸ ΑΒΓΔ παραλληλόγραμμον τῷ ΑΖ παραλληλογράμμῳ. ἐὰν ἄρα ἀπὸ παραλληλογράμμου παραλληλόγραμμον ἀφαιρεθῇ ὅμοιόν τε τῷ ὅλῳ καὶ ὁμοίως κείμενον κοινὴν γωνίαν ἔχον αὐτῷ, περὶ τὴν αὐτὴν διάμετρόν ἐστι τῷ ὅλῳ· ὅπερ ἔδει δεῖξαι.
27. Of all the parallelograms applied to the same straight line and deficient by parallelogrammic figures similar and similarly situated to that described on the half of the straight line, that parallelogram is greatest which is applied to the half of the straight line and is similar to the defect. Let AB be a straight line and let it be bisected at C; let there be applied to the straight line AB the parallelogram AD deficient by the parallelogrammic figure DB described on the half of AB, that is, CB; I say that, of all the parallelograms applied to AB and deficient by parallelogrammic figures similar and similarly situated to DB, AD is greatest. For let there be applied to the straight line AB the parallelogram AF deficient by the parallelogrammic figure FB similar and similarly situated to DB; I say that AD is greater than AF. For, since the parallelogram DB is similar to the parallelogram FB, they are about the same diameter. [] Let their diameter DB be drawn, and let the figure be described. Then, since CF is equal to FE, [] and FB is common, therefore the whole CH is equal to the whole KE. But CH is equal to CG, since AC is also equal to CB. [] Therefore GC is also equal to EK. Let CF be added to each; therefore the whole AF is equal to the gnomon LMN; so that the parallelogram DB, that is, AD, is greater than the parallelogram AF. Therefore etc.
27. πάντων τῶν παρὰ τὴν αὐτὴν εὐθεῖαν παραβαλλομένων παραλληλογράμμων καὶ ἐλλειπόντων εἴδεσι παραλληλογράμμοις ὁμοίοις τε καὶ ὁμοίως κειμένοις τῷ ἀπὸ τῆς ἡμισείας ἀναγραφομένῳ μέγιστόν ἐστι τὸ ἀπὸ τῆς ἡμισείας παραβαλλόμενον [παραλληλόγραμμον] ὅμοιον ὂν τῷ ἐλλείμματι. ἔστω εὐθεῖα ἡ ΑΒ καὶ τετμήσθω δίχα κατὰ τὸ Γ, καὶ παραβεβλήσθω παρὰ τὴν ΑΒ εὐθεῖαν τὸ ΑΔ παραλληλόγραμμον ἐλλεῖπον εἴδει παραλληλογράμμῳ τῷ ΔΒ ἀναγραφέντι ἀπὸ τῆς ἡμισείας τῆς ΑΒ, τουτέστι τῆς ΓΒ· λέγω, ὅτι πάντων τῶν παρὰ τὴν ΑΒ παραβαλλομένων παραλληλογράμμων καὶ ἐλλειπόντων εἴδεσι [παραλληλογράμμοις] ὁμοίοις τε καὶ ὁμοίως κειμένοις τῷ ΔΒ μέγιστόν ἐστι τὸ ΑΔ. παραβεβλήσθω γὰρ παρὰ τὴν ΑΒ εὐθεῖαν τὸ ΑΖ παραλληλόγραμμον ἐλλεῖπον εἴδει παραλληλογράμμῳ τῷ ΖΒ ὁμοίῳ τε καὶ ὁμοίως κειμένῳ τῷ ΔΒ· λέγω, ὅτι μεῖζόν ἐστι τὸ ΑΔ τοῦ ΑΖ. ἐπεὶ γὰρ ὅμοιόν ἐστι τὸ ΔΒ παραλληλόγραμμον τῷ ΖΒ παραλληλογράμμῳ, περὶ τὴν αὐτήν εἰσι διάμετρον. ἤχθω αὐτῶν διάμετρος ἡ ΔΒ, καὶ καταγεγράφθω τὸ σχῆμα. ἐπεὶ οὖν ἴσον ἐστὶ τὸ ΓΖ τῷ ΖΕ, κοινὸν δὲ τὸ ΖΒ, ὅλον ἄρα τὸ ΓΘ ὅλῳ τῷ ΚΕ ἐστιν ἴσον. ἀλλὰ τὸ ΓΘ τῷ ΓΗ ἐστιν ἴσον, ἐπεὶ καὶ ἡ ΑΓ τῇ ΓΒ. καὶ τὸ ΗΓ ἄρα τῷ ΕΚ ἐστιν ἴσον. κοινὸν προσκείσθω τὸ ΓΖ· ὅλον ἄρα τὸ ΑΖ τῷ ΛΜΝ γνώμονί ἐστιν ἴσον· ὥστε τὸ ΔΒ παραλληλόγραμμον, τουτέστι τὸ ΑΔ, τοῦ ΑΖ παραλληλογράμμου μεῖζόν ἐστιν. πάντων ἄρα τῶν παρὰ τὴν αὐτὴν εὐθεῖαν παραβαλλομένων παραλληλογράμμων καὶ ἐλλειπόντων εἴδεσι παραλληλογράμμοις ὁμοίοις τε καὶ ὁμοίως κειμένοις τῷ ἀπὸ τῆς ἡμισείας ἀναγραφομένῳ μέγιστόν ἐστι τὸ ἀπὸ τῆς ἡμισείας παραβληθέν· ὅπερ ἔδει δεῖξαι.
28. To a given straight line to apply a parallelogram equal to a given rectilineal figure and deficient by a parallelogrammic figure similar to a given one: thus the given rectilineal figure must not be greater than the parallelogram described on the half of the straight line and similar to the defect. Let AB be the given straight line, C the given rectilineal figure to which the figure to be applied to AB is required to be equal, not being greater than the parallelogram described on the half of AB and similar to the defect, and D the parallelogram to which the defect is required to be similar; thus it is required to apply to the given straight line AB a parallelogram equal to the given rectilineal figure C and deficient by a parallelogrammic figure which is similar to D. Let AB be bisected at the point E, and on EB let EBFG be described similar and similarly situated to D; [] let the parallelogram AG be completed. If then AG is equal to C, that which was enjoined will have been done; for there has been applied to the given straight line AB the parallelogram AG equal to the given rectilineal figure C and deficient by a parallelogrammic figure GB which is similar to D. But, if not, let HE be greater than C. Now HE is equal to GB; therefore GB is also greater than C. Let KLMN be constructed at once equal to the excess by which GB is greater than C and similar and similarly situated to D. [] But D is similar to GB; therefore KM is also similar to GB. [] Let, then, KL correspond to GE, and LM to GF. Now, since GB is equal to C, KM, therefore GB is greater than KM; therefore also GE is greater than KL, and GF than LM. Let GO be made equal to KL, and GP equal to LM; and let the parallelogram OGPQ be completed; therefore it is equal and similar to KM. Therefore GQ is also similar to GB; [] therefore GQ is about the same diameter with GB. [] Let GQB be their diameter, and let the figure be described. Then, since BG is equal to C, KM, and in them GQ is equal to KM, therefore the remainder, the gnomon UWV, is equal to the remainder C. And, since PR is equal to OS, let QB be added to each; therefore the whole PB is equal to the whole OB. But OB is equal to TE, since the side AE is also equal to the side EB; [] therefore TE is also equal to PB. Let OS be added to each; therefore the whole TS is equal to the whole, the gnomon VWU. But the gnomon VWU was proved equal to C; therefore TS is also equal to C. Therefore to the given straight line AB there has been applied the parallelogram ST equal to the given rectilineal figure C and deficient by a parallelogrammic figure QB which is similar to D. Q. E. F.
28. παρὰ τὴν δοθεῖσαν εὐθεῖαν τῷ δοθέντι εὐθυγράμμῳ ἴσον παραλληλόγραμμον παραβαλεῖν ἐλλεῖπον εἴδει παραλληλογράμμῳ ὁμοίῳ τῷ δοθέντι· δεῖ δὲ τὸ διδόμενον εὐθύγραμμον [ᾧ δεῖ ἴσον παραβαλεῖν] μὴ μεῖζον εἶναι τοῦ ἀπὸ τῆς ἡμισείας ἀναγραφομένου ὁμοίου τῷ ἐλλείμματι [τοῦ τε ἀπὸ τῆς ἡμισείας καὶ ᾧ δεῖ ὅμοιον ἐλλείπειν]. ἔστω ἡ μὲν δοθεῖσα εὐθεῖα ἡ ΑΒ, τὸ δὲ δοθὲν εὐθύγραμμον, ᾧ δεῖ ἴσον παρὰ τὴν ΑΒ παραβαλεῖν, τὸ Γ μὴ μεῖζον [ὂν] τοῦ ἀπὸ τῆς ἡμισείας τῆς ΑΒ ἀναγραφομένου ὁμοίου τῷ ἐλλείμματι, ᾧ δὲ δεῖ ὅμοιον ἐλλείπειν, τὸ Δ· δεῖ δὴ παρὰ τὴν δοθεῖσαν εὐθεῖαν τὴν ΑΒ τῷ δοθέντι εὐθυγράμμῳ τῷ Γ ἴσον παραλληλόγραμμον παραβαλεῖν ἐλλεῖπον εἴδει παραλληλογράμμῳ ὁμοίῳ ὄντι τῷ Δ. τετμήσθω ἡ ΑΒ δίχα κατὰ τὸ Ε σημεῖον, καὶ ἀναγεγράφθω ἀπὸ τῆς ΕΒ τῷ Δ ὅμοιον καὶ ὁμοίως κείμενον τὸ ΕΒΖΗ, καὶ συμπεπληρώσθω τὸ ΑΗ παραλληλόγραμμον. εἰ μὲν οὖν ἴσον ἐστὶ τὸ ΑΗ τῷ Γ, γεγονὸς ἂν εἴη τὸ ἐπιταχθέν· παραβέβληται γὰρ παρὰ τὴν δοθεῖσαν εὐθεῖαν τὴν ΑΒ τῷ δοθέντι εὐθυγράμμῳ τῷ Γ ἴσον παραλληλόγραμμον τὸ ΑΗ ἐλλεῖπον εἴδει παραλληλογράμμῳ τῷ ΗΒ ὁμοίῳ ὄντι τῷ Δ. εἰ δὲ οὔ, μεῖζον ἔστω τὸ ΘΕ τοῦ Γ. ἴσον δὲ τὸ ΘΕ τῷ ΗΒ· μεῖζον ἄρα καὶ τὸ ΗΒ τοῦ Γ. ᾧ δὴ μεῖζόν ἐστι τὸ ΗΒ τοῦ Γ, ταύτῃ τῇ ὑπεροχῇ ἴσον, τῷ δὲ Δ ὅμοιον καὶ ὁμοίως κείμενον τὸ αὐτὸ συνεστάτω τὸ ΚΛΜΝ. ἀλλὰ τὸ Δ τῷ ΗΒ [ἐστιν] ὅμοιον· καὶ τὸ ΚΜ ἄρα τῷ ΗΒ ἐστιν ὅμοιον. ἔστω οὖν ὁμόλογος ἡ μὲν ΚΛ τῇ ΗΕ, ἡ δὲ ΛΜ τῇ ΗΖ. καὶ ἐπεὶ ἴσον ἐστὶ τὸ ΗΒ τοῖς Γ, ΚΜ, μεῖζον ἄρα ἐστὶ τὸ ΗΒ τοῦ ΚΜ· μείζων ἄρα ἐστὶ καὶ ἡ μὲν ΗΕ τῆς ΚΛ, ἡ δὲ ΗΖ τῆς ΛΜ. κείσθω τῇ μὲν ΚΛ ἴση ἡ ΗΞ, τῇ δὲ ΛΜ ἴση ἡ ΗΟ, καὶ συμπεπληρώσθω τὸ ΞΗΟΠ παραλληλόγραμμον· ἴσον ἄρα καὶ ὅμοιόν ἐστι [τὸ ΗΠ ] τῷ ΚΜ [ἀλλὰ τὸ ΚΜ τῷ ΗΒ ὅμοιόν ἐστιν]. καὶ τὸ ΗΠ ἄρα τῷ ΗΒ ὅμοιόν ἐστιν· περὶ τὴν αὐτὴν ἄρα διάμετρόν ἐστι τὸ ΗΠ τῷ ΗΒ. ἔστω αὐτῶν διάμετρος ἡ ΗΠΒ, καὶ καταγεγράφθω τὸ σχῆμα. ἐπεὶ οὖν ἴσον ἐστὶ τὸ ΒΗ τοῖς Γ, ΚΜ, ὧν τὸ ΗΠ τῷ ΚΜ ἐστιν ἴσον, λοιπὸς ἄρα ὁ ΥΧΦ γνώμων λοιπῷ τῷ Γ ἴσος ἐστίν. καὶ ἐπεὶ ἴσον ἐστὶ τὸ ΟΡ τῷ ΞΣ, κοινὸν προσκείσθω τὸ ΠΒ· ὅλον ἄρα τὸ ΟΒ ὅλῳ τῷ ΞΒ ἴσον ἐστίν. ἀλλὰ τὸ ΞΒ τῷ ΤΕ ἐστιν ἴσον, ἐπεὶ καὶ πλευρὰ ἡ ΑΕ πλευρᾷ τῇ ΕΒ ἐστιν ἴση· καὶ τὸ ΤΕ ἄρα τῷ ΟΒ ἐστιν ἴσον. κοινὸν προσκείσθω τὸ ΞΣ· ὅλον ἄρα τὸ ΤΣ ὅλῳ τῷ ΦΧΥ γνώμονί ἐστιν ἴσον. ἀλλʼ ὁ ΦΧΥ γνώμων τῷ Γ ἐδείχθη ἴσος· καὶ τὸ ΤΣ ἄρα τῷ Γ ἐστιν ἴσον. παρὰ τὴν δοθεῖσαν ἄρα εὐθεῖαν τὴν ΑΒ τῷ δοθέντι εὐθυγράμμῳ τῷ Γ ἴσον παραλληλόγραμμον παραβέβληται τὸ ΣΤ ἐλλεῖπον εἴδει παραλληλογράμμῳ τῷ ΠΒ ὁμοίῳ ὄντι τῷ Δ [ἐπειδήπερ τὸ ΠΒ τῷ ΗΠ ὅμοιόν ἐστιν]· ὅπερ ἔδει ποιῆσαι.
29. To a given straight line to apply a parallelogram equal to a given rectilineal figure and exceeding by a parallelogrammic figure similar to a given one. Let AB be the given straight line, C the given rectilineal figure to which the figure to be applied to AB is required to be equal, and D that to which the excess is required to be similar; thus it is required to apply to the straight line AB a parallelogram equal to the rectilineal figure C and exceeding by a parallelogrammic figure similar to D. Let AB be bisected at E; let there be described on EB the parallelogram BF similar and similarly situated to D; and let GH be constructed at once equal to the sum of BF, C and similar and similarly situated to D. [] Let KH correspond to FL and KG to FE. Now, since GH is greater than FB, therefore KH is also greater than FL, and KG than FE. Let FL, FE be produced, let FLM be equal to KH, and FEN to KG, and let MN be completed; therefore MN is both equal and similar to GH. But GH is similar to EL; therefore MN is also similar to EL; [] therefore EL is about the same diameter with MN. [] Let their diameter FO be drawn, and let the figure be described. Since GH is equal to EL, C, while GH is equal to MN, therefore MN is also equal to EL, C. Let EL be subtracted from each; therefore the remainder, the gnomon XWV, is equal to C. Now, since AE is equal to EB, AN is also equal to NB [], that is, to LP []. Let EO be added to each; therefore the whole AO is equal to the gnomon VWX. But the gnomon VWX is equal to C; therefore AO is also equal to C. Therefore to the given straight line AB there has been applied the parallelogram AO equal to the given rectilineal figure C and exceeding by a parallelogrammic figure QP which is similar to D, since PQ is also similar to EL []. Q. E. F.
29. παρὰ τὴν δοθεῖσαν εὐθεῖαν τῷ δοθέντι εὐθυγράμμῳ ἴσον παραλληλόγραμμον παραβαλεῖν ὑπερβάλλον εἴδει παραλληλογράμμῳ ὁμοίῳ τῷ δοθέντι. ἔστω ἡ μὲν δοθεῖσα εὐθεῖα ἡ ΑΒ, τὸ δὲ δοθὲν εὐθύγραμμον, ᾧ δεῖ ἴσον παρὰ τὴν ΑΒ παραβαλεῖν, τὸ Γ, ᾧ δὲ δεῖ ὅμοιον ὑπερβάλλειν, τὸ Δ· δεῖ δὴ παρὰ τὴν ΑΒ εὐθεῖαν τῷ Γ εὐθυγράμμῳ ἴσον παραλληλόγραμμον παραβαλεῖν ὑπερβάλλον εἴδει παραλληλογράμμῳ ὁμοίῳ τῷ Δ. τετμήσθω ἡ ΑΒ δίχα κατὰ τὸ Ε, καὶ ἀναγεγράφθω ἀπὸ τῆς ΕΒ τῷ Δ ὅμοιον καὶ ὁμοίως κείμενον παραλληλόγραμμον τὸ ΒΖ, καὶ συναμφοτέροις μὲν τοῖς ΒΖ, Γ ἴσον, τῷ δὲ Δ ὅμοιον καὶ ὁμοίως κείμενον τὸ αὐτὸ συνεστάτω τὸ ΗΘ. ὁμόλογος δὲ ἔστω ἡ μὲν ΚΘ τῇ ΖΛ, ἡ δὲ ΚΗ τῇ ΖΕ. καὶ ἐπεὶ μεῖζόν ἐστι τὸ ΗΘ τοῦ ΖΒ, μείζων ἄρα ἐστὶ καὶ ἡ μὲν ΚΘ τῆς ΖΛ, ἡ δὲ ΚΗ τῆς ΖΕ. ἐκβεβλήσθωσαν αἱ ΖΛ, ΖΕ, καὶ τῇ μὲν ΚΘ ἴση ἔστω ἡ ΖΛΜ, τῇ δὲ ΚΗ ἴση ἡ ΖΕΝ, καὶ συμπεπληρώσθω τὸ ΜΝ· τὸ ΜΝ ἄρα τῷ ΗΘ ἴσον τέ ἐστι καὶ ὅμοιον. ἀλλὰ τὸ ΗΘ τῷ ΕΛ ἐστιν ὅμοιον· καὶ τὸ ΜΝ ἄρα τῷ ΕΛ ὅμοιόν ἐστιν· περὶ τὴν αὐτὴν ἄρα διάμετρόν ἐστι τὸ ΕΛ τῷ ΜΝ. ἤχθω αὐτῶν διάμετρος ἡ ΖΞ, καὶ καταγεγράφθω τὸ σχῆμα. ἐπεὶ ἴσον ἐστὶ τὸ ΗΘ τοῖς ΕΛ, Γ, ἀλλὰ τὸ ΗΘ τῷ ΜΝ ἴσον ἐστίν, καὶ τὸ ΜΝ ἄρα τοῖς ΕΛ, Γ ἴσον ἐστίν. κοινὸν ἀφῃρήσθω τὸ ΕΛ· λοιπὸς ἄρα ὁ ΨΧΦ γνώμων τῷ Γ ἐστιν ἴσος. καὶ ἐπεὶ ἴση ἐστὶν ἡ ΑΕ τῇ ΕΒ, ἴσον ἐστὶ καὶ τὸ ΑΝ τῷ ΝΒ, τουτέστι τῷ ΛΟ. κοινὸν προσκείσθω τὸ ΕΞ· ὅλον ἄρα τὸ ΑΞ ἴσον ἐστὶ τῷ ΦΧΨ γνώμονι. ἀλλὰ ὁ ΦΧΨ γνώμων τῷ Γ ἴσος ἐστίν· καὶ τὸ ΑΞ ἄρα τῷ Γ ἴσον ἐστίν. παρὰ τὴν δοθεῖσαν ἄρα εὐθεῖαν τὴν ΑΒ τῷ δοθέντι εὐθυγράμμῳ τῷ Γ ἴσον παραλληλόγραμμον παραβέβληται τὸ ΑΞ ὑπερβάλλον εἴδει παραλληλογράμμῳ τῷ ΠΟ ὁμοίῳ ὄντι τῷ Δ, ἐπεὶ καὶ τῷ ΕΛ ἐστιν ὅμοιον τὸ ΟΠ· ὅπερ ἔδει ποιῆσαι.
30. To cut a given finite straight line in extreme and mean ratio. Let AB be the given finite straight line; thus it is required to cut AB in extreme and mean ratio. On AB let the square BC be described; and let there be applied to AC the parallelogram CD equal to BC and exceeding by the figure AD similar to BC. [] Now BC is a square; therefore AD is also a square. And, since BC is equal to CD, let CE be subtracted from each; therefore the remainder BF is equal to the remainder AD. But it is also equiangular with it; therefore in BF, AD the sides about the equal angles are reciprocally proportional; [] therefore, as FE is to ED, so is AE to EB. But FE is equal to AB, and ED to AE. Therefore, as BA is to AE, so is AE to EB. And AB is greater than AE; therefore AE is also greater than EB. Therefore the straight line AB has been cut in extreme and mean ratio at E, and the greater segment of it is AE. Q. E. F.
30. τὴν δοθεῖσαν εὐθεῖαν πεπερασμένην ἄκρον καὶ μέσον λόγον τεμεῖν. ἔστω ἡ δοθεῖσα εὐθεῖα πεπερασμένη ἡ ΑΒ· δεῖ δὴ τὴν ΑΒ εὐθεῖαν ἄκρον καὶ μέσον λόγον τεμεῖν. Ἀναγεγράφθω ἀπὸ τῆς ΑΒ τετράγωνον τὸ ΒΓ, καὶ παραβεβλήσθω παρὰ τὴν ΑΓ τῇ ΒΓ ἴσον παραλληλόγραμμον τὸ ΓΔ ὑπερβάλλον εἴδει τῷ ΑΔ ὁμοίῳ τῷ ΒΓ. τετράγωνον δέ ἐστι τὸ ΒΓ· τετράγωνον ἄρα ἐστὶ καὶ τὸ ΑΔ. καὶ ἐπεὶ ἴσον ἐστὶ τὸ ΒΓ τῷ ΓΔ, κοινὸν ἀφῃρήσθω τὸ ΓΕ· λοιπὸν ἄρα τὸ ΒΖ λοιπῷ τῷ ΑΔ ἐστιν ἴσον. ἔστι δὲ αὐτῷ καὶ ἰσογώνιον· τῶν ΒΖ, ΑΔ ἄρα ἀντιπεπόνθασιν αἱ πλευραὶ αἱ περὶ τὰς ἴσας γωνίας· ἔστιν ἄρα ὡς ἡ ΖΕ πρὸς τὴν ΕΔ, οὕτως ἡ ΑΕ πρὸς τὴν ΕΒ. ἴση δὲ ἡ μὲν ΖΕ τῇ ΑΒ, ἡ δὲ ΕΔ τῇ ΑΕ. ἔστιν ἄρα ὡς ἡ ΒΑ πρὸς τὴν ΑΕ, οὕτως ἡ ΑΕ πρὸς τὴν ΕΒ. μείζων δὲ ἡ ΑΒ τῆς ΑΕ· μείζων ἄρα καὶ ἡ ΑΕ τῆς ΕΒ. ἡ ἄρα ΑΒ εὐθεῖα ἄκρον καὶ μέσον λόγον τέτμηται κατὰ τὸ Ε, καὶ τὸ μεῖζον αὐτῆς τμῆμά ἐστι τὸ ΑΕ· ὅπερ ἔδει ποιῆσαι.
31. In right-angled triangles the figure on the side subtending the right angle is equal to the similar and similarly described figures on the sides containing the right angle. Let ABC be a right-angled triangle having the angle BAC right; I say that the figure on BC is equal to the similar and similarly described figures on BA, AC. Let AD be drawn perpendicular. Then since, in the right-angled triangle ABC, AD has been drawn from the right angle at A perpendicular to the base BC, the triangles ABD, ADC adjoining the perpendicular are similar both to the whole ABC and to one another. [] And, since ABC is similar to ABD, therefore, as CB is to BA, so is AB to BD. [] And, since three straight lines are proportional, as the first is to the third, so is the figure on the first to the similar and similarly described figure on the second. [] Therefore, as CB is to BD, so is the figure on CB to the similar and similarly described figure on BA. For the same reason also, as BC is to CD, so is the figure on BC to that on CA; so that, in addition, as BC is to BD, DC, so is the figure on BC to the similar and similarly described figures on BA, AC. But BC is equal to BD, DC; therefore the figure on BC is also equal to the similar and similarly described figures on BA, AC. Therefore etc. Q. E. D.
31. ἐν τοῖς ὀρθογωνίοις τριγώνοις τὸ ἀπὸ τῆς τὴν ὀρθὴν γωνίαν ὑποτεινούσης πλευρᾶς εἶδος ἴσον ἐστὶ τοῖς ἀπὸ τῶν τὴν ὀρθὴν γωνίαν περιεχουσῶν πλευρῶν εἴδεσι τοῖς ὁμοίοις τε καὶ ὁμοίως ἀναγραφομένοις. ἔστω τρίγωνον ὀρθογώνιον τὸ ΑΒΓ ὀρθὴν ἔχον τὴν ὑπὸ ΒΑΓ γωνίαν· λέγω, ὅτι τὸ ἀπὸ τῆς ΒΓ εἶδος ἴσον ἐστὶ τοῖς ἀπὸ τῶν ΒΑ, ΑΓ εἴδεσι τοῖς ὁμοίοις τε καὶ ὁμοίως ἀναγραφομένοις. ἤχθω κάθετος ἡ ΑΔ. ἐπεὶ οὖν ἐν ὀρθογωνίῳ τριγώνῳ τῷ ΑΒΓ ἀπὸ τῆς πρὸς τῷ Α ὀρθῆς γωνίας ἐπὶ τὴν ΒΓ βάσιν κάθετος ἦκται ἡ ΑΔ, τὰ ΑΒΔ, ΑΔΓ πρὸς τῇ καθέτῳ τρίγωνα ὅμοιά ἐστι τῷ τε ὅλῳ τῷ ΑΒΓ καὶ ἀλλήλοις. καὶ ἐπεὶ ὅμοιόν ἐστι τὸ ΑΒΓ τῷ ΑΒΔ, ἔστιν ἄρα ὡς ἡ ΓΒ πρὸς τὴν ΒΑ, οὕτως ἡ ΑΒ πρὸς τὴν ΒΔ. καὶ ἐπεὶ τρεῖς εὐθεῖαι ἀνάλογόν εἰσιν, ἔστιν ὡς ἡ πρώτη πρὸς τὴν τρίτην, οὕτως τὸ ἀπὸ τῆς πρώτης εἶδος πρὸς τὸ ἀπὸ τῆς δευτέρας τὸ ὅμοιον καὶ ὁμοίως ἀναγραφόμενον. ὡς ἄρα ἡ ΓΒ πρὸς τὴν ΒΔ, οὕτως τὸ ἀπὸ τῆς ΓΒ εἶδος πρὸς τὸ ἀπὸ τῆς ΒΑ τὸ ὅμοιον καὶ ὁμοίως ἀναγραφόμενον. διὰ τὰ αὐτὰ δὴ καὶ ὡς ἡ ΒΓ πρὸς τὴν ΓΔ, οὕτως τὸ ἀπὸ τῆς ΒΓ εἶδος πρὸς τὸ ἀπὸ τῆς ΓΑ. ὥστε καὶ ὡς ἡ ΒΓ πρὸς τὰς ΒΔ, ΔΓ, οὕτως τὸ ἀπὸ τῆς ΒΓ εἶδος πρὸς τὰ ἀπὸ τῶν ΒΑ, ΑΓ τὰ ὅμοια καὶ ὁμοίως ἀναγραφόμενα. ἴση δὲ ἡ ΒΓ ταῖς ΒΔ, ΔΓ· ἴσον ἄρα καὶ τὸ ἀπὸ τῆς ΒΓ εἶδος τοῖς ἀπὸ τῶν ΒΑ, ΑΓ εἴδεσι τοῖς ὁμοίοις τε καὶ ὁμοίως ἀναγραφομένοις. ἐν ἄρα τοῖς ὀρθογωνίοις τριγώνοις τὸ ἀπὸ τῆς τὴν ὀρθὴν γωνίαν ὑποτεινούσης πλευρᾶς εἶδος ἴσον ἐστὶ τοῖς ἀπὸ τῶν τὴν ὀρθὴν γωνίαν περιεχουσῶν πλευρῶν εἴδεσι τοῖς ὁμοίοις τε καὶ ὁμοίως ἀναγραφομένοις· ὅπερ ἔδει δεῖξαι.
32. If two triangles having two sides proportional to two sides be placed together at one angle so that their corresponding sides are also parallel, the remaining sides of the triangles will be in a straight line. Let ABC, DCE be two triangles having the two sides BA, AC proportional to the two sides DC, DE, so that, as AB is to AC, so is DC to DE, and AB parallel to DC, and AC to DE; I say that BC is in a straight line with CE. For, since AB is parallel to DC, and the straight line AC has fallen upon them, the alternate angles BAC, ACD are equal to one another. [] For the same reason the angle CDE is also equal to the angle ACD; so that the angle BAC is equal to the angle CDE. And, since ABC, DCE are two triangles having one angle, the angle at A, equal to one angle, the angle at D, and the sides about the equal angles proportional, so that, as BA is to AC, so is CD to DE, therefore the triangle ABC is equiangular with the triangle DCE; [] therefore the angle ABC is equal to the angle DCE. But the angle ACD was also proved equal to the angle BAC; therefore the whole angle ACE is equal to the two angles ABC, BAC. Let the angle ACB be added to each; therefore the angles ACE, ACB are equal to the angles BAC, ACB, CBA. But the angles BAC, ABC, ACB are equal to two right angles; [] therefore the angles ACE, ACB are also equal to two right angles. Therefore with a straight line AC, and at the point C on it, the two straight lines BC, CE not lying on the same side make the adjacent angles ACE, ACB equal to two right angles; therefore BC is in a straight line with CE. [] Therefore etc. Q. E. D.
32. ἐὰν δύο τρίγωνα συντεθῇ κατὰ μίαν γωνίαν τὰς δύο πλευρὰς ταῖς δυσὶ πλευραῖς ἀνάλογον ἔχοντα ὥστε τὰς ὁμολόγους αὐτῶν πλευρὰς καὶ παραλλήλους εἶναι, αἱ λοιπαὶ τῶν τριγώνων πλευραὶ ἐπʼ εὐθείας ἔσονται. ἔστω δύο τρίγωνα τὰ ΑΒΓ, ΔΓΕ τὰς δύο πλευρὰς τὰς ΒΑ, ΑΓ ταῖς δυσὶ πλευραῖς ταῖς ΔΓ, ΔΕ ἀνάλογον ἔχοντα, ὡς μὲν τὴν ΑΒ πρὸς τὴν ΑΓ, οὕτως τὴν ΔΓ πρὸς τὴν ΔΕ, παράλληλον δὲ τὴν μὲν ΑΒ τῇ ΔΓ, τὴν δὲ ΑΓ τῇ ΔΕ· λέγω, ὅτι ἐπʼ εὐθείας ἐστὶν ἡ ΒΓ τῇ ΓΕ. ἐπεὶ γὰρ παράλληλός ἐστιν ἡ ΑΒ τῇ ΔΓ, καὶ εἰς αὐτὰς ἐμπέπτωκεν εὐθεῖα ἡ ΑΓ, αἱ ἐναλλὰξ γωνίαι αἱ ὑπὸ ΒΑΓ, ΑΓΔ ἴσαι ἀλλήλαις εἰσίν. διὰ τὰ αὐτὰ δὴ καὶ ἡ ὑπὸ ΓΔΕ τῇ ὑπὸ ΑΓΔ ἴση ἐστίν. ὥστε καὶ ἡ ὑπὸ ΒΑΓ τῇ ὑπὸ ΓΔΕ ἐστιν ἴση. καὶ ἐπεὶ δύο τρίγωνά ἐστι τὰ ΑΒΓ, ΔΓΕ μίαν γωνίαν τὴν πρὸς τῷ Α μιᾷ γωνίᾳ τῇ πρὸς τῷ Δ ἴσην ἔχοντα, περὶ δὲ τὰς ἴσας γωνίας τὰς πλευρὰς ἀνάλογον, ὡς τὴν ΒΑ πρὸς τὴν ΑΓ, οὕτως τὴν ΓΔ πρὸς τὴν ΔΕ, ἰσογώνιον ἄρα ἐστὶ τὸ ΑΒΓ τρίγωνον τῷ ΔΓΕ τριγώνῳ· ἴση ἄρα ἡ ὑπὸ ΑΒΓ γωνία τῇ ὑπὸ ΔΓΕ. ἐδείχθη δὲ καὶ ἡ ὑπὸ ΑΓΔ τῇ ὑπὸ ΒΑΓ ἴση· ὅλη ἄρα ἡ ὑπὸ ΑΓΕ δυσὶ ταῖς ὑπὸ ΑΒΓ, ΒΑΓ ἴση ἐστίν. κοινὴ προσκείσθω ἡ ὑπὸ ΑΓΒ· αἱ ἄρα ὑπὸ ΑΓΕ, ΑΓΒ ταῖς ὑπὸ ΒΑΓ, ΑΓΒ, ΓΒΑ ἴσαι εἰσίν. ἀλλʼ αἱ ὑπὸ ΒΑΓ, ΑΒΓ, ΑΓΒ δυσὶν ὀρθαῖς ἴσαι εἰσίν· καὶ αἱ ὑπὸ ΑΓΕ, ΑΓΒ ἄρα δυσὶν ὀρθαῖς ἴσαι εἰσίν. πρὸς δή τινι εὐθείᾳ τῇ ΑΓ καὶ τῷ πρὸς αὐτῇ σημείῳ τῷ Γ δύο εὐθεῖαι αἱ ΒΓ, ΓΕ μὴ ἐπὶ τὰ αὐτὰ μέρη κείμεναι τὰς ἐφεξῆς γωνίας τὰς ὑπὸ ΑΓΕ, ΑΓΒ δυσὶν ὀρθαῖς ἴσας ποιοῦσιν· ἐπʼ εὐθείας ἄρα ἐστὶν ἡ ΒΓ τῇ ΓΕ. ἐὰν ἄρα δύο τρίγωνα συντεθῇ κατὰ μίαν γωνίαν τὰς δύο πλευρὰς ταῖς δυσὶ πλευραῖς ἀνάλογον ἔχοντα ὥστε τὰς ὁμολόγους αὐτῶν πλευρὰς καὶ παραλλήλους εἶναι, αἱ λοιπαὶ τῶν τριγώνων πλευραὶ ἐπʼ εὐθείας ἔσονται· ὅπερ ἔδει δεῖξαι.
33. In equal circles angles have the same ratio as the circumferences on which they stand, whether they stand at the centres or at the circumferences. Let ABC, DEF be equal circles, and let the angles BGC, EHF be angles at their centres G, H, and the angles BAC, EDF angles at the circumferences; I say that, as the circumference BC is to the circumference EF, so is the angle BGC to the angle EHF, and the angle BAC to the angle EDF. For let any number of consecutive circumferences CK, KL be made equal to the circumference BC, and any number of consecutive circumferences FM, MN equal to the circumference EF; and let GK, GL, HM, HN be joined. Then, since the circumferences BC, CK, KL are equal to one another, the angles BGC, CGK, KGL are also equal to one another; [] therefore, whatever multiple the circumference BL is of BC, that multiple also is the angle BGL of the angle BGC. For the same reason also, whatever multiple the circumference NE is of EF, that multiple also is the angle NHE of the angle EHF. If then the circumference BL is equal to the circumference EN, the angle BGL is also equal to the angle EHN; [] if the circumference BL is greater than the circumference EN, the angle BGL is also greater than the angle EHN; and, if less, less. There being then four magnitudes, two circumferences BC, EF, and two angles BGC, EHF, there have been taken, of the circumference BC and the angle BGC equimultiples, namely the circumference BL and the angle BGL, and of the circumference EF and the angle EHF equimultiples, namely the circumference EN and the angle EHN. And it has been proved that, if the circumference BL is in excess of the circumference EN, the angle BGL is also in excess of the angle EHN; if equal, equal; and if less, less. Therefore, as the circumference BC is to EF, so is the angle BGC to the angle EHF. [] But, as the angle BGC is to the angle EHF, so is the angle BAC to the angle EDF; for they are doubles respectively. Therefore also, as the circumference BC is to the circumference EF, so is the angle BGC to the angle EHF, and the angle BAC to the angle EDF. Therefore etc. Q. E. D.
33. ἐν τοῖς ἴσοις κύκλοις αἱ γωνίαι τὸν αὐτὸν ἔχουσι λόγον ταῖς περιφερείαις, ἐφʼ ὧν βεβήκασιν, ἐάν τε πρὸς τοῖς κέντροις ἐάν τε πρὸς ταῖς περιφερείαις ὦσι βεβηκυῖαι. ἔστωσαν ἴσοι κύκλοι οἱ ΑΒΓ, ΔΕΖ, καὶ πρὸς μὲν τοῖς κέντροις αὐτῶν τοῖς Η, Θ γωνίαι ἔστωσαν αἱ ὑπὸ ΒΗΓ, ΕΘΖ, πρὸς δὲ ταῖς περιφερείαις αἱ ὑπὸ ΒΑΓ, ΕΔΖ· λέγω, ὅτι ἐστὶν ὡς ἡ ΒΓ περιφέρεια πρὸς τὴν ΕΖ περιφέρειαν, οὕτως ἥ τε ὑπὸ ΒΗΓ γωνία πρὸς τὴν ὑπὸ ΕΘΖ καὶ ἡ ὑπὸ ΒΑΓ πρὸς τὴν ὑπὸ ΕΔΖ. κείσθωσαν γὰρ τῇ μὲν ΒΓ περιφερείᾳ ἴσαι κατὰ τὸ ἑξῆς ὁσαιδηποτοῦν αἱ ΓΚ, ΚΛ, τῇ δὲ ΕΖ περιφερείᾳ ἴσαι ὁσαιδηποτοῦν αἱ ΖΜ, ΜΝ, καὶ ἐπεζεύχθωσαν αἱ ΗΚ, ΗΛ, ΘΜ, ΘΝ. ἐπεὶ οὖν ἴσαι εἰσὶν αἱ ΒΓ, ΓΚ, ΚΛ περιφέρειαι ἀλλήλαις, ἴσαι εἰσὶ καὶ αἱ ὑπὸ ΒΗΓ, ΓΗΚ, ΚΗΛ γωνίαι ἀλλήλαις· ὁσαπλασίων ἄρα ἐστὶν ἡ ΒΛ περιφέρεια τῆς ΒΓ, τοσαυταπλασίων ἐστὶ καὶ ἡ ὑπὸ ΒΗΛ γωνία τῆς ὑπὸ ΒΗΓ. διὰ τὰ αὐτὰ δὴ καὶ ὁσαπλασίων ἐστὶν ἡ ΝΕ περιφέρεια τῆς ΕΖ, τοσαυταπλασίων ἐστὶ καὶ ἡ ὑπὸ ΝΘΕ γωνία τῆς ὑπὸ ΕΘΖ. εἰ ἄρα ἴση ἐστὶν ἡ ΒΛ περιφέρεια τῇ ΕΝ περιφερείᾳ, ἴση ἐστὶ καὶ γωνία ἡ ὑπὸ ΒΗΛ τῇ ὑπὸ ΕΘΝ, καὶ εἰ μείζων ἐστὶν ἡ ΒΛ περιφέρεια τῆς ΕΝ περιφερείας, μείζων ἐστὶ καὶ ἡ ὑπὸ ΒΗΛ γωνία τῆς ὑπὸ ΕΘΝ, καὶ εἰ ἐλάσσων, ἐλάσσων. τεσσάρων δὴ ὄντων μεγεθῶν, δύο μὲν περιφερειῶν τῶν ΒΓ, ΕΖ, δύο δὲ γωνιῶν τῶν ὑπὸ ΒΗΓ, ΕΘΖ, εἴληπται τῆς μὲν ΒΓ περιφερείας καὶ τῆς ὑπὸ ΒΗΓ γωνίας ἰσάκις πολλαπλασίων ἥ τε ΒΛ περιφέρεια καὶ ἡ ὑπὸ ΒΗΛ γωνία, τῆς δὲ ΕΖ περιφερείας καὶ τῆς ὑπὸ ΕΘΖ γωνίας ἥ τε ΕΝ περιφέρεια καὶ ἡ ὑπὸ ΕΘΝ γωνία. καὶ δέδεικται, ὅτι εἰ ὑπερέχει ἡ ΒΛ περιφέρεια τῆς ΕΝ περιφερείας, ὑπερέχει καὶ ἡ ὑπὸ ΒΗΛ γωνία τῆς ὑπὸ ΕΘΝ γωνίας, καὶ εἰ ἴση, ἴση, καὶ εἰ ἐλάσσων, ἐλάσσων. ἔστιν ἄρα, ὡς ἡ ΒΓ περιφέρεια πρὸς τὴν ΕΖ, οὕτως ἡ ὑπὸ ΒΗΓ γωνία πρὸς τὴν ὑπὸ ΕΘΖ. ἀλλʼ ὡς ἡ ὑπὸ ΒΗΓ γωνία πρὸς τὴν ὑπὸ ΕΘΖ, οὕτως ἡ ὑπὸ ΒΑΓ πρὸς τὴν ὑπὸ ΕΔΖ· διπλασία γὰρ ἑκατέρα ἑκατέρας. καὶ ὡς ἄρα ἡ ΒΓ περιφέρεια πρὸς τὴν ΕΖ περιφέρειαν, οὕτως ἥ τε ὑπὸ ΒΗΓ γωνία πρὸς τὴν ὑπὸ ΕΘΖ καὶ ἡ ὑπὸ ΒΑΓ πρὸς τὴν ὑπὸ ΕΔΖ. ἐν ἄρα τοῖς ἴσοις κύκλοις αἱ γωνίαι τὸν αὐτὸν ἔχουσι λόγον ταῖς περιφερείαις, ἐφʼ ὧν βεβήκασιν, ἐάν τε πρὸς τοῖς κέντροις ἐάν τε πρὸς ταῖς περιφερείαις ὦσι βεβηκυῖαι· ὅπερ ἔδει δεῖξαι.