Μετάβαση στο περιεχόμενο

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

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

κεκίνηταί τι τοῦ ΑΒ μεγέθους, καὶ ἐν μὲν ὅλῳ τῷ ΧΡ ἐκινεῖτο, ἐν δὲ τῷ ΧΚ κεκίνηται· τὸ γὰρ πέρας τοῦ ΧΚ χρόνου τὸ νῦν ἐστιν, ἐν δὲ τούτῳ κεκινῆσθαι μὲν δυνατόν, κινεῖσθαι δὲ οὔ. ὁμοίως δὴ δείξομεν καὶ τὸν ΧΚ χρόνον διελόντες, ὅτι πρὸ τοῦ κινεῖσθαι τὸ κεκινῆσθαι ὑπάρχει· τὸ γὰρ νῦν ἐν παντὶ χρόνῳ, ὥστε καὶ τὸ κεκινῆσθαι.

27. Πᾶν τὸ κεκινημένον ἐκινεῖτο πρότερον.

Ἔστω γάρ τι μεταβεβληκὸς ἐκ τοῦ Α εἰς τὸ Β. ἢ οὖν ἐν χρόνῳ μεταβέβληκεν ἢ ἐν τῷ νῦν. ἀλλὰ μὴν εἰ ἐν τῷ νῦν, ἅμα ἂν εἴη κατὰ τὸ αὐτὸ νῦν καὶ ἐν τῷ Α καὶ ἐν τῷ Β· εἰ γὰρ καθ’ ἕτερον μὲν ἐν τῷ Α ἐστί, καθ’ ἕτερον δὲ ἐν τῷ Β, ἔσται μεταξὺ χρόνος· οὐ γὰρ ἔχεται ἀμερὲς ἀμεροῦς· ἐν χρόνῳ ἄρα μεταβέβληκεν ἀπὸ τοῦ Α εἰς τὸ Β. ἀλλὰ πᾶς χρόνος διαιρετός, ὥστε καὶ ἐν τῷ ἡμίσει μεταβάλλειν καὶ ἐν τῷ ἐκείνου ἡμίσει, καὶ τοῦτο εἰς ἄπειρον· πᾶν ἄρα τὸ κεκινημένον ἐκινεῖτο πρότερον, ὅπερ ἔδει δεῖξαι.

28. Ἐὰν τὸ κινούμενον ἄπειρον ᾖ, οὐ δίεισι τὸ πεπερασμένον μέγεθος ἐν πεπερασμένῳ χρόνῳ.

Ἔστω κινούμενον ἄπειρον τὸ Α, μέγεθος δὲ πεπερασμένον, ὃ δίεισι, τὸ Β, χρόνος δὲ πεπερασμένος τὸ Γ. εἰ οὖν τὸ Α παρὰ τὸ Β κινεῖται, δῆλον ὅτι καὶ τὸ Β παρὰ τὸ Α. ἐπεὶ οὖν τὸ Α ἄπειρον, τὸ δὲ Β πεπερασμένον, ἔσται τὸ πεπερασμένον κινούμενον διὰ τοῦ ἀπείρου ἐν πεπερασμένῳ χρόνῳ, ὅπερ ἀδύνατον, [ὅτε γὰρ τὸ Α διὰ τοῦ Β κινεῖται, καὶ τὸ Β διὰ τοῦ Α· ἀλλὰ τὸ Α διὰ τοῦ Β ἐν πεπερασμένῳ χρόνῳ κινεῖται, ὅπερ ἀδύνατον·] ὡς δέδεικται διὰ τοῦ δωδεκάτου θεωρήματος.

29. Ἐὰν ᾖ τὸ κινούμενον ἄπειρον, οὐ δίεισι τὸ ἄπειρον μέγεθος ἐν πεπερασμένῳ χρόνῳ.