ιη΄.

Εἴ κα τᾶς ἕλικος τᾶς ἐν τᾷ πρώτᾳ περιφορᾷ γεγραμμένας εὐθεῖα γραμμὰ ἐπιψαύῃ κατὰ τὸ πέρας τᾶς ἕλικος, ἀπὸ δὲ τοῦ σαμείου, ὅ ἐστιν ἀρχὰ τᾶς ἕλικος, ποτʼ ὀρθὰς ἀχθῇ τις τᾷ ἀρχᾷ τᾶς περιφορᾶς, ἁ ἀχθεῖσα συμπεσεῖται τᾷ ἐπιψαυούσᾳ, καὶ ἁ μεταξὺ εὐθεῖα τᾶς ἐπιψαυούσας καὶ τᾶς ἀρχᾶς τᾶς ἕλικος ἴσα ἐσσεῖται τᾷ τοῦ πρώτου κύκλου περιφερείᾳ. Ἔστω ἕλιξ ἁ ΑΒΓ△Θ, ἔστω δὲ τὸ Α σαμεῖον ἀρχὰ τᾶς ἕλικος, ἁ δὲ ΘΑ γραμμὰ ἀρχὰ τᾶς περιφορᾶς, ὁ δὲ ΘΗΚ κύκλος ὁ πρῶτος, ἐπιψαυέτω δέ τις τᾶς ἕλικος κατὰ τὸ Θ ἁ ΘΖ, καὶ ἀπὸ τοῦ Α ἀχθῶ ποτʼ ὀρθὰς τᾷ ΘΑ ἁ ΑΖ συμπεσεῖται δὴ οὕτα ποτὶ τὰν ΘΖ, ἐπεὶ αἱ ΖΘ, ΘΑ ὀξεῖαν γωνίαν περιέχοντι. Συμπιπτέτω κατὰ τὸ Ζ, Δεικτέον ὅτι ἁ ΖΑ ἴσα ἐστὶ τᾷ τοῦ ΘΚΗ κύκλου περιφερείᾳ. Εἰ γὰρ μή, ἤτοι μείζων ἐστὶν ἢ ἐλάσσων. Ἔστω πρότερον, εἰ δυνατόν, μείζων. Ἔλαβον δή τινα εὐθεῖαν τὰν ΛΑ τᾶς μὲν ΖΑ εὐθείας ἐλάσσονα, τᾶς δὲ τοῦ ΘΗΚ κύκλου περιφερείας μείζονα. Ἔστιν δὴ κύκλος τις ὁ ΘΗΚ καὶ ἐν τῷ κύκλῳ γραμμὰ ἐλάσσων τᾶς διαμέτρου ἁ ΘΗ καὶ λόγος, ὃν ἔχει ἁ ΘΑ ποτὶ ΑΛ, μείζων τοῦ ὃν ἔχει ἁ ἡμίσεια τᾶς ΗΘ ποτὶ τὰν ἀπὸ τοῦ Α κάθετον ἐπʼ αὐτὰν ἀγμέναν, διότι καὶ τοῦ ὃν ἔχει ἁ ΘΑ ποτὶ ΑΖ · δυνατὸν οὖν ἐστιν ἀπὸ τοῦ Α ποτιζαλεῖν ποτὶ τὰν ἐκβεβλημέναν τὰν ΑΝ, ὥστε τὰν μεταξὺ τᾶς περιφερείας καὶ τᾶς ἐκβεβλημένας τὰν ΝΡ ποτὶ ΘΡ τὸν αὐτὸν ἔχειν λόγον, ὃν ἁ ΘΑ ποτὶ τὰν ΑΛ· ἔξει οὖν ἁ ΝΡ ποτὶ τὰν ΡΑ λόγον, ὃν ἁ ΘΡ εὐθεῖα ποτὶ τὰν ΑΛ. Ἁ δὲ ΘΡ ποτὶ τὰν ΑΛ ἐλάσσονα λόγον ἔχει ἢ ἁ ΘΡ περιφέρεια ποτὶ τὰν τοῦ ΘΗΚ κύκλου περιφέρειαν ἁ μὲν γὰρ ΘΡ εὐθεῖα ἐλάσσων ἐστὶ τᾶς ΘΡ περιφερείας, ἁ δὲ ΑΛ εὐθεῖα τᾶς τοῦ ΘΗΚ κύκλου περιφερείας μείζων ἐλάσσονα οὖν λόγον ἕξει καὶ ἁ ΝΡ ποτὶ ΡΑ ἢ ἁ ΘΡ περιφέρεια ποτὶ τὰν τοῦ ΘΗΚ κύκλου περιφέρειαν · καὶ ὅλα οὖν ἁ ΝΑ ποτὶ τὰν ΑΡ ἐλάσσονα λόγον ἔχει ἤπερ ἁ ΘΡ περιφέρεια μεθʼ ὅλας τᾶς τοῦ κύκλου περιφερείας ποτὶ τὰν τοῦ ΘΗΚ κύκλου περιφέρειαν. Ὃν δὲ λόγον ἔχει ἁ ΘΡ περιφέρεια μεθʼ ὅλας τᾶς τοῦ ΘΗΚ κύκλου περιφερείας ποτὶ τὰν τοῦ ΘΗΚ κύκλου περιφέρειαν, τοῦτον ἔχει ἁ ΧΑ ποτὶ τὰν ΑΘ δέδεικται γὰρ τοῦτο ἐλάσσονα ἄρα λόγον ἔχει ἁ ΝΑ ποτὶ τὰν ΑΡ ἤπερ ἁ ΧΑ ποτὶ τὰν ΑΘ ὅπερ ἀδύνατον. ἁ μὲν γὰρ ΝΑ μείζων ἐστὶ τᾶς ΑΧ, ἁ δὲ ΑΡ ἴσα ἐστὶ τᾷ ΘΑ. Οὐκ ἄρα μείζων ἁ ΖΑ τᾶς τοῦ κύκλου περιφερείας τοῦ ΘΗΚ. Ἔστω δὴ πάλιν, εἰ δυνατόν, ἐλάσσων ἁ ΖΑ τᾶς τοῦ ΘΗΚ κύκλου περιφερείας. Ἔλαβον δή τινα εὐθεῖαν πάλιν τὰν ΑΛ τᾶς μὲν ΑΖ μείζονα, τᾶς δὲ τοῦ ΘΗΚ κύκλου περιφερείας ἐλάσσονα, καὶ ἄγω ἀπὸ τοῦ Θ τὰν ΘΜ παράλληλον τᾷ ΑΖ. Πάλιν οὖν κύκλος ἐστὶν ὁ ΘΗΚ καὶ ἐν αὐτῷ ἐλάσσων γραμμὰ τᾶς διαμέτρου ἁ ΘΗ καὶ ἄλλα ἐπιψαύουσα τοῦ κύκλου κατὰ τὸ Θ καὶ λόγος, ὃν ἔχει ἁ ΑΘ ποτὶ τὰν ΑΛ, ἐλάσσων τοῦ ὃν ἔχει ἁ ἡμίσεια τᾶς ΗΘ ποτὶ τὰν ἀπὸ τοῦ Α κάθετον ἐπʼ αὐτὰν ἀγμέναν, ἐπειδὴ καὶ τοῦ ὃν ἔχει ἁ ΘΑ ποτὶ ΑΖ ἐλάσσων ἐστί δυνατὸν οὖν ἐστιν ἀπὸ τοῦ Α ἀγαγεῖν τὰν ΑΠ ποτὶ τὰν ἐπιψαύουσαν, ὥστε τὰν ΡΝ τὰν μεταξὺ τᾶς ἐν τῷ κύκλῳ εὐθείας καὶ τᾶς περιφερείας ποτὶ τὰν ΘΠ τὰν ἀπολαφθεῖσαν ἀπὸ τᾶς ἐπιψαυούσας τοῦτον ἔχειν τὸν λόγον, ὃν ἔχει ἁ ΘΑ ποτὶ τὰν ΑΛ · τεμεῖ δὴ ἁ ΑΠ τὸν μὲν κύκλον κατὰ τὸ Ρ, τὰν δὲ ἕλικα κατὰ τὸ Χ καὶ ἕξει καὶ ἐναλλαξ τὸν αὐτὸν λόγον ἁ ΝΡ ποτὶ ΡΑ, ὃν ἁ ΘΠ ποτὶ ΑΛ. Ἁ δὲ ΘΠ ποτὶ τὰν ΑΛ μείζονα λόγον ἔχει ἢ ἁ ΘΡ περιφέρεια ποτὶ τὰν τοῦ ΘΗΚ κύκλου περιφέρειαν ἁ μὲν γὰρ ΘΠ εὐθεῖα μείζων ἐστὶν τᾶς ΘΡ περιφερείας, ἁ δὲ ΑΛ ἐλάσσων τᾶς τοῦ ΘΗΚ κύκλου περιφερείας μείζονα ἄρα λόγον ἔχει ἁ ΠΡ ποτὶ τὰν ΑΡ ἢ ἁ ΘΡ περιφέρεια ποτὶ τὰν τοῦ ΘΗΚ κύκλου περιφέρειαν · ὥστε καὶ ἁ ΡΑ ποτὶ τὰν ΑΝ μείζονα λόγον ἔχει ἢ ἁ τοῦ ΘΗΚ κύκλου περιφέρεια ποτὶ τὰν ΘΚΡ περιφέρειαν. Ὃν δὲ λόγον ἔχει ἁ τοῦ ΘΗΚ κύκλου περιφέρεια ποτὶ τὰν ΘΚΡ περιφέρειαν, τοῦτον ἔχει ἁ ΘΑ εὐθεῖα ποτὶ τὰν ΑΧ δέδεικται γὰρ τοῦτο · μείζονα ἄρα λόγον ἔχει ἁ ΡΑ ποτὶ τὰν ΑΝ ἢ ἁ ΘΑ ποτὶ τὰν ΑΧ ὅπερ ἀδύνατον. Οὐκ ἄρα μείζων ἐστὶν οὐδὲ ἐλάσσων ἁ ΖΑ τᾶς τοῦ ΘΗΚ κύκλου περιφερείας · ἴσα ἄρα.