{"word_count": 521, "character_count": 3194}
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.[embed]https://www.youtube.com/watch?v=TDvmnnKaS90[/embed]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.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 !&#160;&#160;[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.