Résolutiondes Equations approchées13-equations-TNS21

Christian Vassard (IUFM Rouen)
13
C
h
a
p
i
t
r
e

Rares sont les quations en mathmatiques que lon peut effectivement rsoudre. Les quations
polynomiales du premier et second degr sont particulirement bien connues et tudies. Pour le reste,
la situation se dgrade trs vite ! Si lon dispose effectivement de formules de rsolution gnrale
pour les troisime et quatrime degrs, elles ne sont que trs rarement utilises dans la pratique,
cause de leur complexit. Quant au cinquime degr, ou au-del, on sait depuis Abel et Galois
quelles ne peuvent tre rsolues par radicaux Sans parler bien sr des quations non polynomiales,
pour lesquelles des mthodes gnrales de rsolution nexistent que trs rarement.
Autant dire quil est important, sinon essentiel, dtre capable de rsoudre de faon approche des
quations de type f(x) = 0, o f est une fonction relle de variable relle quelconque, que nous
supposerons dans tout ce chapitre continue sur son intervalle de dfinition.

Sommaire
Chapitre 13. Rsolution approche des quations ........................................... 265
1. Position du problme ............................................................................... 267
1.1 Introduction et notations ............................................................... 267
1.2 Quelles quations rsoudre ? ...................................................... 267
1.3 Notre choix ...................................................................................... 270
2. Mise en jambe : la mthode de balayage ............................................ 271
3. Mthode de dichotomie ........................................................................... 272
3.1 La description de la mthode....................................................... 272
3.2 Mise en uvre sur le tableur ....................................................... 274
3.3 La dichotomie par programme .................................................... 275
4. Mthode de Lagrange ou des parties proportionnelles ..................... 280
4.1 Le principe de la mthode de Lagrange .................................... 280
4.2 Une premire approche ................................................................ 281
4.3 Cas dune fonction convexit constante ................................. 285
4.4 Un algorithme lorsque ff > 0 ...................................................... 293
Chapitre 13.
Rsolution
approche des
quations
266 Mathmatiques et TI-Nspire
T France 2010 / Photocopie autorise
5. La mthode de Newton ........................................................................... 296
5.1 Le principe de la mthode de Newton ........................................ 296
5.2 Une premire approche ................................................................ 297
5.3 Cas dune fonction convexit constante ................................. 300
5.4 Un algorithme lorsque ff > 0 ...................................................... 301
ANNEXE : Maximum et minimum dune fonction.......................................... 303

Rsolution approche dquations 267
1. Position du problme
1.1 Introduction et notations
Soit donc rsoudre de faon approche une quation du type f(x) = 0, o f est une fonction dfinie et
continue sur un intervalle I de et valeurs dans .
Lide est de construire une suite, au moyen de diverses mthodes que nous allons tudier suite
convergeant, de prfrence rapidement, vers la solution cherche.
On supposera de plus que ltude de la fonction f a permis de dterminer un intervalle [a ; b] sur
lequel f est strictement monotone et change de signe
1
. Moyennant ces hypothses, lquation na
quune seule solution, note o, sur lintervalle [a ; b].
En isolant un intervalle [a ; b]. sur lequel nexiste quune seule solution lquation, on dit que lon a
procd la sparation des racines.
1.2 Quelles quations rsoudre ?
La rsolution, mme approche, des quations est un problme essentiel que lon rencontre dans tous
les domaines des mathmatiques. Passons en revue quelques situations classiques.
- Calcul de constantes clbres
Cest la premire ide qui vient : on calcule facilement les constantes mathmatiques qui sont des
nombres algbriques
2
par la rsolution dquations polynomiales simples, coefficients dans .
Par exemple, en appliquant une mthode de rsolution approche aux quations x
2
2 = 0 ou
x
3
2 = 0, on obtiendra une valeur approche de 2 ou
3
2 .
Remarquons dailleurs que ce nest pas parce quon les dsigne mathmatiquement avec un radical
que lon est plus avanc sur la valeur quils ont
3
!
- Une quation propose par Lonard de Pise (ou Fibonacci 1175-1250).
Dans un court trait, Flos, Fleurs de solutions de certaines questions relatives au nombre et la
gomtrie , Lonard de Pise rsout vers 1225 quinze problmes de nature algbrique
4
: treize du
premier degr, un du second et un du troisime. Il sagit, nous dit lauteur, de questions pineuses
exposes dune manire fleurie : on apprciera la mtaphore.
Cest bien sr le problme du troisime degr, un de ceux proposs par lEmpereur, qui nous intresse
ici : rsoudre lquation du troisime degr x
3
+ 2x
2
+ 10x = 20
5
.
Fibonacci en propose une solution comportant 9 dcimales exactes, une poque o les formules
gnrales de rsolution
6
ntaient pas connues :
x ~ 1,368808107.

1
Autrement dit, f(a) f(b) < 0.
2
Cest--dire solutions dquations polynomiales coefficients entiers.
3
Une notation comme 2 relve du calcul littral pur et simple : ce nest quune faon commode de dsigner le nombre positif qui a pour
carr 2... On aurait pu lappeler o et faire du calcul littral avec cette lettre, en remplaant partout o
2
par 2. Cest dailleurs peu ou prou ce
que lon fait avec 2 .
4
Dont trois avaient t proposs par lEmpereur Germanique Frdric II.
5
Le 20 est dans le membre de droite pour viter les nombres ngatifs, quon napprciait pas lpoque.
6
Elles furent mises en vidence la Renaissance Italienne, au XVI
e
sicle, notamment par Jrme Cardan.
- Construction de tables trigonomtriques
On le sait peu, mais la construction dune table trigonomtrique, comme on le faisait avant la
dmocratisation des calculatrices et mme avant les sries
7
, passe par la dtermination la plus prcise
qui soit de la valeur de sin 1 : de cette valeur, on peut dduire toute la table avec les formules
daddition.
Une des mthodes employes pour dterminer sin 1 consiste rsoudre de faon approche une
quation polynomiale de degr 3
8
.
En effet, partir de la relation trigonomtrique bien connue :
sin 3x = 3 sin x 4 sin
3
x.
on peut dduire que sin 1, dont on cherche la valeur, est solution de lquation du troisime degr :
sin 3 = 3x 4x
3
.
Tout le problme revient donc calculer au pralable sin 3 de la faon la plus prcise qui soit.
Paradoxalement, ce calcul ne pose pas un gros problme mathmatique
9
.
En effet, on connat de faon exacte, et donc aussi prcise que lon veut, les sinus et cosinus de 60 ou
72 donc par diffrence les sinus et cosinus de 12 puis, par dichotomies successives rappelons
les formules
1 cos2
sin
2 2
=
x x
et
1 cos2
cos
2 2
+
=
x x
sin 6 et enfin sin 3.
Le calcul exact de sin 3 peut de notre jour tre men de faon simple grce au calcul formel. Mais
le rsultat que lon obtient, bien que parfaitement exact, est peu prs inexploitable :

7
Encore que les sries soient de trs mauvais outils calculatoires en fait !
8
Cest al-Kashi, autour de lan 1400, qui propose cette mthode et en donne une rsolution lgante et efficace par approximations
successives. Voir le chapitre suivant.
9
Mais un problme de temps, on sen doute ! lpoque, on ne reculait pas devant ces calculs pnibles et rbarbatifs. Et puis on navait
pas le choix !
On mesure bien la difficult de la dtermination de sin 1, laquelle se sont heurts ceux qui ont
voulu construire les premires tables trigonomtriques. Poursuivre cette dichotomie nous fait passer
lgrement ct de la valeur sin 1 que lon cherche atteindre : aprs 3, on aurait ensuite les sinus
et cosinus de 1 30, puis de 45. Do lenjeu de lexistence dune mthode pour calculer sin 1.
- Le quatrime degr et le problme des chelles...
Les quations, mme de degr plus lev, peuvent intervenir l o on les attend le moins. Par
exemple, dans ce petit exercice innocent , concret, mais dont la rsolution fait intervenir une
quation polynomiale de degr 4.
Deux chelles sont appuyes sur les deux murs opposs d'un couloir, comme sur la figure ci-contre.
L'une mesure 3 mtres de longueur l'autre 2 mtres. Sachant qu'elles se croisent 1 mtre du sol, on
demande de calculer la largeur L du couloir.

