Paradoxe de la roue d'Aristote

Le problème est soulevé pour la première fois dans l'ouvrage Mechanica, attribué à Aristote[3]. Il est également repris dans les Mechanica d'Héron d'Alexandrie[2].

Le problème est abordé à nouveau en 1570 par le mathématicien Jérôme Cardan dans son œuvre Opus novum de proportionibus numerorum[4], puis par Mersenne en 1623 dans Quaestiones Celeberrimae in Genesim[5] et Gilles de Roberval.

Mais à cette époque, c'est surtout Galilée qui donne de la visibilité au problème, utilisant ce dernier dans son dialogue philosophique Discours sur deux sciences nouvelles (en) afin de soutenir une certaine forme d'atomisme. Galileo expose son analyse en présentant deux hexagones concentriques. En imaginant l'hexagone le plus grand se déplaçant sur une surface, Galilée note que le plus petit "saute" un espace à chaque changement de côté sur le sol du grand[6]. Il imagine par la suite ce qui arrive si le nombre de côtés du polygone devient très grand. Il constate alors que l'espace devient de plus en plus petit. Puisqu'un cercle est un polygone dont le nombre de côtés est infini, Galilée constate que la roue d'Aristote possède une infinité d'espaces, ou "vides"[6]. Cela mène Galilée à croire à l'existence des atomes car cela réglerait le paradoxe[6].

Le problème est à nouveau abordé en 1851 par Bernard Bolzano dans Paradoxien des Unendlichen (en). Il constate une bijection entre les points des arcs de chacune des formes et serait le premier à relier le problème à Aristote[2].

Considérant le petit cercle de rayon ${\displaystyle r}$ et le grand cercle de rayon ${\displaystyle R}$, le problème est que le plus petit cercle parcourt une distance de ${\displaystyle 2\pi R}$ plutôt que ${\displaystyle 2\pi r}$. Cependant, ici, ${\displaystyle 2\pi r}$ est plutôt un hareng rouge, où l'on suppose qu'une roue parcourt toujours une distance équivalente à sa circonférence. En effet, puisqu'il est connecté au plus grand cercle, le centre du petit cercle est pertinent, mais pas sa circonférence.

Ainsi, si le système se déplace sur le grand cercle, il parcourt l'équivalent de la circonférence du grand cercle, alors que s'il se déplace sur le petit cercle, il parcourt la circonférence de ce dernier.

• Cycloïde

• (en) [vidéo] Aristotle's Wheel Paradox - To Infinity and Beyond sur YouTube

• (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Aristotle's wheel paradox » (voir la liste des auteurs).