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

Ἔστω γὰρ ἁ μὲν ΑΒΓΘ ἕλιξ ἐν τᾷ πρώτᾳ περιφορᾷ γεγραμμένα, ἁ δὲ ΘΕΤ ἐν τᾷ δευτέρᾳ, καὶ ὁ μὲν ΘΚΗ κύκλος ὁ πρῶτος, ὁ δὲ ΤΜΝ ὁ δεύτερος, ἔστω δέ τις γραμμὰ ἐπιψαύουσα τᾶς ἕλικος κατὰ τὸ Θ ἁ ΤΖ, ἁ δὲ ΖΑ ποτʼ ὀρθὰς ἄχθῳ τᾷ ΤΑ συμπεσεῖται δὲ οὕτα τᾷ ΤΖ διὰ τὸ δεδεῖχθαι τὰν γωνίαν ὀξεῖαν ἐοῦσαν τὰν ὑπὸ τᾶν ΑΤΖ. Δεικτέον ὅτι ἁ ΖΑ εὐθεῖα διπλασία ἐντὶ τᾶς
τοῦ ΤΜΝ κύκλου περιφερείας.

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

Διὰ δὲ τοῦ αὐτοῦ τρόπου δεικτέον, καὶ εἴ κα τᾶς ἐν ὁποιᾳοῦν περιφορᾷ γεγραμμένας ἕλικος ἐπιψαύῃ τις
εὐθεῖα κατὰ τὸ πέρας τᾶς ἕλικος, καὶ ἀπὸ τᾶς ἀρχᾶς τᾶς ἕλικος ποτʼ ὀρθὰς ἀχθεῖσα τᾷ ἀρχᾷ τᾶς περιφορᾶς συμπίπτῃ ποτὶ τὰν ἐπιψαύουσαν, ὅτι πολλαπλασία ἐστὶν τᾶς τοῦ κύκλου περιφερείας τοῦ κατὰ τὸν ἀριθμὸν τᾶς περιφορᾶς λεγομένου τῷ αὐτῷ ἀριθμῷ.