De lineis spiralibus

Archimedes

Archimedes. Archimède, Volume 2. Mugler, Charles, editor. Paris: Les Belles Lettres, 1971.

Εἴ κα τᾶς ἕλικος τᾶς ἐν τᾷ πρώτᾳ περιφορᾷ γεγραμμένας εὐθεῖα γραμμὰ ἐπιψαύῃ μὴ κατὰ τὸ πέρας τᾶς ἕλικος, ἀπὸ δὲ τᾶς ἁφᾶς ἐπὶ τὰν ἀρχὰν τᾶς ἕλικος εὐθεῖα ἐπιζευχθῇ, καὶ κέντρῳ μὲν τᾷ ἀρχᾷ τᾶς ἕλικος, διαστήματι δὲ τᾷ ἐπιζευχθείσᾳ κύκλος γραφῇ, ἀπὸ δὲ τᾶς ἀρχᾶς τᾶς ἕλικος ἀχθῇ τις ποτʼ ὀρθὰς τᾷ ἀπὸ τᾶς ἁφᾶς ἐπὶ τὰν ἀρχὰν τᾶς ἕλικος ἐπιζευχθείσᾳ, συμπεσεῖται οὕτα ποτὶ τὰν ἐπιψαύουσαν, καὶ ἐσσεῖται ἁ μεταξὺ εὐθεῖα τᾶς τε συμπτώσιος καὶ τᾶς ἀρχᾶς τᾶς ἕλικος ἴσα τᾷ περιφερείᾳ τοῦ γραφέντος κύκλου τᾷ μεταξὺ τᾶς ἁφᾶς καὶ τᾶς τομᾶς, καθʼ ἃν τέμνει ὁ γραφεὶς κύκλος τὰν ἀρχὰν τᾶς περιφορᾶς, ἐπὶ τὰ προαγούμενα λαμβανομένας τᾶς περιφερείας ἀπὸ τοῦ σαμείου τοῦ ἐν τᾷ ἀρχᾷ τᾶς περιφορᾶς.

47

Ἔστω ἕλιξ, ἐφʼ ἇς ἁ ΑΒΓ△, ἐν τᾷ πρώτᾳ περιφορᾷ γεγραμμένα, καὶ ἐπιψαυέτω τις αὐτᾶς εὐθεῖα ἁ ΕΖ κατὰ τὸ △, ἀπὸ δὲ τοῦ △ ποτὶ τὰν ἀρχὰν τᾶς ἕλικος ἐπεζεύχθω ἁ Α△, καὶ κέντρῳ μὲν τῷ Α, διαστήματι δὲ τῷ Α△ κύκλος γεγράφθω ὁ △ΜΝ, τεμνέτω δʼ οὗτος τὰν ἀρχὰν τᾶς περιφορᾶς κατὰ τὸ Κ, ἄχθῶ δὲ ἁ ΖΑ ποτὶ τὰν Α△ ὀρθά.

Ὅτι μὲν οὖν οὕτα συμπίπτει δῆλον · ὅτι δὲ καὶ ἴσα ἐστὶν ἁ ΖΑ εὐθεῖα τᾷ ΚΜΝ△ περιφερείᾳ δεικτέον.

Εἰ γὰρ μή, ἤτοι μείζων ἐστὶν ἢ ἐλάσσων. Ἔστω, εἰ δυνατόν, πρότερον μείζων, λελάφθω δὲ τις ἁ ΛΑ τᾶς μὲν ΖΑ εὐθείας ἐλάσσων, τᾶς δὲ ΚΜΝ△ περιφερείας μείζων. Πάλιν δὴ κύκλος ἐστὶν ὁ ΚΜΝ καὶ ἐν τῷ κύκλῳ γραμμὰ ἐλάσσων τᾶς διαμέτρου ἁ △Ν καὶ λόγος, ὃν ἔχει ἁ △Α ποτὶ ΑΛ, μείζων τοῦ ὃν ἔχει ἁ ἡμίσεια τᾶς △Ν ποτὶ τὰν ἀπὸ τοῦ Α κάθετον ἐπʼ αὐτὰν ἀγμέναν δυνατὸν οὖν ἐστιν ἀπὸ τοῦ Α ποτιζαλεῖν τὰν ΑΕ ποτὶ τὰν Ν△ ἐκβεβλημέναν, ὥστε τὰν ΕΡ ποτὶ τὰν △Ρ τὸν αὐτὸν ἔχειν λόγον, ὃν ἁ △Α ποτὶ τὰν ΑΛ · δέδεικται γὰρ τοῦτο δυνατὸν ἐόν · ἕξει οὖν καὶ ἁ ΕΡ ποτὶ τὰν ΑΡ τὸν αὐτὸν λόγον, ὃν ἁ △Ρ ποτὶ τὰν ΑΛ. Ἁ δὲ △Ρ ποτὶ τὰν ΑΛ ἐλάσσονα λόγον ἔχει ἢ ἁ △Ρ περιφέρεια ποτὶ τὰν ΚΜ△ περιφέρειαν, ἐπεὶ ἁ μὲν △Ρ ἐλάσσων ἐστὶ τᾶς △Ρ

48
περιφερείας, ἁ δὲ ΑΛ μείζων τᾶς ΚΜ△ περιφερείας· ἐλάσσονα οὖν λόγον ἔχει ἁ ΕΡ εὐθεῖα ποτὶ ΡΑ ἢ ἁ △Ρ περιφέρεια ποτὶ τὰν ΚΜ△ περιφέρειαν · ὥστε καὶ ἁ ΑΕ ποτὶ ΑΡ ἐλάσσονα λόγον ἔχει ἢ ἁ ΚΜΡ περιφέρεια ποτὶ τὰν ΚΜ△ περιφέρειαν. Ὃν δὲ λόγον ἔχει ἁ ΚΜΡ ποτὶ τὰν ΚΜ△ περιφέρειαν, τοῦτον ἔχει ἁ ΧΑ ποτὶ Α△ · ἐλάσσονα ἄρα λόγον ἔχει ἁ ΕΑ ποτὶ ΑΡ ἢ ἁ ΑΧ ποτὶ △Α ὅπερ ἐστὶν ἀδύνατον. Οὐκ ἄρα μείζων ἁ ΖΑ τᾶς ΚΜ△ περιφερείας. Ὁμοίως δὲ τοῖς πρότερον δειχθήσεται ὅτι οὐδὲ ἐλάσσων ἐστίν ἴσα ἄρα.

Διὰ δὲ τοῦ αὐτοῦ τρόπου δειχθήσεται, καὶ εἴ κα τᾶς ἐν τᾷ δευτέρᾳ περιφορᾷ γεγραμμένας ἕλικος ἐπιψαύῃ εὐθεῖα μὴ κατὰ τὸ πέρας τᾶς ἕλικος, τὰ δὲ ἄλλα τὰ αὐτὰ κατασκευασθέωντι, ὅτι ἁ μεταξὺ εὐθεῖα τᾶς ποτὶ τὰν ἐπιψαύουσαν συμπτώσιος καὶ τᾶς ἀρχᾶς τᾶς ἕλικος ἴσα ἐστὶν ὅλᾳ τᾷ τοῦ γραφέντος κύκλου περιφερείᾳ καὶ ἔτι τᾷ μεταξὺ τῶν εἰρημένων σαμείων, ὡσαύτως τᾶς περιφερείας λαμζανομένας καὶ εἴ κα τᾶς ἐν ὁποιᾳοῦν γεγραμμένας περιφορᾷ ἕλικος ἐπιψαύῃ τις εὐθεῖα μὴ κατὰ τὸ πέρας τᾶς ἕλικος, τὰ δὲ ἄλλα τὰ αὐτὰ κατασκευασθέωντι, ὅτι ἁ μεταξὺ εὐθεῖα τῶν εἰρημένων σαμείων πολλαπλασία τίς ἐστι τᾶς τοῦ γραφέντος κύκλου περιφερείας κατὰ τὸν ἑνὶ ἐλάσσονα ἀριθμὸν τοῦ καθʼ ὃν αἱ περιφοραὶ λέγονται, καὶ ἔτι ἴσα τᾷ μεταξὺ τῶν εἰρημένων σαμείων ὁμοίως λαμβανομένᾳ.

49

Λαμβάνοντα τὸ χωρίον τὸ περιεχόμενον ὑπό τε τᾶς ἕλικος τᾶς ἐν τᾷ πρώτᾳ περιφορᾷ γεγραμμένας καὶ τᾶς εὐθείας τᾶς πρώτας ἐν τᾷ ἀρχᾷ τᾶς περιφορᾶς δυνατόν ἐστι περὶ αὐτὸ σχῆμα ἐπίπεδον περιγράψαι καὶ ἄλλο ἐγγράψαι ἐξ ὁμοίων τομέων συγκείμενον, ὥστε τὸ περιγεγραμμένον τοῦ ἐγγεγραμμένου μεῖζον εἶμεν ἐλάσσονι παντὸς τοῦ προτεθέντος χωρίου.

Ἔστω ἕλιξ, ἐφʼ ἇς ἁ ΑΒΓ△, ἐν τᾷ πρώτᾳ περιφορᾷ γεγραμμένα, ἔστω δὲ ἀρχὰ μὲν τᾶς ἕλικος τὸ Θ σαμεῖον, ἀρχὰ δὲ τᾶς περιφορᾶς ἁ ΘΑ, ὁ δὲ πρῶτος κύκλος ὁ ΖΗΙΑ, αἱ δὲ ΑΗ, ΖΙ διάμετροι αὐτοῦ ποτʼ ὀρθὰς ἀλλάλαις. Ἀεὶ δὴ τᾶς ὀρθᾶς γωνίας δίχα τεμνομένας καὶ τοῦ τομέως τοῦ τὰν ὀρθὰν γωνίαν περιέχοντος ἐσσεῖται τὸ καταλειπόμενον τοῦ τομέως ἔλασσον τοῦ προτεθέντος καὶ ἔστω γεγενημένος ὁ τομεὺς ὁ ΑΘΚ ἐλάσσων τοῦ προτεθέντος χωρίου. Διαιρήσθωσαν δὴ αἱ γωνίαι αἱ τέσσαρες ὀρθαὶ εἰς τὰς ἴσας γωνίας τᾷ περιεχομένᾳ ὑπὸ τᾶν ΑΘ,

