Sphaerica (1.1.1)

Ἐὰν σφαιρικὴ ἐπιφάνεια ἐπιπέδῳ τινὶ τμηθῇ, ἡ γενομένη ἐν τῇ ἐπιφανείᾳ τῆς σφαίρας γραμμὴ κύκλου περιφέρειά ἐστιν.

Σφαιρικὴ γὰρ ἐπιφάνεια ἐπιπέδῳ τινὶ τετμήσθω, ποιείσθω δὲ καὶ ἐν τῇ ἐπιφανείᾳ τῆς σφαίρας τὴν ΑΒΓ γραμμήν· λέγω, ὅτι ἡ ΑΒΓ γραμμὴ κύκλου περιφέρειά ἐστιν.

Εἰ μὲν οὖν τὸ τέμνον ἐπίπεδον διὰ τοῦ κέντρου ἐστὶ τῆς σφαίρας· φανερὸν, ὅτι ἡ ΑΒΓ γραμμὴ κύκλου περιφέρειά ἐστιν· αἱ γὰρ ἀπὸ τοῦ κέντρου τῆς σφαίρας πρὸς τὴν ἐπιφάνειαν προσπίπτουσαι ἴσαι ἀλλήλαις εἰσί καί ἐστιν ἡ ΑΒΓ γραμμὴ ἐν τῇ ἐπιφανείᾳ τῆς σφαίρας, ὥστε αἱ ἀπὸ τοῦ κέντρου τῆς σφαίρας πρὸς τὴν ΑΒΓ γραμμὴν προσπίπτουσαι ἴσαι ἀλλήλαις εἰσί. καὶ ὑπόκειται τὸ ΑΒΓ ἐπίπεδον διὰ κέντρου τῆς σφαίρας ὄν· ὥτε ἡ ΑΒΓ γραμμὴ κύκλου περιφέρειά ἐστιν, ἧς κέντρον τὸ αὐτὸ, ὃ καὶ τῆς σφαίρας.

Πόρισμα α′. Καὶ ἐκ τούτου φανερὸν, ὅτι τοῦ διὰ τοῦ κέντρου τῆς σφαίρας ὄντος κύκλου τὸ αὐτὸ κέντρον ἐστὶ καὶ τῆς σφαῖρας (α).

Ἀλλὰ δὴ μὴ ἔστω τὸ τέμνον ἐπίπεδον διὰ τοῦ κέντρου τῆς σφαίρας, τὸ δὲ κέντρον τῆς σφαίρας ἔστω τὸ Δ σημεῖον· καὶ ἀπὸ τοῦ Δ σημείου ἐπὶ τὸ τέμνον ἐπίπεδον κάθετος ἤχθω ἡ ΔΕ, καὶ συμβαλλέτω τῷ ἐπιπέδῳ κατὰ τὸ Ε σημεῖον, καὶ προσπιπτέτωσαν ἀπό του Ε σημείου πρὸς τὴν ΑΒΓ γραμμὴν εὐθεῖαι αἱ ΕΑ, ΕΒ, καὶ ἐπεζεύχθωσαν αἱ ΔΑ, ΔΒ.

Καὶ ἐπεὶ ἴση ἐστὶν ἡ ΑΔ τῇ ΔΒ, καὶ τῷ μὲν ἀπὸ τῆς ΑΔ ἴσα τὰ ἀπὸ ΑΕ, ΕΔ, τῷ δὲ ἀπὸ τῆς ΔΒ ἴσα τὰ ἀπὸ τῶν ΒΕ, ΕΔ, ὀρθὴ γάρ ἐστιν ἑκατέρα τῶν πρὸς τῷ Ε γωνιῶν· τὰ ἄρα ἀπὸ τῶν ΑΕ, ΕΔ ἴσα ἐστὶ τοῖς ἀπὸ τῶν ΒΕ, ΕΔ κοινὸν ἀφῃρήσθω τὸ ἀπὸ τῆς ΔΕ, ἴση ἄρα ἐστὶν ἡ ΑΕ τῇ ΕΒ.

Ὁμοίως δὴ b δείξομεν, ὅτι καὶ πᾶσαι αἱ ἀπὸ τοῦ Ε πρὸς τὴν ΑΒΓ γραμμὴν προσπίπτουσαι ἴσαι ἀλλήλαις εἰσίν· ἡ ἄρα ΑΒΓ γραμμὴ κύκλου περιφέρειά ἐστιν, ἧς κέντρον τὸ Ε.

Πόρισμα β′. Ἐκ δὴ c τούτου φανερὸν, ὅτι ἐὰν ᾖ ἐν