Votre navigateur n'accepte pas le Javascript.La navigation sur ce site risque de ne pas fonctionner correctement.

233. Construction des formules de différences divisées

Dans cet article, $x_1, x_2$ et $x_3$ sont trois nombres réels deux à deux distincts.

Vous vous fixez trois réels quelconques notés $y_1, y_2$ et $y_3$, qui peuvent être identiques ou non.

Vous cherchez à construire un polynôme $P$ tel que $P(x_1)=y_1$, $P(x_2)=y_2$ et $P(x_3) = y_3.$

Vous allez y parvenir en suivant les sections suivantes :

  • La première étape va consister à construire un polynôme $R$ tel que $R(x_1)=y_1$ et $R(x_2)=y_2 ;$
  • La deuxième étape consiste à construire un polynôme $S$ tel que $S(x_2)=y_2$ et $S(x_3)=y_3 ;$
  • La troisième étape va donner le polynôme $P$ à partir des polynômes $R$ et $S$ en leur ajoutant une racine ;
  • La dernière étape permet de trouver une expression plus agréable et plus systématique.

Etape 1 : construisez un polynôme $R$ tel que $R(x_1)=y_1$ et $R(x_2)=y_2$

Analyse

En cherchant ce polynôme sous la forme $R(X)=aX+b$, vous êtes amené à résoudre le système :

