Étude d'une suite convergente vers ln(a)
Le second algorithme – qui porte parfois lui aussi le nom de Briggs – permet d’approcher le logarithme népérien d’un réel strictement positif.
Soit
un réel strictement positif. Pour approcher
, on utilise la suite
définie par
et, pour tout entier naturel
,
.
On a alors
.
L'exercice ci-dessous propose une démonstration de ce résultat.
Exercice
Soit
. On considère la suite
définie par