Archimède – La mesure du cercle

Pour mettre en pratique l'axiome de continuité et la méthode d'exhaustion, Antoine Houlou-Garcia vous présente 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.

 

Retrouvez Arithm'Antique et plein d'autres choses passionnantes sur La Vie Des Classiques !

    Suivez Arithm'Antique sur Twitter , sur Facebook ou encore sur sa chaîne YouTube !

     

     

    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.

    Abonnez-vous à notre infolettre!

    Pour ne rien rater de l'actualité scientifique et tout savoir sur nos efforts pour lutter contre les fausses nouvelles et la désinformation!

    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 la prochaine fois 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.

    Je donne