50
ΘΚ, καὶ αἱ ποιοῦσαι τὰς γωνίας εὐθεῖαι ἔστε ποτὶ τὰν ἕλικα ἄχθωσαν. Καθʼ ὃ δὴ τέμνει σαμεῖον ἁ ΘΚ τὰν ἕλικα, ἔστω τὸ Λ, καὶ κέντρῳ τῷ Θ, διαστήματι δὲ τῷ ΘΛ κύκλος γεγράφθω · πεσεῖται δὲ αὐτοῦ ἁ μὲν εἰς τὰ προαγούμενα περιφέρεια ἐντὸς τᾶς ἕλικος, ἁ δὲ εἰς τὰ ἑπόμενα ἐκτός. Γεγράφθω δὴ ἁ περιφέρεια, ἔστε κα συμπέσῃ τᾷ ΘΑ κατὰ τὸ Ο ἁ ΟΜ καὶ τᾷ μετὰ τὰν ΘΚ εὐθεῖαν ποτὶ τὰν ἕλικα ποτιπιπτούσᾳ. Πάλιν δὴ καὶ καθʼ ὃ τέμνει τὰν ἕλικα σαμεῖον ἁ ΘΜ, ἔστω τὸ Ν, καὶ κέντρῳ τῷ Θ, διαστήματι δὲ τῷ ΘΝ κύκλος γεγράφθω, ἔστε κα συμπέσῃ ἁ περιφέρεια τοῦ κύκλου τᾷ ΘΚ καὶ τᾷ μετὰ τὰν ΘΜ ποτιπιπτούσᾳ ποτὶ τὰν ἕλικα, ὁμοίως δὲ καὶ διὰ τῶν ἄλλων πάντων, καθʼ ἃ τέμνοντι τὰν ἕλικα αἱ τὰς ἴσας γωνίας ποιοῦσαι, κύκλοι γεγράφθωσαν κέντρῳ τῷ Θ, ἔστʼ ἂν συμπέσῃ ἑκάστα ἁ περιφέρεια τᾷ τε προαγουμένᾳ εὐθείᾳ καὶ τᾷ ἑπομένᾳ · ἐσσεῖται δή τι περὶ τὸ λαφθὲν χωρίον περιγεγραμμένον ἐξ ὁμοίων τομέων συγκείμενον καὶ ἄλλο ἐγγεραμμένον. Ὅτι δὲ τὸ περιγεγραμμένον σχῆμα τοῦ ἐγγεγραμμένου μεῖζόν ἐστιν ἐλάσσονι τοῦ προτεθέντος χωρίου δειχθήσεται. Ἔστιν γὰρ ὁ μὲν ΘΛΟ τομεὺς ἴσος τῷ ΘΜΛ, ὁ δὲ ΘΝΠ τῷ ΘΝΡ, ὁ δὲ ΘΧΣ τῷ ΘΧΤ, ἔστιν δὲ καὶ τῶν ἄλλων τομέων ἕκαστος τῶν ἐν τῷ ἐγγεγραμμένῳ σχήματι ἴσος τῷ κοινὰν ἔχοντι πλευρὰν τομεῖ τῶν ἐν τῷ περιγεγραμμένῳ σχήματι τομέων. Δῆλον οὖν ὅτι καὶ πάντες οἱ τομέες πάντεσσιν ἴσοι ἐσσοῦνται
51
ἴσον ἄρα ἐστὶν τὸ ἐγγεγραμμένον σχῆμα ἐν τῷ χωρίῳ τῷ περιγεγραμμένῳ περὶ τὸ χωρίον σχήματι χωρὶς τοῦ ΘΑΚ τομέως μόνος γὰρ οὗτος οὐ λέλαπται τῶν ἐν τῷ περιγεγραμμένῳ σχήματι. Δῆλον οὖν ὅτι τὸ περιγεγραμμένον σχῆμα τοῦ ἐγγεγραμμένου μεῖζόν ἐστι τῷ ΑΚΘ τομεῖ, ὃς ἐλάσσων ἐστὶν τοῦ προτεθέντος.

ΠΟΡΙΣΜΑ

Ἐκ τούτου δὲ φανερὸν ὅτι δυνατόν ἐστι περὶ τὸ εἰρημένον χωρίον σχῆμα, οἷον εἴρηται, γράφειν, ὥστε τὸ περιγεγραμμένον σχῆμα μεῖζον εἶμεν τοῦ χωρίου ἐλάσσονι παντὸς τοῦ προτεθέντος χωρίου, καὶ πάλιν ἐγγράφειν, ὥστε τὸ χωρίον ὁμοίως μεῖζον εἶμεν τοῦ ἐγγραφέντος σχήματος ἐλάσσονι παντὸς τοῦ προτεθέντος χωρίου.

Λαβόντα τὸ χωρίον τὸ περιεχόμενον ὑπὸ τᾶς ἕλικος τᾶς ἐν τᾷ δευτέρᾳ περιφορᾷ γεγραμμένας καὶ τᾶς εὐθείας, ἅ ἐστι δευτέρα τᾶν ἐν τᾷ ἀρχᾷ τᾶς περιφορᾶς, δυνατόν ἐστι περὶ αὐτὸ σχῆμα ἐπίπεδον περιγράψαι ἐξ ὁμοίων τομέων συγκείμενον καὶ ἄλλο ἐγγράψαι, ὥστε τὸ περιγραφὲν τοῦ ἐγγραφέντος μεῖζον εἶμεν ἐλάσσονι παντὸς τοῦ προτεθέντος χωρίου.

Ἔστω ἕλιξ, ἐφʼ ᾇ ἁ ΑΒΓ△Ε, ἐν τᾷ δευτέρᾳ περιφορᾷ γεγραμμένα, καὶ ἔστω τὸ μὲν Θ σαμεῖον ἀρχὰ τᾶς ἕλικος, ἁ δὲ ΑΘ ἀρχὰ τᾶς περιφορᾶς, ἁ δὲ ΕΑ ἁ δευτέρα εὐθεῖα τᾶν ἐν τᾷ ἀρχᾷ τᾶς περιφορᾶς, ὁ δὲ ΑΖΗ κύκλος ἔστω δεύτερος καὶ αἱ ΑΓΗ. ΖΙ διάμετροι αὐτοῦ ποτʼ ὀρθὰς

52
ἀλλάλαις. Πάλιν οὖν δίχα τεμνομένας τᾶς ὀρθᾶς γωνίας καὶ τοῦ τομέως τοῦ τὰν ὀρθὰν γωνίαν περιέχοντος ἐσσεῖται τὸ καταλειπόμενον ἔλασσον τοῦ προτεθέντος καὶ ἔστω γεγενημένος ὁ ΘΚΑ τομεὺς ἐλάσσων τοῦ προτεθέντος χωρίου. Διαιρεθεισᾶν δὴ τᾶν ὀρθᾶν γωνιᾶν εἰς τὰς ἴσας γωνίας τᾷ ὑπὸ τᾶν ΚΘΑ καὶ τῶν ἄλλων κατεσκευασθέντων κατὰ τὰ αὐτὰ τοῖς πρότερον ἐσσεῖται τὸ περιγεγραμμένον σχῆμα τοῦ ἐγγεγραμμένου σχήματος μεῖζον ἐλάσσονι ἢ ὁ τομεὺς ὁ ΘΚΑ · μεῖζον γὰρ ἐσσεῖται τᾷ ὑπεροχᾶ, ᾇ ὑπερέχει ὁ ΘΚΑ τομεὺς τοῦ ΘΕΡ.

ΠΟΡΙΣΜΑ

Δῆλον οὖν ὅτι δυνατόν ἐστιν καὶ τὸ περιγραφὲν σχῆμα τοῦ λαφθέντος χωρίου μεῖζον εἶμεν ἐλάσσονι παντὸς τοῦ προτεθέντος χωρίου, καὶ πάλιν τὸ λαφθὲν χωρίον μεῖζον εἶμεν τοῦ ἐγγραφέντος σχήματος ἐλάσσονι παντὸς τοῦ προτεθέντος χωρίου.

Διὰ δὲ τοῦ αὐτοῦ τρόπου φανερὸν διότι δυνατὸν λαβόντα τὸ χωρίον τὸ περιεχόμενον ὑπό τε τᾶς ἕλικος

53
τᾶς ἐν ὁποιᾳοῦν περιφορᾷ γεγραμμένας καὶ τᾶς εὐθείας τᾶς ἐν τᾷ ἀρχᾷ τᾶς περιφορᾶς κατὰ τὸν αὐτὸν ἀριθμὸν λεγομένας περιγράψαι σχῆμα, οἷον εἴρηται, ἐπίπεδον, ὥστε τὸ περιγραφὲν σχῆμα μεῖζον εἶμεν τοῦ λαφθέντος χωρίου ἐλάσσονι παντὸς τοῦ προτεθέντος χωρίου, καὶ πάλιν ἐγγράψαι, ὥστε τὸ λαφθὲν χωρίον μεῖζον εἶμεν τοῦ ἐγγραφέντος σχήματος ἐλάσσονι παντὸς τοῦ προτεθέντος χωρίου.

Λαβόντα τὸ χωρίον τὸ περιεχόμενον ὑπό τε τᾶς ἕλικος, ἅ ἐστιν ἐλάσσων τᾶς ἐν μιᾷ περιφορᾷ γεγραμμένας, οὐκ ἐχούσας πέρας τὰν ἀρχὰν τᾶς ἕλικος, καὶ τᾶν εὐθειᾶν τᾶν ἀπὸ τῶν περάτων τᾶς ἕλικος ἀγομενᾶν δυνατόν ἐστι περὶ τὸ χωρίον σχῆμα ἐπίπεδον περιγράψαι ἐξ ὁμοίων τομέων συγκείμενον καὶ ἄλλο ἐγγράψαι, ὥστε τὸ περιγραφὲν σχῆμα τοῦ ἐγγραφέντος μεῖζον εἶμεν ἐλάσσονι παντὸς τοῦ προτεθέντος χωρίου.

Ἔστω ἕλιξ, ἐφʼ ἇς ἁ ΑΒΓ△Ε, πέρατα δὲ αὐτᾶς τὰ Α, Ε, ἔστω δὲ ἀρχὰ τᾶς ἕλικος τὸ Θ, καὶ ἐπεζεύχθωσαν αἱ ΑΘ,

