Extraction de racine carrée

La méthode de Héron est une méthode historique développée par les Babyloniens. En termes plus modernes, c'est un cas particulier de la méthode de Newton.

Pour déterminer la racine carrée du nombre (positif) a, il convient dès lors de considérer la suite définie par récurrence de la façon suivante : ${\displaystyle \forall n\in \mathbb {N} \quad x_{n+1}={\frac {x_{n}+{\frac {a}{x_{n}}}}{2}},}$ de premier terme ${\displaystyle x_{0}>0}$ choisi si possible « assez proche » de √a, en général la partie entière de √a.

La vitesse de convergence des approximations successives vers la valeur exacte est quadratique.

On trouve dans un manuscrit indien, dit manuscrit de Bakshali, datant peut-être du VII^e siècle, une correction différente de la méthode de Héron, la nouvelle valeur approchée étant ${\displaystyle r+s-{\frac {s^{2}}{2(r+s)}}}$. Elle est équivalente à appliquer deux fois de suite la méthode de Héron[1]. L'itération de cette dernière méthode donne une vitesse de convergence bi-quadratique :

${\displaystyle {\sqrt {a^{2}+\gamma }}=a+{\frac {\gamma }{2a}}-{\frac {(\gamma /2a)^{2}}{2(a+\gamma /2a)}}.}$

Considérons les suites u et v définies par :

• ${\displaystyle u_{0}=1,v_{0}=a}$,
• ${\displaystyle u_{n+1}}$ est la moyenne harmonique de ${\displaystyle u_{n}}$ et ${\displaystyle v_{n}}$, soit ${\displaystyle {\frac {2}{{\frac {1}{u_{n}}}+{\frac {1}{v_{n}}}}}}$,
• ${\displaystyle v_{n+1}}$ est la moyenne arithmétique de ${\displaystyle u_{n}}$ et ${\displaystyle v_{n}}$, soit ${\displaystyle {\frac {u_{n}+v_{n}}{2}}}$.

Les suites u et v sont adjacentes, et convergent vers la même limite : √a. L'erreur est majorée par la différence ${\displaystyle v_{n}-u_{n}}$. La suite v n'est autre que la suite obtenue en itérant la méthode de Héron à partir de la valeur 1.

Remarquons l'originalité de cette présentation qui mêle moyennes harmonique, géométrique et arithmétique. En effet, √a n'est autre que la moyenne géométrique de 1 et de a, et si l'on remplace ${\displaystyle u_{0}}$ par un réel strictement positif quelconque b, les suites u et v convergent vers la moyenne géométrique √ab de a et b.

L'introduction de la notation décimale des nombres par position a permis de développer un algorithme tirant parti de cette notation. On en trouve mention dans un ouvrage du mathématicien indien Âryabhata, vers 499 apr. J.-C.[2] Il a été utilisé pendant plusieurs siècles et jusqu'au milieu du XX^e siècle, avant l'invention des calculateurs électroniques. Âryabhata donne également un algorithme comparable permettant de calculer des racines cubiques.

On sépare les chiffres du nombre par paires en commençant à partir de la virgule. On place le nombre dont on veut extraire la racine en haut, de la même façon que lorsqu'on effectue une division selon la méthode classique ; la racine carrée sera inscrite à la place réservée normalement au diviseur dans une division posée classique.

À chaque étape :

• on abaisse la paire de chiffres la plus significative non encore utilisée et on la place au côté d’un reste éventuel de l'étape précédente (initialement nul) ;
• soit r le résultat intermédiaire de la racine carrée obtenu précédemment (égal à zéro au début). On cherche le plus grand chiffre x tel que le nombre y=(20r + x)x ne dépasse pas le reste courant ;
• on complète r en plaçant la décimale x à sa droite, pour former le nouveau résultat intermédiaire ;
• on soustrait y de la valeur courante pour former le nouveau reste ;
• si le reste est nul et qu’il n’y a plus de chiffre à abaisser alors l’algorithme se termine sinon on recommence.

On remarque que la recherche de x en négligeant le terme en x² n'est autre que la méthode de Héron.^[pas clair]

Jusqu’au XX^e siècle on utilisait couramment cet algorithme en accélérant les calculs à l’aide d’un abaque formé d’un jeu de réglettes : les bâtons de Napier.

Bien que décrite ici pour des nombres écrits en base 10, la procédure fonctionne dans n’importe quelle base de numération, par exemple la base 2.

Trouver la racine carrée de A, c'est trouver la racine positive du polynôme P(X)= X² - A. Soit a le plus grand entier tel que P(a) soit négatif ou nul. La racine de A est un entier compris entre a et a + 1. On pose alors X = a + Y/10. P(X ) = P(a + Y/10) = P₁(Y). La racine carrée de A est alors égale à a + r/10 où r est racine du polynôme P₁. Si b est le plus grand entier tel que P₁(b) est négatif, la racine de A est alors comprise entre a + b/10 et a + b/10+1/10. On pose alors Y = b + Z/10, P₁(Y)=P₂(Z). On cherche alors une racine de P₂, etc.

