Arithm'Antique - Bonus n°19 : Archimède, Euclide et Hilbert

L’axiome d’Archimède est, comme on l’a vu dans l’épisode n°19 d’Arithm’Antique, un énoncé qui se trouve dans les Eléments d’Euclide :

« Des grandeurs sont dites en raison l’une avec l’autre si, multipliées, elles sont capables de se dépasser l’une l’autre. » (Eléments, Livre V, Définition 4.)

A partir de cette simple définition, Archimède va en effet établir un postulat, parmi ceux placés en tête de son ouvrage De la sphère et du cylindre ; en voici l’énoncé :

« parmi les lignes inégales, les surfaces inégales, les corps solides inégaux, le plus grand dépasse le plus petit d'une grandeur telle que, ajoutée à elle-même (sc. un nombre suffisant de fois), elle peut dépasser toute grandeur donnée ayant un rapport avec les grandeurs comparées entre elles. »

C’est sur cet axiome que sera fondée réellement la notion de continuité en géométrie, au point que Hilbert, dans ses Principes de la géométrie parus en 1899, ne fait que formaliser de façon plus moderne l’énoncé d’Archimède, à qui il ne manque pas de rendre hommage.

Cet axiome est la pierre fondatrice de la méthode d’exhaustion d’Eudoxe qu’Archimède améliorera pour jeter les bases du calcul différentiel, tout cela 2000 ans avant Leibniz !


Dernières chroniques

Le 14 Juin 2018
Pour compléter l'épisode 28, voici la récit que fait Macrobe de la découverte des rapports harmonieux par Pythagore dans son Commentaire au Songe de (...)
Le 31 Mai 2018
En complément de la vidéo de l'épisode n°27 sur les nombres impairs, voici la manière dont Boèce présente la propriété 1=1², 1+3=2², 1+3+5=3² et (...)