54
ΘΕ. Γεγράφθω δὴ κύκλος κέντρῳ μὲν τῷ Θ, διαστήματι δὲ τῷ ΘΑ, καὶ συμπιπτέτω τᾷ ΘΕ κατὰ τὸ Ζ. Ἀεὶ δὲ τᾶς γωνίας τᾶς ποτὶ τῷ Θ καὶ τοῦ τομέως τοῦ ΘΑΖ δίχα τεμνομένων ἐσσεῖται τὸ καταλειπόμενον τοῦ προτεθέντος ἔλασσον. Ἔστω ἐλάσσων ὁ τομεὺς ὁ ΘΑΚ τοῦ προτεθέντος. Ὁμοίως δὴ τοῖς πρότερον γεγράφθωσαν κύκλοι διὰ τῶν σαμείων, καθʼ ἃ τέμνοντι τὰν ἕλικα αἱ τὰς ἴσας γωνίας ποιοῦσαι ποτὶ τῷ Θ, ὥστε τᾶν περιφερειᾶν ἑκάσταν συμπίπτειν τᾷ τε προαγουμένᾳ καὶ τᾷ ἑπομένᾳ ἐσσεῖται δή τι περὶ τὸ περιεχόμενον χωρίον ὑπό τε τᾶς ΑΒΓ△Ε ἕλικος καὶ τᾶν ΑΘ, ΘΕ εὐθειᾶν περιγεγραμμένον σχῆμα ἐπίπεδον ἐξ ὁμοίων τομέων συγκείμενον καὶ ἄλλο ἐγγεγραμμένον, καὶ τὸ περιγεγραμμένον τοῦ ἐγγεγραμμένου ἐλάσσονι ὑπερέχει τοῦ προτεθέντος χωρίου ἐλάσσων γάρ ἐστιν ὁ ΘΑΚ τομεύς.

ΠΟΡΙΣΜΑ

Ἐκ τούτου φανερόν ἐστιν ὅτι δυνατόν ἐστιν περὶ τὸ εἰρημένον χωρίον σχῆμα ἐπίπεδον, οἷον εἴρηται, περιγράψαι, ὥστε τὸ περιγραφὲν σχῆμα μεῖζον εἶμεν τοῦ χωρίου ἐλάσσονι παντὸς τοῦ προτεθέντος χωρίου, καὶ πάλιν ἐγγράψαι, ὥστε τὸ εἰρημένον χωρίον μεῖζον εἶμεν τοῦ ἐγγραφέντος σχήματος ἐλάσσονι παντὸς τοῦ προτεθέντος χωρίου.

Τὸ περιλαφθὲν χωρίον ὑπό τε τᾶς ἕλικος τᾶς ἐν τᾷ πρώτᾳ περιφορᾷ γεγραμμένας καὶ τᾶς εὐθείας τᾶς πρώτας

55
τᾶν ἐν τᾷ ἀρχᾷ τᾶς περιφορᾶς τρίτον μέρος ἐστὶ τοῦ κύκλου τοῦ πρώτου.

Ἔστω ἕλιξ, ἐφʼ ἇς ἁ ΑΒΓ△ΕΘ, ἐν τᾷ πρώτᾳ περιφορᾷ γεγραμμένα, ἔστω δὲ τὸ μὲν Θ σαμεῖον ἀρχὰ τᾶς ἕλικος, ἁ δὲ ΘΑ εὐθεῖα πρώτα τᾶν ἐν τᾷ ἀρχᾷ τᾶς περιφορᾶς, ὁ δὲ ΑΚΖΗΙ κύκλος πρῶτος, οὗ τρίτον μέρος ἔστω ὁ ἐν ᾧ (??) κύκλος. Δεικτέον ὅτι ἴσον ἐστὶ τὸ προειρημένον χωρίον τῷ (??) κύκλῳ. (??)

Εἰ γὰρ μή, ἤτοι μεῖζόν ἐστιν ἢ ἔλασσον. Ἔστω πρότερον, εἰ δυνατόν, ἔλασσον. Δυνατὸν δή ἐστιν περὶ τὸ χωρίον τὸ περιεχόμενον ὑπό τε τᾶς ΑΒΓ△ΕΘ ἕλικος καὶ τᾶς ΑΘ εὐθείας περιγράψαι σχῆμα ἐπίπεδον ἐξ ὁμοίων τομέων συγκείμενον, ὥστε τὸ περιγραφὲν σχῆμα μεῖζον εἶμεν τοῦ χωρίου ἐλάσσονι τᾶς ὑπεροχᾶς, ᾇ ὑπερέχει ὁ (??) κύκλος τοῦ εἰρημένου χωρίου. Περιγεγράφθω δή, καὶ ἔστω τῶν τομέων, ἐξ ὧν σύγκειται τὸ εἰρημένον σχῆμα, μέγιστος μὲν ὁ ΘΑΚ, ἐλάχιστος δὲ ὁ ΘΕΟ· δῆλον οὖν

56
ὅτι τὸ περιγεγραμμένον σχῆμα ἔλασσόν ἐστι τοῦ (??) κύκλου. Ἐκβεβλήσθωσαν δὴ αἱ εὐθεῖαι αἱ ποτὶ τῷ Θ ποιοῦσαι τὰς ἴσας γωνίας, ἔστʼ ἂν ποτὶ τὰν τοῦ κύκλου περιφέρειαν πέσωντι· ἐντὶ δή τινες γραμμαὶ αἱ ἀπὸ τοῦ Θ ποτὶ τὰν ἕλικα ποτιπίπτουσαι τῷ ἴσῳ ἀλλαλᾶν ὑπερέχουσαι, ἇν ἐστι μεγίστα μὲν ἁ ΘΑ, ἐλαχίστα δὲ ἁ ΘΕ, καὶ ἁ ἐλαχίστα ἴσα τᾷ ὑπεροχᾷ, ἐντὶ δὲ καὶ ἄλλαι τινὲς γραμμαὶ αἱ ἀπὸ τοῦ Θ ποτὶ τὰν τοῦ κύκλου περιφέρειαν ποτιπίπτουσαι τῷ μὲν πλήθει ἴσαι ταύταις, τῷ δὲ μεγέθει ἑκάστα ἴσα τᾷ μεγίστᾳ, καὶ ἀναγεγράφαται ἀπὸ πασᾶν ὁμοῖοι τομέες, ἀπό τε τᾶν τῷ ἴσῳ ἀλλαλᾶν ὑπερεχουσᾶν καὶ ἀπὸ τᾶν ἰσᾶν ἀλλάλαις τε καὶ τᾷ μεγίστᾳ· οἱ ἄρα τομέες οἱ ἀπὸ τᾶν ἰσᾶν τᾷ μεγίστᾳ ἐλάσσονές ἐντι ἢ τριπλάσιοι τῶν τομέων τῶν ἀπὸ τᾶν τῷ ἴσῳ ἀλλαλᾶν ὑπερεχουσᾶν δέδεικται γὰρ τοῦτο. Ἐντὶ δὲ οἱ μὲν τομέες οἱ ἀπὸ τᾶν ἰσᾶν ἀλλάλαις τε καὶ τᾷ μεγίστᾳ ἴσοι τῷ ΑΖΗΙ κύκλῳ, οἱ δὲ τομέες οἱ ἀπὸ τᾶν τῷ ἴσῳ ἀλλαλᾶν ὑπερεχουσᾶν ἴσοι τῷ περιγεγραμμένῳ σχήματι· ἐλάσσων ἄρα ὁ ΑΖΗΙ κύκλος τοῦ περιγεγραμμένου σχήματος ἢ τριπλασίων. Τοῦ δέ (??) κύκλου τριπλασίων· ἐλάσσων ἄρα ὁ (??) κύκλος τοῦ περιγεγραμμένου σχήματος. Οὐκ ἔστι δέ, ἀλλὰ μείζων οὐκ ἄρα ἐστὶν τὸ περιεχόμενον χωρίον ὑπό τε τᾶς ΑΒΓ△ΕΘ ἕλικος καὶ τᾶς ΑΘ ἔλασσον τοῦ (??) χωρίου.

Οὐδὲ τοίνυν μεῖζον. Ἔστω γάρ, εἰ δυνατόν, μεῖζον. Ἔστι δὴ πάλιν δυνατὸν εἰς τὸ χωρίον τὸ περιεχόμενον

57
ὑπὸ τᾶς ΑΒΓ△ΕΘ ἕλικος καὶ τᾶς ΑΘ εὐθείας ἐγγράψαι σχῆμα, ὥστε τὸ εἰρημένον χωρίον τοῦ ἐγγραφέντος σχήματος μεῖζον εἶμεν ἐλάσσονι ἢ ᾧ ὑπερέχει τὸ εἰρημένον χωρίον τοῦ (??) κύκλου. Ἐγγεγράφθω δή, καὶ ἔστω τῶν τομέων, ἐξ ὧν σύγκειται τὸ ἐγγεγραμμένον σχῆμα, μέγιστος μὲν ὁ ΘΡΞ, ἐλάχιστος δὲ ὁ ΟΘΕ· δῆλον οὖν ὅτι τὸ ἐγγεγραμμένον σχῆμα μεῖζόν ἐστιν τοῦ (??) κύκλου. Ἐκβεβλήστωσαν δὴ αἱ ποιοῦσαι τὰς ἴσας γωνίας ποτὶ τῷ Θ, ἔστε κα ποτὶ τὰν τοῦ κύκλου περιφέρειαν πέσωντι. Πάλιν οὖν ἐντί τινες γραμμαὶ τῷ ἴσῳ ἀλλαλᾶν ὑπερέχουσαι αἱ ἀπὸ τοῦ Θ ποτὶ τὰν ἕλικα ποτιπίπτουσαι, ἇν ἐστι μεγίστα μὲν ἁ ΘΑ, ἐλαχίστα δὲ ἁ ΘΕ, καί ἐστιν ἁ ἐλαχίστα ἴσα τᾷ ὑπεροχᾷ, ἐντὶ δὲ καὶ ἄλλαι γραμμαὶ αἱ ἀπὸ τοῦ Θ ποτὶ τὰν τοῦ ΑΖΗΙ κύκλου περιφέρειαν ποτιπίπτουσαι τῷ μὲν πλήθει ἴσαι ταύταις, τῷ δὲ μεγέθει ἑκάστα ἴσα
58
τᾷ μεγίστᾳ, καὶ ἀναγεγράφαται ἀπὸ πασᾶν ὁμοῖοι τομέες ἀπό τε τᾶν ἰσᾶν ἀλλάλαις τε καὶ τᾷ μεγίστᾳ καὶ ἀπὸ τᾶν τῷ ἴσῳ ἀλλαλᾶν ὑπερεχουσᾶν οἱ ἄρα τομέες οἱ ἀπὸ τᾶν ἰσᾶν τᾷ μεγίστᾳ μείζονές ἐντι ἢ τριπλάσιοι τῶν τομέων τῶν ἀπὸ τᾶν τῷ ἴσῳ ἀλλαλᾶν ὑπερεχουσᾶν χωρὶς τοῦ ἀπὸ τᾶς μεγίστας· δέδεικται γὰρ τοῦτο, Ἐντὶ δὲ οἱ μὲν τομέες οἱ ἀπὸ τᾶν ἰσᾶν τᾷ μεγίστᾳ ἴσοι τῷ ΑΖΗΙ κύκλῳ, οἱ δὲ ἀπὸ τᾶν τῷ ἴσῳ ἀλλαλᾶν ὑπερεχουσᾶν χωρὶς τοῦ ἀπὸ τᾶς μεγίστας ἴσοι τῷ ἐγγεραμμένῳ σχήματι· μείζων ἄρα ὁ ΑΖΗΙ κύκλος ἢ τριπλασίων τοῦ ἐγγεγραμμένου σχήματος. Τοῦ δὲ (??) κύκλου τριπλασίων· μείζων ἄρα ἐστὶν ὁ (??) κύκλος τοῦ ἐγγεγραμμένου σχήματος. Οὐκ ἔστιν δέ, ἀλλὰ ἐλάσσων οὐκ ἄρα ἐστὶν οὐδὲ μεῖζον τὸ χωρίον τὸ ὑπό τε τᾶς ΑΒΓ△ΕΘ ἕλικος καὶ τᾶς ΑΘ εὐθείας τοῦ (??) κύκλου. Ἴσον ἄρα ἐστίν τῷ περιλαφθέντι ὑπὸ τᾶς ἕλικος καὶ τᾶς ΑΘ εὐθείας.

