Commentarii in libros de sphaera et cylindro

Σαφῶς ἡμῖν τῶν ἐν τῷ πρώτῳ βιβλίῳ θεωρημάτων γεγραμμένων ἀκόλουθος καὶ ἡ κατὰ τὸν αὐτὸν τρόπον ἐν τοῖς τοῦ δευτέρου θεωρήμασι σπουδή.

Φησὶν δὴ πρῶτον ἐν τῷ α΄ θεωρήματι·

Εἰλήφθω τοῦ δοθέντος κώνου ἢ κυλίνδρου ἡμιόλιος κύλινδρος | Τοῦτο δὲ διχῶς δυνατόν ἐστιν ποιεῖν ἤτοι τῆς βάσεως τῆς αὐτῆς σωζομένης ἐν ἀμφοτέροις ἢ τοῦ ὕψους. Καὶ ἵνα σαφέστερον γένηται τὸ λεγόμενον, νενοήσθω κῶνος ἢ κύλινδρος, οὗ βάσις μὲν ὁ Α κύκλος, ὕψος δὲ ἡ ΑΓ, καὶ δέον ἔστω αὐτοῦ ἡμιόλιον κύλινδρον εὑρεῖν.

Ὑποκείσθω δὴ πρότερον ὁ ΑΓ κύλινδρος, καὶ προσεκβεβλήσθω τὸ ΑΓ ὕψος τοῦ κυλίνδρου, καὶ κείσθω τῆς ΑΓ ἡμίσεια ἡ Γ△ ἡ ἄρα Α△ ἡμιολία ἐστὶν τῆς ΑΓ. Ἐὰν δὴ νοήσωμεν κύλινδρον βάσιν μὲν ἔχοντα τὸν Α κύκλον, ὕψος δὲ τὴν Α△ εὐθεῖαν, ἡμιόλιος ἔσται τοῦ προτεθέντος τοῦ ΑΓ· οἱ γὰρ ἐπὶ τῆς αὐτῆς βάσεως ὄντες κῶνοι καὶ κύλινδροι πρὸς ἀλλήλους εἰσὶν ὡς τὰ ὕψη.

Eἰ δὲ κῶνος εἴη ὁ ΑΓ, τμηθείσης τῆς ΑΓ δίχα ὡς κατὰ

τὸ Ε ἐὰν πάλιν νοηθῇ κύλινδρος βάσιν μὲν ἔχων τὸν Α κύκλον, ὕφος δὲ τὴν ΑΕ, ἔσται ἡμιόλιος τοῦ ΑΓ κώνου ὁ γὰρ κύλινδρος ὁ βάσιν ἔχων τὸν Α κύκλον, ὕψος δὲ τὴν ΑΓ εὐθεῖαν, τοῦ μὲν ΑΓ κώνου τριπλάσιός ἐστι, τοῦ δὲ ΑΕ κυλίνδρου διπλάσιος ὥστε δῆλον ὅτι καὶ ὁ ΑΕ κύλινδρος ἡμιόλιός ἐστι τοῦ ΑΓ κώνου.

Οὕτως μὲν οὖν τῆς αὐτῆς βάσεως σωζομένης ἔν τε τῷ προτεθέντι καὶ ἐν τῷ λαμβανομένῳ γενήσεται τὸ πρόβλημα, ἕνεστι δὲ καὶ τῆς βάσεως διαφόρου τυγχανούσης, τοῦ δὲ ἄξονος τοῦ αὐτοῦ μένοντος, τὸ αὐτὸ ποιεῖν.

Ἔστω γὰρ πάλιν κῶνος ἢ κύλινδρος, οὗ βάσις ὁ ΖΗ κύκλος, ὕψος δὲ ἡ ΘΚ εὐθεῖα, οὗ δέον ἔστω ἡμιόλιον κύλινδρον εὑρεῖν ὕψος ἔχοντα ἴσον τῇ ΘΚ. Ἀναγεγράφθω ἀπὸ τῆς ΖΗ διαμέτρου τοῦ κύκλου τετράγωνον τὸ ΖΛ, καὶ προσεκβληθείσης τῆς ΖΗ κείσθω αὐτῆς ἡμίσεια ἡ ΗΜ, καὶ συμπεπληρώσθω τὸ ΖΝ παραλληλόγραμμον· τὸ ἄρα ΖΝ ἡμιόλιόν ἐστι τοῦ ΖΛ καὶ ἡ ΜΖ τῆς ΖΗ. Συνεστάτω δὴ τῷ ΖΝ παραλληλογράμμῳ ἴσον τετράγωνον τὸ ΞΠ, καὶ περὶ διάμετρον μίαν τῶν πλευρῶν αὐτοῦ τὴν ΞΟ κύκλος γεγράφθω. Ἔσται δὴ ὁ ΞΟ ἡμιόλιος τοῦ ΖΗ· οἱ γὰρ κύκλοι πρὸς ἀλλήλους εἰσὶν ὡς τὰ ἀπὸ τῶν διαμέτρων

