Σελίδα:Proclus (ed. Ritzenfeld) - Πρόκλου Διαδόχου Λυκίου Στοιχείωσις φυσική.djvu/42

Αυτή η σελίδα δεν έχει ελεγχθεί ακόμη για πιθανά λάθη.
28
PROCLI DIADOCHI

Β εἰς τὸ Γ. ἐπεὶ οὖν πᾶν τὸ κινούμενον ἐν χρόνῳ κινεῖται, καθ’ ὃν τὸ Α κινεῖται χρόνον ἢ ἐν τῷ Β ἐστὶν ἢ ἐν τῷ Γ ὅλον ἢ τὸ μὲν αὐτοῦ ἐν τῷ Β, τὸ δὲ ἐν τῷ Γ. ἀλλ’ εἰ μὲν ὅλον ἐν τῷ Β, οὔπω κινεῖται, αλλ’ ἠρεμεῖ· εἰ δ’ ὅλον ἐν τῷ Γ, ἤδη κεκίνηται καὶ οὐ κινεῖται· εἰ δὲ τὸ μὲν αὐτοῦ ἐν τῷ Β, τὸ δ’ ἐν τῷ Γ, μέρη ἕξει. οὐκ ἄρα τὸ ἀμερὲς κινεῖται, ὅπερ ἔδει δεῖξαι.

Ἄλλως. Ἔστω τὸ Α ἀμερὲς καὶ κινείσθω διὰ τοῦ Β. ἐπεὶ οὖν πᾶν τὸ κινούμενον, πρὶν μεῖζον ἑαυτοῦ κινηθῇ, ἴσον ἑαυτοῦ ἢ ἔλαττον κινεῖται, καὶ τὸ Α ἄρα ὁμοίως κινηθήσεται. ἀλλ’ εἰ μὲν ἔλαττον ἑαυτοῦ κινεῖται, μέρη ἕξει· εἰ δὲ ἴσον, ἔσται τὸ Β ἐξ ἀμερῶν, ὅπερ ἀδύνατον, ὡς δέδεικται. οὐκ ἄρα κινεῖται τὸ ἀμερές.

Ἄλλως, ὅτι τὸ ἀμερὲς ἴσον ἑαυτῷ οὐ κινεῖται.

Εἰ γὰρ δυνατόν, κινείσθω, καὶ ἔστω τῆς κινήσεως χρόνος ὁ ΑΒ. ἐπεὶ οὖν πᾶς χρόνος διαιρετός, διῃρήσθω ὁ ΑΒ εἰς τὰ ΑΓ ΓΒ. ἐν τῷ ΑΓ ἄρα χρόνῳ ἔλαττον κινηθήσεται τὸ κινούμενον ἀμερές, ἀλλὰ μὴν ἐν τῷ ΑΒ ἴσον ἑαυτῷ ἐκινεῖτο· τὸ δὲ τῷ ἀμερεῖ ἴσον ἀμερές· ἔσται ἄρα τι ἀμεροῦς ἔλαττον, ὅπερ ἀδύνατον· οὐκ ἄρα τὸ ἀμερὲς ἴσον ἑαυτῷ κινηθήσεται.