Sturm's Theorem for Polynomials

Requires a Wolfram Notebook System
Interact on desktop, mobile and cloud with the free Wolfram Player or other Wolfram Language products.
Let be the number of real roots of an algebraic equation with real coefficients whose real roots are simple over an interval
and are not
or
. Then
, the difference between the number of sign changes of the Sturm chain evaluated at
and at
.
Contributed by: Izidor Hafner (January 2017)
Open content licensed under CC BY-NC-SA
Snapshots
Details
The Sturm chain of a polynomial is the sequence of polynomials:
,
where
p2(x)= q1(x)p1(x)-p0(x),&IndentingNewLine;p3(x)=q2(x)p2(x)-p1(x),&IndentingNewLine;…&IndentingNewLine;ps(x)=qs-1(x)ps-1(x)-ps-2(x).
Here and
are the polynomial quotient and remainder of
. The chain ends when the polynomial
is a constant.
Permanent Citation