Ἐν τοῖς κοίλοις ἐνόπτροις ἐὰν ἀνὰ μέσον τοῦ κέντρου καὶ τῆς περιφερείας θῇς τὸ ὄμμα, ὁτὲ μὲν συμπεσοῦνται αἱ ὄψεις ἀνακλώμεναι, ὁτὲ δὲ οὐ συμπεσοῦνται.

ἔστω ἔνοπτρον κοῖλον τὸ ΑΓ, κέντρον δὲ αὐτοῦ
τὸ ∠, ὄμμα δὲ κείσθω τὸ Β μεταξὺ τοῦ κέντρου καὶ τῆς περιφερείας, ὄψεις δὲ αἱ ΒΑ, ΒΓ ἀνακλώμεναι ἐπὶ τὰ Η, Ζ, καὶ ἐκβεβλήσθωσαν αἱ ὄψεις ἕως τοῦ ἐνόπτρου αἱ ΑΘ, ΓΚ. ἡ ΑΘ δὴ τῆς ΓΚΘ ἢ μείζων ἐστὶν ἢ ἴση ἢ ἐλάσσων. εἰ μὲν οὖν ἴση ἐστὶν ἡ ΑΘ ὄψις
τῇ ΓΚ ὄψει, ἴση ἐστὶ καὶ ἡ ΑΓΘ περιφέρεια τῇ ΓΘΚ περιφερείᾳ. ὥστε καὶ ἡ Μ γωνία τῇ Ξ· αἱ γὰρ τῶν ἴσων περιφερειῶν γωνίαι ἴσαι εἰσὶν ἀλλήλαις. καὶ αἱ Μ, Λ γωνίαι ἄρα ταῖς Ν, Ξ εἰσιν ἴσαι διὰ τὴν ἀνάκλασιν. ^{1 2} καὶ λοιπὴ ἄρα ἡ Ο τῇ Π ἴση ἐστίν. μείζων ἄρα ἡ Ρ τῆς Ο. ἐπεὶ γὰρ ἡ Ρ γωνία τῆς Π μείζων ἐστὶ διὰ τὸ ἐκτὸς εἶναι, ἡ δὲ Π τῇ Ο ἴση, καὶ ἡ Ρ ἄρα τῆς Ο μείζων ἐστίν. κοινὴ προσκείσθω ἡ ὑπὸ
ΟΡΖ. συμπεσοῦνται ἄρα αἱ ΓΖ, ΑΗ ὡς ἐπὶ τὰ Η, Ζ. τὸ δʼ αὐτὸ ἔσται, κἂν μείζων ἡ ΑΘ ὄψις τῆς ΓΚ· μείζονες γὰρ ἔσονται αἱ Λ, Μ γωνίαι τῶν Ν, Ξ, ἡ δὲ Π τῆς Ο μείζων ἔσται καὶ ἡ Ρ τῆς Ο. ἐὰν δὲ ἡ ΑΘ εὐθεῖα ἐλάσσων τῆς ΓΚ, διὰ τὰ αὐτὰ μείζων
ἔσται ἡ Ο γωνία τῆς Π. ἔστι δὲ καὶ ἡ τῆς Π μείζων. οὐδὲν ἄρα κωλύει ἴσην εἶναι τὴν Ρ τῇ Ο ἢ ἐλάσσονα τῆς Ο, καὶ μὴ συμπίπτειν τὴν ΑΗ τῇ ΓΖ. φανερὸν δέ, ὅτι, κἄν τε μείζων ᾖ ἡ ΑΘ περιφέρεια τῆς ΓΚ, ἐάν τε ἴση, ἡ σύμπτωσις τῶν ἀνακλάσεων
οὔτε ἐπὶ τῆς περιφερείας τοῦ κύκλου οὔτε ἐκτὸς οὐ μὴ γίνηται, ἀλλʼ ἐντὸς μόνον.