Euclid, Elements
J. L. Heiberg, Ed.

ἔστω κύκλος ὁ ΑΒΓΔ, διάμετρος δὲ αὐτοῦ ἔστω ἡ ΒΓ, κέντρον δὲ τὸ Ε, καὶ ἐπεζεύχθωσαν αἱ ΒΑ, ΑΓ, ΑΔ, ΔΓ: λέγω, ὅτι ἡ μὲν ἐν τῷ ΒΑΓ ἡμικυκλίῳ γωνία ἡ ὑπὸ ΒΑΓ ὀρθή ἐστιν, ἡ δὲ ἐν τῷ
10ΑΒΓ μείζονι τοῦ ἡμικυκλίου τμήματι γωνία ἡ ὑπὸ ΑΒΓ ἐλάττων ἐστὶν ὀρθῆς, ἡ δὲ ἐν τῷ ΑΔΓ ἐλάττονι τοῦ ἡμικυκλίου τμήματι γωνία ἡ ὑπὸ ΑΔΓ μείζων ἐστὶν ὀρθῆς.
15

ἐπεζεύχθω ἡ ΑΕ, καὶ διήχθω ἡ ΒΑ ἐπὶ τὸ Ζ.
15

καὶ ἐπεὶ ἴση ἐστὶν ἡ ΒΕ τῇ ΕΑ, ἴση ἐστὶ καὶ γωνία ἡ ὑπὸ ΑΒΕ τῇ ὑπὸ ΒΑΕ. πάλιν, ἐπεὶ ἴση ἐστὶν ἡ ΓΕ τῇ ΕΑ, ἴση ἐστὶ καὶ ἡ ὑπὸ ΑΓΕ τῇ ὑπὸ ΓΑΕ: ὅλη ἄρα ἡ
20ὑπὸ ΒΑΓ δυσὶ ταῖς ὑπὸ ΑΒΓ, ΑΓΒ ἴση ἐστίν. ἐστὶ δὲ καὶ ἡ ὑπὸ ΖΑΓ ἐκτὸς τοῦ ΑΒΓ τριγώνου δυσὶ ταῖς ὑπὸ ΑΒΓ, ΑΓΒ γωνίαις ἴση: ἴση ἄρα καὶ ἡ ὑπὸ ΒΑΓ γωνία τῇ ὑπὸ ΖΑΓ: ὀρθὴ ἄρα ἑκατέρα: ἡ ἄρα ἐν τῷ ΒΑΓ ἡμικυκλίῳ γωνία ἡ ὑπὸ ΒΑΓ ὀρθή ἐστιν.
25

καὶ ἐπεὶ τοῦ ΑΒΓ τριγώνου δύο γωνίαι αἱ ὑπὸ ΑΒΓ, ΒΑΓ δύο ὀρθῶν ἐλάττονές εἰσιν, ὀρθὴ δὲ ἡ ὑπὸ ΒΑΓ, ἐλάττων ἄρα ὀρθῆς ἐστιν ἡ ὑπὸ ΑΒΓ γωνία: καί ἐστιν ἐν τῷ ΑΒΓ μείζονι τοῦ ἡμικυκλίου τμήματι.

καὶ ἐπεὶ ἐν κύκλῳ τετράπλευρόν ἐστι τὸ ΑΒΓΔ, τῶν
30δὲ ἐν τοῖς κύκλοις τετραπλεύρων αἱ ἀπεναντίον γωνίαι δυσὶν ὀρθαῖς ἴσαι εἰσίν αἱ ἄρα ὑπὸ ΑΒΓ, ΑΔΓ γωνίαι δυσὶν ὀρθαῖς ἴσαι εἰσίν, καί ἐστιν ἡ ὑπὸ ΑΒΓ ἐλάττων ὀρθῆς: λοιπὴ ἄρα ἡ ὑπὸ ΑΔΓ γωνία μείζων ὀρθῆς ἐστιν: καί ἐστιν ἐν τῷ ΑΔΓ ἐλάττονι τοῦ ἡμικυκλίου τμήματι.
35

λέγω, ὅτι καὶ ἡ μὲν τοῦ μείζονος τμήματος γωνία ἡ περιεχομένη ὑπό τε τῆς ΑΒΓ περιφερείας καὶ τῆς ΑΓ εὐθείας μείζων ἐστὶν ὀρθῆς, ἡ δὲ τοῦ ἐλάττονος τμήματος γωνία ἡ περιεχομένη ὑπό τε τῆς ΑΔΓ περιφερείας καὶ τῆς ΑΓ εὐθείας ἐλάττων ἐστὶν ὀρθῆς. καί ἐστιν αὐτόθεν
40φανερόν. ἐπεὶ γὰρ ἡ ὑπὸ τῶν ΒΑ, ΑΓ εὐθειῶν ὀρθή ἐστιν, ἡ ἄρα ὑπὸ τῆς ΑΒΓ περιφερείας καὶ τῆς ΑΓ εὐθείας περιεχομένη μείζων ἐστὶν ὀρθῆς. πάλιν, ἐπεὶ ἡ ὑπὸ τῶν ΑΓ, ΑΖ εὐθειῶν ὀρθή ἐστιν, ἡ ἄρα ὑπὸ τῆς ΓΑ εὐθείας καὶ τῆς ΑΔΓ περιφερείας περιεχομένη ἐλάττων
45ἐστὶν ὀρθῆς.

ἐν κύκλῳ ἄρα ἡ μὲν ἐν τῷ ἡμικυκλίῳ γωνία ὀρθή ἐστιν, ἡ δὲ ἐν τῷ μείζονι τμήματι ἐλάττων ὀρθῆς, ἡ δὲ ἐν τῷ ἐλάττονι τμήματι μείζων ὀρθῆς, καὶ ἔτι ἡ μὲν τοῦ μείζονος τμήματος γωνία μείζων ἐστὶν ὀρθῆς, ἡ δὲ τοῦ
50ἐλάττονος τμήματος γωνία ἐλάττων ὀρθῆς: ὅπερ ἔδει δεῖξαι.

πόρισμα

ἐκ δὴ τούτου φανερόν, ὅτι ἐὰν ἡ μία γωνία τριγώνου ταῖς δυσὶν ἴση ᾖ, ὀρθή ἐστιν ἡ γωνία διὰ τὸ καὶ τὴν ἐκείνης
55ἐκτὸς ταῖς αὐταῖς ἴσην εἶναι: ἐὰν δὲ αἱ ἐφεξῆς ἴσαι ὦσιν, ὀρθαί εἰσιν.