\left\{\begin{align*}
ax_1+b&=y_1\\
ax_2+b&=y_2.
\end{align*}\right.

Par soustraction, il vient $ax_1-ax_2 = y_1-y_2$ d’où $a(x_1-x_2)=y_1-y_2$ et comme $x_1\neq x_2$ il est possible de diviser par $x_1-x_2$ ce qui fournit $a = \frac{y_1-y_2}{x_1-x_2}.$

Ce nombre est si important qu’il sera noté dans la suite $P[x_1,x_2].$ Ainsi :

 \boxed{P[x_1,x_2] = \frac{y_1-y_2}{x_1-x_2}.}

$P[x_1,x_2] = \frac{y_1-y_2}{x_1-x_2}.$

Alors il vient $b = y_1 – ax_1 = y_1-P[x_1,x_2] x_1.$

Ainsi un bon candidat pour $R(X)$ est $R(X) = aX+b = P[x_1,x_2] X + y_1 – P[x_1,x_2] x_1 = y_1 + P[x_1,x_2](X-x_1).$

Par souci de cohérence avec le résultat précédent vous notez :

 \boxed{P[x_1] = y_1.}

Synthèse

Posez :

R(X) = P[x_1]+P[x_1,x_2](X-x_1).

En substituant $x_1$, il vient $R(x_1) = P[x_1] = y_1.$

En substituant $x_2$, vous obtenez :

\begin{align*} 
R(x_2)  &= y_1 + \frac{y_1-y_2}{x_1-x_2}\times (x_2-x_1)\\
&= y_1-(y_1-y_2)\\
&=y_2.
\end{align*}

Par conséquent le polynôme $R$ convient bien au problème posé.

Etape 2 : construisez un polynôme $S$ tel que $S(x_2)=y_2$ et $S(x_3)=y_3$

En suivant exactement la même démarche que précédemment, vous posez $P[x_2] = y_2$ et $P[x_2,x_3] = \frac{y_2-y_3}{x_2-x_3}.$

Ainsi, le polynôme $S$ suivant va convenir :

S(X) = P[x_2]+P[x_2,x_3](X-x_2).

Etape 3 : construisez le polynôme $P$ recherché

Vous avez un polynôme $R$ qui vérifie :

\begin{align*}
R(x_1)&=y_1\\
R(x_2)&=y_2.
\end{align*}

Vous avez un polynôme $S$ qui vérifie :

\begin{align*}
S(x_2)&=y_2\\
S(x_3)&=y_3.
\end{align*}

Posez alors $\mathscr{R}(X) = R(X)(X-x_3)$ et $\mathscr{S}(X) = S(X)(X-x_1).$ Du coup :

\begin{align*}
\mathscr{R}(x_1)&=y_1(x_1-x_3)\\
\mathscr{R}(x_2)&=y_2(x_2-x_3)\\
\mathscr{R}(x_3)&=0\\
\mathscr{S}(x_1)&=0\\
\mathscr{S}(x_2)&=y_2(x_2-x_1)\\
\mathscr{S}(x_3)&=y_3(x_3-x_1)\\
\end{align*}

Par soustraction, vous déduisez :

\begin{align*}
\mathscr{(R-S)}(x_1)&=y_1(x_1-x_3)\\
\mathscr{(R-S)}(x_2)&=y_2(x_2-x_3)-y_2(x_2-x_1)\\
\mathscr{(R-S)}(x_3)&=-y_3(x_3-x_1).
\end{align*}

Vous n’obtenez que des multiples de $x_1-x_3$ :

\begin{align*}
\mathscr{(R-S)}(x_1)&=y_1(x_1-x_3)\\
\mathscr{(R-S)}(x_2)&=y_2(x_1-x_3)\\
\mathscr{(R-S)}(x_3)&=y_3(x_1-x_3).
\end{align*}

Comme $x_1\neq x_3$, en divisant, vous obtenez le polynôme cherché :

P(X) = \frac{R(X)(X-x_3)-S(X)(X-x_1)}{x_1-x_3}.

Le coefficient dominant du polynôme $P$ est alors égal à $\frac{P[x_1,x_2]-P[x_2,x_3]}{x_1-x_3}.$

De part l’importance de ce résultat, appelé différence divisée, vous posez :

\boxed{P[x_1,x_2,x_3] = \frac{P[x_1,x_2]-P[x_2,x_3]}{x_1-x_3}.}

Etape 4 : déterminez une expression plus agréable du polynôme $P$

Comme $R$ et $S$ sont de degré $1$, le polynôme $P$ appartient à $\R_2[X].$

Par soustraction, le polynôme $Q = P-R$ appartient aussi à $\R_2[X].$

Or $Q(x_1) = P(x_1)-R(x_1) = y_1-y_1 = 0$ et $Q(x_2) = P(x_2)-R(x_2) = y_2-y_2 = 0$ donc $Q$ admet deux racines distinctes $x_1$ et $x_2$, donc il est factorisable par $(X-x_1)(X-x_2).$ Il existe donc un polynôme $T$ tel que $Q(X)=(X-x_1)(X-x_2)T(X).$ Pour une question de degré, $T$ est constant, sinon $Q$ n’appartiendrait pas à $R_2[X].$

Notez $C = T(X).$ En développant $C(X-x_1)(X-x_2)$ vous déduisez que $C$ est le coefficient dominant de $Q.$

Or il a été vu que ce dernier est $P[x_1,x_2,x_3].$

Donc $Q(X) = P[x_1,x_2,x_3](X-x_1)(X-x_2).$

Comme $P = R+Q$ vous déduisez :

\boxed{P(X) = P[x_1]+P[x_1,x_2](X-x_1)+P[x_1,x_2,x_3](X-x_1)(X-x_2).}

Cette expression est attribuée à Newton.

Prolongement

Soit $n$ un entier naturel supérieur ou égal à $2.$ Considérez $n$ réels deux à deux distincts notés $x_1,\dots,x_n$. Soient $n$ réels $y_1,\dots y_n$ quelconques. Pourriez-vous généraliser en justifiant non seulement de l’existence mais d’un procédé de calcul permettant de déterminer l’expression d’un polynôme $P$ de degré $n+1$ vérifiant $\forall j\in\llbracket 1, n\rrbracket, P(x_j)=y_j$ ?

Partagez!

Diffusez cet article auprès de vos connaissances susceptibles d'être concernées en utilisant les boutons de partage ci-dessous.

Aidez-moi sur Facebook!

Vous appréciez cet article et souhaitez témoigner du temps que j'y ai passé pour le mettre en œuvre. C'est rapide à faire pour vous et c'est important pour moi, déposez un j'aime sur ma page Facebook. Je vous en remercie par avance.

Lisez d'autres articles!

Parcourez tous les articles qui ont été rédigés. Vous en trouverez sûrement un qui vous plaira!