Utilisons les notations de la figure ci-dessus. Trouver la largeur du couloir revient connatre les
longueurs a et b.
Tout dabord, daprs le thorme de Thals appliqu aux triangles rectangles ABC et AED :
=
BC AB
DE AE
soit =
b
d
a
.
De la mme faon, on peut montrer que =
a
c
b
, ce qui permet de remarquer que d et c sont inverses
lun de lautre.
Exprimons maintenant GD
2
en utilisant le thorme de Pythagore dabord dans le triangle rectangle
GDC, puis dans le triangle rectangle GFD. On en dduit lgalit :
( ) ( )
2 2
4 1 9 1 + = + c d
soit en remplaant d par
1
c
:
2
2
1 2
4 2 1 9 1 = c c
c c

En multipliant des deux cts par c
2
(= 0) on arrive :
2 4 3 2 2 2
4 2 9 1 2 = c c c c c c c
Soit finalement
4 3 2
2 5 2 1 0 + + = c c c c
quation du quatrime degr !
La rsolution est videmment possible la calculatrice
10
, mais elle est approche...

On en dduit que a + b =
( )
2
4 1 c + ~ 1,63 mtres.
- Des quations non polynomiales
Dautres quations non polynomiales sont classiques comme par exemple :
x + ln x = 0 ou x = cos x.
Leur rsolution approche est dautant plus intressante quil nexiste pas de mthode pour en
dterminer les solutions exactes.
1.3 Notre choix
Notre prfrence, puisquil faut choisir, ira lquation de Fibonacci x
3
+ 2x
2
+ 10x 20 = 0, clin
dil par-dessus presque huit sicles de mathmatiques, avec des mthodes aujourdhui bien
diffrentes de celles dont il disposait.
Une tude rapide de la fonction f, que nous ne dtaillerons pas, montre que cette quation possde une
solution unique dans , comprise entre les entiers 1 et 2.
Le graphique confirme ce rsultat et donne une valeur approche de labscisse du point dintersection
de la courbe et de laxe des abscisses : 1,3688081.

10
Pour ceux qui ne supporteraient pas de ne pas avoir la solution !
Par ailleurs, on peut utiliser la fonction solve qui renvoie, non pas un rsultat exact, mais une valeur
approche avec comme dhabitude 12 chiffres significatifs ou 14 si lon fait apparatre les 2 chiffres
de rserve supplmentaires :

2. Mise en jambe : la mthode de balayage
La mthode de balayage constitue une premire approche au problme de la rsolution des quations,
dautant plus intressante que cette mthode peut tre facilement mise en uvre dans les lyces avec
les calculatrices des lves. En gnral, on a encadr la solution par deux entiers conscutifs ; on
procde alors un balayage des valeurs de x par pas de 1/10, puis 1/100, 1/1000 etc. pour localiser la
racine dans un intervalle de plus en plus petit. Le tableur de la calculatrice se prte particulirement
bien cette dmarche.
Il est souvent plus simple de dfinir au pralable la fonction avec laquelle on travaille en ligne de
commande dans lapplication Calculs :

On insre ensuite une page Tableur & listes. Il est prudent de rgler le classeur 12 dcimales.
La borne infrieure du balayage est saisie dans la cellule B1 et mmorise dans une variable a. Dans
A1, on peut mettre la chane de caractres "Valeur infrieure".
On procde de mme pour la borne suprieure du balayage, mmorise dans une variable b. Ce sont
les deux seules donnes saisir dans cette feuille de calcul.

Le reste se calcule automatiquement partir des valeurs entres :
B4 donne le pas du balayage, avec la formule =(B2B1)/10 , mmoris dans une variable h ;
dans la zone grise de la colonne C, on saisit =seq(a+k
.
h,k,0,10) pour engendrer les valeurs
balayes, ici par dix-millimes entre 1,368 et 1,369 ; cette liste de valeur est nomme xx ;
dans la zone grise de la colonne D, on tape =f(xx) pour calculer les images de chacune des
valeurs de la colonne C par la fonction f ;
dans F1, un test =when(d1
.
d2<0,d1,void,void) permet de localiser le changement de signe ;
on peut faire afficher cette valeur en F1.
Lcran prcdent montre que la solution de lquation de Fibonacci est comprise entre 1,3688 et
1,3689 On poursuivrait en mettant ces valeurs dans les cellules B1 et B2.
Cette feuille de calcul peut tre couple lditeur mathmatique
11
:

La valeur F1 de la feuille de calcul, pralablement recopie en G1, est simplement stocke dans une
variable vmin, celle qui apparat lavant dernire ligne de lcran prcdent ; lautre rsultat nest
autre que vmin+h.
3. Mthode de dichotomie
3.1 La description de la mthode
Le balayage est une mthode efficace, mais laborieuse. On spargne de nombreux calculs
intermdiaires en visant de suite au milieu de lintervalle : cest le principe de la dichotomie
12
. On
rcupre de plus chaque tape un encadrement de la solution cherche.
- Traduisons cette approche en termes de suite.
Tout revient donc travailler avec deux suites relles (a
n
) et (b
n
) dont les termes initiaux sont
0 0
et = = a a b b. La solution cherche o est comprise entre a
0
et b
0
.

11
Voir le fichier tns pour plus de prcisions.
12
Daprs ltymologie de dichotomie, couper en deux.

Visons au milieu, cest--dire considrons la valeur
0 0
0
2
+
=
a b
c . De deux choses lune :
ou bien ( ) ( )
0 0
0 < f a f c et o est compris entre a
0
et c
0
;
ou bien ( ) ( )
0 0
0 > f a f c et o est compris entre c
0
et b
0
13
.
Le processus peut alors tre ritr avec un intervalle encadrant o dont la longueur a t divise par 2.
Plus gnralement, supposons donc connus les termes a
n
et b
n
de nos deux suites, encadrant o. On
calcule dabord
2
+
=
n n
n
a b
c et on observe si le changement de signe de la fonction a lieu entre a
n
et
c
n
ou entre c
n
et b
n
:
Dans le premier cas, autrement dit si ( ) ( ) 0 <
n n
f a f c , on pose
1 1
et
+ +
= =
n n n n
a a b c ; sinon on pose
1 1
et
+ +
= =
n n n n
a c b b .
Ces choix garantissent qu ltape qui suit la racine o est dans lintervalle | |
1 1
;
+ + n n
a b .
Ceci dfinit bien par rcurrence deux suites. chaque tape, on a ( ) ( ) 0 <
n n
f a f b , donc la racine
o que lon cherche approximer est dans lintervalle | | ,
n n
a b pour tout entier naturel n. Un intervalle
au demeurant dont la longueur est chaque tape divise par 2
- Ces deux suites sont adjacentes.
En effet, la suite (a
n
) est croissante, tandis que la suite (b
n
) est dcroissante
14
.
Dautre part, comme lintervalle est chaque fois divis par 2, une rcurrence immdiate permet de
montrer que pour tout entier naturel n,
2
=
n n n
b a
b a . De cette galit, il rsulte que
( ) lim 0
+
=
n n
n
b a , ce qui nous permet de conclure que les deux suites (a
n
) et (b
n
) sont bien adjacentes.

13
Il peut se faire que o soit gal c0 : dans ce cas, la rsolution est termine Nous supposerons que ce nest jamais le cas dans la suite du
processus.
14
Au sens large pour chacune des deux suites
Elles ont donc la mme limite l ; comme on a pour tout entier naturel n, o < <
n n
a b , on en dduit par
passage la limite que l = o.
3.2 Mise en uvre sur le tableur
Penser si ce nest dj fait dfinir la fonction f dans lcran Calculs

et ne pas oublier de rgler le classeur 12 chiffres significatifs.
Ouvrons une page de lapplication Listes & Tableur.

Dans la premire colonne, on numrote les tapes du calcul ; dans la colonne B, on place les valeurs
successives de la suite (a
n
), et dans la colonne C celles de la suite (b
n
), en commenant par les valeurs
initiales
0
a a = et
0
b b = .
Un test est ralis en B3 et en C3 puis recopi vers le bas, pour savoir si la racine est entre a
n
et
2
n n
n
a b
c
+
= ou entre c
n
et b
n
, ce qui permet de dterminer lintervalle de ltape suivante.
Dans la colonne D, on affiche la diffrence entre les deux termes de la suite, donc la longueur de
lintervalle dencadrement.

