Euclid, Elements
J. L. Heiberg, Ed.

ἔστωσαν κύκλοι οἱ ΑΒΓ, ΖΗΘ, καὶ ἐν αὐτοῖς ὅμοια πολύγωνα ἔστω τὰ ΑΒΓΔΕ, ΖΗΘΚΛ, διάμετροι δὲ
5τῶν κύκλων ἔστωσαν αἱ ΒΜ, ΗΝ: λέγω, ὅτι ἐστὶν ὡς τὸ ἀπὸ τῆς ΒΜ τετράγωνον πρὸς τὸ ἀπὸ τῆς ΗΝ τετράγωνον, οὕτως τὸ ΑΒΓΔΕ πολύγωνον πρὸς τὸ ΖΗΘΚΛ πολύγωνον.

ἐπεζεύχθωσαν γὰρ αἱ ΒΕ, ΑΜ, ΗΛ, ΖΝ. καὶ ἐπεὶ
10ὅμοιον τὸ ΑΒΓΔΕ πολύγωνον τῷ ΖΗΘΚΛ πολυγώνῳ, ἴση ἐστὶ καὶ ἡ ὑπὸ ΒΑΕ γωνία τῇ ὑπὸ ΗΖΛ, καί ἐστιν ὡς ἡ ΒΑ πρὸς τὴν ΑΕ, οὕτως ἡ ΗΖ πρὸς τὴν ΖΛ. δύο δὴ τρίγωνά ἐστι τὰ ΒΑΕ, ΗΖΛ μίαν γωνίαν μιᾷ γωνίᾳ ἴσην ἔχοντα τὴν ὑπὸ ΒΑΕ τῇ ὑπὸ ΗΖΛ, περὶ δὲ τὰς ἴσας
15γωνίας τὰς πλευρὰς ἀνάλογον: ἰσογώνιον ἄρα ἐστὶ τὸ ΑΒΕ τρίγωνον τῷ ΖΗΛ τριγώνῳ. ἴση ἄρα ἐστὶν ἡ ὑπὸ ΑΕΒ γωνία τῇ ὑπὸ ΖΛΗ. ἀλλ᾽ ἡ μὲν ὑπὸ ΑΕΒ τῇ ὑπὸ ΑΜΒ ἐστιν ἴση: ἐπὶ γὰρ τῆς αὐτῆς περιφερείας βεβήκασιν: ἡ δὲ ὑπὸ ΖΛΗ τῇ ὑπὸ ΖΝΗ: καὶ ἡ ὑπὸ ΑΜΒ ἄρα τῇ ὑπὸ
20ΖΝΗ ἐστιν ἴση. ἔστι δὲ καὶ ὀρθὴ ἡ ὑπὸ ΒΑΜ ὀρθῇ τῇ ὑπὸ ΗΖΝ ἴση: καὶ ἡ λοιπὴ ἄρα τῇ λοιπῇ ἐστιν ἴση. ἰσογώνιον ἄρα ἐστὶ τὸ ΑΒΜ τρίγωνον τῷ ΖΗΝ τριγώνῳ. ἀνάλογον ἄρα ἐστὶν ὡς ἡ ΒΜ πρὸς τὴν ΗΝ, οὕτως ἡ ΒΑ πρὸς τὴν ΗΖ. ἀλλὰ τοῦ μὲν τῆς ΒΜ πρὸς τὴν ΗΝ λόγου
25διπλασίων ἐστὶν ὁ τοῦ ἀπὸ τῆς ΒΜ τετραγώνου πρὸς τὸ ἀπὸ τῆς ΗΝ τετράγωνον, τοῦ δὲ τῆς ΒΑ πρὸς τὴν ΗΖ διπλασίων ἐστὶν ὁ τοῦ ΑΒΓΔΕ πολυγώνου πρὸς τὸ ΖΗ ΘΚΛ πολύγωνον: καὶ ὡς ἄρα τὸ ἀπὸ τῆς ΒΜ τετράγωνον
25πρὸς τὸ ἀπὸ τῆς ΗΝ τετράγωνον, οὕτως τὸ ΑΒΓΔΕ
30πολύγωνον πρὸς τὸ ΖΗΘΚΛ πολύγωνον.

τὰ ἄρα ἐν τοῖς κύκλοις ὅμοια πολύγωνα πρὸς ἄλληλά ἐστιν ὡς τὰ ἀπὸ τῶν διαμέτρων τετράγωνα: ὅπερ ἔδει δεῖξαι.