Archimède : Pour l’éternité

Article et vidéo initialement publiés sur  La Vie Des Classiques, le portail dédié aux humanités des éditions Les Belles Lettres.

La plus grande fierté d’Archimède est d’avoir pu inscrire la sphère dans le cylindre au point qu’il demanda à ce que son tombeau en fût orné. Cicéron nous le raconte et Plutarque nous rappelle tout le génie du mathématicien.

Voici le récit complet que fait Cicéron de sa redécouverte du tombeau d’Archimède, comme cela a été abordé dans l’épisode n°21 d’Arithm’Antique :

Du reste, à l’époque où j’étais questeur, c’est moi qui ai découvert son tombeau, dont les Syracusains ignoraient et même niaient l’existence. Un fouillis de ronces et de buissons l’entourait et le masquait de toutes parts. Il faut dire que je connaissais certains petits sénaires, lesquels, d’après une tradition, auraient été gravés sur le monument : il y était dit clairement que, au sommet du tombeau, on avait placé une sphère avec un cylindre. Un jour donc que je fouillais du regard tout le terrain situé aux abords de la porte d’Agrigente, car il y a là une multitude de tombeaux, voilà que mes yeux tombent sur une petite colonne qui émergeait à peine des buissons : elle était surmontée d’une sphère et d’un cylindre. Tout de suite je dis aux Syracusains c’étaient les notables qui m’accompagnaient que ce devait être justement ce que je cherchais. On envoie là nombre de gens armés de faux pour nettoyer et dégager l’emplacement ; puis, quand on eut frayé un passage, nous nous dirigeâmes vers la face antérieure du piédestal. L’inscription y était reconnaissable, bien que le temps eût mangé l’extrémité des vers dont il ne subsistait guère que la moitié. Ainsi la cité de la Grèce la plus célèbre et même à un moment la plus savante aurait ignoré le monument du plus génial de ses fils, si un enfant d’Arpinum ne le lui avait fait connaître.

Tusculanes, V, 23

Archimède – La mesure du cercle

Article et vidéo initialement publiés sur  La Vie Des Classiques, le portail dédié aux humanités des éditions Les Belles Lettres.

Pour mettre en pratique l’axiome de continuité et la méthode d’exhaustion, voici la rapide démonstration archimédienne d’équivalence entre un cercle et un triangle qui sert de base à l’approximation et l’encadrement de Pi.

Archimède utilise la méthode d’exhaustion d’Eudoxe – et la complète pour en faire une arme encore plus puissante – qui lui permet d’approximer un cercle par des polygones. Voici comment, grâce à sa méthode, il parvient à montrer l’équivalence d’un cercle et d’un triangle rectangle. 

Tout cercle est équivalent[1] à un triangle rectangle dans lequel l’un des côtés de l’angle droit est égal au rayon du cercle et la base (c’est-à-dire l’autre côté de l’angle droit) égale au périmètre du cercle.

Que le cercle ABΓΔ soit au triangle E comme l’indique l’hypothèse[2] ; je dis qu’il lui est équivalent.

Que le cercle soit en effet, si possible, plus grand[3]. Inscrivons-y le carré AΓ et divisons en deux parties égales les arcs (sc. admettant comme cordes les côtés du carré) ; que les segments de cercle aient à la fin (sc. si on répète les opérations de division en deux parties égales) une somme inférieure à la différence entre l’aire du cercle et celle du triangle[4]. La figure rectiligne sera donc encore plus grande que le triangle. Prenons le centre N et abaissons la perpendiculaire NΞ. NΞ sera donc inférieur au (sc. plus petit) côté du triangle[5]. Mais le périmètre de la figure rectiligne est à son tour plus petit que le côté restant[6], du moment qu’il est plus petit que le périmètre du cercle. La figure rectiligne est par conséquent plus petite que le triangle E, ce qui est absurde.

Archimède approxime un cercle par des polygones

Il va ensuite raisonner de la même manière avec un polygone inscrit et conclura que l’aire ne pouvant être ni plus petite ni plus grande, elle est identique.

La beauté de ce résultat établi par Archimède réside dans sa méthode : utilisant l’axiome de continuité (cf. épisode 19), il établit les prémisses du calcul infinitésimal. Mais Archimède ne s’arrête pas là et nous verrons dans le prochain épisode le résultat dont il était le plus fier et qui permit à Cicéron de reconnaître son tombeau !

 

 

[1] En termes de surface, chose toujours sous-entendue dans la suite du texte.

[2] Le triangle E est donc rectangle, les deux côtés de l’angle droit ayant pour mesure le rayon et la circonférence du cercle.

[3] Archimède procède par l’absurde en supposant dans un premier temps que la surface du cercle est plus grande que celle du triangle ; il étudiera ensuite l’hypothèse contraire.

[4] On construit une approximation du cercle grâce à des polygones inscrits, dont le nombre de côtés augmente pour assurer une précision croissante jusqu’à obtenir un écart de surface entre le polygone et le cercle qui soit plus petit que l’écart entre le cercle et le triangle. Cela est rendu possible grâce au cinquième postulat énoncé dans De la sphère et du cylindre.

[5] On se réfère ici au côté du triangle égal au rayon du cercle.

[6] Il s’agit du côté du triangle égal au périmètre du cercle.

Archimède – L’axiome de continuité

Article et vidéo initialement publiés sur  La Vie Des Classiques, le portail dédié aux humanités des éditions Les Belles Lettres.

D’Archimède à Hilbert en passant par Euclide et Eudoxe, voici l’axiome qui donna à la géométrie sa continuité.

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 !