Physica (6.4)

Τὸ δὲ μεταβάλλον ἅπαν ἀνάγκη διαιρετὸν εἶναι. ἐπεὶ
γὰρ ἔκ τινος εἴς τι πᾶσα μεταβολή, καὶ ὅταν μὲν ᾖ ἐν τούτῳ εἰς ὃ μετέβαλλεν, οὐκέτι μεταβάλλει, ὅταν δὲ ἐξ οὗ μετέβαλλεν, καὶ αὐτὸ καὶ τὰ μέρη πάντα, οὔπω μεταβάλλει (τὸ γὰρ ὡσαύτως ἔχον καὶ αὐτὸ καὶ τὰ μέρη οὐ μεταβάλλει), ἀνάγκη οὖν τὸ μέν τι ἐν τούτῳ εἶναι, τὸ δʼ ἐν θατέρῳ
τοῦ μεταβάλλοντος· οὔτε γὰρ ἐν ἀμφοτέροις οὔτʼ ἐν μηδετέρῳ δυνατόν. λέγω δʼ εἰς ὃ μεταβάλλει τὸ πρῶτον κατὰ τὴν μεταβολήν, οἷον ἐκ τοῦ λευκοῦ τὸ φαιόν, οὐ τὸ μέλαν· οὐ γὰρ ἀνάγκη τὸ μεταβάλλον ἐν ὁποτερῳοῦν εἶναι τῶν ἄκρων. φανερὸν οὖν ὅτι πᾶν τὸ μεταβάλλον ἔσται διαιρετόν.

κίνησις δʼ ἐστὶν διαιρετὴ διχῶς, ἔνα μὲν τρόπον τῷ χρόνῳ, ἄλλον δὲ κατὰ τὰς τῶν μερῶν τοῦ κινουμένου κινήσεις,

