Le signe "moins" devant la dérivée de

ne devrait pas y être. Un extrait de résumé de cours que j'avais écrit dans le temps :
Soit

. La
suite de Sturm de 
est la suite de polynômes obtenus dans l'algorithme d'Euclide pour la recherche du pgcd de

et de son polynôme dérivé

, à ceci près que l'on prend à chaque fois
l'opposé du reste de la division euclidienne, au lieu de prendre le reste:

,

,

l'opposé du reste de la division euclidienne de

par

pour

,

le dernier polynôme non nul obtenu (un pgcd de

et

).
Si

n'est pas une racine de

, on pose
 =)
le nombre de changements de signe dans la suite des valeurs
,P_1(a),\ldots,P_N(a))
. On compte un changement de signe quand
P_{k+1}(a)<0)
, ou quand
P_{k+\ell}(a)<0)
et que
=\ldots=P_{k+\ell-1}(a)=0)
.
Théorème de Sturm Soient

deux nombres réels qui ne sont pas racines de

. Alors le nombre de racines réelles distinctes de

dans

est égal à
-v_P(b))
.
Exemple: la suite de Sturm de

est

,

,

. On a
=2)
,
=1)
,
=0)
. On sait bien qu'il y a une racine de

dans

et une dans

.