Euclid, Elements
J. L. Heiberg, Ed.

ἔστωσαν ἴσοι κύκλοι οἱ ΑΒΓ, ΔΕΖ, καὶ πρὸς μὲν
5τοῖς κέντροις αὐτῶν τοῖς Η, Θ γωνίαι ἔστωσαν αἱ ὑπὸ ΒΗΓ, ΕΘΖ, πρὸς δὲ ταῖς περιφερείαις αἱ ὑπὸ ΒΑΓ, ΕΔΖ: λέγω, ὅτι ἐστὶν ὡς ἡ ΒΓ περιφέρεια πρὸς τὴν ΕΖ περιφέρειαν, οὕτως ἥ τε ὑπὸ ΒΗΓ γωνία πρὸς τὴν ὑπὸ ΕΘΖ καὶ ἡ ὑπὸ ΒΑΓ πρὸς τὴν ὑπὸ ΕΔΖ.
10

κείσθωσαν γὰρ τῇ μὲν ΒΓ περιφερείᾳ ἴσαι κατὰ τὸ
10ἑξῆς ὁσαιδηποτοῦν αἱ ΓΚ, ΚΛ, τῇ δὲ ΕΖ περιφερείᾳ ἴσαι ὁσαιδηποτοῦν αἱ ΖΜ, ΜΝ, καὶ ἐπεζεύχθωσαν αἱ ΗΚ, ΗΛ, ΘΜ, ΘΝ.

ἐπεὶ οὖν ἴσαι εἰσὶν αἱ ΒΓ, ΓΚ, ΚΛ περιφέρειαι
15ἀλλήλαις, ἴσαι εἰσὶ καὶ αἱ ὑπὸ ΒΗΓ, ΓΗΚ, ΚΗΛ γωνίαι ἀλλήλαις: ὁσαπλασίων ἄρα ἐστὶν ἡ ΒΛ περιφέρεια τῆς ΒΓ, τοσαυταπλασίων ἐστὶ καὶ ἡ ὑπὸ ΒΗΛ γωνία τῆς ὑπὸ ΒΗΓ. διὰ τὰ αὐτὰ δὴ καὶ ὁσαπλασίων ἐστὶν ἡ ΝΕ περιφέρεια τῆς ΕΖ, τοσαυταπλασίων ἐστὶ
20καὶ ἡ ὑπὸ ΝΘΕ γωνία τῆς ὑπὸ ΕΘΖ. εἰ ἄρα ἴση ἐστὶν ἡ ΒΛ περιφέρεια τῇ ΕΝ περιφερείᾳ, ἴση ἐστὶ καὶ γωνία ἡ ὑπὸ ΒΗΛ τῇ ὑπὸ ΕΘΝ, καὶ εἰ μείζων ἐστὶν ἡ ΒΛ περιφέρεια τῆς ΕΝ περιφερείας, μείζων ἐστὶ καὶ ἡ ὑπὸ ΒΗΛ γωνία τῆς ὑπὸ ΕΘΝ, καὶ εἰ ἐλάσσων,
25ἐλάσσων. τεσσάρων δὴ ὄντων μεγεθῶν, δύο μὲν περιφερειῶν τῶν ΒΓ, ΕΖ, δύο δὲ γωνιῶν τῶν ὑπὸ ΒΗΓ, ΕΘΖ, εἴληπται τῆς μὲν ΒΓ περιφερείας καὶ τῆς ὑπὸ ΒΗΓ γωνίας ἰσάκις πολλαπλασίων ἥ τε ΒΛ περιφέρεια καὶ ἡ ὑπὸ ΒΗΛ γωνία, τῆς δὲ ΕΖ περιφερείας καὶ τῆς
30ὑπὸ ΕΘΖ γωνίας ἥ τε ΕΝ περιφέρεια καὶ ἡ ὑπὸ ΕΘΝ γωνία. καὶ δέδεικται, ὅτι εἰ ὑπερέχει ἡ ΒΛ περιφέρεια τῆς ΕΝ περιφερείας, ὑπερέχει καὶ ἡ ὑπὸ ΒΗΛ γωνία τῆς ὑπὸ ΕΘΝ γωνίας, καὶ εἰ ἴση, ἴση, καὶ εἰ ἐλάσσων, ἐλάσσων. ἔστιν ἄρα, ὡς ἡ ΒΓ περιφέρεια πρὸς τὴν ΕΖ, οὕτως ἡ
35ὑπὸ ΒΗΓ γωνία πρὸς τὴν ὑπὸ ΕΘΖ. ἀλλ᾽ ὡς ἡ ὑπὸ ΒΗΓ γωνία πρὸς τὴν ὑπὸ ΕΘΖ, οὕτως ἡ ὑπὸ ΒΑΓ πρὸς τὴν ὑπὸ ΕΔΖ: διπλασία γὰρ ἑκατέρα ἑκατέρας. καὶ ὡς ἄρα ἡ ΒΓ περιφέρεια πρὸς τὴν ΕΖ περιφέρειαν, οὕτως ἥ τε ὑπὸ ΒΗΓ γωνία πρὸς τὴν ὑπὸ ΕΘΖ καὶ ἡ ὑπὸ
40ΒΑΓ πρὸς τὴν ὑπὸ ΕΔΖ.

ἐν ἄρα τοῖς ἴσοις κύκλοις αἱ γωνίαι τὸν αὐτὸν ἔχουσι λόγον ταῖς περιφερείαις, ἐφ᾽ ὧν βεβήκασιν, ἐάν τε πρὸς τοῖς κέντροις ἐάν τε πρὸς ταῖς περιφερείαις ὦσι βεβηκυῖαι: ὅπερ ἔδει δεῖξαι.