οἷον εἰ τὸ ΑΓ κινεῖται ὅλον, καὶ τὸ ΑΒ κινήσεται καὶ τὸ ΒΓ. ἔστω δὴ τοῦ μὲν ΑΒ ἡ ΔΕ, τοῦ δὲ ΒΓ ἡ ΕΖ
κίνησις τῶν μερῶν. ἀνάγκη δὴ τὴν ὅλην, ἐφʼ ἧς ΔΖ, τοῦ ΑΓ εἶναι κίνησιν. κινήσεται γὰρ κατὰ ταύτην, ἐπείπερ ἑκάτερον τῶν μερῶν κινεῖται καθʼ ἑκατέραν· οὐθὲν δὲ κινεῖται κατὰ τὴν ἄλλου κίνησιν· ὥστε ἡ ὅλη κίνησις τοῦ ὅλου ἐστὶν μεγέθους κίνησις. ἔτι δʼ εἰ πᾶσα μὲν κίνησις τινός, ἡ δʼ ὅλη
κίνησις ἡ ἐφʼ ἧς ΔΖ μήτε τῶν μερῶν ἐστιν μηδετέρου (μέρους γὰρ ἑκατέρα) μήτʼ ἄλλου μηδενός (οὗ γὰρ ὅλη ὅλου, καὶ τὰ μέρη τῶν μερῶν· τὰ δὲ μέρη τῶν ΑΒ ΒΓ καὶ οὐδένων ἄλλων· πλειόνων γὰρ οὐκ ἦν μία κίνησις), κἂν ἡ ὅλη κίνησις εἴη τοῦ ΑΒΓ μεγέθους. ἔτι δʼ εἰ ἔστιν ἄλλη
τοῦ ὅλου κίνησις, οἷον ἐφʼ ἧς ΘΙ, ἀφαιρεθήσεται ἀπʼ αὐτῆς [*]ἡ ἑκατέρων τῶν μερῶν κίνησις· αὗται δʼ ἴσαι ἔσονται ταῖς ΔΕ ΕΖ· μία γὰρ ἑνὸς κίνησις. ὥστʼ εἰ μὲν ὅλη διαιρεθήσεται ἡ ΘΙ εἰς τὰς τῶν μερῶν κινήσεις, ἴση ἔσται ἡ ΘΙ τῇ ΔΖ· εἰ δʼ ἀπολείπει τι, οἷον τὸ ΚΙ, αὕτη οὐδενὸς ἔσται κίνησις
(οὔτε γὰρ τοῦ ὅλου οὔτε τῶν μερῶν διὰ τὸ μίαν εἶναι ἑνός, οὔτε ἄλλου οὐθενός· ἡ γὰρ συνεχὴς κίνησίς ἐστι συνεχῶν τινῶν), ὡσαύτως δὲ καὶ εἰ ὑπερβάλλει κατὰ τὴν διαίρεσιν· ὥστʼ εἰ τοῦτο ἀδύνατον, ἀνάγκη τὴν αὐτὴν εἶναι καὶ ἴσην. αὕτη μὲν οὖν ἡ διαίρεσις κατὰ τὰς τῶν μερῶν κινήσεις ἐστίν,
καὶ ἀνάγκη παντὸς εἶναι τοῦ μεριστοῦ αὐτήν· ἄλλη δὲ κατὰ τὸν χρόνον· ἐπεὶ γὰρ ἅποσα κίνησις ἐν χρόνῳ, χρόνος δὲ πᾶς διαιρετός, ἐν δὲ τῶ ἐλάττονι ἐλάττων ἡ κίνησις, ἀνάγκη
πᾶσαν κίνησιν διαιρεῖσθαι κατὰ τὸν χρόνον. κινούμενον ἔν τινι κινεῖται καὶ χρόνον τινά, καὶ παντὸς ἔστι κίνησις, ἀνάγκη τὰς αὐτὰς εἶναι διαιρέσεις τοῦ τε χρόνου
καὶ τῆς κινήσεως καὶ τοῦ κινεῖσθαι καὶ τοῦ κινουμένου καὶ ἐν ᾧ ἡ κίνησις (πλὴν οὐ πάντων ὁμοίως ἐν οἷς ἡ κίνησις, ἀλλὰ τοῦ μὲν τόπου καθʼ αὑτό, τοῦ δὲ ποιοῦ κατὰ συμβεβηκός). εἰλήφθω γὰρ ὁ χρόνος ἐν ᾧ κινεῖται ἐφʼ ᾧ Α, καὶ ἡ κίνησις ἐφʼ ᾧ B. εἰ οὖν τὴν ὅλην ἐν τῷ παντὶ χρόνῳ κεκίνηται, ἐν
τῷ ἡμίσει ἐλάττω, καὶ πάλιν τούτου διαιρεθέντος ἐλάττω ταύτης, καὶ ἀεὶ οὕτως. ὁμοίως δὲ καί, εἰ ἡ κίνησις διαιρετή, καὶ ὁ χρόνος διαιρετός· εἰ γὰρ τὴν ὅλην ἐν τῷ παντί, τὴν ἡμίσειαν ἐν τῷ ἡμίσει, καὶ πάλιν τὴν ἐλάττω ἐν τῷ ἐλάττονι. τὸν αὐτὸν δὲ τρόπον καὶ τὸ κινεῖσθαι διαιρεθήσεται. ἔστω
γὰρ ἐφʼ ὧ Γ τὸ κινεῖσθαι. κατὰ δὴ τὴν ἡμίσειαν κίνησιν ἔλαττον ἔσται τοῦ ὅλου, καὶ πάλιν κατὰ τὴν τῆς ἡμισείας ἡμίσειαν, καὶ αἰεὶ οὕτως. ἔστι δὲ καὶ ἐκθέμενον τὸ καθʼ ἑκατέραν τῶν κινήσεων κινεῖσθαι, οἶον κατά τε τὴν ΔΓ καὶ τὴν ΓΕ, λέγειν ὅτι τὸ ὅλον ἔσται κατὰ τὴν ὅλην (εἰ γὰρ ἄλλο,
πλείω ἔσται κινεῖσθαι κατὰ τὴν αὐτὴν κίνησιν), ὥσπερ ἐδεί. ξαμεν καὶ τὴν κίνησιν διαιρετὴν εἰς τὰς τῶν μερῶν κινήσεις οὖσαν· ληφθέντος γὰρ τοῦ κινεῖσθαι καθʼ ἑκατέραν συνεχὲς ἔσται τὸ ὅλον. ὡσαύτως δὲ δειχθήσεται καὶ τὸ μῆκος διαιρετόν, καὶ ὅλως πᾶν ἐν ᾧ ἐστιν ἡ μεταβολή (πλὴν ἔνια
κατὰ συμβεβηκός, ὅτι τὸ μεταβάλλον ἐστὶν διαιρετόν)· ἑνὸς γὰρ διαιρουμένου πάντα διαιρεθήσεται. καὶ ἐπὶ τοῦ πεπερασμένα εἶναι ἢ ἄπειρα ὁμοίως ἕξει κατὰ πάντων. ἠκολούθηκεν [*] δὲ μάλιστα τὸ διαιρεῖσθαι πάντα καὶ ἄπειρα εἶναι ἀπὸ τοῦ μεταβάλλοντος· εὐθὺς γὰρ ἐνυπάρχει τῷ μεταβάλλοντι τὸ διαιρετὸν καὶ τὸ ἄπειρον. τὸ μὲν οὖν διαιρετὸν δέδεικται πρότερον, τὸ δʼ ἄπειρον ἐν τοῖς ἑπομένοις ἔσται δῆλον.