Τὸ περιλαφθὲν χωρίον ὑπό τε τᾶς ἕλικος τᾶς ἐν τᾷ δευτέρᾳ περιφορᾷ γεγραμμένας καὶ τᾶς εὐθείας τᾶς δευτέρας τᾶν ἐν τᾷ ἀρχᾷ τᾶς περιφορᾶς ποτὶ τὸν δεύτερον κύκλον τοῦτον ἔχει τὸν λόγον, ὃν ἔχει τὰ ζ ποτὶ τὰ ιβ, ὅς ἐστιν ὁ αὐτὸς τῷ ὃν ἔχει τὰ συναμφότερα τό τε περιεχόμενον ὑπὸ τᾶς ἐκ τοῦ κέντρου τοῦ δευτέρου κύκλου καὶ τᾶς ἐκ τοῦ κέντρου τοῦ πρώτου κύκλου καὶ τὸ τρίτον μέρος τοῦ τετραγώνου τοῦ ἀπὸ τᾶς ὑπεροχᾶς, ᾇ ὑπερέχει ἁ ἐκ τοῦ κέντρου τοῦ δευτέρου κύκλου τᾶς ἐκ τοῦ κέντρου τοῦ πρώτου κύκλου ποτὶ τὸ τετράγωνον τὸ ἀπὸ τᾶς ἐκ τοῦ κέντρου τοῦ δευτέρου κύκλου.

59

Ἔστω ἕλιξ, ἐφʼ ἇς ἁ ΑΒΓ△Ε, ἐν τᾷ δευτέρᾳ περιφορᾷ γεγραμμένα, ἔστω δὲ τὸ μὲν Θ σαμεῖον ἀρχὰ τᾶς ἕλικος, ἁ δὲ ΘΕ εὐθεῖα ἐν τᾷ ἀρχᾷ τᾶς περιφορᾶς ἁ πρώτα, ἁ δὲ ΑΕ ἐν τᾷ ἀρχᾷ τᾶς περιφορᾶς ἁ δευτέρα, ὁ δὲ κύκλος ὁ ΑΖΗΙ ὁ δεύτερος ἔστω, καὶ αἱ ΑΗ, ΙΖ διάμετροι ποτʼ ὀρθὰς ἀλλάλαις. Δεικτέον ὅτι τὸ περιεχόμενον χωρίον ὑπό τε τᾶς ΑΒΓ△Ε ἕλικος καὶ τᾶς ΑΕ εὐθείας ποτὶ τὸν ΑΖΗΙ κύκλον λόγον ἔχει, ὃν τὰ ζ ποτὶ ιβ.

Ἔστω δή τις κύκλος ὁ (??) ἁ δὲ ἐκ τοῦ κέντρου τοῦ (??) κύκλου δυνάμει ἴσα τῷ τε ὑπὸ τᾶν ΑΘ, ΘΕ περιεχομένῳ καὶ τῷ τρίτῳ μέρει τοῦ ἀπὸ τᾶς ΑΕ τετραγώνου· ἔξει δὴ ὁ (??) κύκλος ποτὶ τὸν ΑΗΖΙ ὡς ζ ποτὶ ιβ, διότι καὶ ἁ ἐκ τοῦ κέντρου αὐτοῦ ποτὶ τὰν ἐκ τοῦ κέντρου τοῦ ΑΖΗΙ κύκλου τοῦτον ἔχει δυνάμει τὸν λόγον. Δειχθήσεται οὖν ἴσος ὁ (??) κύκλος τῷ περιεχομένῳ χωρίῳ ὑπό τε τᾶς ΑΒΓ△Ε ἕλικος καὶ τᾶς ΑΕ εὐθείας.

Εἰ γὰρ μή, ἤτοι μείζων ἐστὶν ἢ ἐλάττων. Ἔστω δὴ πρότερον, εἰ δυνατόν, μείζων. Δυνατὸν δή ἐστι περὶ τὸ

60
χωρίον περιγράψαι σχῆμα ἐπίπεδον ἐξ ὁμοίων τομέων συγκείμενον, ὥστε τὸ περιγραφὲν σχῆμα μεῖζον εἶμεν τοῦ χωρίου ἐλάσσονι ἢ ᾧ ὑπερέχει ὁ (??) κύκλος τοῦ χωρίου. Περιγεγράφθω, καὶ ἔστω, ἐξ ὧν σύγκειται τὸ περιγεγραμμένον σχῆμα, μέγιστος μὲν ὁ ΘΑΚ τομεύς, ἐλάχιστος δὲ ὁ ΘΟ△· δῆλον οὖν ὅτι τὸ περιγραφὲν σχῆμα ἔλασσόν ἐστιν τοῦ κύκλου. Ἐκβεβλήσθωσαν αἱ εὐθεῖαι αἱ ποιοῦσαι ποτὶ τῷ Θ ἴσας γωνίας, ἔστʼ ἂν ποτὶ τὰν τοῦ δευτέρου κύκλου περιφέρειαν πέσωντι. Ἐντὶ δή τινες γραμμαὶ τῷ ἴσῳ ἀλλαλᾶν ὑπερέχουσαι αἱ ἀπὸ τοῦ Θ ποτὶ τὰν ἕλικα ποτιπίπτουσαι, ἇν ἐστι μεγίστα μὲν ἁ ΘΑ, ἐλαχίστα δὲ ἁ ΘΕ, ἐντὶ δὲ καὶ ἄλλαι γραμμαὶ αἱ ἀπὸ τοῦ Θ ποτὶ τὰν τοῦ ΑΖΗΙ κύκλου περιφέρειαν ποτιπίπτουσαι, τῷ μὲν πλήθει μιᾷ ἐλάσσονες ταυτᾶν, τῷ δὲ μεγέθει ἀλλάλαις τε ἴσαι καὶ τᾷ μεγίστᾳ, καὶ ἀναγεγράφαται ὁμοῖοι τομέες ἀπὸ τᾶν ἰσᾶν τᾷ μεγίστᾳ καὶ ἀπὸ τᾶν τῷ ἴσῳ ἀλλαλᾶν ὑπερεχουσᾶν, ἀπὸ δὲ τᾶς ἐλαχίστας οὐκ ἀναγράφεται οἱ ἄρα τομέες οἱ ἀπὸ τᾶν ἰσᾶν τᾷ μεγίστᾳ ποτὶ τοὺς τομέας τοὺς ἀπὸ τᾶν τῷ ἴσῳ ἀλλαλᾶν ὑπερεχουσᾶν χωρὶς τοῦ ἀπὸ τᾶς ἐλαχίστας ἐλάσσονα λόγον ἔχοντι ἢ τὸ τετράγωνον τὸ ἀπὸ τᾶς μεγίστας τᾶς ΘΑ ποτὶ τὰ συναμφότερα τό τε ὑπὸ τᾶν ΑΘ, ΘΕ περιεχόμενον καὶ τὸ τρίτον μέρος τοῦ ἀπὸ τᾶς ΕΑ τετραγώνου· δέδεικται γὰρ τοῦτο. Ἐντί δὲ τοῖς μὲν τομέεσσι τοῖς ἀπὸ τᾶν ἰσᾶν ἀλλάλαις καὶ τᾷ μεγίστᾳ ἴσος ὁ ΑΖΗΙ κύκλος, τοῖς δὲ τομέεσσι τοῖς ἀπὸ τᾶν τῷ ἴσῳ ἀλλαλᾶν ὑπερεχουσᾶν χωρὶς τοῦ ἀπὸ τᾶς ἐλαχίστας ἴσον τὸ περιγεγραμμένον σχῆμα· ἐλάσσονα ἄρα λόγον ἔχει ὁ κύκλος ποτὶ τὸ περιγεγραμμένον σχῆμα
61
ἢ τὸ τετράγωνον τὸ ἀπὸ τᾶς ΑΘ ποτὶ τὰ συναμφότερα τό τε ὑπὸ τᾶν ΑΘ, ΘΕ καὶ τὸ τρίτον μέρος τοῦ ἀπὸ τᾶς ΑΕ τετραγώνου. Ὃν δὲ ἔχει λόγον τὸ τετράγωνον τὸ ἀπὸ τᾶς ΘΑ ποτὶ τὸ ὑπὸ τᾶν ΘΑ, ΘΕ καὶ τὸ τρίτον μέρος τοῦ ἀπὸ τᾶς ΑΕ τετραγώνου, τοῦτον ἔχει ὁ ΑΖΗΙ κύκλος ποτὶ τὸν (??) κύκλον· ἐλάσσονα οὖν λόγον ἔχει ὁ ΑΖΗΙ κύκλος ποτὶ τὸ περιγεγραμμένον σχῆμα ἢ ποτὶ τὸν κύκλον· ὥστε ἐλάσσων ἐστὶν ὁ (??) κύκλος τοῦ περιγεγραμμένου σχήματος. Οὐκ ἔστι δέ, ἀλλὰ μείζων· οὐκ ἄρα μείζων ἐστὶν ὁ (??) κύκλος τοῦ χωρίου τοῦ περιεχομένου ὑπό τε τᾶς ΑΒΓ△Ε ἕλικος καὶ τᾶς ΑΖ εὐθείας.

