Physica (6.2)

Ἐπεὶ δὲ πᾶν μέγεθος εἰς μεγέθη διαιρετόν (δέδεικται

γὰρ ὅτι ἀδύνατον ἐξ ἀτόμων εἶναί τι συνεχές, μέγεθος δʼ
ἐστὶν ἅπαν συνεχές), ἀνάγκη τὸ θᾶττον ἐν τῷ ἴσῳ χρόνῳ μεῖζον καὶ ἐν τῶ ἐλάττονι ἴσον καὶ ἐν τῷ ἐλάττονι πλεῖον κινεῖσθαι, καθάπερ ὁρίζονταί τινες τὸ θᾶττον. ἔστω γὰρ τὸ ἐφʼ ὧ A τοῦ ἐφʼ ᾧ B θᾶττον. ἐπεὶ τοίνυν θᾶττόν ἐστιν τὸ πρότερον μεταβάλλον, ἐν ᾧ χρόνῳ τὸ Α μεταβέβληκεν ἀπὸ τοῦ Γ εἰς τὸ Δ,
οἷον τῷ ZH, ἐν τούτῳ τὸ B οὔπω ἔσται πρὸς τῷ Δ, ἀλλʼ ἀπολείψει, ὥστε ἐν τῷ ἴσῳ χρόνῳ πλεῖον δίεισιν τὸ θᾶττον. ἀλλὰ μὴν καὶ ἐν τῷ ἐλάττονι πλεῖον· ἐν ᾧ γὰρ τὸ A γεγένηται πρὸς τῷ Δ, τὸ B ἔστω πρὸς τῷ E τὸ βραδύτερον ὄν. οὐκοῦν ἐπεὶ [*]τὸ A πρὸς τῷ Δ γεγένηται ἐν ἅπαντι τῷ ZH χρόνῳ, πρὸς τῶ Θ ἔσται ἐν ἐλάττονι τούτου· καὶ ἔστω ἐν τῶ ZK. τὸ μὲν οὖν ΓΘ, ὃ διελήλυθε τὸ Α, μεῖζόν ἐστι τοῦ ΓΕ, ὁ δὲ χρόνος ὁ ΖΚ ἐλάττων τοῦ παντὸς τοῦ ΖΗ. ὥστε ἐν ἐλάττονι
μεῖζον δίεισιν. φανερὸν δὲ ἐκ τούτων καὶ ὅτι τὸ θᾶττον ἐν ἐλάττονι χρόνῳ δίεισιν τὸ ἴσον. ἐπεὶ γὰρ τὴν μείζω ἐν ἐλάττονι διέρχεται τοῦ βραδυτέρου, αὐτὸ δὲ καθʼ αὑτὸ λαμβανόμενον ἐν πλείονι χρόνῳ τὴν μείζω τῆς ἐλάττονος, οἷον τὴν ΛΜ τῆς ΛΞ, πλείων ἂν εἴη ὁ χρόνος ὁ ΠΡ, ἐν ᾧ τὴν
ΛΜ διέρχεται, ἢ ὁ ΠΣ, ἐν ᾧ τὴν ΛΞ. ὥστε εἰ ὁ ΠΡ χρόνος ἐλάττων ἐστὶν τοῦ Χ, ἐν ᾧ τὸ βραδύτερον διέρχεται τὴν ΛΞ, καὶ ὁ ΠΣ ἐλάττων ἔσται τοῦ ἐφʼ ὧ X· τοῦ γὰρ ΠΡ ἐλάττων, τὸ δὲ τοῦ ἐλάττονος ἔλαττον καὶ αὐτὸ ἔλαττον, ὥστε ἐν ἐλάττονι κινήσεται τὸ ἴσον. ἔτι δʼ εἰ πᾶν
ἀνάγκη ἢ ἐν ἴσῳ ἢ ἐν ἐλάττονι ἢ ἐν πλείονι κινεῖσθαι, καὶ τὸ μὲν ἐν πλείονι βραδύτερον, τὸ δʼ ἐν ἴσῳ ἰσοταχές, τὸ δὲ θᾶττον οὔτε ἰσοταχὲς οὔτε βραδύτερον, οὔτʼ ἂν ἐν ἴσῳ οὔτʼ ἐν πλείονι κινοῖτο τὸ θᾶττον. λείπεται οὖν ἐν ἐλάττονι, ὥστʼ ἀνάγκη καὶ τὸ ἴσον μέγεθος ἐν ἐλάττονι χρόνῳ διιέναι τὸ θᾶττον.
ἀπόντι χρόνῳ δυνατὸν κινηθῆναι, πᾶν δὲ τὸ κινούμενον ἐνδέχεται καὶ θᾶττον κινεῖσθαι καὶ βραδύτερον, ἐν ἅπαντι χρόνῳ ἔσται τὸ θᾶττον κινεῖσθαι καὶ βραδύτερον. τούτων δʼ ὄντων ἀνάγκη καὶ τὸν χρόνον συνεχῆ εἶναι. λέγω δὲ συνεχὲς τὸ διαιρετὸν εἰς αἰεὶ διαιρετά· τούτου γὰρ ὑποκειμένου τοῦ συνεχοῦς,
ἀνάγκη συνεχῆ εἶναι τὸν χρόνον. ἐπεὶ γὰρ δέδεικται ὅτι τὸ θᾶττον ἐν ἐλάττονι χρόνῳ δίεισιν τὸ ἴσον, ἔστω τὸ μὲν ἐφʼ ᾧ Α θᾶττον, τὸ δʼ ἐφʼ ᾧ B βραδύτερον, καὶ κεκινήσθω τὸ βραδύτερον τὸ ἐφʼ ΓΔ μέγεθος ἐν τῷ ΖΗ χρῳ. δῆλον τοίνυν ὅτι τὸ θᾶττον ἐν ἐλάττονι τούτου κινήσεται τὸ
αὐτὸ μέγεθος· καὶ κεκινήσθω ἐν τῶ ΖΘ. πάλιν δʼ ἐπεὶ τὸ θᾶττον ἐν τῷ ΖΘ διελήλυθεν τὴν ὅλην τὴν ΓΔ, τὸ βραδύτερον ἐν τῷ αὐτῷ χρόνῳ τὴν ἐλάττω δίεισιν· ἔστω οὖν ἐφʼ ἧς ΓΚ. ἐπεὶ δὲ τὸ βραδύτερον τὸ B ἐν τῷ ΖΘ χρόνῳ τὴν [*] ΓΚ διελήλυθεν, τὸ θᾶττον ἐν ἐλάττονι δίεισιν, ὥστε πάλιν διαιρεθήσεται ὁ ΖΘ χρόνος. τούτου δὲ διαιρουμένου καὶ τὸ ΓΚ μέγεθος διαιρεθήσεται κατὰ τὸν αὐτὸν λόγον. εἰ δὲ τὸ μέγεθος, καὶ ὁ χρόνος. καὶ ἀεὶ τοῦτʼ ἔσται μεταλαμβάνουσιν
ἀπὸ τοῦ θάττονος τὸ βραδύτερον καὶ ἀπὸ τοῦ βραδυτέρου τὸ θᾶττον, καὶ τῷ ἀποδεδειγμένῳ χρωμένοις· διαιρήσει γὰρ τὸ μὲν θᾶττον τὸν χρόνον, τὸ δὲ βραδύτερον τὸ μῆκος. εἰ οὖν αἰεὶ μὲν ἀντιστρέφειν ἀληθές, ἀντιστρεφομένου δὲ αἰεὶ γίγνεται διαίρεσις, φανερὸν ὅτι πᾶς χρόνος ἔσται συνεχής. ἅμα δὲ
δῆλον καὶ ὅτι μέγεθος ἅπαν ἐστὶ συνεχές· τὰς αὐτὰς γὰρ καὶ τὰς ἴσας διαιρέσεις ὁ χρόνος διαιρεῖται καὶ τὸ μέγεθος.