On constate au bout de 10 tapes que :
1,368 164 062 5 < o < 1,369 140 625.
En mettant 1 en B2, au lieu de 1. , le calcul est effectu de faon exacte, sous forme
fractionnaire mais les rsultats deviennent trs rapidement illisibles. On reparlera cependant de cet
aspect dans le paragraphe qui suit.
3.3 La dichotomie par programme
Si le tableur a limmense mrite de visualiser la dichotomie, une simple fonction de la calculatrice
prsente lavantage de renvoyer rapidement en ligne de commande sans se proccuper des calculs
intermdiaires le seul rsultat qui nous intresse, une valeur approch de la solution o de lquation
f(x) = 0 que lon cherche rsoudre, ou, disons, un encadrement de cette solution.
Comme dans le tableur, lutilisateur doit prciser en entre de cet algorithme les valeurs initiales qui
encadrent o, ce qui suppose une tude pralable de la fonction f pour sparer les ventuelles racines.
Les lignes successives du tableur traduisent en termes dalgorithme la notion de boucle. Dans une
fonction, il faut en donner le critre de sortie, qui peut tre :
le nombre de fois o lon effectue les calculs (boucle For) ;
ou, ce qui a notre prfrence ici, une condition comme lamplitude de lencadrement est
infrieure une erreur e donne au dpart (boucle While).

Reste dterminer ce que la fonction va renvoyer comme rsultat, le plus naturel tant la liste des
deux dernires valeurs a
n
et b
n
, qui encadrent comme on le sait la solution de lquation. Il peut aussi
tre intressant de savoir combien dtapes intermdiaires ont t ncessaires pour arriver au rsultat :
cest ce que compte la variable c, dont la valeur est renvoye la fin par Disp.
Testons sur notre quation de rfrence, en nomettant pas comme dhabitude de stocker la fonction
que lon tudie dans une variable f. Pour tre sr davoir une valeur approche, on saisit en entre
1. .

Le troisime rsultat correspond au dfi relev par Fibonacci. On a lencadrement :
1,368 808 107 31 < o <1,368 808 107 82
Nous somme donc srs des 9 premires dcimales.
Au demeurant et cest lavantage de notre calculatrice on peut aussi travailler avec des valeurs
exactes, si lon accepte dattendre quelques secondes le rsultat. Il suffit dentrer 1, au lieu de 1. .
Les performances deviennent intressantes :

La prcision la plus petite que lon puisse convertir en nombre dcimal est 10
990
.

Pour ce dernier rsultat, par exemple, on pourrait craindre que laccumulation des erreurs darrondis
avec la rptition dun calcul 3289 fois naltre la rponse. Il nen est rien car il sagit bien ici de
calcul formel, donc exact.
On rcupre les dcimales avec divex2, comme dhabitude. Les deux rsultats sont alors, pour la
borne infrieure :
"1.3688081078213726352274143300213255395424355414875365307937126902182631474196883
8196939889427891321423846749119659529004120906435742765165919311906443973098478583
3260281121402394019898921764093552860364296652822324065747455291738049886726527542
5847004042897862506646658215400198700803408983257434860708236609077120871493174275
5806535592928169991131782759436843499622073744796671986127103538763317416012489509
4824712188388094257822906065827886413918203142535393862292874155239969993034737658
5133438558530861974431781300786073654648746703507950718420900351215543039635398858
1299246321804756530693872277621135509751500352757678566310310818091838006477384876
6776166094449075737240718092703179775589339142877727679575036291298839095333084084
1945988384270511537682727041935428691459136872159300687572521354202894774434759904
9716926859172253625000299795332756003488562340874058751370390383360785257710749271
0145552653765285221617992928516924730760474065025789719663002882589853264362065337
0902762676900087174"
et pour la borne suprieure :
"1.3688081078213726352274143300213255395424355414875365307937126902182631474196883
8196939889427891321423846749119659529004120906435742765165919311906443973098478583
3260281121402394019898921764093552860364296652822324065747455291738049886726527542
5847004042897862506646658215400198700803408983257434860708236609077120871493174275
5806535592928169991131782759436843499622073744796671986127103538763317416012489509
4824712188388094257822906065827886413918203142535393862292874155239969993034737658
5133438558530861974431781300786073654648746703507950718420900351215543039635398858
1299246321804756530693872277621135509751500352757678566310310818091838006477384876
6776166094449075737240718092703179775589339142877727679575036291298839095333084084
1945988384270511537682727041935428691459136872159300687572521354202894774434759904
9716926859172253625000299795332756003488562340874058751370390383360785257710749271
0145552653765285221617992928516924730760474065025789719663002882589853264362065337
0902762685072386425"
La solution cherche est comprise entre ces deux valeurs. On peut remarquer quon est sr de 989
dcimales, soit 100 fois plus que ce qua produit il y a 8 sicles Fibonacci ! Mais nos moyens de
calculs individuels sont autrement plus performants !
Si on ne veut utiliser aucun autre programme ou fonction, on peut procder comme le montre lcran
suivant, condition dtre bien moins gourmand !

Signalons pour terminer que si lon veut ne renvoyer quun seul rsultat, le plus lgitime est sans
conteste la moyenne des deux obtenus. Il suffit de faire comme suit :

Comme lamplitude de lencadrement est moindre que 10
20
, le rsultat obtenu est une valeur
approche moins de 0,5 10
20
prs
Pour conclure, quelques remarques essentielles
Notre fonction dicho fonctionne bien en mode approch tant quon peut dterminer sans difficult le
signe de ( )
2
+ | |
|
\ .
a b
f a f : attention, de trs petites valeurs peuvent tre intempestivement arrondies
0.
Rappelons aussi quune tude mathmatique pralable doit avoir t mene avant de faire tourner
dicho. On doit sassurer que la fonction f est continue strictement monotone sur lintervalle dtude,
faute de quoi des rsultats imprvus peuvent survenir... comme le montre les exemples suivants.
Avec la fonction dfinie par f(x) = x
2
, on est bien loin dobtenir la solution 0 attendue :

De mme, ce nest pas parce que f(a) et f(b) sont de signes contraires que lquation f(x) = 0 a une
solution entre a et b : ainsi la fonction inverse entre 1 et 2. Pour autant, notre fonction dicho, tant
quelle na pas calculer linverse de 0, renverra une rponse, sans aucun sens certes, mais une
rponse quand mme :

Et sil y a plusieurs solutions entre a et b, autrement dit si lon a omis de sparer les racines sur
lintervalle considr, dicho nen donnera quune... et pas toujours la mme selon les valeurs initiales
choisies... 2 ou 2 dans lexemple qui suit, jamais 0 !

Enfin, la fonction dicho applique la partie entire (int) entre 1 et 2 donne un rsultat qui, de
toute faon, na pas de sens puisque lquation int(x)=0 na pas de solution sur cet intervalle :

Bref beaucoup de problmes risquent de se poser faute dune tude pralable de la fonction avec
laquelle on travaille. Cest une bonne chose car cela souligne limportance des mathmatiques,
notamment ceux qui voudraient sen dbarrasser un peu vite au prtexte que les calculatrices font
tout. Certes, il est toujours possible damliorer le programme pour tenter de dsamorcer les erreurs
pointes prcdemment : par exemple, on peut tester si au dpart f(a) f(b) est bien strictement
ngatif ou bien si la fonction f est bien strictement monotone... videmment rien ne vaut lil critique
de lutilisateur averti !
4. Mthode de Lagrange ou des parties proportionnelles
4.1 Le principe de la mthode de Lagrange
La mthode de dichotomie est lente car elle nutilise que partiellement linformation disponible : on
ne se sert que des signes, et pas des valeurs de f(a) et de f(b). Aveuglment et inexorablement, le
partage en deux de lintervalle a lieu et ce, quelle que soit la fonction considre. Or il est bien clair
quavec f(a) = 1 et f(b) = 10 000 par exemple, on a tout lieu de penser que la racine o de lquation
f(x) = 0 a bien des chances dtre plus proche de a que de
2
a b +
.
La mthode de Lagrange, ou des parties proportionnelles, remdie ce problme : au lieu de travailler
chaque tape avec le point-milieu dabscisse
2
+ a b
, on fait intervenir labscisse c du point
dintersection de la droite joignant les points A(a, f(a)) et B(b, f(b)) avec laxe des abscisses.
Concrtement, cela revient remplacer la fonction f par une fonction affine et substituer lquation
que lon cherche rsoudre une banale quation du premier degr.