Οὐδὲ τοίνυν ἐλάσσων. Ἔστω γάρ, εἰ δυνατόν, ἐλάσσων. Πάλιν οὖν δυνατόν ἐστιν εἰς τὸ χωρίον τὸ περιεχόμενον ὑπό τε τᾶς ἕλικος καὶ τᾶς ΑΕ εὐθείας ἐγγράψαι σχῆμα ἐπίπεδον ὑπὸ ὁμοίων τομέων συγκείμενον, ὥστε τὸ περιεχόμενον χωρίον ὑπό τε τᾶς ΑΒΓ△Ε ἕλικος καὶ τᾶς ΑΕ εὐθείας μεῖζον εἶμεν τοῦ ἐγγεγραμμένου σχήματος

62
ἐλάσσονι, ἢ ᾧ ὑπερέχει τὸ αὐτὸ χωρίον τοῦ (??) κύκλου. Ἐγγεγράφθω οὖν, καὶ ἔστω τῶν τομέων, ἐξ ὧν σύγκειται τὸ ἐγγεγραμμένον σχῆμα, μέγιστος μὲν ὁ ΘΚΡ τομεύς, ἐλάχιστος δὲ ὁ ΘΕΟ δῆλον οὖν ὅτι τὸ ἐγγεγραμμένον σχῆμα μεῖζόν ἐστι τοῦ (??) κύκλου. Ἐκβεβλήσθωσαν αἱ ποιοῦσαι ἴσας γωνίας ποτὶ τῷ Θ, ἔστʼ ἂν ποτὶ τὰν τοῦ κύκλου περιφέρειαν πέσωντι. Πάλιν οὖν ἐντί τινες γραμμαὶ τῷ ἴσῳ ἀλλαλᾶν ὑπερέχουσαι αἱ ἀπὸ τοῦ Θ ποτὶ τὰν ἕλικα ποτιπίπτουσαι, ἇν μεγίστα μὲν ἁ ΘΑ, ἐλαχίστα δὲ ἁ ΘΕ, ἐντὶ δὲ καὶ ἄλλαι γραμμαὶ αἱ ἀπὸ τοῦ Θ ποτὶ τὰν τοῦ κύκλου περιφέρειαν ποτιπίπτουσαι τῷ μὲν πλήθει μιᾷ ἐλάσσους ταυτᾶν, τῷ δὲ μεγέθει ἴσαι ἀλλάλαις τε καὶ τᾷ μεγίστᾳ, καὶ ἀναγεγράφαται ἀπὸ τᾶν τῷ ἴσῳ ἀλλαλᾶν ὑπερεχουσᾶν ὁμοῖοι τομέες καὶ ἀπὸ τᾶν ἰσᾶν τᾷ μεγίστᾳ οἱ ἄρα τομέες οἱ ἀπὸ τᾶν ἰσᾶν τᾷ μεγίστᾳ ποτὶ τοὺς τομέας τοὺς ἀπὸ τᾶν τῷ ἴσῳ ἀλλαλᾶν ὑπερεχουσᾶν χωρὶς τοῦ ἀπὸ τᾶς μεγίστας μείζονα λόγον ἔχοντι ἢ τὸ τετράγωνον τὸ ἀπὸ τᾶς ΘΑ ποτὶ τὰ συναμφότερα τό τε περιεχόμενον ὑπὸ τᾶν ΑΘ, ΘΕ καὶ τὸ τρίτον τοῦ ἀπὸ τᾶς ΕΑ τετραγώνου. Ἔστιν δὲ τοῖς μὲν τομέεσσιν τοῖς ἀπὸ τᾶν τῷ ἴσῳ ἀλλαλᾶν ὑπερεχουσᾶν χωρὶς τοῦ ἀπὸ τᾶς μεγίστας ἴσον τὸ ἐγγεγραμμένον σχῆμα ἐν τῷ χωρίῳ, τοῖς δὲ ἑτέροις ὁ κύκλος μείζονα οὖν λόγον ἔχει ὁ ΑΖΗΙ κύκλος ποτὶ τὸ ἐγγεγραμμένον σχῆμα ἢ τὸ τετράγωνον τὸ ἀπὸ τᾶς ΘΑ ποτὶ τὸ ὑπὸ τᾶν ΘΑ, ΘΕ καὶ τὸ τρίτον μέρος τοῦ ἀπὸ τᾶς ΑΕ τετραγώνου, τουτέστιν ὁ ΑΖΗΙ κύκλος ποτὶ τὸν (??) κύκλον, Μείζων ἄρα ἐστὶν ὁ (??) κύκλος τοῦ ἐγγεγραμμένου σχήματος ὅπερ ἀδύνατον
63
ἦν γὰρ ἐλάσσων. Οὐκ ἄρα ἐστὶν οὐδὲ ἐλάσσων ὁ (??) κύκλος τοῦ περιεχομένου χωρίου ὑπό τε τᾶς ΑΒΓ△Ε ἕλικος καὶ τᾶς ΑΕ εὐθείας· ὥστε ἴσος.

ΠΟΡΙΣΜΑ

Διὰ δὲ τοῦ αὐτοῦ τρόπου δειχθήσεται καὶ διότι τὸ περιλαφθὲν χωρίον ὑπό τε τᾶς ἕλικος τᾶς ἐν ὁποιᾳοῦν περιφορᾷ γεγραμμένας καὶ τᾶς εὐθείας τᾶς κατὰ τὸν αὐτὸν ἀριθμὸν ταῖς περιφοραῖς λεγομένας ποτὶ τὸν κύκλον τὸν κατὰ τὸν αὐτὸν ἀριθμὸν λεγόμενον ταῖς περιφοραῖς λόγον ἔχει, ὃν συναμφότερον τό τε ὑπὸ τᾶς ἐκ τοῦ κέντρου τοῦ κατὰ τὸν αὐτὸν ἀριθμὸν κύκλου καὶ τᾶς ἐκ τοῦ κέντρου τοῦ κατὰ τὸν ἑνὶ ἐλάσσονα τᾶν περιφορᾶν λεγομένου καὶ τὸ τρίτον μέρος τοῦ τετραγώνου τοῦ ἀπὸ τᾶς ὑπεροχᾶς, ᾇ ὑπερέχει ἁ ἐκ τοῦ κέντρου τοῦ μείζονος κύκλου τῶν εἰρημένων τᾶς ἐκ τοῦ κέντρου τοῦ ἐλάσσονος κύκλου τῶν εἰρημένων, ποτὶ τὸ τετράγωνον τὸ ἀπὸ τᾶς ἐκ τοῦ κέντρου τοῦ μείζονος κύκλου τῶν εἰρημένων.

Τὸ περιεχόμενον χωρίον ὑπό τε τᾶς ἕλικος, ἅ ἐστιν ἐλάσσων τᾶς ἐν μιᾷ περιφορᾷ γεγραμμένας, οὐκ ἐχούσας πέρας τὰν ἀρχὰν τᾶς ἕλικος, καὶ τᾶν εὐθειᾶν τᾶν ἀπὸ τῶν περάτων αὐτᾶς ἐπὶ τὰν ἀρχὰν τᾶς ἕλικος ἀγμενᾶν ποτὶ τὸν τομέα τὸν ἔχοντα τὰν μὲν ἐκ τοῦ κέντρου ἴσαν τᾷ μείζονι τᾶν ἀπὸ τῶν περάτων ἐπὶ τὰν ἀρχὰν τᾶς ἕλικος ἀγμενᾶν, τὰν δὲ περιφέρειαν, ἅ ἐστι μεταξὺ τᾶν εἰρημενᾶν εὐθειᾶν ἐπὶ τὰ αὐτὰ τᾷ ἕλικι, τοῦτον ἔχει

64
τὸν λόγον, ὃν ἔχει συναμφότερα τό τε περιεχόμενον ὑπὸ τᾶν ἀπὸ τῶν περάτων ἐπὶ τὰν ἀρχὰν τᾶς ἕλικος ἀγμενᾶν καὶ τὸ τρίτον μέρος τοῦ τετραγώνου τοῦ ἀπὸ τᾶς ὑπεροχᾶς, ᾇ ὑπερέχει ἁ μείζων τᾶν εἰρημενᾶν εὐθειᾶν τᾶς ἐλάσσονος, ποτὶ τὸ τετράγωνον τὸ ἀπὸ τᾶς μείζονος τᾶν ἀπὸ τῶν περάτων ἐπὶ τὰν ἀρχὰν τᾶς ἕλικος ἐπιζευχθεισᾶν.

Ἔστω ἕλιξ, ἐφʼ ἇς ἁ ΑΒΓ△Ε, ἐλάσσων τᾶς ἐν μιᾷ περιφορᾷ γεγραμμένας, πέρατα δὲ αὐτᾶς ἔστω τὰ Α, Ε, ἔστω δὲ ἀρχὰ τᾶς ἕλικος τὸ Θ σαμεῖον, καὶ κέντρῳ μὲν τῷ Θ, διαστήματι δὲ τῷ ΘΑ κύκλος γεγράφθω, καὶ συμπιπτέτω τᾷ περιφερείᾳ αὐτοῦ ἁ ΘΕ κατὰ τὸ Ζ, Δεικτέον ὅτι τὸ περιεχόμενον χωρίον ὑπό τε τᾶς ΑΒΓ△Ε ἕλικος καὶ τᾶν εὐθειᾶν τᾶν ΑΘ, ΘΕ ποτὶ τὸν τομέα τὸν ΑΘΖ τοῦτον ἔχει τὸν λόγον, ὃν ἔχει συναμφότερα τό τε ὑπὸ τᾶν ΑΘ, ΘΕ καὶ τὸ τρίτον μέρος τοῦ ἀπὸ τᾶς ΕΖ ποτὶ τὸ τετράγωνον τὸ ἀπὸ τᾶς ΘΑ.

65

