Εἰς τὸ β΄ θεώρημα.

Καὶ συνθέντι ὡς ἡ △Θ πρὸς ΘΓ, ἡ ΓΑ πρὸς ΑΕ, τουτέστι τὸ ἀπὸ ΓΒ πρὸς τὸ ἀπὸ ΒΕ |Ὡς γὰρ ἐπὶ αὐτῆς τῆς ἐν τῷ ῥητῷ καταγραφῆς, ἐπεὶ ἐν ὀρθογωνίῳ τριγώνῳ τῷ ΓΒΑ ἀπὸ τῆς ὀρθῆς ἐπὶ τὴν βάσιν κάθετος ἧκται ἡ ΒΕ, τὰ πρὸς τῇ καθέτῳ τρίγωνα ὅμοιά ἐστι τῷ τε ὅλῳ καὶ ἀλλήλοις, καὶ διὰ τοῦτό ἐστιν ὡς ἡ ΓΑ πρὸς ΑΒ, ἡ ΒΑ πρὸς ΑΕ καὶ ἡ ΓΒ πρὸς ΒΕ · ὥστε καὶ ὡς τὸ ἀπὸ ΓΑ πρὸς τὸ ἀπὸ ΑΒ, οὕτως τὸ ἀπὸ ΓΒ πρὸς τὸ ἀπὸ ΒΕ. Ἀλλ᾿ ὡς τὸ ἀπὸ ΓΑ πρὸς τὸ ἀπὸ ΑΒ, οὕτως ἡ ΓΑ πρὸς ΑΕ· ὡς γὰρ ἡ πρώτη πρὸς τὴν τρίτην, οὕτως τὸ ἀπὸ τῆς πρώτης πρὸς τὸ ἀπὸ τῆς δευτέρας. Ὡς ἄρα ἡ ΓΑ πρὸς ΑΕ, οὕτως τὸ ἀπὸ ΓΒ πρὸς τὸ ἀπὸ ΒΕ. Διὰ δὲ τῶν αὐτῶν δείκνυται ὅτι ἐστὶν ὡς ἡ ΓΑ πρὸς ΓΕ, οὕτως τὸ ἀπὸ ΑΒ πρὸς τὸ ἀπὸ ΒΕ. Διὰ γὰρ τὴν ὁμοιότητα τῶν τριγώνων ἐστὶ πάλιν ὡς ἡ μὲν ΑΓ πρὸς ΓΒ, οὕτως ἡ ΒΓ πρὸς ΓΕ, τουτέστιν ὡς τὸ ἀπὸ ΑΓ πρὸς τὸ ἀπὸ ΓΒ, οὕτως ἡ ΑΓ πρὸς ΓΕ, ὡς δὲ τὸ ἀπὸ ΑΓ πρὸς τὸ ἀπὸ ΓΒ, οὕτως τὸ ἀπὸ ΑΒ πρὸς τὸ ἀπὸ ΒΕ · καὶ ὡς ἄρα ἡ ΑΓ πρὸς ΓΕ, τὸ ἀπὸ ΑΒ πρὸς τὸ ἀπὸ ΒΕ. Εἶτα ἐφεξῆς δεικνύναι πειρώμενος τῷ ΒΑΖ τμήματι τῆς σφαίρας ἴσον τὸν ΒΚΖ κῶνον ἐκθέμενος κῶνον τὸν βάσιν μὲν ἔχοντα ἴσην τῇ ἐπιφανείᾳ τοῦ ΒΑΖ τμήματος, ὕφος δὲ ἴσον τῇ ἐκ τοῦ κέντρου τῆς σφαίρας, φησὶν ὅτι ὁ Ν κῶνος ἴσος ἐστὶ τῷ ΖΑΒΘ στερεῷ τομεῖ, ὡς δέδεικται ἐν τῷ πρώτῳ βιβλίῳ. Ἰστέον δὲ ὅτι ἐν τῷ πρώτῳ βιβλίῳ οὐ τὸν τοιοῦτον τομέα ἀπεδείκνυεν ἴσον ὄντα τῷ οὕτως λαμβανομένῳ κώνῳ, ἀλλὰ τὸν περιεχόμενον ὑπὸ τε τῆς τοῦ κώνου ἐπιφανείας καὶ σφαιρικῆς ἐπιφανείας ἐλάττονος ἡμισφαιρίου, ὅντινα καὶ κυρίως ἐν τοῖς ὅροις τομέα στερεὸν καλεῖν ἐφαίνετο. Ἔφασκεν γάρ · τομέα δὲ στερεὸν καλέω, ἐπειδὰν σφαῖραν κῶνος τέμνῃ τὰν κορυφὰν ἔχων ποτὶ τῷ κέντρῳ τᾶς σφαίρας, τὸ περιεχόμενον σχῆμα ὑπὸ τᾶς τοῦ κώνου ἐπιφανείας καὶ τᾶς ἐντὸς τοῦ κώνου |Τὸ δὲ νῦν προκείμενον σχῆμα περιέχεται μὲν ὑπὸ κωνικῆς ἐπιφανείας τὴν κορυφὴν ἐχούσης πρὸς τῷ κέντρῳ τῆς σφαίρας καὶ σφαιρικῆς ἐπιφανείας, ἀλλ᾿ οὐ τῆς ἐντὸς ἀπολαμβανομένης τοῦ κώνου. Ὅτι δὲ καὶ τὸ τοιοῦτον σχῆμα ἴσον γίνεται τῷ κώνῳ τῷ βάσιν μὲν ἔχοντι τὴν ἴσην τῇ ἐπιφανείᾳ τῇ σφαιρικῇ τῇ περιεχούσῃ τὸ τμῆμα, ὕψος δὲ ἴσον τῇ ἐκ τοῦ κέντρου τῆς σφαίρας, δειχθήσεται οὕτως διὰ τῶν ἐν τῷ πρώτῳ βιβλίῳ δεδεγμένων. Νενοήσθω χωρὶς σφαῖρα καὶ τετμήσθω ἐπιπέδῳ τινὶ μὴ διὰ τοῦ κέντρου τῷ περὶ διάμετρον τὴν Β△ κύκλῳ, κέντρον δὲ τῆς σφαίρας τὸ Α, καὶ νοείσθω κῶνος βάσιν μὲν ἔχων τὸν περὶ διάμετρον τὴν Β△ κύκλον, κορυφὴν δὲ τὸ Α σημεῖον, ἐκκείσθω δὲ κῶνος ὁ Ε, οὗ ἡ μὲν βάσις ἴση ἔστω τῇ ἐπιφανείᾳ τῆς σφαίρας, ὕψος δὲ ἡ ἐκ τοῦ κέντρου τῆς σφαίρας ὁ ἄρα Ε κῶνος ἴσος ἐστὶ τῇ σφαίρᾳ τετραπλάσιος γάρ ἐστι τοῦ κώνου τοῦ βάσιν ἔχοντος τὸν μέγιστον κύκλον, ὕψος δὲ τὸ αὐτό, οὗπερ καὶ ἡ σφαῖρα ἐδείχθη τετραπλασία. Ἐκκείσθωσαν δὲ καὶ ἄλλοι δύο κῶνοι οἱ Ζ, Η, ὧν ὁ μὲν Ζ βάσιν ἐχέτω ἴσην τῇ ἐπιφανείᾳ τοῦ κατὰ τὴν ΒΓ△ τμήματος, ὕψος δὲ τὴν ἐκ τοῦ κέντρου τῆς σφαίρας, ὁ δὲ Η βάσιν μὲν ἴσην τῇ ἐπιφανείᾳ τοῦ κατὰ τὴν ΒΘ△ τμήματος, ὕψος δὲ τὸ αὐτὸ ὁ ἄρα Ζ κῶνος ἴσος ἐστὶ τῷ τομεῖ, οὗ κορυφὴ μὲν τὸ Α, ἐπιφάνεια δὲ σφαιρικὴ ἡ κατὰ τὴν ΑΓ△. Ἐπεὶ οὖν ἴση ἐστὶν ἡ τοῦ Ε κώνου βάσις ταῖς τῶν Ζ, Η κώνων βάσεσιν, καί εἰσιν ὑπὸ τὸ αὐτὸ ὕψος, ἴσος ἄρα ἐστὶν ὁ Ε κῶνος, τουτέστιν ἡ σφαῖρα, τοῖς Ζ, Η κώνοις. Ἀλλ᾿ ὁ Ζ ἴσος ἐδείχθη τῷ κατὰ τὴν ΒΓ△ στερεῷ τομεῖ κορυφὴν ἔχοντι τὸ A λοιπὸς ἄρα ὁ ἡ κῶνος ἴσος ἐστὶ τῷ λοιπῷ τμήματι βάσιν ἔχων τὴν ἐπιφάνειαν τοῦ κατὰ τὴν ΒΘ△ τμήματος, ὕψος δὲ τὴν ἐκ τοῦ κέντρου. Εἶτα πάλιν φησίν ἴσος ἄρα ὁ Ν κῶνος, τουτέστιν ὁ ΒΘΖΑ τομεύς, τῷ ΒΘΖΚ σχήματι |Ἐπεὶ γὰρ συνήχθη ὁ Ν κῶνος ἴσος ὢν κώνῳ, οὗ βάσις μὲν ὁ περὶ διάμετρον τὴν ΒΖ κύκλος, ὕψος δὲ ἡ ΘΚ, ὁ δὲ κῶνος, οὗ βάσις μὲν ἐστιν ἡ αὐτή, ὕψος δὲ ἡ ΕΚ, ἴσος τῷ τε εἰρημένῳ κώνῳ καὶ τῷ βάσιν μὲν ἔχοντι τὴν αὐτήν, ὕψος · δὲ τὴν ΕΘ · πρὸς ἀλλήλους γάρ εἰσιν ὡς τὰ ὕψη · κοινοῦ ἀφαιρεθέντος τοῦ κώνου τοῦ βάσιν μὲν ἔχοντος τὴν αὐτήν, ὕψος δὲ τὴν ΕΘ, λοιπὸν τὸ ΒΘΖΚ σχῆμα ἴσον ἐστὶ τῷ κώνῳ τῷ βάσιν μὲν ἔχοντι τὸν περὶ διάμετρον τὴν ΒΖ κύκλον, ὕψος δὲ τὴν ΘΚ, τουτέστι τῷ Ν κώνῳ, τουτέστι τῷ ΒΑΘΖ τομεῖ. Ἐπαγαγὼν δὴ τὸ ἐκ τῶν συναχθέντων πόρισμα ἐπὶ τέλει τοῦ θεωρήματος ἑξῆς δι᾿ ἑτέρας ἀποδείξεως συνάγει τὸ τελευταῖον μέρος τοῦ θεωρήματος, τουτέστιν ὅτι τὸ ΑΒΖ τμῆμα τῆς σφαίρας ἴσον ἐστὶ τῷ ΒΚΖ κώνῳ, καὶ προιών φησιν · ὡς ἄρα ἡ ΚΘ πρὸς ΘΓ, ἡ Θ△ πρὸς △Γ, καὶ ὅλη ἡ Κ△ πρὸς △Θ ἐστὶν ὡς ἡ △Θ πρὸς △Γ |Ἐπεὶ γάρ ἐστιν ὡς ἡ ΚΘ πρὸς ΘΓ, ἡ Θ△ πρὸς △Γ, καὶ ἐναλλὰξ ὡς ἡ ΚΘ πρὸς Θ△, ἡ ΘΓ πρὸς Γ△, καὶ συνθέντι ὡς ἡ Κ△ πρὸς △Θ, ἡ Θ△ πρὸς △Γ, τουτέστιν ἡ ΚΘ πρὸς ΘΑ · ἦν γὰρ ὡς ἡ ΚΘ πρὸς ΘΓ, ἡ Θ△ πρὸς △Γ, ἴση δὲ ἡ ΘΓ τῇ ΘΑ. Καὶ μετ᾿ ὀλίγον · ὡς ἄρα ἡ ΚΘ πρὸς △Θ, οὕτως ἡ ΑΕ πρὸς ΕΓ· καὶ ὡς ἄρα τὸ ἀπὸ Κ△ πρὸς τὸ ὑπὸ τῶν ΚΘ△, οὕτως τὸ ἀπὸ ΑΓ πρὸς τὸ ὑπὸ τῶν ΑΕΓ |Νοείσθωσαν γὰρ χωρὶς κείμεναι αἱ Κ△, ΑΓ, καὶ ἔστω ὡς ἡ ΚΘ πρὸς Θ△, οὕτως ἡ ΑΕ πρὸς ΕΓ. Λέγω ὅτι ἐστὶν καὶ ὡς τὸ ἀπὸ Κ△ πρὸς τὸ ὑπὸ ΚΘ△, οὕτως τὸ ἀπὸ ΑΓ πρὸς τὸ ὑπὸ ΑΕΓ. Ἐπεὶ γάρ ἐστιν ὡς ἡ ΚΘ πρὸς Θ△, οὕτως ἡ ΑΕ πρὸς ΕΓ, καὶ συνθέντι ἐστὶν ὡς ἡ Κ△ πρὸς △Θ, οὕτως ἡ ΑΓ πρὸς ΓΕ · ὥστε καὶ ὡς τὸ ἀπὸ Κ△ πρὸς τὸ ἀπὸ △Θ, οὕτως τὸ ἀπὸ ΑΓ πρὸς τὸ ἀπὸ ΕΓ. Πάλιν ἐπεί ἐστιν ὡς ἡ ΚΘ πρὸς Θ△, οὕτως ἡ ΑΕ πρὸς ΕΓ, ἀλλ᾿ ὡς ἡ ΚΘΚ πρὸς Θ△, οὕτως τὸ ὑπὸ ΚΘ△ πρὸς τὸ ἀπὸ Θ△ κοινοῦ ὕφους τῆς Θ△ λαμβανομένης, ὡς δὲ ἡ ΑΕ πρὸς ΕΓ, οὕτως τὸ ὑπὸ ΑΕΓ πρὸς τὸ ἀπὸ ΕΓ κοινοῦ πάλιν ὕψους λαμβανομένης τῆς ΕΓ, καὶ ὡς ἄρα τὸ ὑπὸ ΚΘ△ πρὸς τὸ ἀπὸ Θ△, οὕτως τὸ ὑπὸ ΑΕΓ πρὸς τὸ ἀπὸ ΕΓ. Ἐδείχθη δὲ ὡς τὸ ἀπὸ Θ△ πρὸς τὸ ἀπὸ △Κ, οὕτως τὸ ἀπὸ ΕΓ πρὸς τὸ ἀπὸ ΓΑ· καὶ δι᾿ ἴσου ἄρα ὡς τὸ ὑπὸ ΚΘ△ πρὸς τὸ ἀπὸ Κ△, οὕτως τὸ ὑπὸ ΑΕΓ πρὸς τὸ ἀπὸ ΑΓ. Καὶ ἀνάπαλιν ὅπερ ἔδει δεῖξαι.