§22Ὄτι μὲν οὖν ἔκ γε τῶν εἰρημένων λόγων οὔτ’ ἀναγκαῖον ἀτόμους εἶναι γραμμὰς οὔτε πιθανόν, φανερόν.
Therefore, from what has been said, it is clear that it is neither necessary nor plausible for there to be indivisible lines.
Ἔτι δὲ καὶ ἐκ τῶνδε γένοιτ’ ἂν φανερώτερον.
Furthermore, it would become even clearer from the following.
Πρῶτον μὲν ἐκ τῶν ἐν τοῖς μαθήμασι δεικνυμένων καὶ τιθεμένων, ἃ οὐ δίκαιον ἢ πιστοτέροις λόγοις κινεῖν.
First, from what is demonstrated and assumed in mathematics, which it is not right to disturb except by more trustworthy arguments.
§23Οὔτς γὰρ ὁ τῆς γραμμῆς οὔτε ὁ τῆς εὐθείας ὅρος ἐφαρμόσει τῇ ἀτόμῳ διὰ τὸ μήτε μεταξὺ τινῶν εἶναι μήτ’ ἔχειν μέσον.
For neither the definition of a line nor that of a straight line will apply to the indivisible, because it is neither between any things nor has a middle.
Ἔπειτα πᾶσαι αἱ γραμμαὶ σύμμετροι ἔσονται.
Next, all lines will be commensurable.
Πᾶσαι γὰρ ὑπὸ τῶν ἀτόμων μετρηθήσονται, αἵ τε μήκει σύμμετροι καὶ αἱ δυνάμει.
For all of them will be measured by the indivisibles, both those commensurable in length and those in power.
§24Αἱ δὲ ἄτομοι σύμμετροι πᾶσαι μήκει· ἴσαι γάρ· ὥστε καὶ δυνάμει.
And the indivisible lines are all commensurable in length; for they are equal; so also in power.
Εἰ δὲ τοῦτο, διαιρετὸν ἔσται τὸ τετράγωνον.
But if this is so, the square will be divisible.
Ἔτι εἰ ἡ περὶ τὴν μείζω τὸ πλάτος ποιεῖ παραβαλλομένη, τὸ ἴσον τῶν ἀπὸ τῆς ἀτόμου καὶ τῆς ποδιαίας παραβαλλομένων περὶ τὴν δίπουν ἔλαττον ποιήσει τὸ πλάτος τῆς ἀμεροῦς· ἔσται ἔλαττον τὸ περὶ τῆς ἀτόμου.
Furthermore, if a square applied to a larger line determines its width, then when an area equal to the squares on the indivisible line and the foot-long line is applied to the two-foot line, it will make the width smaller than that of the indivisible line; that is, the width in the case of the indivisible line will be smaller.
§25Ἔτι εἰ ἐκ τριῶν δοθεισῶν εὐθειῶν συνίσταται τρίγωνον, καὶ ἐκ τῶν ἀτόμων συσταθήσεται.
Furthermore, if a triangle is constructed from three given straight lines, it will also be constructed from indivisible lines.
Ἐν ἅπαντι δὲ ἰσοπλεύρῳ ἡ κάθετος ἐπὶ μέσην πίπτει, ὥστε καὶ ἐπὶ τὴν ἄτομον.
And in every equilateral triangle, the perpendicular falls on the middle of the base, and so also on the indivisible line.
Ἔτι εἰ τὸ τετράγωνον τῶν ἁμερῶν διὰ μέσου ἐμπεσούσης καὶ καθέτου ἀχθείσης, ἡ τοῦ τετραγώνου πλευρὰ τὴν κάθετον δύναται καὶ τὴν ἡμίσειαν τῆς διαμέτρου, ὥστε οὐκ ἐλαχίστη.
Furthermore, if in a square of indivisibles, when a perpendicular is drawn through the middle, the side of the square is equal in power to the perpendicular and the half of the base, so it is not the smallest.
§26Οὐδὲ διπλάσιον τὸ ἀπὸ τῆς διαμέτρου χωρίον ἔσται τοῦ ἀπὸ τῆς ἀτόμου.
Nor will the square on the diagonal be double the square on the indivisible line.
Ἀφαιρεθέντος γὰρ τοῦ ἴσον ἡ λοιπὴ ἔσται ἐλάσσων τῆς ἀμεροῦς.
For when an equal portion is subtracted, the remainder will be smaller than the indivisible.
Εἰ γὰρ ἴσως τετραπλάσιον ἂν ἔγραψεν ἡ διάμετρος, ἄλλα δ’ ἄν τις καὶ ἕτερα τοιαῦτα συνάγοι· πᾶσι γὰρ ὡς εἰπεῖν ἐναντιοῦται τοῖς ἐν τοῖς μαθήμασιν.
If indeed the diagonal should describe a fourfold area, one might also draw other such conclusions; for it is, so to speak, contrary to all things in mathematics.
§27Πάλιν τοῦ μὲν ἀμεροῦς μία ἡ σύναψις, γραμμῆς δὲ δύο· καὶ γὰρ ὅλη ὅλης ἅπτεται, καὶ κατὰ τὸ πέρας ἐξ ἐναντίας.
Again, the contact of the indivisible is single, while that of a line is twofold; for either whole touches whole, or they touch at the extremity from opposite sides.
Ἔτι γραμμὴ προστεθεῖσα οὐ ποιεῖ μείζω τὴν ὅλην· τὰ γὰρ ἀμερῆ συντιθέμενα οὐ ποιήσει μεῖζον.
Furthermore, a line added does not make the whole larger; for indivisibles put together will not make anything larger.
§28Ἔτι ἐκ δυοῖν ἀμεροῖν μηδὲν γίνεσθαι συνεχὲς διὰ τὸ πλείους διαιρέσεις ἔχειν ἅπαν τὸ συνεχές· ἅπασα δὲ γραμμὴ παρὰ τὴν ἄτομον συνεχὴς οὐκ ἄν εἴη γραμμὴ ἄτομος.
Furthermore, from two indivisibles nothing continuous can arise, because every continuous thing has more divisions; and since every line other than the indivisible is continuous, there would be no indivisible line.
Ἔτι εἰ ἅπασα γραμμὴ παρὰ τῆς ἀτόμου καὶ ἴσα καὶ ἄνισα ὄιαιρεῖται, καὶ μὴ ἐκ τριῶν ἀτόμων καὶ ὅλως περιττῶν, ὥστ’ ἀδιαίρετος ἡ ἄτομος.
Furthermore, if every line other than the indivisible is divided into both equal and unequal parts, and is not composed of three indivisibles (or in general an odd number), then the indivisible line must be undivided.
§29Ὁμοίως δὲ κἄν εἰ δίχα τέμνεται· πᾶσα γὰρ ἡ ἐκ τῶν περιττῶν.
Likewise even if it is cut in half; for this is the case with all those composed of an odd number.
Εἰ δὲ δίχα μὲν μὴ πᾶσα τέμνεται ἀλλ’ ἡ ἐκ τῶν ἀρτίων, τὴν δὲ δίχα διαιρουμένην καὶ ὅσα δυνατὸν τέμνειν, διαιρεθήσεται καὶ οὕτως ἄτομος, ὅταν ἡ ἐκ τῶν ἀρτίων εἰς ἄνισα διαιρῆται.
But if not every line is cut in half but only those composed of an even number, and if we divide the one that is cut in half as far as possible, the indivisible will also be divided in this way when the line composed of an even number is divided into unequal parts.
§30Πάλιν εἰ τὸ κεκινημένον ἐν ᾦ χρόνῳ κινεῖται τὴν ὅλην ἐν τῷ ἡμίσει τὴν ἡμίσειαν κινηθήσεται, καὶ ἐν τῷ ἐλάττονι ἔλαττον ἢ τὴν ἡμίσειαν, ὥστ’ εἰ μὲν περιττῶν σύγκειται τῶν ἀτόμων τὸ μῆκος, ἀναιρεθήσεται ἡ μέση τομὴ τῶν ἀτόμων, εἴπερ ἐν τῷ ἡμίσει χρόνῳ τὸ ἥμισυ δίεισιν· ὁμοίως γὰρ ὅ τε χρόνος καὶ ἡ γραμμὴ τμηθήσεται.
Again, if that which is moved in a certain time moves the whole distance, in half the time it will move half the distance, and in less time less than half; so that if the length is composed of an odd number of indivisibles, the middle division of the indivisibles will be done away with, if indeed in half the time it traverses half the distance; for both time and line will be divided likewise.
§31Ὤστε οὐδεμία τῶν συγκειμένων τμηθήσεται εἰς ἴσα καὶ ἄνισα, οὐδ’ ὁμοίως τοῖς χρόνοις τμηθήσονται.
So none of the composite lines will be divided into equal and unequal parts, nor will they be divided in a manner like the times.
Οὐκ ἔσονται ἄτομοι γραμμαί.
There will be no indivisible lines.
Τὰ δὲ τοῦ αὐτοῦ λόγου ἐστί, καθάπερ ἐλέχθη, τὸ πάντα ταῦτα ποιεῖν ἐξ ἀμερῶν.
And it belongs to the same argument, as was said, to make all these things from indivisibles.
Ἔτι ἄπασα ἡ μὴ ἄπειρος δύο ἔχει πέρατα· γραμμὴ γὰρ ὥρισται τούτοις.
Furthermore, every line that is not infinite has two limits; for a line is defined by these.