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

34

PROCLI DIADOCHI

κινουμένων ταὐτόν ἐστι κύκλῳ κινούμενον κατὰ φύσιν, ὅπερ ἀδύνατον.

4. Τῇ κύκλῳ κινήσει οὐδέν ἐστιν ἐναντίον.

Εἰ γὰρ δυνατόν, ἔστω κύκλῳ κίνησις ἡ ἀπὸ τοῦ Α ἐπὶ τὸ Β, καὶ ταύτῃ ἐναντία κίνησις ἢ τῶν ἐπ’ εὐθείας τις κινήσεων ἢ τῶν κυκλικῶν. εἰ μὲν οὖν ἡ ἄνω κίνησις ἐναντία τῇ κύκλῳ, ἔσται καὶ ἡ κάτω καὶ ἡ κύκλῳ μία· εἰ δ’ ἡ κάτω ἐναντία, ἡ ἄνω καὶ ἡ κύκλῳ αἱ αὐταὶ ἀλλήλαις· μιᾷ γὰρ μία κίνησίς ἐστιν ἐναντία εἰς τοὺς ἀντικειμένους τόπους.

εἰ δ’ ἡ ἀπὸ τοῦ Α κίνησίς ἐστιν ἔναντία τῇ ἀπὸ τοῦ Β κινήσει, δύο ἐναντίων ἔσται τὰ μεταξὺ διαστήματα ἄπειρα· τῶν γὰρ ΑΒ σημείων ἄπειροι περιφέρειαι μεταξὺ γραφήσονται.

ἀλλὰ δὴ ἔστω ἡμικύκλιον τὸ ΑΒ, καὶ ἐναντία ἡ ἀπὸ τοῦ Α ἐπὶ τὸ Β τῇ ἀπὸ τοῦ Β ἐπὶ τὸ Α. εἰ μὲν οὖν τὸ κινούμενον ἀπὸ τοῦ Α ἐπὶ τὸ Β ἵσταται ἐν τῷ Β, οὐδέποτε ἔσται κύκλῳ κίνησις· κύκλῳ γὰρ ἦν κίνησις ἡ ἀπὸ τοῦ αὐτοῦ πρὸς τὸ αὐτὸ σημεῖον συνεχῶς.

εἰ δὲ καὶ θἄτερον ἡμικύκλιον κινηθήσεται συνεχῶς, οὐκ ἐναντίον τὸ Α τῷ Β. εἰ δὲ μὴ τούτῳ, οὐδ’ ἡ ἀπὸ τοῦ Α [τῇ] ἐπὶ τὸ Β κίνησις 〈τῇ ἀπὸ τοῦ Β ἐπὶ τὸ Α κινήσει〉 ἐναντία· αἱ γὰρ ἐναντίαι κινήσεις ἀπὸ ἐναντίων εἰς ἐναντία γίνονται.

ἀλλὰ δὴ ἔστω κύκλος ὁ ΑΒΓΔ, καὶ ἔστω ἡ ἀπὸ τοῦ Α κίνησις ἐπὶ τὸ Γ ἐναντία τῇ ἀπὸ τοῦ Γ ἐπὶ τὸ Α κινήσει. εἰ οὖν τὸ ἀπὸ τοῦ Α κινούμενον πάντας ὁμοίως δίεισι τοὺς τόπους καὶ μία κίνησις ἡ ἀπὸ τοῦ Α ἐπὶ τὸ Δ, οὐκ ἐναντίον τὸ Γ τῷ Α. εἰ δὲ μὴ ταῦτ’ ἐναντία, οὐδ’ αἱ