ἔτι δὲ καὶ ἐκ τῶν εἰωθότων λόγων λέγεσθαι φανερὸν ὡς εἴπερ ὁ χρόνος ἐστὶ συνεχής, ὅτι καὶ τὸ μέγεθος, εἴπερ ἐν

τῷ ἡμίσει χρόνῳ ἥμισυ διέρχεται καὶ ἁπλῶς ἐν τῶ ἐλάττονι ἔλαττον· αἱ γὰρ αὐταὶ διαιρέσεις ἔσονται τοῦ χρόνου καὶ τοῦ μεγέθους. καὶ εἰ ὁποτερονοῦν ἄπειρον, καὶ θάτερον, καὶ ὡς θάτερον, καὶ θάτερον, οἷον εἰ μὲν τοῖς ἐσχάτοις ἄπειρος ὁ χρόνος, καὶ τὸ μῆκος τοῖς ἐσχάτοις, εἰ δὲ τῇ
διαιρέσει, τῇ διαιρέσει καὶ τὸ μῆκος, εἰ δὲ ἀμφοῖν,
ἀμφοῖν καὶ τὸ μέγεθος. ψεῦδος λαμβάνει τὸ μὴ ἐνδέχεσθαι τὰ ἄπειρα διελθεῖν ἢ ἃψασθαι τῶν ἀπείρων καθʼ ἕκαστον ἐν πεπερασμένῳ χρόνω. διχῶς γὰρ λέγεται καὶ τὸ μῆκος καὶ ὁ χρόνος ἄπειρον, καὶ
ὅλως πᾶν τὸ συνεχές, ἤτοι κατὰ διαίρεσιν ἢ τοῖς ἐσχάτοις. τῶν μὲν οὖν κατὰ τὸ ποσὸν ἀπείρων οὐκ ἐνδέχεται ἅψασθαι ἐν πεπερασμένῳ χρόνῳ, τῶν δὲ κατὰ διαίρεσιν ἐνδέχεται· καὶ γὰρ αὐτὸς ὁ χρόνος οὕτως ἄπειρος. ὥστε ἐν τῷ ἀπείρῳ καὶ οὐκ ἐν τῷ πεπερασμένῳ συμβαίνει διιέναι τὸ
ἄπειρον, καὶ ἅπτεσθαι τῶν ἀπείρων τοῖς ἀπείροις, οὐ τοῖς πεπερασμένοις. οὔτε δὴ τὸ ἄπειρον οἷόν τε ἐν πεπερασμένω χρόνῳ διελθεῖν, οὔτʼ ἐν ἀπείρῳ τὸ πεπερασμένον· ἀλλʼ ἐάν τε ὁ χρόνος ἄπειρος ᾖ, καὶ τὸ μέγεθος ἔσται ἄπειρον, ἐάν τε τὸ μέγεθος, καὶ ὁ χρόνος. ἔστω γὰρ πεπερασμένον μέγεθος
ἐφʼ οὗ ΑΒ, χρόνος δὲ ἄπειρος ἐφʼ Γ· εἰλήφθω δέ τι τοῦ [*]χρόνου πεπερασμένον, ἐφʼ ΓΔ. ἐν τούτῳ οὖν δίεισί τι τοῦ μεγέθους, καὶ ἔστω διεληλυθὸς ἐφʼ ᾧ ΒΕ. τοῦτο δὲ ἢ καταμετρήσει τὸ ἐφʼ ᾧ AB. ἢ ἔλλειψει, ἢ ὑπερβαλεῖ· διαφέρει γὰρ οὐθέν· εἰ γὰρ ἀεὶ τὸ ἴσον τῷ BE μέγεθος ἐν
ἴσῳ χρόνῳ δίεισιν, τοῦτο δὲ καταμετρεῖ τὸ ὅλον, πεπερασμένος ἔσται ὁ πᾶς χρόνος ἐν ᾧ διῆλθεν· εἰς ἴσα γὰρ διαιρεθήσεται καὶ τὸ μέγεθος. ἔτι δʼ εἰ μὴ πᾶν μέγεθος ἐν ἀπείρῳ χρόνῳ. δίεισιν, ἀλλʼ ἐνδέχεταί τι καὶ ἐν πεπερασμένῳ δικλθεῖν, οἷον τὸ ΒΕ, τοῦτο δὲ καταμετρήσει τὸ πᾶν, καὶ τὸ ἴσον ἐν ἴσῳ δίεισιν, ὥστε πεπερασμένος ἔσται καὶ ὁ
χρόνος. ὅτι δʼ οὐκ ἐν ἀπείρῳ δίεισιν τὸ BE, φανερόν, εἰ ληφθείη ἐπὶ θάτερα πεπερασμένος ὁ χρόνος· εἰ γὰρ ἐν ἐλάττονι τὸ μέρος δίεισιν, τοῦτο ἀνάγκη πεπεράνθαι, θατέρου γε πέρατος ὑπάρχοντος. ἡ αὐτὴ δὲ ἀπόδειξις καὶ εἰ τὸ μὲν μῆκος ἄπειρον ὁ δὲ χρόνος πεπερασμένος.
οὖν ἐκ τῶν εἰρημένων ὡς οὔτε γραμμὴ οὕτε ἐπίπεδον οὔτε ὅλως τῶν συνεχῶν οὐθὲυ ἔσται ἄτομον, οὐ μόνον διὰ τὸ νῦν λεχθέν, ἀλλὰ καὶ ὅτι συμβήσεται διαιρεῖσθαι τὸ ἄτομον. ἐπεὶ γὰρ ἐν ἅπαντι χρόνῳ τὸ θᾶττον καὶ βραδύτερον ἔστι, τὸ δὲ θᾶττον πλεῖον διέρχεται ἐν τῷ ἴσῳ χρόνῳ,
ἐνδέχεται δὲ καὶ διπλάσιον καὶ ἡμιόλιον διιέναι μῆκος (εἴη γὰρ ἂν οὗτος ὁ λόγος τοῦ τάχους, ἐνηνέχθω οὖν τὸ θᾶττον ἡμιόλιον ἐν τῷ αὐτῷ χρόνῳ, καὶ διῃρήσθω τὰ μεγέθη τὸ μὲν τοῦ θάττονος εἰς τρία ἄτομα, ἐφʼ ὧν AB ΒΓ ΓΔ, τὸ δὲ τοῦ βραδυτέρου εἰς δύο, ἐφʼ ὧν ΕΖ ΖΗ\p{IsGreek}). οὐκοῦν
καὶ ὁ χρόνος διαιρεθήσεται εἰς τρία ἄτομα· τὸ γὰρ ἴσον ἐν τῷ ἴσῳ χρόνω δίεισιν. διῃρήσθω οὖν ὁ χρόνος εἰς τὰ ΚΛ ΛΜ MN. πάλιν δʼ ἐπεὶ τὸ βραδύτερον ἐνήνεκται τὴν ΕΖΗ, καὶ ὁ χρόνος τμηθήσεται δίχα. διαιρεθήσεται ἄρα τὸ ἄτομον, καὶ τὸ ἀμερὲς οὐκ ἐν ἀτόμῳ δίει.
σιν ἀλλʼ ἐν πλείονι. φανερὸν οὖν ὅτι οὐδέν ἐστ.ι τῶν συνεχῶν ἀμερές.