Ἔστω δὴ κύκλος, ἐν ᾧ (??)Χ, τὰν ἐκ τοῦ κέντρου ἔχων ἴσαν δυνάμει τῷ τε ὑπὸ τᾶν ΑΘ, ΘΕ καὶ τῷ τρίτῳ μέρει τοῦ ἀπὸ τᾶς ΕΖ, ποτὶ δὲ τῷ κέντρῳ αὐτοῦ γωνία ἴσα τᾷ ποτὶ τῷ Θ· ὁ δὴ τομεὺς ὁ (??)Χ ποτὶ τὸν τομέα τὸν ΘΑΖ τὸν αὐτὸν ἔχει λόγον, ὃν ἔχει τὸ ὑπὸ τᾶν ΑΘ, ΘΕ καὶ τὸ τρίτον μέρος τοῦ ἀπὸ τᾶς ΕΖ τετραγώνου ποτὶ τὸ ἀπὸ τᾶς ΘΑ τετράγωνον αἱ γὰρ ἐκ τῶν κέντρων τοῦτον ἔχοντι τὸν λόγον δυνάμει ποτʼ ἀλλάλας. Δειχθήσεται δὴ ὁ Χ(??) τομεὺς ἴσος ἐὼν τῷ χωρίῳ τῷ περιεχομένῳ ὑπό τε τᾶς ΑΒΓ△Ε ἕλικος καὶ τᾶν ΑΘ, ΘΕ εὐθειᾶν.

Εἰ γὰρ μή, ἤτοι μείζων ἢ ἐλάττων ἐστίν, Ἔστω πρότερον, εἰ δυνατόν, μείζων. Δυνατὸν οὖν ἐστιν περὶ τὸ εἰρημένον χωρίον περιγράψαι σχῆμα ἐπίπεδον ἐξ ὁμοίων τομέων συγκείμενον, ὥστε τὸ περιγραφόμενον σχῆμα μεῖζον εἶμεν τοῦ εἰρημένου χωρίου ἐλάσσονι ἢ ἁλίκῳ ὑπερέχει ὁ (??)Χ τομεὺς τοῦ εἰρημένου χωρίου. Περιγεγράφθω δή, καὶ ἔστω τῶν τομέων, ἐξ ὧν σύγκειται τὸ περιγεγραμμένον σχῆμα, μέγιστος μὲν ὁ ΘΑΚ, ἐλάχιστος δὲ ὁ ΘΟ△· δῆλον οὖν ὅτι τὸ περιγεγραμμένον σχῆμα ἔλασσόν ἐστι τοῦ Χ(??) τομέως. Διάχθωσαν δὴ αἱ εὐθεῖαι αἱ ποιοῦσαι τὰς ἴσας γωνίας ποτὶ τῷ Θ, ἔστʼ ἂν ποτὶ τὰν περιφέρειαν τοῦ ΘΑΖ τομέως πέσωντι. Ἐντὶ δή τινες εὐθεῖαι τῷ ἴσῳ ἀλλαλᾶν ὑπερέχουσαι, αἱ ἀπὸ τοῦ Θ ποτὶ τὰν ἕλικα ποτιπίπτουσαι, ἇν ἐστι μεγίστα μὲν ἁ ΘΑ, ἐλαχίστα δὲ ἁ ΘΕ, ἐντὶ δὲ καὶ ἄλλαι εὐθεῖαι τῷ μὲν πλήθει μιᾷ ἐλάσσονες ταυτᾶν, τῷ δὲ μεγέθει ἴσαι ἀλλάλαις τε καὶ τᾷ μεγίστᾳ, αἱ ἀπὸ τοῦ Θ ποτὶ τὰν τοῦ ΑΘΖ τομέως περιφέρειαν ποτιπίπτουσαι χωρὶς τᾶς ΘΖ, καὶ ἀναγεγράφαται ὁμοῖοι τομέες

66
ἀπὸ πασᾶν, ἀπό τε τᾶν ἰσᾶν ἀλλάλαις τε καὶ τᾷ μεγίστᾳ καὶ ἀπὸ τᾶν τῷ ἴσῳ ἀλλαλᾶν ὑπερεχουσᾶν, ἀπὸ δὲ τᾶς ΘΕ οὐκ ἀναγέγραπται· τομέες οὖν οἱ ἀπὸ τᾶν ἰσᾶν ἀλλάλαις τε καὶ τᾷ μεγίστᾳ ποτὶ τοὺς τομέας τοὺς ἀπὸ τᾶν τῷ ἴσῳ ἀλλαλᾶν ὑπερεχουσᾶν χωρὶς τοῦ ἀπὸ τᾶς ἐλαχίστας τομέως ἐλάσσονα λόγον ἔχοντι ἢ τὸ ἀπὸ τᾶς ΘΑ ποτὶ τὰ συναμφότερα τό τε ὑπὸ τᾶν ΑΘ, ΘΕ καὶ τὸ τρίτον μέρος τοῦ ἀπὸ τᾶς ΕΖ τετραγώνου. Ἔστιν δὲ τοῖς μὲν τομέεσσιν τοῖς ἀπὸ τᾶν ἰσᾶν ἀλλάλαις τε καὶ τᾷ μεγίστᾳ ἴσος ὁ ΘΑΖ τομεύς, τοῖς δὲ ἀπὸ τᾶν τῷ ἴσῳ ἀλλαλᾶν ὑπερεχουσᾶν τὸ περιγεγραμμένον· ἐλάσσονα οὖν λόγον ἔχει ὁ ΘΑΖ τομεὺς ποτὶ τὸ περιγεγραμμένον σχῆμα ἢ τὸ τετράγωνον τὸ ἀπὸ τᾶς ΘΑ ποτὶ τὰ συναμφότερα τό τε ὑπὸ τᾶν ΘΑ, ΘΕ καὶ τὸ τρίτον μέρος τοῦ ἀπὸ τᾶς ΖΕ. Ὃν δὲ λόγον ἔχει τὸ ἀπὸ τᾶς ΘΑ ποτὶ τὰ εἰρημένα, τοῦτον τὸν λόγον ἔχει ὁ ΘΑΖ τομεὺς ποτὶ τὸν Χ(??) τομέα· ὥστε ἐλάσσων ἐστὶν ὁ Χ(??) τομεὺς τοῦ περιγεγραμμένου σχήματος. Οὐκ ἔστι δέ, ἀλλὰ μείζων· οὐκ ἄρα ἐσσεῖται ὁ Χ(??) τομεὺς μείζων τοῦ περιεχομένου χωρίου ὑπό τε τᾶς ΑΒΓ△Ε ἕλικος καὶ τᾶν ΑΘ, ΘΕ εὐθειᾶν.

Οὐδὲ τοίνυν ἐλάσσων. Ἔστω γὰρ ἐλάσσων, καὶ τὰ ἄλλα τὰ αὐτὰ κατεσκευάσθω. Πάλιν δὴ δυνατόν ἐστιν εἰς τὸ χωρίον ἐγγράψαι σχῆμα ἐπίπεδον ἐξ ὁμοίων τομέων συγκείμενον, ὥστε τὸ εἰρημένον χωρίον μεῖζον εἶμεν τοῦ ἐγγραφέντος σχήματος ἐλάσσονι ἢ ἁλίκῳ ὑπερέχει τὸ αὐτὸ χωρίον τοῦ Χ(??) τομέως. Ἐγγεγράφθω οὖν, καὶ ἔστω τῶν τομέων, ἐξ ὧν σύγκειται τὸ ἐγγεγραμμένον σχῆμα, μέγιστος μὲν ὁ ΘΒΓ, ἐλάχιστος δὲ ὁ ΟΘΕ· δῆλον

67
οὖν ὅτι τὸ ἐγγεγραμμένον σχῆμα μεῖζόν ἐστι τοῦ Χ(??) τομέως. Πάλιν οὖν ἐντί τινες γραμμαὶ τῷ ἴσῳ ἀλλαλᾶν ὑπερέχουσαι αἱ ἀπὸ τοῦ Θ ποτὶ τὰν ἕλικα ποτιπίπτουσαι, ἇν ἐστι μεγίστα μὲν ἁ ΘΑ, ἐλαχίστα δὲ ἁ ΘΕ, ἐντὶ δὲ καὶ ἄλλαι γραμμαὶ αἱ ἀπὸ τοῦ Θ ποτὶ τὰν τοῦ ΘΑΖ τομέως περιφέρειαν ποτιπίπτουσαι χωρὶς τᾶς ΘΑ τῷ μὲν πλήθει μιᾷ ἐλάσσονες τᾶν τῷ ἴσῳ ἀλλαλᾶν ὑπερεχουσᾶν, τῷ δὲ μεγέθει ἀλλάλαις τε καὶ τᾷ μεγίστᾳ ἴσαι, καὶ ἀναγεγράφαται ἀπὸ ἑκάστας ὁμοῖοι τομέες, ἀπὸ δὲ τᾶς μεγίστας τᾶν τῷ ἴσῳ ἀλλαλᾶν ὑπερεχουσᾶν οὐκ ἀναγέγραπται οἱ τομέες οὖν οἱ ἀπὸ τᾶν ἰσᾶν ἀλλάλαις τε καὶ τᾷ μεγίστᾳ ποτὶ τοὺς τομέας τοὺς ἀπὸ τᾶν τῷ ἴσῳ ἀλλαλᾶν ὑπερεχουσᾶν χωρὶς τοῦ ἀπὸ τᾶς μεγίστας μείζονα λόγον ἔχοντι ἢ τὸ τετράγωνον τὸ ἀπὸ τᾶς ΘΑ ποτὶ τὸ ὑπὸ τᾶν ΘΑ, ΘΕ καὶ τὸ τρίτον μέρος τοῦ ἀπὸ τᾶς ΕΖ· ὥστε καὶ
68
ὁ ΘΑΖ τομεὺς ποτὶ τὸ ἐγγεγραμμένον σχῆμα μείζονα λόγον ἔχει ἤπερ ποτὶ τὸν Χ(??) τομέα· ὥστε μείζων ὁ Χ(??) τομεὺς τοῦ ἐγγεγραμμένου σχήματος. Οὐκ ἔστι δέ, ἀλλὰ ἐλάσσων οὐκ ἄρα ἐστὶν οὐδὲ ἐλάσσων ὁ Χ(??) τομεὺς τοῦ περιεχομένου χωρίου ὑπό τε τᾶς ΑΒΓ△Ε ἕλικος καὶ τᾶν ΑΘ, ΘΕ εὐθειᾶν ἴσος ἄρα.

