Circles: Book 3 Proposition 33
Translations
Ἐπὶ τῆς δοθείσης εὐθείας γράψαι τμῆμα κύκλου δεχόμενον γωνίαν ἴσην τῇ δοθείσῃ γωνίᾳ εὐθυγράμμῳ. Ἔστω ἡ δοθεῖσα εὐθεῖα ἡ ΑΒ, ἡ δὲ δοθεῖσα γωνία εὐθύγραμμος ἡ πρὸς τῷ Γ: δεῖ δὴ ἐπὶ τῆς δοθείσης εὐθείας τῆς ΑΒ γράψαι τμῆμα κύκλου δεχόμενον γωνίαν ἴσην τῇ πρὸς τῷ Γ. Ἡ δὴ πρὸς τῷ Γ [γωνία] ἤτοι ὀξεῖά ἐστιν ἢ ὀρθὴ ἢ ἀμβλεῖα: ἔστω πρότερον ὀξεῖα, καὶ ὡς ἐπὶ τῆς πρώτης καταγραφῆς συνεστάτω πρὸς τῇ ΑΒ εὐθείᾳ καὶ τῷ Α σημείῳ τῇ πρὸς τῷ Γ γωνίᾳ ἴση ἡ ὑπὸ ΒΑΔ: ὀξεῖα ἄρα ἐστὶ καὶ ἡ ὑπὸ ΒΑΔ. ἤχθω τῇ ΔΑ πρὸς ὀρθὰς ἡ ΑΕ, καὶ τετμήσθω ἡ ΑΒ δίχα κατὰ τὸ Ζ, καὶ ἤχθω ἀπὸ τοῦ Ζ σημείου τῇ ΑΒ πρὸς ὀρθὰς ἡ ΖΗ, καὶ ἐπεζεύχθω ἡ ΗΒ. Καὶ ἐπεὶ ἴση ἐστὶν ἡ ΑΖ τῇ ΖΒ, κοινὴ δὲ ἡ ΖΗ, δύο δὴ αἱ ΑΖ, ΖΗ δύο ταῖς ΒΖ, ΖΗ ἴσαι εἰσίν: καὶ γωνία ἡ ὑπὸ ΑΖΗ [γωνίᾳ] τῇ ὑπὸ ΒΖΗ ἴση: βάσις ἄρα ἡ ΑΗ βάσει τῇ ΒΗ ἴση ἐστίν. ὁ ἄρα κέντρῳ μὲν τῷ Η διαστήματι δὲ τῷ ΗΑ κύκλος γραφόμενος ἥξει καὶ διὰ τοῦ Β. γεγράφθω καὶ ἔστω ὁ ΑΒΕ, καὶ ἐπεζεύχθω ἡ ΕΒ. ἐπεὶ οὖν ἀπ' ἄκρας τῆς ΑΕ διαμέτρου ἀπὸ τοῦ Α τῇ ΑΕ πρὸς ὀρθάς ἐστιν ἡ ΑΔ, ἡ ΑΔ ἄρα ἐφάπτεται τοῦ ΑΒΕ κύκλου: ἐπεὶ οὖν κύκλου τοῦ ΑΒΕ ἐφάπτεταί τις εὐθεῖα ἡ ΑΔ, καὶ ἀπὸ τῆς κατὰ τὸ Α ἁφῆς εἰς τὸν ΑΒΕ κύκλον διῆκταί τις εὐθεῖα ἡ ΑΒ, ἡ ἄρα ὑπὸ ΔΑΒ γωνία ἴση ἐστὶ τῇ ἐν τῷ ἐναλλὰξ τοῦ κύκλου τμήματι γωνίᾳ τῇ ὑπὸ ΑΕΒ. ἀλλ' ἡ ὑπὸ ΔΑΒ τῇ πρὸς τῷ Γ ἐστιν ἴση: καὶ ἡ πρὸς τῷ Γ ἄρα γωνία ἴση ἐστὶ τῇ ὑπὸ ΑΕΒ. Ἐπὶ τῆς δοθείσης ἄρα εὐθείας τῆς ΑΒ τμῆμα κύκλου γέγραπται τὸ ΑΕΒ δεχόμενον γωνίαν τὴν ὑπὸ ΑΕΒ ἴσην τῇ δοθείσῃ τῇ πρὸς τῷ Γ. Ἀλλὰ δὴ ὀρθὴ ἔστω ἡ πρὸς τῷ Γ: καὶ δέον πάλιν ἔστω ἐπὶ τῆς ΑΒ γράψαι τμῆμα κύκλου δεχόμενον γωνίαν ἴσην τῇ πρὸς τῷ Γ ὀρθῇ [γωνίᾳ]. συνεστάτω [πάλιν] τῇ πρὸς τῷ Γ ὀρθῇ γωνίᾳ ἴση ἡ ὑπὸ ΒΑΔ, ὡς ἔχει ἐπὶ τῆς δευτέρας καταγραφῆς, καὶ τετμήσθω ἡ ΑΒ δίχα κατὰ τὸ Ζ, καὶ κέντρῳ τῷ Ζ, διαστήματι δὲ ὁποτέρῳ τῶν ΖΑ, ΖΒ, κύκλος γεγράφθω ὁ ΑΕΒ. Ἐφάπτεται ἄρα ἡ ΑΔ εὐθεῖα τοῦ ΑΒΕ κύκλου διὰ τὸ ὀρθὴν εἶναι τὴν πρὸς τῷ Α γωνίαν. καὶ ἴση ἐστὶν ἡ ὑπὸ ΒΑΔ γωνία τῇ ἐν τῷ ΑΕΒ τμήματι: ὀρθὴ γὰρ καὶ αὐτὴ ἐν ἡμικυκλίῳ οὖσα. ἀλλὰ καὶ ἡ ὑπὸ ΒΑΔ τῇ πρὸς τῷ Γ ἴση ἐστίν. καὶ ἡ ἐν τῷ ΑΕΒ ἄρα ἴση ἐστὶ τῇ πρὸς τῷ Γ. γέγραπται ἄρα πάλιν ἐπὶ τῆς ΑΒ τμῆμα κύκλου τὸ ΑΕΒ δεχόμενον γωνίαν ἴσην τῇ πρὸς τῷ Γ. Ἀλλὰ δὴ ἡ πρὸς τῷ Γ ἀμβλεῖα ἔστω: καὶ συνεστάτω αὐτῇ ἴση πρὸς τῇ ΑΒ εὐθείᾳ καὶ τῷ Α σημείῳ ἡ ὑπὸ ΒΑΔ, ὡς ἔχει ἐπὶ τῆς τρίτης καταγραφῆς, καὶ τῇ ΑΔ πρὸς ὀρθὰς ἤχθω ἡ ΑΕ, καὶ τετμήσθω πάλιν ἡ ΑΒ δίχα κατὰ τὸ Ζ, καὶ τῇ ΑΒ πρὸς ὀρθὰς ἤχθω ἡ ΖΗ, καὶ ἐπεζεύχθω ἡ ΗΒ. Καὶ ἐπεὶ πάλιν ἴση ἐστὶν ἡ ΑΖ τῇ ΖΒ, καὶ κοινὴ ἡ ΖΗ, δύο δὴ αἱ ΑΖ, ΖΗ δύο ταῖς ΒΖ, ΖΗ ἴσαι εἰσίν: καὶ γωνία ἡ ὑπὸ ΑΖΗ γωνίᾳ τῇ ὑπὸ ΒΖΗ ἴση: βάσις ἄρα ἡ ΑΗ βάσει τῇ ΒΗ ἴση ἐστίν: ὁ ἄρα κέντρῳ μὲν τῷ Η διαστήματι δὲ τῷ ΗΑ κύκλος γραφόμενος ἥξει καὶ διὰ τοῦ Β. ἐρχέσθω ὡς ὁ ΑΕΒ. καὶ ἐπεὶ τῇ ΑΕ διαμέτρῳ ἀπ' ἄκρας πρὸς ὀρθάς ἐστιν ἡ ΑΔ, ἡ ΑΔ ἄρα ἐφάπτεται τοῦ ΑΕΒ κύκλου. καὶ ἀπὸ τῆς κατὰ τὸ Α ἐπαφῆς διῆκται ἡ ΑΒ: ἡ ἄρα ὑπὸ ΒΑΔ γωνία ἴση ἐστὶ τῇ ἐν τῷ ἐναλλὰξ τοῦ κύκλου τμήματι τῷ ΑΘΒ συνισταμένῃ γωνίᾳ. ἀλλ' ἡ ὑπὸ ΒΑΔ γωνία τῇ πρὸς τῷ Γ ἴση ἐστίν. καὶ ἡ ἐν τῷ ΑΘΒ ἄρα τμήματι γωνία ἴση ἐστὶ τῇ πρὸς τῷ Γ. Ἐπὶ τῆς ἄρα δοθείσης εὐθείας τῆς ΑΒ γέγραπται τμῆμα κύκλου τὸ ΑΘΒ δεχόμενον γωνίαν ἴσην τῇ πρὸς τῷ Γ: ὅπερ ἔδει ποιῆσαι.
On a given straight line to describe a segment of a circle admitting an angle equal to a given rectilineal angle. Let AB be the given straight line, and the angle at C the given rectilineal angle; thus it is required to describe on the given straight line AB a segment of a circle admitting an angle equal to the angle at C. The angle at C is then acute, or right, or obtuse. First let it be acute, and, as in the first figure, on the straight line AB, and at the point A, let the angle BAD be constructed equal to the angle at C; therefore the angle BAD is also acute. Let AE be drawn at right angles to DA, let AB be bisected at F, let FG be drawn from the point F at right angles to AB, and let GB be joined. Then, since AF is equal to FB, and FG is common, the two sides AF, FG are equal to the two sides BF, FG; and the angle AFG is equal to the angle BFG; therefore the base AG is equal to the base BG. [I. 4] Therefore the circle described with centre G and distance GA will pass through B also. Let it be drawn, and let it be ABE; let EB be joined. Now, since AD is drawn from A, the extremity of the diameter AE, at right angles to AE, therefore AD touches the circle ABE. [III. 16, Por.] Since then a straight line AD touches the circle ABE, and from the point of contact at A a straight line AB is drawn across in the circle ABE, the angle DAB is equal to the angle AEB in the alternate segment of the circle. [III. 32] But the angle DAB is equal to the angle at C; therefore the angle at C is also equal to the angle AEB. Therefore on the given straight line AB the segment AEB of a circle has been described admitting the angle AEB equal to the given angle, the angle at C. Next let the angle at C be right; and let it be again required to describe on AB a segment of a circle admitting an angle equal to the right angle at C. Let the angle BAD be constructed equal to the right angle at C, as is the case in the second figure; let AB be bisected at F, and with centre F and distance either FA or FB let the circle AEB be described. Therefore the straight line AD touches the circle ABE, because the angle at A is right. [III. 16, Por.] And the angle BAD is equal to the angle in the segment AEB, for the latter too is itself a right angle, being an angle in a semicircle. [III. 31] But the angle BAD is also equal to the angle at C. Therefore the angle AEB is also equal to the angle at C. Therefore again the segment AEB of a circle has been described on AB admitting an angle equal to the angle at C. Next, let the angle at C be obtuse; and on the straight line AB, and at the point A, let the angle BAD be constructed equal to it, as is the case in the third figure; let AE be drawn at right angles to AD, let AB be again bisected at F, let FG be drawn at right angles to AB, and let GB be joined. Then, since AF is again equal to FB, and FG is common, the two sides AF, FG are equal to the two sides BF, FG; and the angle AFG is equal to the angle BFG; therefore the base AG is equal to the base BG. [I. 4] Therefore the circle described with centre G and distance GA will pass through B also; let it so pass, as AEB. Now, since AD is drawn at right angles to the diameter AE from its extremity, AD touches the circle AEB. [III. 16, Por.] And AB has been drawn across from the point of contact at A; therefore the angle BAD is equal to the angle constructed in the alternate segment AHB of the circle. [III. 32] But the angle BAD is equal to the angle at C. Therefore the angle in the segment AHB is also equal to the angle at C.