Forum de mathématiques - Bibm@th.net

Bonjour, voici notre problème:

Soit P(x) un polynôme (à coefficients réels) n'ayant que des racines simples.

La suite de Sturm de ce polynôme est une suite de polynômes qui permet de déterminer le nombre de racines de P dans un intervalle donné. Elle est définie de la façon suivante : on écrit P0(x)=P(x), et P1(x)=P'(x), où P' est le polynôme dérivé de P.

Pour calculer P2, on écrit alors
P0(x)=P1(x)Q1(x)-P2(x),
où le degré de P2 est strictement inférieur à celui de P1.

En d'autres termes, P2 est l'opposé du reste dans la division euclidienne de P0 par P1. Puis on recommence pour calculer P3 :
P1(x)=P2(x)Q2(x)-P3(x),
et ainsi de suite...

On s'arrête lorsqu'on obtient un polynôme constant Pn, ce qui arrive forcément puisque les degrés des polynômes obtenus décroissent à chaque division.
La suite de Sturm du polynôme P est alors : S(x)=(P0(x),P1(x),...,Pn(x)).

Ensuite, pour chaque x, on note V(x) le nombre de changements de signes dans la suite V(x).

Le théorème de Sturm s'énonce à présent ainsi :
Le nombre de racines de P dans l'intervalle [u,v] est égal à la différence V(u)-V(v).

Nous devons démontrer ce théorème mais nous sommes bloqués.
Nous comprenons avec un exemple mais nous restons bloquées au changement de signes dans le cas général.

Merci d'avance pour votre aide.