Τῶν χωρίων τῶν περιεχομένων ὑπό τε τᾶν ἑλίκων καὶ τᾶν εὐθειᾶν τᾶν ἐν τᾷ περιφορᾷ τὸ μὲν τρίτον τοῦ δευτέρου διπλάσιόν ἐστι, τὸ δὲ τέταρτον τριπλάσιον, τὸ δὲ πέμπτον τετραπλάσιον, καὶ ἀεὶ τὸ ἑπόμενον κατὰ τοὺς ἑξῆς ἀριθμοὺς πολλαπλάσιον τοῦ δευτέρου χωρίου, τὸ δὲ πρῶτον χωρίον ἕκτον μέρος ἐστὶ τοῦ δευτέρου.

Ἔστω ἁ προκειμένα ἕλιξ ἔν τε τᾷ πρώτᾳ περιφορᾷ γεγραμμένα καὶ ἐν τᾷ δευτέρᾳ καὶ ἐν ταῖς ἑπομέναις ὁποσαισοῦν, ἔστω δὲ ἀρχὰ μὲν τᾶς ἕλικος τὸ Θ σαμεῖον, ἁ δὲ ΘΕ εὐθεῖα ἀρχὰ τᾶς περιφορᾶς, τῶν δὲ χωρίων

69
ἔστω τὸ μὲν Κ τὸ πρῶτον, τὸ δὲ Λ τὸ δεύτερον, τὸ δὲ Μ τὸ τρίτον, τὸ δὲ Ν τὸ τέταρτον, τὸ δὲ Ξ τὸ πέμπτον. Δεικτέον ὅτι τὸ μὲν Κ χωρίον ϛ΄ μέρος ἐστὶ τοῦ ἑπομένου, τὸ δὲ Μ διπλάσιον τοῦ Λ, τὸ δὲ Ν τριπλάσιον τοῦ Λ, καὶ τῶν ἑξῆς ἀεὶ τὸ ἑπόμενον πολλαπλάσιον τοῦ Λ κατὰ τοὺς ἑξῆς ἀριθμούς.

Ὃτι μὲν οὖν τὸ Κ ϛ΄ μέρος ἐστὶ τοῦ Λ, ὧδε δείκνυται. Ἐπεὶ τὸ ΚΛ χωρίον ποτὶ τὸν δεύτερον κύκλον δέδεικται τοῦτον ἔχον τὸν λόγον, ὃν ἔχει τὰ ζ ποτὶ τὰ ιβ, ὁ δὲ δεύτερος κύκλος ποτὶ τὸν πρῶτον κύκλον ὡς ιβ ποτὶ τὰ δῆλον γάρ ἐστιν ὁ δὲ πρῶτος κύκλος ποτὶ τὸ Κ χωρίσν ἔχει ὡς γ ποτὶ α, ϛ΄ ἄρα ἐστὶ τὸ Κ χωρίον τοῦ Λ. Πάλιν δὲ καὶ τὸ ΚΛΜ χωρίον ποτὶ τὸν τρίτον κύκλον δέδεικται ὅτι τοῦτον ἔχει τὸν λόγον, ὃν ἔχει συναμφότερον τό τε ὑπὸ ΓΘΒ καὶ τὸ τρίτον μέρος τοῦ ἀπὸ τᾶς ΓΒ τετραγώνου ποτὶ τὸ ἀπὸ ΓΘ τετράγωνον. Ὁ δὲ τρίτος κύκλος ἔχει ποτὶ τὸν δεύτερον κύκλον ὃν τὸ ἀπὸ τᾶς ΓΘ τετράγωνον ποτὶ τὸ ἀπὸ τᾶς ΘΒ, ὁ δὲ δεύτερος κύκλος ἔχει ποτὶ τὸ ΚΛ χωρίον ὃν τὸ ἀπὸ ΒΘ τετράγωνον ποτὶ τὰ συναμφότερα τό τε ὑπὸ τᾶν ΒΘ, ΘΑ καὶ τὸ τρίτον μέρος τοῦ ἀπὸ τᾶς ΑΒ τετραγώνου· καὶ τὸ ΚΛΜ ἄρα ποτὶ τὸ ΚΛ λόγον ἔχει, ὃν τὸ ὑπὸ τᾶν ΓΘ, ΘΒ καὶ τὸ τρίτον μέρος τοῦ ἀπὸ τᾶς ΓΒ ποτὶ τὸ ὑπὸ τᾶν ΒΘ, ΘΑ καὶ τὸ τρίτον μέρος τοῦ ἀπὸ τᾶς ΑΒ τετραγώνου. Ταῦτα δὲ ἔχει ποτὶ ἄλλαλα λόγον, ὃν ιθ ποτὶ τὰ ζ· ὥστε καὶ τὸ ΚΛΜ χωρίον ποτὶ τὸ ΛΚ χωρίον τοῦτον ἔχει τὸν λόγον, ὃν ιθ ποτὶ τὰ ζ· αὐτὸ οὖν τὸ Μ ποτὶ τὸ ΚΛ λόγον ἔχει, ὃν τὰ ιβ ποτὶ τὰ ζ. Τὸ δὲ ΚΛ ποτὶ τὸ Λ λόγον ἔχει, ὃν τὰ ζ ποτὶ τὰ ϛ΄· δῆλον οὖν ὅτι διπλάσιόν ἐστι τὸ Μ τοῦ Λ.

70

Ὅτι δὲ τὰ ἑπόμενα τὸν τῶν ἑξῆς ἀριθμῶν λόγον ἔχει, δειχθήσεται. Τὸ γὰρ ΚΛΜΝΞ ποτὶ τὸν κύκλον, οὗ ἐστιν ἐκ τοῦ κέντρου ἁ ΘΕ, τοῦτον ἔχει τὸν λόγον, ὃν ἔχει συναμφότερον τό τε ὑπὸ τᾶν ΕΘ, Θ△ περιεχόμενον καὶ τὸ τρίτον μέρος τοῦ ἀπὸ τᾶς △Ε τετραγώνου ποτὶ τὸ ἀπὸ τᾶς ΘE τετράγωνον. Ὁ δὲ κύκλος, οὗ ἐστιν ἐκ τοῦ κέντρου ἁ ΘΕ, ποτὶ τὸν κύκλον, οὗ ἐστιν ἐκ τοῦ κέντρου ἁ Θ△, τοῦτον ἔχει τὸν λόγοι, ὃν τὸ ἀπὸ τᾶς ΘΕ τετράγωνον ποτὶ τὸ ἀπὸ τᾶς Θ△ τετράγωνον, ὁ δὲ κύκλος, οὗ ἐστιν ἐκ τοῦ κέντρου ἁ △Θ, ποτὶ τὸ ΚΛΜΝ χωρίον τοῦτον ἔχει τὸν λόγον, ὃν τὸ ἀπὸ τᾶς Θ△ τετράγωνον ποτὶ τὰ συναμφότερα τό τε ὑπὸ τᾶν Θ△, ΘΓ καὶ τὸ τρίτον μέρος τοῦ ἀπὸ τᾶς △Γ τετραγώνου καὶ τὸ ΚΛΜΝΞ ἄρα ποτὶ τὸ ΚΛΜΝ λόγον ἔχει, ὃν τὸ ὑπὸ τᾶν ΘΕ, Θ△ καὶ τὸ τρίτον μέρος τοῦ ἀπὸ τᾶς △Ε ποτὶ τὸ ὑπὸ τᾶν △Θ, ΘΓ καὶ τὸ τρίτον μέρος τοῦ ἀπὸ τᾶς △Γ· διελόντι καὶ τὸ Ξ χωρίον ποτὶ τὸ ΚΛΜΝ λόγον ἔχει, ὃν ἁ ὑπεροχὰ τοῦ τε ὑπὸ ΕΘ, Θ△ μετὰ τοῦ τρίτου μέρεος τοῦ ἀπὸ τᾶς Ε△ καὶ τοῦ ὑπὸ τᾶν △Θ, ΘΓ μετὰ τοῦ τρίτου μέρεος τοῦ ἀπὸ τᾶς Γ△ ποτί τε τὸ ὑπὸ τᾶν △Θ, ΘΓ καὶ τὸ τρίτον μέρος τοῦ ἀπὸ τᾶς △Γ ὑπερέχει δὲ τὰ συναμφότερα τῶν συναμφοτέρων ᾧ καὶ τὸ ὑπὸ τᾶν ΕΘ△ τοῦ ὑπὸ τᾶν △ΘΓ, ὑπερέχει δὲ τῷ ὑπὸ τᾶν △Θ, ΓΕ τὸ Ξ ἄρα ποτὶ τὸ ΚΛΜΝ λόγον ἔχει, ὃν τὸ ὑπὸ τᾶν Θ△, ΓΕ ποτὶ τὸ ὑπὸ τᾶν △Θ, ΘΓ καὶ τὸ τρίτον μέρος τοῦ ἀπὸ τᾶς Γ△ τετραγώνου. Διὰ δὲ τῶν αὐτῶν δειχθήσεται καὶ τὸ Ν ποτὶ τὸ ΚΛΜ χωρίον λόγον ἔχον τοῦτον, ὃν τὸ ὑπὸ τᾶν ΘΓ, Β△ ποτὶ τὰ συναμφότερα τό τε ὑπὸ ΓΘΒ καὶ τὸ τρίτον μέρος τοῦ ἀπὸ ΓΒ τετραγώνου