Quelle est donc cette valeur c ? Lquation de la droite (AB) est :
( )
( ) ( )
( )
= +
f b f a
y x a f a
b a

La droite (AB) coupe donc laxe des abscisses au point dabscisse c, qui vrifie :
( )
( ) ( )
0 ( )
= +
f b f a
c a f a
b a

( )
( ) ( )
b a
c a f a
f b f a

( ) ( ) ( ) ( ) ( ) ( )
( ) ( ) ( ) ( )
+
= =

af b af a bf a af a af b bf a
c
f b f a f b f a
(1)
Quelques remarques sur cette valeur En utilisant les notations de la figure qui prcde, et les
relations (1), on peut dire que le point P(c ; 0) sur laxe des x est le barycentre des points M(a ; 0)
affect du coefficient f(b) et N(b,0) affect du coefficient f(a). Les coefficients sont de mme signe,
puisque f(a) f(b) < 0, et le point P sera situ, non pas en gnral au milieu du segment [MN] comme
pour la dichotomie, mais plus prs du point affect du plus gros coefficient (ici A sur notre dessin).
Lide est de ritrer le procd, lorsque cest possible ! Ainsi dans lexemple du dessin ci-dessus, on
travaillera ltape suivante avec lintervalle [c ; b] car le produit f(c) f(b) est strictement ngatif...
Rcapitulons la dmarche :
on pose a
0
= a et b
0
= b ;
quand on connat a
n
et b
n
, on calcule c
n
=
( ) ( )
( ) ( )
n n n n
n n
a f b b f a
f b f a
;
si ( ) ( ) 0 <
n n
f a f c , on affecte c
n
b
n+1
et
n
a
1 n
a
+
; sinon, on affecte c
n
a
n+1
et
n
b
1 n
b
+
.
4.2 Une premire approche
- crivons un programme permettant la visualisation graphique de la mthode. Programme plutt
que fonction car nous serons amens modifier des variables globales, ce quune fonction ne peut pas
faire. Faute de vritables instructions de programmation graphique sur la TI-Nspire en tout cas pour
le moment on doit travailler avec un nuage de points, quil faut gnrer par programme, et demander
laffichage de ce nuage en mode reli.
Prparons le terrain :
dans lcran Calculs, on stocke comme dhabitude, dans f(x), la fonction avec laquelle on
travaille (cest toujours la mme que prcdemment) ;
on initialise {} deux listes xx et yy, variables globales qui serviront dans le programme
crer les abscisses et ordonnes dun nuage de points permettant de reconstituer la mthode ;

dans une fentre Graphiques & Gomtrie, on demande la reprsentation graphique de cette
fonction, sur un rglage de fentre pour le moment quelconque (il sera rgl par le
programme) ;
on fait apparatre si elles sont caches les extrmits des axes et on les mmorise dans les
variables xmin, xmax, ymin, ymax (ces variables seront-elles aussi rgles par programme) ;
on demande la reprsentation graphique, pour le moment vide, du nuage de points dont les
abscisses sont xx et les ordonnes yy.

partir de ces lments, on peut construire le programme lagg
15
suivant :

Quelques commentaires simposent.
Dabord ne sont dclares dans ce programme que les variables locales, ici i et c, cest--dire celles
qui sont cres au moment de lexcution du programme et dtruites lorsque le programme est
termin.
Les autres variables, celles qui sont dites globales, existent dj dans le rpertoire courant au moment
de lexcution du programme
16
et existeront encore aprs lexcution du programme, comme
nimporte quelle variable de ce rpertoire.
Cest le cas des deux listes xx et yy ; il est indispensable de les initialiser au dbut du programme
pour les nettoyer des ventuelles valeurs quelles contiennent.

15
lagg pour Lagrange Graphique
16
Et sont cres si ncessaire.
On peut aussi remarquer le rglage automatique de la fentre, utilisant les fonctions maximum et
minimum, dont nous donnerons le code dans lannexe de ce chapitre : elles sont disponibles dans
Mylib et on peut y accder par le catalogue. min(f(x),a,b) (resp. max(f(x),a,b))renvoie le minimum
(resp. le maximum) de la fonction f sur lintervalle [a ; b]
17
.
Suit dans le programme une boucle For.
Pour chaque tape (il est prudent de nen pas demander trop !), on calcule
( ) ( )
( ) ( )
af b bf a
c
f b f a
, puis on
complte les deux listes xx et yy permettant de crer le nuage de points :
( ) ( ) ( ) ( ) ( ) ( ) ( )
, , , , , 0 , , a f a b f b c c f c en mode reli, on peut sassurer que le nuage dcrit bien la
construction quon attend
18
.
Pour plus de commodit, on peut partager la fentre en deux, une partie infrieure rduite son
minimum pour afficher une ligne de lcran Calcul, une partie suprieure contenant la fentre
graphique. On peut ainsi depuis le bas de la fentre lancer la construction et observer son effet dans la
partie suprieure. Le travail sur lintervalle [0,5 ; 4], sur lequel la concavit est un peu plus
prononce, permet de visualiser plusieurs tapes de la mthode de Lagrange :

Remarquons que lon peut en les sparant par deux points saisir sur une seule ligne linstruction qui
dfinit la fonction et celle qui appelle lagg. On observe quici, cest toujours le mme point (de
coordonnes (4,f(4)) qui sert en quelque sorte de pivot la construction.
- crivons maintenant une fonction permettant le calcul des termes successifs des deux suites (a
n
)
et (b
n
) :

17
Pour faire vite, par exemple lors dun oral de concours, on peut mettre tout simplement min(f(a),f(b)), ou max(f(a),f(b)), ce qui est
lgitime sachant que la fonction f est strictement monotone dans les cas pratiques que lon tudie. On peut aussi faire un rglage manuel de
la fentre au cas que lon tudie : cest encore plus rapide.
18
Cest un attribut du nuage de points, auquel on accde par un clic droit sur un des points.

Les termes des deux suites sont simplement stocks dans des listes pour quon puisse les tudier. On
obtient par exemple les rsultats suivants, toujours en partant de lquation de Fibonacci :

Prsents dans le tableur, ces rsultats sont encore plus lisibles. Remarquons la syntaxe des zones
grises des colonnes D et E pour rcuprer une liste partir de la premire ligne dune matrice et
les $ pour permettre la recopie de linstruction vers la colonne E
19
:

19
Il faut aussi penser changer le 1 en 2 pour rcuprer la deuxime ligne de la matrice.
Les premiers rsultats montrent une convergence un peu plus rapide que par dichotomie, comme on
pouvait sen douter
20
. Mais si on a toujours lencadrement, comme pour la dichotomie, les deux suites
ne sont plus adjacentes puisque lune, ici (b
n
), reste constante. On perd donc le contrle
infaillible de lerreur que permettait la dichotomie
Remarque
Notre programme graphique marche dans tous les cas, y compris celui o la fonction considre nest
pas strictement monotone :

On observe dans ce cas une situation plus complexe, plus difficile apprhender dans toute sa
gnralit. Nous nous limiterons dans la suite non seulement des fonctions strictement monotones
sur leur intervalle dtude, mais aussi convexit constante.
4.3 Cas dune fonction convexit constante
Supposons donc maintenant que la fonction f de classe C
2
sur lintervalle ; a b (

soit convexit
constante sur ce mme intervalle : en dautres termes, sa drive seconde est de signe constant sur
; a b (

.
Tenant compte des hypothses habituelles sur f, quatre cas a priori sont envisager :
1) f > 0 et f > 0 (donc f(a) < 0 < f(b)) 2) f > 0 et f < 0 (donc f(a) > 0 > f(b))
3) f < 0 et f < 0 (donc f(a) > 0 > f(b)) 4) f < 0 et f > 0 (donc f(a) < 0 < f(b))
Graphiquement, ces cas correspondent chacune des situations suivantes :

