Un procédé archimédien () est une méthode de calcul numérique itérative basée sur le calcul de moyennes (le plus couramment pythagoriciennes) de deux termes de deux suites.

Le nom vient du fait qu'il s'agit d'une généralisation de l'algorithme utilisé par Archimède pour donner les premières valeurs approchées de , en utilisant les moyennes harmonique et géométrique.

Historique Algorithme d'Archimède

Dans son ouvrage De la mesure du cercle du , Archimède décrit un algorithme de calcul de qu'on peut définir comme suit : On part d'un demi-cercle de centre O et d'extrémités A et B Sur la demi-droite tangente au demi-cercle en A, on place un point A, et on construit B sur le demi-cercle tel que On construit par récurrence les points A, A, ... et B, B, ... où pour tout n, A est l'intersection de AA et de la bissectrice de l'angle , et B sur le demi-cercle tel que

On a alors, par le théorème de la bissectrice intérieure :

Donc

d'où :

De plus, le théorème de Pythagore donne :

En posant , on déduit les relations de récurrence :

On pourra reconnaitre des identités trigonométriques en remarquant que, en posant , on a

Archimède a plus précisément étudié le cas où θ désigne la moitié d'un angle au centre d'un polygone régulier, soit . Les suites et désignent alors respectivement les périmètres des polygones réguliers inscrits et circonscrits à 2N côtés. On a alors :

où désigne la moyenne harmonique et , la moyenne géométrique.

Archimède a appliqué cet algorithme en partant de l'hexagone régulier (N = 6).

Algorithme de Descartes

Dans un de ses travaux posthumes, Descartes a utilisé une approche différente pour le calcul de .

On considère AB un secteur circulaire de sommet O. On note M le milieu de [AB]. On trace P l'intersection de l'arc de cercle et de la bissectrice de l'angle . On construit M le milieu de MP et on trace la parallèle de AB passant par M, dont on note respectivement A et B, les intersections avec (AP) et (BP).

Par construction, AB vaut la moitié de AB. De plus, comme (OA) et (AP) sont perpendiculaires, on a : .

Ainsi, dans le cas où A et B désignent deux sommets consécutifs d'un polygone régulier à n côtés, OA est le rayon de son cercle circonscrit, OM celui de son cercle inscrit, et par construction, OA et OM sont respectivement les rayons des cercles circonscrit et inscrit d'un polygone régulier à 2n côtés.

Améliorations James Gregory adapte l'algorithme au calcul de secteurs elliptiques et hyperboliques dans son Vera Circuli et Hyperbolae Quadratura.

Dans une lettre, Gauss propose d'étudier l'algorithme dans le cas où la moyenne harmonique est remplacée par la moyenne arithmétique. Pfaff parvient à donner la solution générale de ce problème, redécouverte par Borchardt en 1881.

Principe

On considère deux moyennes M et M, définies pour deux nombres réels positifs, et deux nombres réels positifs a et b. Le procédé archimédien est défini par deux suites :

Si M et M sont deux moyennes strictes, continues et symétriques, alors les deux suites convergent vers une même limite.

Algorithme d'Archimède–Borchardt Suggéré d'abord par Gauss, il porte le nom de Karl Wilhelm Borchardt. L'algorithme de Borchardt est une modification de l'algorithme d'Archimède :

Ainsi, l'algorithme d'Archimède décrit supra correspond au cas où M est la moyenne harmonique et M, la moyenne géométrique, ; l'algorithme de Descartes correspond au cas où M est la moyenne arithmétique et M, la moyenne géométrique.

La moyenne obtenue avec M est la moyenne harmonique et M, la moyenne géométrique est appelée moyenne de Schwab-Brochardt et vaut.:

Le lien entre moyenne de Schwab-Brochardt et intégrale elliptique est établi par Carlson par l'égalité:

où le deuxième terme est la d'une intégrale elliptique symétrique du premier type.

Applications Calculs de racines carrées La méthode de Héron, pour le calcul de la racine carrée d'un nombre A, peut être vue comme un algorithme d'Archimède avec les moyennes arithmétique et harmonique, en initialisant a à un nombre t quelconque et en posant .

Calculs d'intégrales elliptiques Gauss a utilisé l'algorithme d'Archimède avec les moyennes arithmético-géométriques pour le calcul d'intégrales elliptiques après transformation de Landen, repris et approfondi par Derrick Lehmer.

Calculs de logarithmes et de fonctions trigonométriques réciproques Carlson utilise l'algorithme de Borchardt avec les moyennes arithmético-géométriques pour le calcul de logarithmes et de fonctions trigonométriques réciproques (circulaires et hyperboliques).

Voir aussi Moyenne composée

Références

Archimède Catégorie:Archimède