La méthode de Ruffini-Horner permet d'effectuer facilement les changements de variables

Cette méthode enseignée parfois au XIX^e siècle à l'avantage de se résumer à une série d'additions (au maximum 9 pour chaque décimale cherchée) d'impairs consécutifs[3]

Elle consiste à exploiter la table des carrés successifs et de leur différence, en remarquant que ${\displaystyle (n+1)^{2}-n^{2}=2n+1}$. Balayer la table des carrés consiste donc à ajouter des impairs successifs. Après avoir découpé le nombre en tranches de deux chiffres en commençant par la droite, on recherche le carré immédiatement inférieur au groupe le plus à gauche. Soit ${\displaystyle n}$ la racine carrée de ce carré immédiatement inférieur. On multiple l'entier ${\displaystyle n}$ trouvé par ${\displaystyle 10}$ et on balaie la table des carrés à partir de ${\displaystyle 10n}$ (et ${\displaystyle 100n^{2}}$) pour s'approcher du nombre formé des deux groupes les plus à gauche. Ce nombre${\displaystyle n_{1}}$ étant trouvé, on le multiplie par ${\displaystyle 10}$ pour parcourir la table des carrés à partir de ${\displaystyle 10n_{1}}$, etc.

Avant de balayer la table des carrés à partir de ${\displaystyle 10n}$, la facile calculabilité des carrés d'entiers se terminant par 5 peut permettre, dans certains cas, de s'affranchir de cinq additions en testant si ${\displaystyle (10n+5)^{2}}$, soit ${\displaystyle 100n(n+1)+25}$, reste aussi inférieure (ou pas) au nombre dont on cherche la racine. Si c'est le cas, il vaut mieux poursuivre l'algorithme à partir de ${\displaystyle 10n+5}$ que de ${\displaystyle 10n}$.

Par exemple, on cherche l'arrondi à ${\displaystyle 0,1}$ près de la racine carrée de ${\displaystyle 4700}$. Pour respecter cette précision, on est amené à chercher la racine de ${\displaystyle 4700\times 100=470000}$. Il suffira alors de diviser la racine finale par ${\displaystyle {\sqrt {100}}=10}$.

Comme ${\displaystyle 36<47<49}$, c'est-à-dire ${\displaystyle 6^{2}<47<7^{2}}$, on a : ${\displaystyle n=6}$. Mais ${\displaystyle 47}$ étant plus proche de ${\displaystyle 49}$ que de ${\displaystyle 36}$, ${\displaystyle {\sqrt {47}}}$ sera plus proche de ${\displaystyle 7}$ que de ${\displaystyle 6}$.

Au lieu de commencer à balayer à ${\displaystyle 10n=60}$ et ${\displaystyle 100n^{2}=3600}$, on peut, dans ce cas, initier le processus à ${\displaystyle 10n+5=65}$ :${\displaystyle 65^{2}=6\times 7\times 100+25=4225}$. On a bien, comme prévu, ${\displaystyle 4225<4700}$.

L'algorithme (détaillé dans l'exemple suivant) nous amène, petit à petit, à ${\displaystyle n_{4}^{2}=685^{2}=469225}$ auquel on ajoute ${\displaystyle 2n_{4}+1=1370}$, d'où ${\displaystyle n_{5}^{2}=686^{2}=470595}$ qui est plus proche de ${\displaystyle 470000}$ que ${\displaystyle n_{4}^{2}}$. On en déduit : ${\displaystyle {\sqrt {47}}\approx 68,6}$ à ${\displaystyle 0,1}$ près.

C'est ce même principe qui est utilisé dans l'extraction de racine carrée par la méthode du goutte à goutte.

Cette méthode[4] très simple a la particularité de n'utiliser que des opérations très simples : addition, soustraction et ajout de 0. Considérons les suites a et b définies par :

• ${\displaystyle a_{0}=5m,b_{0}=5}$,
• Si ${\displaystyle a_{n}\geq b_{n}}$ alors ${\displaystyle a_{n+1}=a_{n}-b_{n}}$ et ${\displaystyle b_{n+1}=b_{n}+10}$
• Sinon, ${\displaystyle a_{n+1}=100a_{n}}$ (ce qui revient à rajouter deux zéros à la fin de ${\displaystyle a_{n}}$) et ${\displaystyle b_{n+1}=10(b_{n}-5)+5}$ (ce qui revient à insérer un zéro juste avant le dernier chiffre de ${\displaystyle b_{n}}$ car cette dernière termine toujours par un 5)

