Sturm's theorem for multiple roots. (Q2579667)

Verf. definiert: \(f_0(x)\) sei ein Polynom mit reellen Koeffizienten, \(f_1(x)\) seine Ableitung. Anwendung des Euklidischen Algorithmus auf \(f_0\) und \(f_1\) ergibt (das Vorzeichen jedes Restes wird geändert) die Folge \(f_0\), \(f_1\), \(f_2\),\dots, \(f_{l}\), mit \(f_l\) als größtem gemeinsamen Teiler von \(f_0\) und \(f_{1}\). Division durch \(f_l\) ergibt die Folge \(g_0\), \(g_1\), \(g_{2}\),\dots, 1, die als erste Sturmsche Folge von \(f_0\) bezeichnet werde. Ist \(f_{l}\) nicht konstant, so werde die erste Sturmsche Folge für \(f_{l}\) als zweite Sturmsche Folge für \(f_0\) bezeichnet. Bei Fortsetzung dieses Verfahrens sei \(S_k(x)\) die Anzahl der Zeichenwechsel in der \(k\)-ten Sturmschen Folge für den Wert \(x\). Dann wird bewiesen: Die Anzahl der Wurzeln im Intervall \(a<x\leqq b\) ist \(S(a)-S(b)\), wobei eine Wurzel der Vielfachheit \(k\) als \(k\) Wurzeln gerechnet wird, und, wenn \(f(a)f(b) \neq 0\) ist und eine Wurzel der Vielfachheit \(k\) als \(k\) Wurzeln gerechnet wird, so ist die Anzahl der Wurzeln im Intervall \(a\), \(b\) gleich dem Verlust an Vorzeichenwechseln in der erweiterten Sturmschen Folge. Dabei ist: \(S(x) = S_1(x) + \dots + S_p(x)\), wobei die letzte Sturmsche Folge die \(p\)-te ist. Eine erweiterte Sturmsche Folge entsteht folgendermaßen: Ist der Rest in der Division \(f_{j-2}\!:\!f_{j-1}\) von Null verschieden, so nimmt man ihn mit geändertem Vorzeichen als \(f_j\). Ist er gleich Null und \(f_{j-1}'\neq0\), so nimmt man \(f_{j-1}'\) als \(f_j\). Ist \(f_{j-1}\) eine von Null verschiedene Konstante, so bricht man die Folge bei \(f_{j-1}\) ab, und es gibt kein \(f_j\) mehr.