[1,5] ΚΕΦΑΛΑΙΟΝ Ε'. § 1. (272a) Ἀλλ´ ἐπεὶ δῆλον περὶ τούτων, περὶ τῶν λοιπῶν σκεπτέον, καὶ πρῶτον πότερον ἔστι τι σῶμα ἄπειρον, ὥσπερ οἱ πλεῖστοι τῶν ἀρχαίων φιλοσόφων ᾠήθησαν, ἢ τοῦτ´ ἔστιν ἕν τι τῶν ἀδυνάτων· τὸ γὰρ οὕτως ἢ ἐκείνως ἔχειν οὔ τι μικρὸν ἀλλ´ ὅλον διαφέρει καὶ πᾶν πρὸς τὴν περὶ τῆς ἀληθείας θεωρίαν· σχεδὸν γὰρ αὕτη πασῶν ἀρχὴ τῶν ἐναντιώσεων τοῖς ἀποφηναμένοις τι περὶ τῆς ὅλης φύσεως καὶ γέγονε καὶ γένοιτ´ ἄν, εἴπερ καὶ τὸ μικρὸν παραβῆναι τῆς ἀληθείας ἀφισταμένοις γίνεται πόρρω μυριοπλάσιον. Οἷον εἴ τις ἐλάχιστον εἶναί τι φαίη μέγεθος· οὗτος γὰρ τοὐλάχιστον εἰσαγαγὼν τὰ μέγιστ´ ἂν κινήσειε τῶν μαθηματικῶν. Τούτου δ´ αἴτιον ὅτι ἡ ἀρχὴ δυνάμει μείζων ἢ μεγέθει, διόπερ τὸ ἐν ἀρχῇ μικρὸν ἐν τῇ τελευτῇ γίνεται παμμέγεθες. § 2. Τὸ δ´ ἄπειρον καὶ ἀρχῆς ἔχει δύναμιν καὶ τοῦ ποσοῦ τὴν μεγίστην, ὥστ´ οὐδὲν ἄτοπον οὐδ´ ἄλογον τὸ θαυμαστὴν εἶναι τὴν διαφορὰν ἐκ τοῦ λαβεῖν ὡς ἔστι τι σῶμα ἄπειρον. Διὸ περὶ αὐτοῦ λεκτέον ἐξ ἀρχῆς ἀναλαβοῦσιν. Ἀνάγκη δὴ πᾶν σῶμα ἤτοι τῶν ἁπλῶν εἶναι ἢ τῶν συνθέτων, ὥστε καὶ τὸ ἄπειρον ἢ ἁπλοῦν ἔσται ἢ σύνθετον. Ἀλλὰ μὴν καὶ ὅτι γε πεπερασμένων τῶν ἁπλῶν ἀνάγκη πεπερασμένον εἶναι τὸ σύνθετον, δῆλον· τὸ γὰρ ἐκ πεπερασμένων καὶ πλήθει καὶ μεγέθει συγκείμενον πεπέρανται καὶ πλήθει καὶ μεγέθει· τοσοῦτον γάρ ἐστιν ἐξ ὅσων ἐστὶ συγκείμενον. § 3. Λοιπὸν τοίνυν ἰδεῖν πότερον ἐνδέχεταί τι τῶν ἁπλῶν ἄπειρον εἶναι τὸ μέγεθος, ἢ τοῦτ´ ἀδύνατον. Προχειρισάμενοι δὴ περὶ τοῦ πρώτου τῶν σωμάτων, οὕτω σκοπῶμεν καὶ περὶ τῶν λοιπῶν. Ὅτι μὲν τοίνυν ἀνάγκη τὸ σῶμα τὸ κύκλῳ φερόμενον πεπεράνθαι πᾶν, ἐκ τῶνδε δῆλον. Εἰ γὰρ ἄπειρον τὸ κύκλῳ φερόμενον σῶμα, ἄπειροι ἔσονται αἱ ἀπὸ τοῦ μέσου ἐκβαλλόμεναι. Τῶν δ´ ἀπείρων τὸ διάστημα ἄπειρον· διάστημα δὲ λέγω τῶν γραμμῶν, οὗ μηδὲν ἔστιν ἔξω λαβεῖν μέγεθος ἁπτόμενον τῶν γραμμῶν. Τοῦτ´ οὖν ἀνάγκη ἄπειρον εἶναι· τῶν γὰρ πεπερασμένων ἀεὶ ἔσται πεπερασμένον. Ἔτι δ´ ἀεὶ ἔστι τοῦ (272b) δοθέντος μεῖζον λαβεῖν, ὥστε καθάπερ ἀριθμὸν λέγομεν ἄπειρον, ὅτι μέγιστος οὐκ ἔστιν, ὁ αὐτὸς λόγος καὶ περὶ τοῦ διαστήματος· εἰ οὖν τὸ μὲν ἄπειρον μὴ ἔστι διελθεῖν, ἀπείρου δ´ ὄντος ἀνάγκη τὸ διάστημα ἄπειρον εἶναι, οὐκ ἂν ἐνδέχοιτο κινηθῆναι κύκλῳ· τὸν δ´ οὐρανὸν ὁρῶμεν κύκλῳ στρεφόμενον, καὶ τῷ λόγῳ δὲ διωρίσαμεν ὅτι ἐστί τινος ἡ κύκλῳ κίνησις. § 4. Ἔτι ἀπὸ πεπερασμένου χρόνου ἐὰν ἀφέλῃς πεπερασμένον, ἀνάγκη καὶ τὸν λοιπὸν εἶναι πεπερασμένον καὶ ἔχειν ἀρχήν. Εἰ δ´ ὁ χρόνος ὁ τῆς βαδίσεως ἔχει ἀρχήν, ἔστιν ἀρχὴ καὶ τῆς κινήσεως, ὥστε καὶ τοῦ μεγέθους ὃ βεβάδικεν. Ὁμοίως δὲ τοῦτο καὶ ἐπὶ τῶν ἄλλων. Ἔστω δὴ γραμμὴ ἄπειρος, ἐφ´ ᾗ ΑΓΕ, ἐπὶ θάτερα, ᾗ τὸ Ε· ἡ δ´ ἐφ´ ᾗ τὰ ΒΒ, ἐπ´ ἀμφότερα ἄπειρος. Εἰ δὴ γράψει κύκλον ἡ τὸ ΑΓΕ ἀπὸ τοῦ Γ κέντρου, τέμνουσά ποτε οἰσθήσεται κύκλῳ τὴν τὰ ΒΒ ἡ τὸ ΑΓΕ πεπερασμένον χρόνον· ὁ γὰρ πᾶς χρόνος, ἐν ὅσῳ κύκλῳ ἠνέχθη ὁ οὐρανός, πεπερασμένος. Καὶ ὁ ἀφῃρημένος ἄρα, ὃν ἡ τέμνουσα ἐφέρετο. Ἔσται ἄρα τις ἀρχὴ ᾗ πρῶτον ἡ τὸ ΑΓΕ τὴν τὰ ΒΒ ἔτεμεν. Ἀλλ´ ἀδύνατον. Οὐκ ἄρα ἔστι κύκλῳ στραφῆναι τὸ ἄπειρον. Ὥστ´ οὐδὲ τὸν κόσμον, εἰ ἦν ἄπειρος. § 5. Ἔτι δὲ καὶ ἐκ τῶνδε φανερόν, ὅτι τὸ ἄπειρον ἀδύνατον κινηθῆναι. Ἔστω γὰρ ἡ τὸ Α φερομένη παρὰ τὴν Β, πεπερασμένη παρὰ πεπερασμένην. Ἀνάγκη δὴ ἅμα τήν τε Α τῆς Β ἀπολελύσθαι καὶ τὴν Β τῆς Α· ὅσον γὰρ ἡ ἑτέρα ἐπιβάλλει τῆς ἑτέρας, καὶ ἡ ἑτέρα ἐκείνης τοσοῦτον. Εἰ μὲν οὖν ἄμφω κινοῖντο εἰς τοὐναντίον, θᾶττον ἂν ἀπολύοιντο, εἰ δὲ παρὰ μένουσαν φέροιτο, βραδύτερον, τῷ αὐτῷ τάχει κινουμένου τοῦ παραφερομένου. § 6. Ἀλλ´ ἐκεῖνό γε φανερόν, ὅτι ἀδύνατον τὴν ἄπειρον διελθεῖν ἐν πεπερασμένῳ χρόνῳ. Ἐν ἀπείρῳ ἄρα· δέδεικται γὰρ τοῦτο πρότερον ἐν τοῖς περὶ κινήσεως. Διαφέρει δέ γε οὐθὲν ἢ τὴν πεπερασμένην φέρεσθαι παρὰ τὴν ἄπειρον ἢ τὴν ἄπειρον παρ´ ἐκείνην· ὅταν γὰρ (273a) ἐκείνη παρ´ ἐκείνην, κἀκείνη παραλλάττει ἐκείνην, ὁμοίως κινουμένη καὶ ἀκίνητος· πλὴν θᾶττον, ἐὰν κινῶνται ἀμφότεραι, ἀπολυθήσονται. Καίτοι γ´ ἐνίοτ´ οὐθὲν κωλύει τὴν κινουμένην παρ´ ἠρεμοῦσαν θᾶττον παρελθεῖν ἢ τὴν ἀντικινουμένην, ἐάν τις ποιήσῃ τὰς μὲν ἀντικινουμένας ἀμφοτέρας φερομένας βραδέως, τὴν δὲ παρὰ τὴν ἠρεμοῦσαν πολλῷ ἐκείνων θᾶττον φερομένην. Οὐδὲν οὖν πρὸς τὸν λόγον ἐμπόδιον ὅτι παρ´ ἠρεμοῦσαν, ἐπείπερ κινουμένην ἐνδέχεται τὴν Α παρὰ κινουμένην τὴν Β βραδύτερον παρελθεῖν. Εἰ οὖν ἄπειρος ὁ χρόνος ὃν ἡ πεπερασμένη ἀπολύεται κινουμένη, καὶ ἐν ᾧ ἡ ἄπειρος τὴν πεπερασμένην ἐκινήθη ἀνάγκη ἄπειρον εἶναι. § 7. Ἀδύνατον ἄρα τὸ ἄπειρον κινεῖσθαι ὅλον· ἐὰν γὰρ καὶ τοὐλάχιστον κινηθῇ, ἀνάγκη ἄπειρον γίγνεσθαι χρόνον. Ἀλλὰ μὴν ὅ γ´ οὐρανὸς περιέρχεται καὶ στρέφεται ὅλος κύκλῳ ἐν πεπερασμένῳ χρόνῳ, ὥστε περίεισιν ἅπασαν τὴν ἐντός, οἷον τὴν ΑΒ πεπερασμένην. Ἀδύνατον ἄρα ἄπειρον εἶναι τὸ κύκλῳ. Ἔτι ὥσπερ γραμμὴν ᾗ πέρας ἐστὶν ἀδύνατον εἶναι ἄπειρον, ἀλλ´ εἴπερ, ἐπὶ μῆκος, καὶ ἐπίπεδον ὡσαύτως ᾗ πέρας οὐκ ἐνδέχεται· ὅταν δ´ ὁρισθῇ, οὐθαμῇ, οἷον τετράγωνον ἄπειρον ἢ κύκλον ἢ σφαῖραν, ὥσπερ οὐδὲ ποδιαίαν ἄπειρον. Εἰ οὖν μήτε σφαῖρα (μήτε τετράγωνον) μήτε κύκλος ἐστὶν ἄπειρος, μὴ ὄντος δὲ κύκλου οὐδ´ ἂν ἡ κύκλῳ εἴη φορά, ὁμοίως δὲ μηδ´ ἀπείρου ὄντος οὐκ ἂν εἴη ἄπειρος, εἰ μηδ´ ὁ κύκλος ἄπειρός ἐστιν, οὐκ ἂν κινοῖτο κυκλικῶς ἄπειρον σῶμα. § 8. Ἔτι εἰ τὸ Γ κέντρον, ἡ δὲ τὸ ΑΒ ἄπειρος καὶ ἡ τὸ Ε πρὸς ὀρθὴν ἄπειρος καὶ ἡ τὸ ΓΔ κινουμένη, οὐδέποτ´ ἀπολυθήσεται τῆς Ε, ἀλλ´ ἀεὶ ἕξει ὥσπερ ἡ ΓΕ· τέμνει γὰρ ᾗ τὸ Ζ. Οὐκ ἄρα περίεισι κύκλῳ ἡ ἄπειρος. § 9. Ἔτι εἴπερ ἄπειρος ὁ οὐρανός, κινεῖται δὲ κύκλῳ, ἐν πεπερασμένῳ χρόνῳ ἄπειρον ἔσται διεληλυθώς. Ἔστω γὰρ ὁ μὲν μένων οὐρανὸς ἄπειρος, ὁ δ´ ἐν τούτῳ κινούμενος ἴσος. Ὥστ´ εἴπερ περιελήλυθε κύκλῳ ἄπειρος ὤν, ἄπειρον τὸν ἴσον αὑτῷ διελήλυθεν ἐν πεπερασμένῳ χρόνῳ. (273b) Ἀλλὰ τοῦτ´ ἦν ἀδύνατον. § 10. Ἔστι δὲ καὶ ἀντεστραμμένως εἰπεῖν, ὅτι εἰ πεπερασμένος ὁ χρόνος ἐν ᾧ περιεστράφη, καὶ τὸ μέγεθος ὃ διελήλυθεν ἀναγκαῖον εἶναι πεπερασμένον· ἴσον δ´ αὑτῷ διελήλυθεν· πεπέρανται ἄρα καὶ αὐτός. § 11. Ὅτι μὲν οὖν τὸ κύκλῳ κινούμενον οὐκ ἔστιν ἀτελεύτητον οὐδ´ ἄπειρον, ἀλλ´ ἔχει τέλος, φανερόν.

