Beruflich Dokumente
Kultur Dokumente
Le comte Joseph Louis Lagrange, mathmaticien franais est n en 1736 et est mort en 1813 .
On cherche, dans ce paragraphe, une expression du polynme de degr au plus n prenant les mmes valeurs quune fonction
donne en n + 1 points deux deux distincts donns, puis tudier lerreur commise en cherchant la minimiser .
(o i,j
Soit i un entier naturel lment de J0, nK donn. Le polynme Li est de degr au plus n et admet les n complexes deux
deux distincts xj , j 6= i, pour racines. Par suite, ncessairement, il existe une constante C telle que
Li = C
(X xj ).
j6=i
1
Lgalit Li (xi ) = 1 fournit alors C = Y
et donc ncessairement
(xi xj )
j6=i
Li =
Y X xj
.
xi xj
j6=i
Y
j6=i
X xj
xi xj
alors Li est bien dfini car les xj sont deux deux distincts,
de degr n exactement et enfin les polynmes Li vrifient clairement les galits de dualit : (i, j) J0, nK2 , Li (xj ) = i,j .
Soient n un entier naturel puis x0 , x1 , . . . , xn , (n + 1) complexes deux deux distincts donns.
Il existe une et une seule famille, note (Li )0in , de (n + 1) polynmes de degr au plus n vrifiant :
(i, j) J0, nK2 , Li (xj ) =
i,j .
Y X xj
.
De plus : (i, j) J0, nK2 , Li =
xi xj
j6=i
i Li = 0 j J0, nK,
n
X
i=0
n
X
i=0
Donc la famille (Lk )0kn est une famille libre de Cn [X]. Comme card(Lk )0kn = n + 1 = dim(Cn [X]) < +, la famille
(Lk )0kn est une base de Cn [X].
La famille (Lk )0kn est une base de Cn [X].
http ://www.maths-france.fr
n
X
i Li .
i=0
n
X
i Li (xj ) =
i=0
n
X
i i,j = j .
i=0
Ainsi,
On a montr que
n
X
P(xi )Li ,
i=0
et aussi que
Soient n un entier naturel, x0 , . . . , xn , (n + 1) complexes deux deux distincts et y0 , . . . , yn , (n + 1) complexes.
Il existe un et un seul polynme P de degr au plus n vrifiant j J0, nK, P(xj ) = yj savoir
n
n
X
X
Y X xj
.
P=
yi Li =
yi
xi xj
i=0
i=0
j6=i
5) Polynmes de degr au plus 2 prenant des valeurs donnes en des points donns
Cas o n = 1. Soient x0 et x1 deux complexes distincts et soient y0 et y1 deux complexes. Le polynme de degr au
plus 1 qui vrifie P(x0 ) = y0 et P(x1 ) = y1 est
P = y0
http ://www.maths-france.fr
X x0
f(x1 ) f(x0 )
X x1
+ y1
=
(X x0 ) + y0 .
x0 x1
x1 x0
x1 x0
Cas o n = 2. Soient x0 , x1 et x2 trois complexes deux deux distincts et soient y0 , y1 et y2 trois complexes. Le
polynme de degr au plus 2 qui vrifie P(x0 ) = y0 , P(x1 ) = y1 et P(x2 ) = y2 est
P = y0
(X x0 )(X x2 )
(X x0 )(X x1 )
(X x1 )(X x2 )
+ y1
+ y2
.
(x0 x1 )(x0 x2 )
(x1 x0 )(x1 x2 )
(x2 x0 )(x2 x1 )
De plus,
1
1
1
+ y1
+ y2
6= 0
(x0 x1 )(x0 x2 )
(x1 x0 )(x1 x2 )
(x2 x0 )(x2 x1 )
(x1 x2 )y0 + (x2 x0 )y1 + (x0 x1 )y2 6= 0 (x2 x0 )(y1 y0 ) (y2 y0 )(x1 x0 ) 6= 0
deg(P) = 2 y0
par trois points non aligns, il passe une parabole et une seule.
j J0, nK, Xj =
n
X
xji Li .
i=0
Ainsi la matrice de la base canonique (1, X, . . . , Xn ) dans la base (L0 , L1 , ..., Ln ) est la matrice (xji )0i,jn . On reconnait
la matrice de Vandermonde des xi , i J0, nK.
La matrice de passage de la base (Li )0in la base (Xj )0jn est la matrice de Vandermonde (xji )0i,jn
associe la famille (xi )0in .
i=0
j6=i
On note dornavant Lf,n le polynme prcdent et on tudie lerreur commise f(x) Lf,n (x) pour x lment de [a, b]
quand f est une fonction de classe Cn+1 sur [a, b].
Soit x un rel fix de [a, b] distinct des xi . On note N le polynme
n
Y
k=0
(t) = f(t) Lf,n (t) A N(t) o A est choisi de sorte que (x) = 0,
(ce qui est possible puisque x est distinct des xi et donc N(x) 6= 0).
Puisque f est de classe Cn+1 sur [a, b] valeurs dans R et que Lf,n et N sont des polynmes, est encore de classe
Cn+1 sur [a, b]. Maintenant, sannule en les (n + 2) rels deux deux distincts x, x0 ,..., xn de [a, b] (puisque i
J0, nK, f(xi ) = Lf,n (xi ) et que N(xi ) = 0) et est de classe Cn+1 sur [a, b].
http ://www.maths-france.fr
Le thorme de Rolle montre alors que sannule en au moins (n + 1) rels deux deux distincts de ]a, b[ (une fois dans
chacun des (n + 1) intervalles ouverts dfinis par x et les xi ). En ritrant ce raisonnement, pour tout entier k lment de
J0, n + 1K, (k) sannule en (n + 2 k) rels deux deux distincts de ]a, b[. En particulier, (n+1) sannule en au moins
un rel de ]a, b[ not cx .
Maintenant, puisque Lf,n est de degr au plus n et que N est unitaire de degr (n + 1),
(n+1) = f(n+1) A (n + 1)!
et lgalit (n+1) (cx ) = 0 scrit encore
A=
f(n+1) (cx )
.
(n + 1)!
f(n+1) (cx )
N(x).
(n + 1)!
Ce rsultat reste clair si x est lun des xi car, dans ce cas, f(x) Lf,n (x) et N(x) sont nuls de sorte que nimporte rel cx
de ]a, b[ convient. Donc :
Soit n un entier naturel. Soient x0 , . . . , xn , (n + 1) rels deux deux distincts dun segment [a, b]
et f une fonction de classe Cn+1 sur [a, b] valeurs dans R.
n
Y
f(n+1) (cx )
x [a, b] \ {x0 , ..., xn } cx ]a, b[/ f(x) Lfn (x) =
(X xi ).
N(x) o N(x) =
(n + 1)!
i=0
http ://www.maths-france.fr