τετράγωνα, Καὶ ἐὰν πάλιν νοηθῇ κύλινδρος βάσιν μὲν ἔχων τὸν Ξ0 κύκλον, ὕψος δὲ ἴσον τῇ ΘΚ, ἔσται ἡμιόλιος τοῦ κυλίνδρου, οὗ βάσις μὲν ὁ ΖΗ κύκλος, ὕψος δὲ ἡ ΘΚ.

Εἰ δὲ κῶνος εἴη, ὁμοίως τὰ αὐτὰ ποιήσαντες καὶ τῷ τρίτῳ μέρει τοῦ ΖΝ παραλληλογράμμου ἴσον συστησάμενοι τετράγωνον ὡς τὸ ΞΠ καὶ περὶ τὴν πλευρὰν αὐτοῦ τὴν Ξ0 κύκλον γράψαντες νοήσωμεν ἀπʼ αὐτοῦ κύλινδρον ὕψος ἔχοντα τὴν ΘΚ· ἕξομεν αὐτὸν ἡμιόλιον τοῦ προτεθέντος κώνου. Ἐπεὶ γὰρ τὸ ΖΝ παραλληλόγραμμον τοῦ ΞΠ τετραγώνου τριπλάσιον, τοῦ δὲ ΖΛ ἡμιόλιον, τὸ ΖΛ τοῦ ΞΠ ἔσται διπλάσιον, καὶ διὰ τοῦτο καὶ ὁ κύκλος τοῦ κύκλου διπλάσιος καὶ ὁ κύλινδρος τοῦ κυλίνδρου. Ἀλλ᾿  ὁ κύλινδρος ὁ βάσιν ἔχων τὸν ΖΗ κύκλον, ὕψος δὲ τὴν ΘΚ, τριπλάσιός ἐστι τοῦ περὶ τὴν αὐτὴν βάσιν καὶ ὕψος τὸ αὐτὸ κώνου ὥστε καὶ ὁ κύλινδρος ὁ βάσιν ἔχων τὸν Ξ0 κύκλον, ὕψος δὲ ἴσον τῇ ΘΚ, ἡμιόλιός ἐστι τοῦ προκειμένου κώνου.

Εἰ δὲ δέοι μήτε τὸν ἄξονα τὸν αὐτὸν εἶναι μήτε τὴν βάσιν, γενήσεται τὸ πρόβλημα πάλιν διχῶς ἢ γὰρ τὴν βάσιν ἕξει ἴσην τῇ δοθείσῃ ἢ τὸν ἄξονα ὁ ποριζόμενος κύλινδρος. Ἔστω γὰρ πρότερον ἡ βάσις διδομένη, ὡς ὁ

Ξ0 κύκλος, καὶ δέον ἔστω κύλινδρον εὑρεῖν ἡμιόλιον τοῦ δοθέντος κώνου ἢ κυλίνδρου ἀπὸ βάσεως τῆς ΞΟ. Εἰλήφθω, ὡς προείρηται, τοῦ δοθέντος κώνου ἢ κυλίνδρου ἡμιόλιος κύλινδρος βάσιν ἔχων τὴν αὐτὴν τῷ προτεθέντι ὁ ΦΥ, καὶ γεγονέτω ὡς τὸ ἀπὸ τῆς ΞΟ πρὸς τὸ ἀπὸ ΤΥ, οὕτως τὸ ὕψος τοῦ ΦΥ πρὸς τὴν ΡΣ. Ἔσται ἄρα ὁ κύλινδρος ὁ ἀπὸ τῆς ΞΟ βάσεως ὕψος ἔχων τὴν ΡΣ ἴσος τῷ ΦΥ· ἀντιπεπόνθασιν γὰρ αἱ βάσεις τοῖς ὕψεσιν καὶ γεγονὸς ἂν εἴη τὸ ἐπίταγμα. Εἰ δὲ μὴ ἡ βάσις ᾗ διδομένη, ἀλλὰ ὁ ἄξων, τῷ αὐτῷ λόχῳ πορισθέντος τοῦ ΦΥ γενήσεται τὰ τῆς προτάσεως.