Ainsi, les chiffres de ${\displaystyle b_{n}}$ approchent de plus en plus les chiffres de ${\displaystyle {\sqrt {m}}}$. À noter que ${\displaystyle b_{n}}$ reste un entier (de plus en plus grand) donc ce n'est pas ${\displaystyle b_{n}}$ qui tend vers ${\displaystyle {\sqrt {m}}}$ mais seulement ses chiffres dans sa représentation décimale.

Exemple :√3 ≈ 1,732 par additions et soustractions

${\displaystyle b_{0}=5}$, ${\displaystyle a_{0}=15}$

${\displaystyle n}$	${\displaystyle a_{n}}$	${\displaystyle b_{n}}$	Commentaires
0	15	5	On peut soustraire
1	10	15	On ne peut plus soustraire
2	1000	105	On peut soustraire
3	895	115	On peut soustraire
4	780	125	On peut soustraire
5	655	135	On peut soustraire
6	520	145	On peut soustraire
7	375	155	On peut soustraire
8	220	165	On peut soustraire
9	55	175	On ne peut plus soustraire
10	5500	1705	On peut soustraire
11	3795	1715	On peut soustraire
12	2080	1725	On peut soustraire
13	355	1735	On ne peut plus soustraire
14	35500	17305	On peut soustraire
15	18195	17315	On peut soustraire
16	880	17325	on ne peut plus soustraire
...

Si, au lieu de prendre 5m, on en prend des troncatures par tranches de deux chiffres et, au lieu d'ajouter à a_n deux zéros, on abaisse les tranches suivantes, on aboutit à la variante par 5 de la méthode par goutte à goutte.

La fraction continue d'un irrationnel est la suite de ses approximations « optimales » par des fractions, c'est-à-dire que si p/q est une des valeurs de cette suite, alors aucune fraction de a/b avec b < q n'approche plus précisément le réel. Dans le cas particulier des racines carrées, on calcule relativement simplement cette suite, ainsi qu'une sous-suite qui correspond à un cas particulier de la méthode de Héron.

On peut également procéder par dichotomie à condition de disposer d'un encadrement de la racine carrée cherchée. On peut pour cela utiliser le nombre de chiffres du nombre dont on cherche la racine carrée. Cette racine aurait moitié moins de chiffres. Ainsi, si le nombre possède 1 024 chiffres, sa racine carrée en possèdera entre 511 et 513. On peut également utiliser d'abord les méthodes précédentes pour obtenir une première valeur approchée de la racine carrée avant de procéder à la dichotomie.

L'algorithme de dichotomie est le suivant. Il évite de procéder à des divisions (autre que la division par 2 qui n'est qu'un décalage de registre si les nombres sont codés en binaire. Cette division est notée shr 1 ci-dessous).

function Racine_64(C: int64): int64;
var
 A, B, D, D2: int64;
begin
  A := borne basse;
  B := borne haute;
  repeat
    D := (A + B) shr 1;
    D2 := D * D; ⇐ on élève au carré avant de tester
    if D2 > C then        
      A := D - 1
    else
      if C > D2 then
        B := D + 1
      else
        Result := A;
  until B > A;
end;

La même méthode s'applique pour les racines n-ièmes, en remplaçant le calcul de D2 = D*D par le calcul de D^n.

La méthode de dichotomie a cependant une vitesse de convergence plus lente que l'itération de la méthode de Héron.

On cherche à résoudre l'équation ${\displaystyle x^{2}\equiv a\mod n}$. On distingue alors trois cas[5]:

• ${\displaystyle n}$ est un nombre premier (par exemple 19) ;
• ${\displaystyle n}$ est une puissance de nombre premier (par exemple 81 = 3⁴) ;
• ${\displaystyle n}$ est un nombre composé (par exemple 35 = 5×7).

S'il existe une solution, c'est-à-dire si ${\displaystyle a}$ est un résidu quadratique modulo ${\displaystyle n}$, on dispose d'algorithmes efficaces pour la trouver dans les deux premiers cas[5]. Si ${\displaystyle n}$ est un nombre composé, on ne dispose à l'heure actuelle d'un algorithme efficace que si la factorisation de ${\displaystyle n}$ est connue[5]. De plus on peut montrer que s'il existait un algorithme efficace pour calculer une racine carrée sans disposer de la factorisation de ${\displaystyle n}$, cet algorithme pourrait être utiliser pour obtenir un algorithme efficace de factorisation[5]. On ne pourra donc pas calculer efficacement de racines carrées modulo ${\displaystyle n}$ tant que l'on ne pourra pas factoriser efficacement n'importe quel entier et réciproquement[5].

• Portail des mathématiques
• Portail de l'informatique théorique