[1,5] CHAPITRE V. (272a) § 1. Ces idées étant suffisamment éclaircies, nous passerons aux autres questions qu'il nous faut étudier. La première, c'est de savoir s'il est possible qu'il y ait un corps infini, comme l'ont cru la plupart des anciens philosophes, ou bien si c'est là une véritable impossibilité. Or, qu'il en soit ainsi ou qu'il en soit autrement, ce n'est pas de petite importance ; c'est au contraire de toute importance, dans la recherche et l'acquisition de la vérité. C'est de là en effet que sont venus et que viendront presque tous les dissentiments de ceux qui ont essayé et qui essaieront quelques études sur la nature ; car quoiqu'au début ce soit d'une très petite distance qu'on s'écarte du vrai, cette divergence, à mesure qu'on s'éloigne, devient mille fois plus grande. Par exemple, on croit ne rien faire de grave en admettant une quantité qui soit la plus petite possible ; mais avec cet infiniment petit qu'on introduit, il y a de quoi bouleverser de fond en comble les principes les plus essentiels des mathématiques. La cause de ceci, c'est que le principe est beaucoup plus fort qu'il n'est grand ; et voilà comment une chose qui est très petite dans le principe devient à la fin démesurément grande. Or l'infini a la puissance d'un principe, et il est la plus grande puissance possible de la quantité. § 2. Par suite, il n'y a rien d'absurde ni d'irrationnel à signaler la prodigieuse importance de cette hypothèse qui soutient qu'il existe un corps infini. C'est là ce qui nous fait un devoir d'en parler en reprenant la question le plus haut que nous pourrons. Il est d'abord bien clair qu'il faut nécessairement que tout corps soit simple ou composé. Par conséquent, l'infini lui-même devra être ou simple ou composé. Mais il n'est pas moins évident que les corps simples étant finis, il faut nécessairement que le composé résultant de corps simples soit fini également ; car le composé qui est formé de parties limitées en nombre et en grandeur, doit être lui-même limité en nombre et en grandeur ; et sa grandeur devra être proportionnelle au nombre des parties qu'il contiendra. § 3. La question revient ainsi à savoir si quelque corps simple peut être infini en grandeur, ou si cela est impossible. Après avoir traité du premier des corps, nous verrons ce qu'il en est pour le reste des corps autres que celui-là. Ce qui nous prouvera tout d'abord que le corps qui a le mouvement circulaire doit être absolument fini, c'est qu'en effet, si le corps mû circulairement était infini, les lignes abaissées du centre seraient infinies ; et la distance entre ces lignes infinies serait infinie comme elles. Quand je dis la distance de ces lignes, j'entends la distance en dehors de laquelle il ne serait plus possible de trouver une grandeur qui touchât encore ces lignes. Il faut donc nécessairement que cette distance soit infinie ; car, pour des lignes finies, la distance serait toujours finie. De plus, on pourra toujours (272b) en supposer une plus grande que toute distance qui serait précisément donnée. Par suite, de même que nous disons d'un nombre qu'il est infini, quand il n'y a pas de nombre possible plus grand que lui, de même aussi cette définition s'applique à la distance des lignes que nous considérons. Si donc il n'est pas possible de parcourir l'infini, et s'il est nécessaire que, le corps étant infini, la distance des lignes soit elle-même infinie, il ne serait plus possible qu'il y eût de mouvement circulaire. Or, nous voyons néanmoins que le ciel accomplit un mouvement de ce genre, et le raisonnement nous a prouvé que le mouvement circulaire appartient positivement à un certain corps. § 4. Autre argument. Si d'un temps fini, on retranche une quantité finie de temps, il faut nécessairement encore que le temps qui reste soit également fini, et qu'il ait un commencement. Or, si le temps qui s'écoule durant la marche du corps à mouvement circulaire a un commencement, il doit y avoir aussi un commencement pour ce mouvement même ; et par conséquent encore, il y a un commencement à la grandeur qui a été en marche. Ceci peut d'ailleurs également s'appliquer à tout autre mouvement que le mouvement du ciel. Soit donc une ligne infinie ACE, et qui soit infinie dans un des deux sens en E, tandis que la ligne représentée par BB est infinie dans les deux sens. Si la ligne ACE décrit un cercle, en partant du centre C, qu'elle traverse, la ligne ACE sera dans un temps fini et limité, portée par sa course circulaire sur BB ; car le temps tout entier que met le ciel à accomplir son cercle, quelqu'immense que soit ce cercle, est toujours fini ; et ainsi il faut retrancher le temps que la sécante a mis à faire son mouvement. Il y aurait donc quelque principe de temps où la ligne ACE commencerait à couper la ligne BB. Or cela est impossible. Donc il n'est pas possible que l'infini se meuve circulairement ; et par conséquent, le monde ne pourrait pas davantage se mouvoir de cette façon, s'il était infini. § 5. Voici encore une autre preuve qui démontrera clairement que l'infini ne peut se mouvoir. Soit la ligne A, mue parallèlement à l'opposé de B, l'une et l'autre étant finies. Il y a nécessité qu'en même temps que A se sépare de B, B se sépare également de A. Autant l'une dépassera l'autre, autant l'autre aussi dépassera la première. Si toutes les deux se mouvaient en sens contraire, elles se sépareraient encore beaucoup plus vite. Si l'une était mue en sens opposé de l'autre, qui resterait en place, la séparation serait plus lente, en supposant que celle qui se meut devant l'autre eût toujours une même vitesse. § 6. Or, il est bien évident qu'on ne saurait parcourir la ligne infinie dans un temps fini. C'est donc dans un temps infini qu'elle sera parcourue ; et c'est ce qu'on a démontré antérieurement dans les Théories sur le mouvement. Du reste, il n'importe pas que la ligne finie se meuve à l'opposé de la ligne infinie, ou réciproquement que ce soit celle-ci par rapport à celle-là ; car (273a) lorsque la première est parallèle à la seconde, la seconde l'est également à la première, soit qu'elle soit en mouvement, soit qu'elle soit immobile ; seulement si toutes les deux se meuvent, elles se sépareront d'autant plus vite. Cependant, rien n'empêche que parfois la ligne qui est mue, ne dépasse la ligne qui est en repos, plus vite que la ligne qui serait mue d'un mouvement contraire ; il suffit de supposer que les deux lignes, qui se meuvent en sens contraire, n'ont qu'un mouvement fort lent, et que celle qui se meut à la rencontre de la ligne en repos, a un mouvement beaucoup plus rapide qu'elle. Ce n'est pas une objection à ce raisonnement que de dire que le mouvement est parallèle à une ligne en repos, puisque la ligne A, qui est mue, peut être animée d'un mouvement plus lent comparativement à B, qui est aussi en mouvement. Si donc le temps, que met à se dégager une ligne finie qui est en mouvement, est un temps infini, il est nécessaire aussi que le temps où la ligne infinie s'est mue suivant la ligne finie soit infini également. Donc, il est impossible que l'infini se meuve du tout ; car pour peu qu'il se mût, il faudrait que le temps où il se meut fût infini. Or, le ciel accomplit sa marche tout entière et sa révolution circulaire dans un temps fini, de telle sorte qu'il parcourt toute la ligne qui est en dedans du cercle, telle que serait la ligne finie AB. Donc il est impossible que le corps qui a le mouvement circulaire soit jamais infini. § 7. De plus, de même qu'il est impossible qu'une ligne qui a une limite soit infinie, si ce n'est dans le sens de sa longueur, de même il est impossible que la surface, qui a également une limite, soit non plus infinie. Lors donc qu'une grandeur est déterminée, elle ne peut plus 4ès lors être infinie d'aucune façon ; par exemple, un quadrangle, un cercle, ou une sphère, pas plus que la grandeur qui a un pied de dimension, ne saurait être davantage infinie. Si donc le quadrangle et la sphère ne sont pas infinis, le cercle ne l'est pas davantage. Or si le 'cercle n'existait pas, le mouvement circulaire ne pourrait pas exister non plus ; et de même, si le cercle n'est pas infini, il n'y a pas non plus de mouvement circulaire infini. Mais si le cercle n'est pas infini, il n'est pas possible davantage qu'il y ait un corps infini qui se meuve circulairement. § 8. Soit encore C le centre, la ligne AB infinie, et que E soit infinie en tant que droite. CD, qui est la ligne en mouvement, ne se séparera jamais de la ligne E ; mais elle sera toujours comme la ligne CE ; car elle la coupe en F. Ainsi donc, la ligne infinie ne peut être circulaire. § 9. En outre, si le ciel est infini et qu'il se meuve circulairement, il aura, dans un temps fini, parcouru l'infini. Soit en effet le Ciel immobile et infini ; ce qui se meut en lui sera de dimension égale. Par conséquent, si le ciel, étant infini, a fourni sa marche circulaire, l'infini qui lui est égal s'est mû aussi dans un temps fini ; (273b) or, il a été démontré que c'est là une chose impossible. § 10. On peut dire encore, en renversant le raisonnement, que, si le temps où le ciel a accompli son mouvement de circonférence est limité, il faut nécessairement aussi que la grandeur qu'il a parcourue dans ce temps soit limitée ; car il parcouru un espace égal à lui-même ; et par conséquent, il est lui-même limité. § 11. On voit donc évidemment que le corps qui se meut circulairement n'est pas sans bornes et n'est pas infini, mais qu'il doit au contraire nécessairement avoir une fin.