Πᾶς κύκλος ἴσος ἐστὶ τριγώνῳ ὀρθογωνίῳ, οὗ ἡ μὲν ἐκ τοῦ κέντρου ἴση μιᾷ τῶν περὶ τὴν ὀρθήν, ἡ δὲ περίμετρος τῇ βάσει.

Ἐχέτω ὁ ΑΒΓ△ κύκλος τριγώνῳ τῷ Ε, ὡς ὑπόκειται· λέγω ὅτι ἴσος ἐστίν.

Εἰ γὰρ δυνατόν, ἔστω μείζων ὁ κύκλος, καὶ ἐγγεγράφθω τὸ ΑΓ τετράγωνον, καὶ τετμήσθωσαν αἱ περιφέρειαι δίχα, καὶ ἔστω τὰ τμήματα ἤδη ἐλάσσονα τῆς ὑπεροχῆς, ᾗ
ὑπερέχει ὁ κύκλος τοῦ τριγώνου· τὸ εὐθύγραμμον ἄρα ἔτι τοῦ τριγώνου ἐστὶ μεῖζον. Εἰλήφθω κέντρον τὸ Ν καὶ κάθετος ἡ ΝΞ· ἐλάσσων ἄρα ἡ ΝΞ τῆς τοῦ τριγώνου πλευρᾶς. Ἔστιν δὲ καὶ ἡ περίμετρος τοῦ εὐθυγράμμου τῆς λοιπῆς ἐλάττων, ἐπεὶ καὶ τῆς τοῦ κύκλου περιμέτρου ἔλαττον ἄρα τὸ εὐθύγραμμον τοῦ Ε τριγώνου· ὅπερ ἄτοπον.

Ἔστω δὲ ὁ κύκλος, εἰ δυνατόν, ἐλάσσων τοῦ Ε τριγώνου,
καὶ περιγεγράφθω τὸ τετράγωνον, καὶ τετμήσθωσαν αἱ περιφέρειαι δίχα, καὶ ἤχθωσαν ἐφαπτόμεναι διὰ τῶν σημείων· ὀρθὴ ἄρα ἡ ὑπὸ ΟΑΡ. Ἡ ΟΡ ἄρα τῆς ΜΡ ἐστὶν μείζων· ἡ γὰρ ΡΜ τῇ ΡΑ ἴση ἐστί· καὶ τὸ ΡΟΠ τρίγωνον ἄρα τοῦ ΟΖΑΜ σχήματος μεῖζόν ἐστιν ἢ τὸ ἥμισυ. Λελείφθωσαν
οἱ τῷ ΠΖΑ τομεῖ ὅμοιοι ἐλάσσους τῆς ὑπεροχῆς, ᾗ ὑπερέχει τὸ Ε τοῦ ΑΒΓ△ κύκλου· ἔτι ἄρα τὸ περιγεγραμμένον εὐθύγραμμον τοῦ Ε ἐστὶν ἔλασσον· ὅπερ ἄτοπον· ἔστιν γὰρ μεῖζον, ὅτι ἡ μὲν ΝΑ ἴση ἐστὶ τῇ καθέτῳ τοῦ τριγώνου, ἡ δὲ περίμετρος μείζων ἐστὶ τῆς
βάσεως τοῦ τριγώνου. Ἴσος ἄρα ὁ κύκλος τῷ Ε τριγώνῳ.