Sturm's Theorem for Polynomials

Initializing live version
Download to Desktop

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 .


By subdividing an interval until every subinterval contains at most one root, one can locate subintervals containing all the real roots in the original interval.


Contributed by: Izidor Hafner (January 2017)
Open content licensed under CC BY-NC-SA



The Sturm chain of a polynomial is the sequence of polynomials:



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.

Feedback (field required)
Email (field required) Name
Occupation Organization
Note: Your message & contact information may be shared with the author of any specific Demonstration for which you give feedback.