Book 4
6
καὶ ἐπεὶ ἴση ἐστὶν ἡ ΒΕ τῇ ΕΔ· κέντρον γὰρ τὸ Ε· κοινὴ δὲ καὶ πρὸς ὀρθὰς ἡ ΕΑ, βάσις ἄρα ἡ ΑΒ βάσει τῇ ΑΔ ἴση ἐστίν. διὰ τὰ αὐτὰ δὴ καὶ ἑκατέρα τῶν ΒΓ, ΓΔ ἑκατέρᾳ τῶν ΑΒ, ΑΔ ἴση ἐστίν· ἰσόπλευρον ἄρα ἐστὶ τὸ ΑΒΓΔ τετράπλευρον. λέγω δή, ὅτι καὶ ὀρθογώνιον. ἐπεὶ γὰρ ἡ ΒΔ εὐθεῖα διάμετρός ἐστι τοῦ ΑΒΓΔ κύκλου, ἡμικύκλιον ἄρα ἐστὶ τὸ ΒΑΔ· ὀρθὴ ἄρα ἡ ὑπὸ ΒΑΔ γωνία. διὰ τὰ αὐτὰ δὴ καὶ ἑκάστη τῶν ὑπὸ ΑΒΓ, ΒΓΔ, ΓΔΑ ὀρθή ἐστιν· ὀρθογώνιον ἄρα ἐστὶ τὸ ΑΒΓΔ τετράπλευρον. ἐδείχθη δὲ καὶ ἰσόπλευρον· τετράγωνον ἄρα ἐστίν. καὶ ἐγγέγραπται εἰς τὸν ΑΒΓΔ κύκλον.
6
εἰς ἄρα τὸν δοθέντα κύκλον τετράγωνον ἐγγέγραπται τὸ ΑΒΓΔ· ὅπερ ἔδει ποιῆσαι.
7
περὶ τὸν δοθέντα κύκλον τετράγωνον περιγράψαι.
7
ἔστω ὁ δοθεὶς κύκλος ὁ ΑΒΓΔ· δεῖ δὴ περὶ τὸν ΑΒΓΔ κύκλον τετράγωνον περιγράψαι.
7
ἤχθωσαν τοῦ ΑΒΓΔ κύκλου δύο διάμετροι πρὸς ὀρθὰς ἀλλήλαις αἱ ΑΓ, ΒΔ, καὶ διὰ τῶν Α, Β, Γ, Δ σημείων ἤχθωσαν ἐφαπτόμεναι τοῦ ΑΒΓΔ κύκλου αἱ ΖΗ, ΗΘ, ΘΚ, ΚΖ.
7
ἐπεὶ οὖν ἐφάπτεται ἡ ΖΗ τοῦ ΑΒΓΔ κύκλου, ἀπὸ δὲ τοῦ Ε κέντρου ἐπὶ τὴν κατὰ τὸ Α ἐπαφὴν ἐπέζευκται ἡ ΕΑ, αἱ ἄρα πρὸς τῷ Α γωνίαι ὀρθαί εἰσιν. διὰ τὰ αὐτὰ δὴ καὶ αἱ πρὸς τοῖς Β, Γ, Δ σημείοις γωνίαι ὀρθαί εἰσιν. καὶ ἐπεὶ ὀρθή ἐστιν ἡ ὑπὸ ΑΕΒ γωνία, ἐστὶ δὲ ὀρθὴ καὶ ἡ ὑπὸ ΕΒΗ, παράλληλος ἄρα ἐστὶν ἡ ΗΘ τῇ ΑΓ. διὰ τὰ αὐτὰ δὴ καὶ ἡ ΑΓ τῇ ΖΚ ἐστι παράλληλος. ὥστε καὶ ἡ ΗΘ τῇ ΖΚ ἐστι παράλληλος. ὁμοίως δὴ δείξομεν, ὅτι καὶ ἑκατέρα τῶν ΗΖ, ΘΚ τῇ ΒΕΔ ἐστι παράλληλος. παραλληλόγραμμα ἄρα ἐστὶ τὰ ΗΚ, ΗΓ, ΑΚ, ΖΒ, ΒΚ· ἴση ἄρα ἐστὶν ἡ μὲν ΗΖ τῇ ΘΚ, ἡ δὲ ΗΘ τῇ ΖΚ. καὶ ἐπεὶ ἴση ἐστὶν ἡ ΑΓ τῇ ΒΔ, ἀλλὰ καὶ ἡ μὲν ΑΓ ἑκατέρᾳ τῶν ΗΘ, ΖΚ, ἡ δὲ ΒΔ ἑκατέρᾳ τῶν ΗΖ, ΘΚ ἐστιν ἴση καὶ ἑκατέρα ἄρα τῶν ΗΘ, ΖΚ ἑκατέρᾳ τῶν ΗΖ, ΘΚ ἐστιν ἴση, ἰσόπλευρον ἄρα ἐστὶ τὸ ΖΗΘΚ τετράπλευρον. λέγω δή, ὅτι καὶ ὀρθογώνιον. ἐπεὶ γὰρ παραλληλόγραμμόν ἐστι τὸ ΗΒΕΑ, καί ἐστιν ὀρθὴ ἡ ὑπὸ ΑΕΒ, ὀρθὴ ἄρα καὶ ἡ ὑπὸ ΑΗΒ. ὁμοίως δὴ δείξομεν, ὅτι καὶ αἱ πρὸς τοῖς Θ, Κ, Ζ γωνίαι ὀρθαί εἰσιν. ὀρθογώνιον ἄρα ἐστὶ τὸ ΖΗΘΚ. ἐδείχθη δὲ καὶ ἰσόπλευρον· τετράγωνον ἄρα ἐστίν. καὶ περιγέγραπται περὶ τὸν ΑΒΓΔ κύκλον.