71
τὸ Ν ἄρα ποτὶ τὸ ΚΛΜΝ χωρίον τοῦτον ἔχει τὸν λόγον, ὃν τὸ ὑπὸ ΘΓ, Β△ ποτὶ τὸ ὑπὸ ΘΓ, Β△ καὶ τὸ ὑπὸ ΘΓ, ΘΒ καὶ τὸ τρίτον μέρος τοῦ ἀπὸ τᾶς ΓΒ καὶ ἀνάπαλιν· ταῦτα δὲ ἴσα ἐντὶ τῷ τε ὑπὸ τᾶν △Θ, ΘΓ καὶ τῷ τρίτῳ μέρει τοῦ ἀπὸ τᾶς Γ△ τετραγώνου. Ἐπεὶ οὖν τὸ μὲν Ξ χωρίον ποτὶ τὸ ΚΛΜΝ τοῦτον ἔχει τὸν λόγον, ὃν τὸ ὑπὸ τᾶν Θ△, ΓΕ ποτὶ τὰ συναμφότερα τό τε ὑπὸ τᾶν △ΘΓ καὶ τὸ τρίτον μέρος τοῦ ἀπὸ τᾶς Γ△ τετραγώνου, τὸ δὲ ΚΛΜΝ ποτὶ τὸ Ν ὃν τὰ συναμφότερα τό τε ὑπὸ τᾶν △ΘΓ καὶ τὸ τρίτον μέρος τοῦ ἀπὸ τᾶς △Γ τετραγώνου ποτὶ τὸ ὑπὸ τᾶν ΘΓ, △Β, ἔχει ἄρα καὶ τὸ Ξ ποτὶ τὸ Ν τὸν αὐτὸν λόγον, ὃν τὸ ὑπὸ τᾶν Θ△, ΓΕ ποτὶ τὸ ὑπὸ τᾶν ΘΓ, △Β. Τὸ δὲ ὑπὸ τᾶν Θ△, ΓΕ ποτὶ τὸ ὑπὸ τᾶν ΘΓ, △Β τὸν αὐτὸν ἔχει λόγον, ὃν ἁ Θ△ ποτὶ τὰν ΘΓ, ἐπεὶ ἴσαι ἐντὶ αἱ ΓΕ, Β△· δῆλον οὖν ὅτι καὶ τὸ Ξ ποτὶ τὸ Ν τοῦτον ἔχει τὸν λόγον, ὃν ἁ Θ△ ποτὶ τὰν ΘΓ.

Ὁμοίως δὲ καὶ δειχθήσεται καὶ τὸ Ν ποτὶ τὸ Μ τοῦτον ἔχον τὸν λόγον, ὃν ἁ ΘΓ ποτὶ τὰν ΘΒ, καὶ τὸ Μ ποτὶ τὸ Λ, ὃν ἁ ΒΘ ποτὶ τὰν ΑΘ· αἱ δὲ ΕΘ △Θ, ΓΘ, ΒΘ, ΑΘ εὐθεῖαι τὸν τῶν ἑξῆς ἀριθμῶν λόγον ἔχοντι.

Εἴ κα ἐπὶ τᾶς ἕλικος τᾶς ἐν ὁποιᾳοῦν περιφορᾷ γεγραμμένας δύο σαμεῖα λαφθέωντι μὴ τὰ πέρατα, ἀπὸ δὲ τῶν λαφθέντων σαμείων ἐπιζευχθέωντι εὐθεῖαι ἐπὶ τὰν ἀρχὰν τᾶς ἕλικος, καὶ κέντρῳ μὲν τᾷ ἀρχᾷ τᾶς ἕλικος, διαστημάτεσσι δὲ τοῖς ἀπὸ τῶν σαμείων ἐπὶ τὰν ἀρχὰν

72
τᾶς ἕλικος, κύκλοι γραφέωντι, τὸ περιλαφθὲν χωρίον ὑπό τε τᾶς μείζονος τᾶν περιφερειᾶν τᾶν μεταξὺ τᾶν εὐθειᾶν καὶ τᾶς ἕλικος τᾶς μεταξὺ τᾶν αὐτᾶν εὐθειᾶν καὶ τᾶς εὐθείας τᾶς ἐκβληθείσας τοῦτον ἕξει τὸν λόγον ποτὶ τὸ ἀπολαφθὲν χωρίον ὑπό τε τᾶς ἐλάσσονος περιφερείας καὶ τᾶς αὐτᾶς ἕλικος καὶ τᾶς εὐθείας τᾶς ἐπιζευγνυούσας τὰ πέρατα αὐτᾶν, ὃν ἁ ἐκ τοῦ κέντρου τοῦ ἐλάσσονος κύκλου μετὰ δύο τριταμορίων τᾶς ὑπεροχᾶς, ᾇ ὑπερέχει ἁ ἐκ τοῦ κέντρου τοῦ μείζονος κύκλου τᾶς ἐκ τοῦ κέντρου τοῦ ἐλάσσονος κύκλου ποτὶ τὰν ἐκ τοῦ κέντρου τοῦ ἐλάσσονος κύκλου μετὰ ἑνὸς τριταμορίου τᾶς αὐτᾶς ὑπεροχᾶς.

Ἔστω ἕλιξ, ἐφʼ ἇς ἁ ΑΒΓ△, ἐν μιᾷ περιφορᾷ γεγραμμένα, καὶ λελάφθω ἐπʼ αὐτᾶς δύο σαμεῖα τὰ Α, Γ, ὥστε τὸ Θ σαμεῖον ἀρχὰν εἶμεν τᾶς ἕλικος, καὶ ἀπὸ τῶν Α, Γ ἐπεζεύχθωσαν ἐπὶ τὸ Θ, καὶ κέντρῳ τῷ Θ, διαστημάτεσσι δὲ τοῖς ΘΑ, ΘΓ, κύκλοι γεγράφθωσαν. Δεικτέον ὅτι τὸ Ξ χωρίον ποτὶ τὸ Π τὸν αὐτὸν ἔχει λόγον, ὃν ἔχει συναμφότερος

73
ἅ τε ΑΘ καὶ δύο τριταμόρια τᾶς ΗΑ ποτὶ συναμφότερον τάν τε ΑΘ καὶ ἓν τριταμόριον τᾶς ΗΑ.

Τὸ γὰρ χωρίον τὸ ΝΠ ποτὶ τὸν ΗΓΘ τομέα δέδεικται τοῦτον ἔχον τὸν λόγον, ὃν ἔχει τό τε ὑπὸ τᾶν ΗΘ, ΑΘ καὶ τὸ τρίτον μέρος τοῦ ἀπὸ τᾶς ΑΗ τετραγώνου ποτὶ τὸ ἀπὸ τᾶς ΗΘ τετράγωνον αὐτὸ ἄρα τὸ Ξ ποτὶ τὸ ΝΠ τοῦτον ἔχει τὸν λόγον, ὃν ἔχει τὸ ὑπὸ τᾶν ΘΑΗ μετὰ δύο τριταμορίων τοῦ ἀπὸ τᾶς ΗΑ τετραγώνου ποτὶ τὰ συναμφότερα τό τε ὑπὸ τᾶν ΑΘΗ καὶ τὸ τρίτον μέρος τοῦ ἀπὸ τᾶς ΗΑ. Καὶ ἐπεὶ τὸ ΝΠ χωρίον ποτὶ τὸν ΝΠΞ τομέα τοῦτον ἔχει τὸν λόγον, ὃν ἔχει συναμφότερον τό τε ὑπὸ τᾶν ΘΑ, ΘΗ καὶ τὸ τρίτον μέρος τοῦ ἀπὸ τᾶς ΗΑ ποτὶ τὸ ἀπὸ τᾶς ΘΗ τετράγωνον, ὁ δὲ ΝΠΞ τομεὺς ποτὶ τὸν Ν τομέα τοῦτον ἔχει τὸν λόγον, ὃν τὸ ἀπὸ τᾶς ΘΗ ποτὶ τὸ ἀπὸ τᾶς ΘΑ, ἕξει καὶ τὸ ΝΠ χωρίον ποτὶ τὸν Ν τὸν αὐτὸν λόγον, ὃν ἔχει συναμφότερον τό τε ὑπὸ ΘΑ, ΘΗ καὶ τὸ τρίτον μέρος τοῦ ἀπὸ τᾶς ΗΑ ποτὶ τὸ ἀπὸ ΘΑ· τὸ ἄρα ΝΠ ποτὶ τὸ Π λόγον ἔχει, ὃν συναμφότερα τό τε ὑπὸ τᾶν ΗΘΑ καὶ τὸ τρίτον μέρος τοῦ ἀπὸ τᾶς ΗΑ ποτὶ συναμφότερον τό τε ὑπὸ τᾶν ΗΑ, ΘΑ καὶ τὸ τρίτον μέρος τοῦ ἀπὸ τᾶς ΗΑ τετραγώνου. Ἐπεὶ οὖν τὸ Ξ χωρίον ποτὶ τὸ ΝΠ τοῦτον ἔχει τὸν λόγον, ὃν ἔχει συναμφότερον τό τε ὑπὸ ΘΑΗ καὶ δύο τριταμόρια τοῦ ἀπὸ τᾶς ΗΑ τετραγώνου ποτὶ τὰ συναμφότερα τό τε ὑπὸ τᾶν ΗΘΑ καὶ τὸ τρίτον μέρος τοῦ ἀπὸ τᾶς ΗΑ, τὸ δὲ ΝΠ χωρίον ποτὶ τὸ Π τοῦτον ἔχει τὸν λόγον, ὃν τὰ συναμφότερα τό τε ὑπὸ

74
τᾶν ΗΘΑ καὶ τὸ τρίτον μέρος τοῦ ἀπὸ τᾶς ΗΑ τετραγώνου ποτὶ συναμφότερον τό τε ὑπὸ τᾶν ΗΑΘ καὶ τὸ τρίτον μέρος τοῦ ἀπὸ τᾶς ΗΑ τετραγώνου, ἕξει καὶ τὸ Ξ ποτὶ τὸ Π τοῦτον τὸν λόγον, ὃν ἔχει συναμφότερα τό τε ὑπὸ τᾶν ΘΑΗ καὶ δύο τριταμόρια τοῦ ἀπὸ τᾶς ΗΑ ποτὶ συναμφότερον τό τε ὑπὸ τᾶν ΘΑΗ καὶ τὸ τρίτον μέρος τοῦ ἀπὸ τᾶς ΗΑ. Τὰ δὲ συναμφότερα τό τε ὑπὸ τᾶν ΘΑΗ καὶ δύο τριταμόρια τοῦ ἀπὸ τᾶς ΗΑ ποτὶ συναμφότερα τό τε ὑπὸ τᾶν ΘΑΗ καὶ τὸ τρίτον μέρος τοῦ ἀπὸ τᾶς ΗΑ τετραγώνου τοῦτον ἔχει τὸν λόγον, ὃν ἔχει συναμφότερα ἅ τε ΘΑ καὶ δύο τριταμόρια τᾶς ΗΑ ποτὶ συναμφότερον τάν τε ΘΑ καὶ τὸ τρίτον μέρος τᾶς ΗΑ δῆλον οὖν ὅτι καὶ τὸ Ξ χωρίον ποτὶ τὸ Π χωρίον τοῦτον ἔχει τὸν λόγον, ὃν συναμφότερα ἅ τε ΘΑ καὶ δύο τριταμόρια τᾶς ΗΑ ποτὶ συναμφότερον τάν τε ΘΑ καὶ τὸ τρίτον μέρος τᾶς ΗΑ.