20
9 dcimales correctes aprs 12 itrations... Ceci dit, il peut arriver que la mthode de Lagrange soit moins rapide que la dichotomie...

- Commenons par examiner ce qui se passe dans le premier de ces cas, o f > 0 et f > 0.
Thorme (correspondant au cas 1)
Soit f une fonction
continue strictement monotone sur [a ; b], telle que f(a) f(b) < 0 ;
de classe C
2
sur lintervalle [a ; b] telle que f > 0.
Alors la suite (b
n
) de la mthode de Lagrange demeure constante et gale b pour tout n. Par
ailleurs la suite (a
n
) est dfinie par

0 1
( ) ( )
et
( ) ( )
+

= =
n n n n
n
n n
a f b b f a
a a a
f b f a

et crot vers la solution o de lquation f(x) = 0.
Dmonstration
Lallure de la courbe dans la situation du cas 1 est alors la suivante :

Conformment la mthode dcrite plus haut, on part de
0
a a = et
0
b b = .
La fonction est strictement croissante sur lintervalle ; a b (

. On a donc f(a) < 0 et f(b) > 0. Par
ailleurs, comme f > 0, la fonction f est convexe sur ; a b (

. Daprs la dfinition de la convexit, sa
courbe reprsentative est donc situe strictement au dessous du segment qui joint les points A(a, f(a))
et B(b, f(b)).
Lquation de la droite (AB) tant ( )
( ) ( )
( )
= +
f b f a
y x a f a
b a
, on peut en dduire que pour tout x
de ; a b (

:
( )
( ) ( )
( ) ( )
< +
f b f a
f x x a f a
b a
.
En particulier, en faisant x = c, abscisse du point dintersection de la droite (AB) et de laxe des
abscisses, on arrive f(c) < 0, tandis que f(b) > 0.
On aura donc
0 0 0 0
1
0 0
( ) ( )
( ) ( )
a f b b f a
a
f b f a
et
1 0
b b = .
On se retrouve dans les mmes hypothses que prcdemment, sur le nouvel intervalle
1 1
; a b (

. Le
mme raisonnement peut donc continuer sappliquer de proche en proche chacune des tapes qui
suivent : on peut en dduire que la suite (b
n
) restera constante gale b et que la suite (a
n
) vrifiera
la relation de rcurrence :
1
( ) ( ) ( ) ( )
( ) ( ) ( ) ( )
+

= =

n n n n n n
n
n n n
a f b b f a a f b bf a
a
f b f a f b f a
pour tout entier naturel n.
Montrons maintenant que la suite (a
n
) converge bien vers la racine de lquation.
chaque tape, on vient de voir que f(a
n
) < 0 : ceci signifie que pour tout n, a
n
e ; a o

ou encore
que la suite (a
n
) est majore par o.
Montrons maintenant que la suite (a
n
) est croissante. On a :
( )
1
( ) ( ) ( ) ( )
( ) ( ) ( ) ( ) ( ) ( )
1
+

= = +

= +
n n n
n n
n n n
n
a f b bf a f a f b
a a b
f b f a f b f a f b f a
ta t b

en posant
( )
( ) ( )
=
n
f b
t
f b f a
. Or il est immdiat que t e ]0 ; 1], ce qui prouve que pour tout entier
naturel n, | |
1
,
+
e
n n
a a b . La suite (a
n
) est bien alors croissante
21
.
La suite (a
n
), croissante et majore par o, est donc convergente. Elle converge vers le nombre qui
vrifie
( ) ( )
( ) ( )

f b bf
f b f
soit ( ) ( ) ( ) ( ) = f b f f b bf ou encore ( ) ( ) 0 = b f . Comme
o, il ne peut pas tre gal b, ncessairement ( ) 0 = f et = o.
En conclusion, ltude de ce cas particulier montre quune seule de deux suites de la mthode initiale
est utile, savoir (a
n
) : lautre, savoir (b
n
) passe la trappe puisquelle est constante.
Cette suite (a
n
) est dfinie par :
0 1
( ) ( ) ( ) ( )
et
( ) ( ) ( ) ( )
+

= = =

n n n n n n
n
n n n
a f b b f a a f b bf a
a a a
f b f a f b f a
pour tout entier naturel n
et on sait quelle converge en croissant vers la solution o de lquation f(x) = 0.

21
Et elle est bien dfinie pour tout entier naturel n !
- Quid des autres cas ?
On pourrait refaire quatre fois la mme tude, les dmonstrations seraient analogues peu de choses
prs.
Plus simplement, montrons comment lon peut chaque fois se ramener ltude du cas 1 et isoler
une suite convergeant vers o.
Soit f une fonction relevant du cas 3, donc telle que f < 0 et f < 0. Il est immdiat que f, dont la
courbe reprsentative est symtrique de celle de f par rapport laxe des abscisses, correspond au cas
1. En effet :
( )( ) ( )
' ' 0 f x f x = > et
( )( ) ( )
'' '' 0 f x f x = > .
Remarquons aussi que les quations f(x) = 0 ou f(x) = 0 ont la mme solution o sur lintervalle
; a b (

. Appliquons donc le thorme prcdent f : on sait que la suite (a
n
) dfinie par :
( ) ( )
( ) ( )
0 1
( ) ( )
et
( ) ( )
+

= =

n n
n
n
a f b b f a
a a a
f b f a

converge en croissant vers o.
Or si lon remarque que :
( ) ( )
( ) ( )
( ) ( ) ( ) ( ) ( ) ( )
( ) ( ) ( ) ( ) ( ) ( )
+
= =
+
n n n n n n
n n n
a f b b f a a f b bf a a f b bf a
f b f a f b f a f b f a

on peut encore affirmer que dans le cas 3, la suite (a
n
) dfinie par
0
= a a et
1
( ) ( )
( ) ( )
+

=
n n
n
n
a f b bf a
a
f b f a

Soit maintenant f une fonction relevant du cas 2, donc telle que f > 0 et f < 0. Il est immdiat que la
fonction F dfinie sur ; b a (

par F(x) = f(x), dont la courbe reprsentative est symtrique de
celle de f par rapport laxe des ordonnes, correspond au cas 1. En effet :
( ) ( )
' ' 0 F x f x = > et
( ) ( )
'' '' 0 F x f x = > .
Remarquons aussi que lquation F(x) = 0 a pour solution o sur lintervalle ; b a (

. Appliquons
donc le thorme prcdent F : on sait que la suite (a
n
) dfinie par :
( )
0 1
( ) ( ) ( ) ( )
et
( ) ( ) ( ) ( )
+
+
= = =

n n n n
n
n n
a F a a F a a F a aF a
a b a
F a F a F a F a

Considrons maintenant la suite (b
n
) dfinie par b
n
= a
n
. Elle est cette fois-ci dcroissante et
converge vers o.
Dune part, on a b
0
= a
0
= b. Dautre part, cette suite (b
n
) vrifie la relation de rcurrence :
( ) ( )
( ) ( )
( ) ( )
( ) ( )
1 1
( ) ( )
( ) ( )
+ +

= = = =

n n n n n n
n n
n n n
b f a aF b b f a af b a F a aF a
b a
F a F a f a F b f a f b
.
Donc dans ce cas, la suite dfinie par b
0
= b et la relation de rcurrence
( ) ( )
( ) ( )
1 +

=
n n
n
n
b f a af b
b
f a f b

converge vers o en dcroissant.
Il en est de mme du cas 4, qui se ramne au cas 2 en considrant la fonction f comme on la vu plus
haut.
En conclusion, deux cas sont envisager :
lorsque ff > 0, la suite (a
n
) dfinie par
0 1
( ) ( )
et
( ) ( )
+

= =
n n
n
n
a f b bf a
a a a
f b f a
converge en
croissant vers la solution o de lquation f(x) = 0 ;
lorsque ff < 0, la suite (b
n
) dfinie par
0 1
( ) ( )
et
( ) ( )
+

= =
n n
n
n
b f a af b
b b b
f a f b
converge en
dcroissant vers la solution o de lquation f(x) = 0.
- Au rsultat prcdent, il reste ajouter un calcul derreur sans lequel les rsultats renvoys nont
aucun sens. Dmontrons le thorme suivant :
Thorme
Soit f une fonction
continue strictement monotone sur [a ; b], telle que f(a) f(b) < 0 ;
de classe C
2
sur lintervalle [a ; b] telle que f soit de signe constant.
Alors, si o dsigne le zro de la fonction, pour tout entier n on a
0
o o s
n
n
a k a
o
( )
2
1
max ,
2
o o
=
b a M
k
m
avec
| |
( )
2
,
sup ''
e
=
x a b
M f x et
| |
( )
1
,
inf '
e
=
x a b
m f x .
Plus prcisment, dans le cas o ff > 0, nous montrerons que
2
1
2
o
=
M b
k
m
et dans le cas o
ff < 0,
2
1
2
o
=
M a
k
m
do la formulation gnrale du thorme avec
( )
2
1
max ,
2
o o
=
b a M
k
m
.
Si on ne veut pas faire intervenir la valeur o que lon cherche calculer, on peut aussi prendre comme
valeur de k :
2
1
2
=
M b a
k
m
.
Dmonstration
Plaons-nous dans le cas o f > 0 et f > 0, les autres sy ramenant.
On peut crire :
( )
1 +
=
n n
x g x
o g est la fonction dfinie sur [a ; b[ par ( )
( ) ( )
( ) ( )
xf b bf x
g x
f b f x
.
Cherchons majorer lexpression ( ) o g x o x est un lment fix de [a ; b[.
Remarquons que :
( )
( ) ( )
( ) ( )
( ) ( ) ( ) ( )
( ) ( )
( )
( ) ( )
o o
o o

= =

=
xf b bf x x f b b f x
g x
f b f x f b f x
x
f b f x

en posant ( ) ( ) ( ) ( ) ( ) o o = x x f b b f x qui contrairement g peut tre dfinie sur lintervalle
ferm [a ; b].
Remarquons que :
( ) ( ) ( ) ( ) ( ) 0 o o o o o = = f b b f et ( ) ( ) ( ) ( ) ( ) 0 o o = = b b f b b f b .
Enfin il est clair que est deux fois drivable sur [a ; b] et que lon a :
( ) ( ) ( ) ( ) ' ' o = x f b b f x et ( ) ( ) ( ) '' '' o = x b f x .
Occupons-nous en premier de ce qui semble le plus vident. Daprs le thorme des accroissements
finis, dont les hypothses sont clairement vrifies, on sait quil existe un rel d compris strictement
entre b et x tel que :
( ) ( ) ( )( ) ' = f b f x f d b x
do lon dduit : ( ) ( )
1
> f b f x m b x
puis pour a x < b :
( ) ( )
1
1 1 1
s
m b x f b f x
. (1)
Il reste maintenant majorer
( )
x . Soit x un rel donn de lintervalle [a ; b[ et diffrent de o.
partir de et des proprits que lon vient de mettre en vidence, cherchons construire une autre
fonction u de la variable t, qui sannulerait en o, b et x, par exemple sous la forme :
( ) ( ) ( ) ( )
t t x p t u = +
o p est une fonction qui reste dterminer
22
. Le but est de pouvoir appliquer le thorme de Rolle
sur cette fonction u.
Le fait que u sannule en o et b impose quil en soit de mme pour p : on peut alors prendre pour p le
polynme
( ) ( )( )
p t k t t b o = .
Enfin on aura
( )
0 x u = si p prend la valeur 1 en x, en prenant donc
( ) ( )
1
k
x x b o
=

23
.
Bref, considrons lapplication u dfinie pour t lment de [a;b] par
( )
( )
( )( )
( )( ) ( )

o
o
u =

x
t t t t b
x x b
o x est un rel fix de lintervalle [a ; b[ et
diffrent de o.
Il est clair que u est de classe C
2
sur cet intervalle.
Comme ( ) ( ) ( ) 0 o u = u = u = x b , on peut appliquer en cascade le thorme de Rolle, dont les
hypothses sont clairement vrifies.
Premire tape: il existe un rel u dans lintervalle ouvert dextrmits o et x, et un rel v dans
lintervalle ouvert dextrmits x et b tels que

22
Nous essayons dviter la dsagrable mthode qui consiste sortir de son chapeau de magicien la bonne fonction qui rgle tous les
problmes !
23
Ces mthodes ne sont pas sans rappeler celles que lon met en uvre pour dterminer un polynme dinterpolation.
( ) ( ) ' ' 0 u = u = u v .
Deuxime tape : une nouvelle application du thorme de Rolle de la drive vers la drive
seconde montre lexistence dun rel c dans lintervalle ouvert dextrmits u et v tels que :
( ) '' 0 u = c .
Il existe donc c strictement compris entre u et v, donc dans lintervalle ]a ; b[, tel que ( ) '' 0 u = c soit :
( )
( )
( )( )
2
''

o
=

x
c
x x b

ce qui peut encore scrire, compte tenu de lexpression de :
( ) ( )
( )
( )( )
2
''

o
o
=

x
b f c
x x b
.
ou encore :
( ) ( )( )( ) ( )
1
''
2
o o = x b x x b f c .
Lgalit est a priori valable pour x o = (et x b = ) ; elle demeure de faon vidente si x o = (ou si
x b = ).
Par suite, pour x appartenant [a ; b], tenant compte de la dfinition de M
2
, on peut crire :
( )
( )( )
2
2
o
o

s
b x b
x M x (2)
Si lon fait le produit membre membre des ingalits (1) et (2) obtenues prcdemment, ingalits
qui concernent des nombres rels positifs, on peut en dduire :
( )
( ) ( )
2
1
2
o
o
x M b
x
f b f x m
pour ; x a b e

soit :
( )
2
1
2
o
o o
s
M b
g x x
m
pour ; x a b e

.
On en dduit immdiatement le thorme. En effet, appliquons lingalit prcdente a
n
lment de
| | | | ; ; o c a a b pour obtenir :
( )
2
1
1
2
o
o o
+

s
n n
b M
a a
m

Puis de proche en proche, ou par rcurrence,
0
o o s
n
n
a k a avec
2
1
2
o
=
M b
k
m
qui est bien
lingalit dmontrer.

Autre majoration possible
La dmonstration propose est certes correcte, mais longue car nous avons fait le choix dexpliquer
do sortait la fonction u
24
. On peut aussi procder diffremment. La dmonstration qui suit a
lavantage de la simplicit mais conduit une majoration un peu moins bonne de lerreur.
Plaons-nous dans le cas o ' '' 0 f f > . Dans ce cas, on travaille comme on la vu avec une suite (a
n
)
et lon peut alors crire :
( ) ( ) ( )
1
( ) ( )
( ) ( )
( ) ( ) ( ) ( )
( )
( )
( ) ( )
( ) ( )
+
+
= =

= =

n n n n
n n
n
n n
n n
n n n
n
n
n
a f b f a a b f a
a f b bf a
a
f b f a f b f a
b a f a
a f a a
f b f a
f b f a
b a

Daprs le thorme des accroissements finis appliqu f sur lintervalle ;
n
a b (

les hypothses de
ce thorme sont clairement vrifies il existe une valeur u
n
de lintervalle ;
n
a b (

telle que :
( )
( ) ( )
' u
n
n
n
f b f a
f
b a

si bien que
( )
1
( )
' u
+
=
n
n n
n
f a
a a
f
.
Par suite :
( )
( )
( ) ( )
( )
( ) ( )
( )
1
'
' ' '
o o c
o o o o
u u u
+

= + = + = +
n n n n
n n n n
n n n
f a f a f a f
a a a a
f f f

avec c
n
dans lintervalle ;
n
a o (

, daprs encore une fois le thorme des accroissements finis
appliqu f sur lintervalle ;
n
a o (

.
On arrive finalement :
( )
( )
( )
( )
( ) ( )
( )
( )
( ) ( )
( )
1
' ' '
1
' '
''
.
'
c u c
o o o
u u
u c
o
u
+
| |
= =
|
|
\ .
=
n n n
n n n
n n
n n n
n
n
f f f
a a a
f f
f
a
f

o
n
est un rel compris entre u
n
et c
n
, et donc contenu dans lintervalle ]a
n
; b[, daprs le thorme
des accroissements finis appliqus f sur lintervalle limit par u
n
et c
n.

On en dduit donc la majoration :
( )
2
1
1
. o o
+

s
n n
b a M
a a
m

Le coefficient nest pas tout fait le mme,
( )
2
1
b a M
m
au lieu de
( )
2
1
2
b a M
m
mais sans doute le
raisonnement est-il plus simple.

24
Pour faire plus vite, il suffit simplement de mmoriser cette fonction !
4.4 Un algorithme lorsque ff > 0
Mettons en uvre lalgorithme qui se dduit du thorme prcdent, dans le cas finalement o
ff > 0 (si ce nest pas le cas, on peut toujours sy ramener comme on la vu plus haut). Il suffit juste
de calculer les termes successifs de la suite (a
n
) par exemple en utilisant la relation :
1
( ) ( )
( ) ( )
+

=
n n
n
n
a f b bf a
a
f b f a
,
puisque la deuxime suite (b
n
) est constante.
On pourra aussi utiliser lexpression quivalente :
( )
1
( )
( ) ( )
+

=
n n
n n
n
f a b a
a a
f b f a
.
En paramtres dentre, on peut indiquer les bornes a et b, ainsi quune erreur maximale e que lon
cherche ne pas dpasser. On rappelle que ( ) o s
n
n
a k b a avec
2
1
2
=
M b a
k
m
.
Ce dernier coefficient doit tre calcul au dbut du programme. Son calcul la main serait fastidieux
mais puisque la TI-Nspire peut le prendre en charge, ne nous privons pas : appuyons-nous sur les
fonctions minimum et maximum, qui figurent dans le catalogue, et sur les possibilits de calcul
formel de notre calculatrice
25
. Pour information, on peut demander laffichage de k au dbut de notre
fonction par Disp.
Le programme proprement dit est constitu dune boucle While dont on sort lorsque ( )
n
k b a est
infrieur e : dans ce cas on aura bien o s
n
a e.
Pour information, le nombre dtapes de litration, mmoris dans la variable n, est affich la fin de
la fonction.

25
Voir lannexe de ce chapitre.
Avec lquation de Fibonacci sur laquelle nous travaillons, nous obtenons les rsultats suivants,
peine meilleurs, si lon regarde le nombre ditrations que la dichotomie :

Au demeurant, on peut lgrement augmenter la performance de cet algorithme
26
et le dmarquer un
peu plus nettement de la dichotomie, en partant dun encadrement plus serr, par exemple 1,3 et 1,4 :

Le coefficient k est alors denviron 0,3, indiquant une convergence un peu plus rapide.
Avec cet algorithme, et sans doute aussi lexemple que nous avons choisi, pas question dobtenir des
valeurs approches fractionnaires trs prcises : on passe trs rapidement au mode approch dans les
calculs.

26
prcision gale, le nombre dtapes diminue.
Signalons quune autre approche peut tre mise en uvre, lorsque lon ne veut pas dun calcul
derreur aussi labor que le prcdent. On peut alors dcider de sortir de la boucle lorsque la
diffrence entre deux termes conscutifs de la suite (a
n
) est infrieure une erreur e donne
lavance.
On a remarqu plus haut que :
1
( ) ( )
( )
( ) ( ) ( ) ( )
+

= =

n n n
n n n
n n
a f b bf a b a
a a f a
f b f a f b f a

si bien que :
1
( )
( ) ( )
+

=
n
n n n
n
b a
a a f a
f b f a

On peut donc dcider de sortir de la boucle lorsque
1
( )
( ) ( )
+

=
n
n n n
n
b a
a a f a
f b f a
< e.
Outre quelle simplifie le calcul derreur, cette dernire formule prsente lavantage de ne plus faire
intervenir que le terme a
n
.
Mais que
1 +
<
n n
a a e ne garantit aucunement que
1
o
+

n
a soit aussi infrieur e. Prcisons ce
dernier point.
On sait que lingalit
1
o
+
<
n
a e signifie que
1 1
,
n n
a e a e o
+ +
e + (

, condition ralise ds lors
que le produit ( ) ( )
1 1 + +
+
n n
f a e f a e est strictement ngatif. Si cest bien le cas, on peut alors tre sr
que a
n + 1
est une valeur approche de o e prs. Sinon, il est prudent denvoyer un message dalerte
la calculatrice.
Tenant compte des remarques prcdentes, on peut crire la fonction suivante :

Les rsultats sont satisfaisants, comme on peut le voir sur lcran qui suit.
Lalerte de notre fonction apparat une fois pour e = 10
9
: mais si lon demande une erreur peine
plus petite, e =
1
2
10
9
, le problme disparait.
Ce calcul derreur est incontestablement plus simple, mais aussi plus accessible la programmation.

Pour des erreurs plus petites, il faut penser lancer la fonction en mode approche (par exemple en
saisissant 1.0), faute de quoi la calculatrice se perdrait de longues minutes dans des calculs
interminables.
5. La mthode de Newton
5.1 Le principe de la mthode de Newton
Comme prcdemment, on cherche remplacer la courbe reprsentative de f par une droite, ici une de
ses tangentes (en supposant que la fonction soit drivable sur lintervalle considr).

Plus prcisment, si lon part dune approximation a
0
de o, on remplace la courbe reprsentative de f
par sa tangente au point dabscisse a
0
, dont lquation est :
( )( ) ( )
0 0 0
' = + y f a x a f a
Dans le cas, frquent, o cette tangente nest pas parallle laxe des abscisses, cest--dire dans le
cas o ( )
0
' 0 = f a , elle coupe cet axe en un point dabscisse
( )
( )
0
1 0
0
'
=
f a
a a
f a
.
Sous rserve que a
1
soit aussi dans lintervalle [a ; b], on pourra rpter lopration et peut-tre dfinir
la suite rcurrente :
( )
( )
1
'
+
=
n
n n
n
f a
a a
f a

en esprant sa convergence vers o
27
.
5.2 Une premire approche
Comme nous lavons fait pour la mthode de Lagrange, nous pouvons proposer une illustration
graphique avec la TI-Nspire... mais il est vrai que la convergence, quand elle a lieu, semble si rapide
quon voit peine se dessiner plusieurs tapes du procd.

Nous crirons un programme, selon les mmes principes que prcdemment :
dans lapplication Calculs, on mmorise dans notre fonction f(x) ; on initialise {} deux listes
xx et yy, variables globales qui nous serviront construire le nuage de points permettant de
reconstituer la mthode ;
dans une fentre Graphiques, on demande la reprsentation graphique de la fonction f avec
un rglage de fentre quelconque, qui sera prcis le moment venu par le programme ;
on fait apparatre, si elles sont caches, les extrmits des axes et on les mmorise dans les
variables xmin, xmax, ymin, ymax ;
on demande la reprsentation graphique, pour le moment vide, du nuage de points dont les
abscisses sont xx et les ordonnes yy.

27
rapprocher de la formule de la mthode de Lagrange,
1
( )
( ) ( )
+

=
n
n n n
n
b a
a a f a
f b f a
: cela revient remplacer la droite joignant le
point ( ) ( )
,
n n n
A a f a au point B par la tangente la courbe en An.
En entre du programme, on demande les bornes de lintervalle dtude, a et b, ainsi que la valeur
intiale choisie a0 et le nombre n dtapes demandes dans la construction.
On partage la fentre en deux : dans la partie infrieure, on peut alors faire afficher lapplication
Calculs et commander les changements de variables et lappel de newtong. On obtient le rsultat ci-
contre, illustrant une convergence qui semble rapide :

Remarque
Testons notre programme graphique dans le cas o la fonction considre nest pas strictement
monotone : le comportement de la suite devient alors plus difficile apprhender.

Jusqu mme parfois ne plus converger :

ou pire encore ne plus tre dfinie :

Bref, l encore, il vaut mieux tre prudent. Comme pour la mthode de Lagrange, nous nous
limiterons au cas dune fonction f convexit constante sur son intervalle dtude.

5.3 Cas dune fonction convexit constante
Thorme
Soit f une fonction de [a ; b] dans avec f(a) f(b) < 0, de classe C
2
sur [a ; b] et telle que
ff ait un signe constant sur [a ; b].
Dans ces conditions :
1) si ff > 0 (resp. ff < 0), alors pour tout choix de a
0
tel que f(a
0
)f''(a
0
)0, la suite (a
n
)
converge en dcroissant (resp. en croissant) vers lunique zro o de f sur [a ; b] ;
2) Dans les hypothses du thorme prcdent, on peut crire, pour tout entier n :
( )
2
2 1
0
o o
s
n
n
n
a k a o
2
1
2
=
M
k
m

avec
| |
2
,
sup '' =
a b
M f et
| |
1
,
inf ' =
a b
m f
Dmonstration
De la mme faon que prcdemment, on se ramne au cas o f > 0 et f > 0. Nous ninsisterons pas
sur ce point.
Comme la fonction f est strictement croissante sur [a ; b], on a f(a) < 0 < f(b) ; tant de plus continue
sur cet intervalle, on est sr de lexistence et lunicit de o, solution de lquation f(x) = 0.
Posons
( )
( )
'( )
=
f x
g x x
f x
pour x quelconque lment de [a ; b].
28

On a
( ) '( ) ( )
( )
( )
'( ) '( )
o
o o

= =
x f x f x
f x
g x x
f x f x
.
Remarquons dune part, que si x o, alors g(x) x car
( )
( )
( )
'
=
f x
g x x
f x
0.
Dautre part, appliquons la formule de Taylor-Lagrange la fonction f de classe C
2
sur le segment
dextrmits x et o (en supposant x = o).
Il existe un rel c
x
, dpendant de x, strictement compris entre o et x tel que :
( ) ( ) ( ) ( )
( )
( )
2
' ''
2
o
o o

= + +
x
x
f f x x f x f c
Mais
( )
f o est par ailleurs gale 0.
Par suite :
( ) ( ) ( )
2
'( ) ( ) ''
( )
'( ) 2 '( )
o o
o

= =
x
x f x f x x f c
g x
f x f x
29
.
Cette galit montre que si x > o, alors g(x) o > 0 donc g(x) > o.
Revenons la suite (a
n
). Son terme initial doit tre choisi de telle sorte que f(a
0
) ait le mme signe que
f(a
0
) > 0 : a
0
est donc choisi dans lintervalle ; b o ( (

.
Daprs les proprits prcdentes, on peut affirmer que
( )
0 0
f a a o < s soit que
1 0
a a o < s

28
La drive ne sannule jamais sur [a ; b] puisque la drive f est suppos tre strictement positive sur cet intervalle.
29
Cette galit est aussi vraie pour x = o.
De proche en proche, ou par une rcurrence immdiate, on peut alors dmontrer que pour tout entier
naturel n,
1 n n
a a o
+
< s . En particulier, on en dduit que la suite (a
n
) est dcroissante et minore par
o. Elle converge donc vers la solution de lquation de lquation g(x) = x, qui nest autre que la
solution de f(x) = 0, soit x = o.
Montrons maintenant lingalit du thorme.
( )
( )
( )
( )
2 2
2
2
1
1
''
( )
2 '( ) 2
o o
o o o
+

= = s =
n
a
n n
n n n
n
f c
a a M
a g a k a
f a m

Le rsultat annonc sen dduit de proche en proche. En effet :
( ) ( ) ( ) ( )
2 4 8 2
3 7 2 1
1 2 3 0
... o o o o o

s s s s
n
n
n n n n
a k a k a k a k a
Une rcurrence permet bien sr de formaliser cette dmonstration.
5.4 Un algorithme lorsque ff > 0
Le thorme prcdent conduit lcriture dune fonction, dont la structure est trs proche de celle
que lon a crite dans le paragraphe prcdent.
Remarquons que lon peut simplifier le test derreur en encadrant au pralable o entre deux entiers
conscutifs. On a alors
0
o a infrieur 1,ce qui permet dcrire :
( )
2
2 1 2 1
0
o o

s s
n
n n
n
a k a k .

Les rsultats sont obtenus rapidement (6 tapes pour une erreur moindre que 10
-20
), mais, comme pour
la mthode de Lagrange, les fractions explosent trs vite et empchent trs rapidement tout calcul en
mode exact.

La qualit de la convergence est lie la majoration que lon a obtenue. Une ingalit du type
suivant :
( )
2
1
o o
+
s
n n
a k a
permet dtre sr que si par exemple on sait que 10 o

s
p
n
a o p est un entier naturel, alors
( )
2
2
1
10 o o

+
s s
p
n n
a k a k
30
.
Une telle situation est le signe dune convergence au moins quadratique.

30
la louche, on peut dire que si une tape on a p dcimales exactes, ltape suivante, on en a 2p. Le nombre de dcimales exactes
double chaque itration.
ANNEXE : Maximum et minimum dune fonction
Si lutilisation des minimum et maximum est courante en analyse nous venons de le montrer dans ce
chapitre , aucune fonction de la TI-Nspire nen prvoit un calcul direct... Il existe toutefois deux
fonctions, trs proches de ce que lon cherche, qui, peine modifies, vont nous rendre un grand
service : il sagit de fMax et de fMin. Les fonctionnements de ces deux instructions tant identiques
et symtriques, nous ne nous intresserons qu la premire.
En fait, fMax donne labscisse, ventuellement infinie, correspondant au(x) maximum(s), dune
fonction sur son ensemble de dfinition, ou dune expression algbrique, comme le montre lcran
suivant :

Pour le sinus, on retrouve bien les valeurs 2
2
k
t
t + avec k entier, car n10 dsigne sur une TI-Nspire
une variable entire. Si les rsultats sont bien souvent satisfaisants, ils peuvent parfois susciter
quelques interrogations : par exemple, pour la fonction tangente, on attendrait plutt
2
t
donc environ
1,5708 et non son oppos ! Au demeurant, cela sexplique aussi par le fait que 1,5707963267991 est
une valeur approche par dfaut de
2
t
; sa tangente est donc bien un grand nombre.
Bien entendu, on peut aussi imposer x dappartenir un intervalle donn
31
, comme dans lcran ci-
dessous, avec des rsultats dans lensemble satisfaisants :

31
Cela correspond nos besoins dans la rsolution approche des quations ou dans le calcul approch dune intgrale.
Bref, cest bien la fonction qui nous intresse, mais il faut simplement la modifier pour quelle donne,
non pas les abscisses ventuelles des maxima, mais les maxima eux-mmes.
Comment donc rcuprer le maximum proprement dit ? Simplement en calculant limage des
abscisses obtenues par la fonction considre.
Dans le cas o une seule valeur est renvoye, le calcul est immdiat : il suffit de rcuprer la valeur
renvoye par fMax, et de lappliquer la fonction considre :

Mais cela ne fonctionne pas toujours car il peut y avoir plusieurs abscisses :

Il faut donc procder autrement, en transformant au pralable le rsultat obtenu en liste, comme le
montre les exemples ci-dessous :

Le reste est trs simple : il suffit de calculer limage dun des lments de la liste par la fonction
considre pour avoir le maximum. Si jamais la liste tait vide
32
, pour viter une erreur, on peut
toujours renvoyer le plus grand des deux nombres f(a) et f(b).
On peut alors crire la fonction suivante :

On suppose systmatiquement que f est une expression de la variable x. Pour calculer f(k), on utilise
linstruction f|x=k, et non f(k), car f nest pas une fonction au sens du langage de programmation.
Dfinie en LibPub et enregistre dans le dossier MyLib, la fonction maximum quon vient dcrire
sera accessible partir du catalogue depuis nimporte quel autre classeur.
Les rsultats sont conformes notre attente, mme en utilisant des valeurs comme ou :

32
Cela arrivait dans les versions prcdentes mais ce problme semble avoir disparu. Rien nempche cependant de conserver cette scurit.

On remarque la possibilit de calculer le maximum dune drive n
e
sur un intervalle quelconque.
Outil que nous avons beaucoup utilis dans ce chapitre. Nous le retrouverons loccasion du calcul
approch dintgrales.
Evidemment, Il reste prudent sinon de vrifier un rsultat renvoy par la calculatrice, du moins de
sassurer de sa cohrence.
Bien videmment, la fonction minimum se dduit immdiatement de celle quon vient dcrire
mutatis mutandis.

Résolutiondes Equations approchées13-equations-TNS21

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Résolutiondes Equations approchées13-equations-TNS21

Transféré par

Droits d'auteur :

Formats disponibles

Christian Vassard (IUFM Rouen)

Vous aimerez peut-être aussi