Descartes’ rule of signs
Descartes’s rule of signs is a method for determining the number of positive or negative roots of a polynomial.
Let be a polynomial with real coefficients such that .
Define to be the number of variations in sign of the sequence of coefficients . By ’variations in sign’ we mean the number of values of such that the sign of differs from the sign of , as ranges from down to 1.
For example, consider . The coefficients are , so there are 2 variations in sign (since the sign of differs from that of , which in turn differs from that of .)
Then the number of positive real roots of is for some integer satisfying .
The number represents the number of irreducible factors of degree in the factorization of . Thus if is known that splits over the real numbers.
The number of negative roots of may be obtained by the same method by applying the rule of signs to .
History
This result is believed to have been first described by Réné Descartes in his 1637 work La Géométrie. In 1828, Carl Friedrich Gauss improved the rule by proving that when there are fewer roots of polynomials than there are variations of sign, the parity of the difference between the two is even.
Example
Let . Looking at the list of coefficients, we have , so there is only one variation in sign (from to ).
Thus . Since then we must have . Thus and so there is exactly one positive real root of .
To find the negative roots, we examine . The coefficient list is , so here are are two variations in sign (from to and to . Thus and so .
Thus we have two possible solutions, and , and two possible values of . Therefore there are either two negative real roots or none at all.
We note that , hence there is at least one negative root. Therefore there must be exactly two.
Title | Descartes’ rule of signs |
---|---|
Canonical name | DescartesRuleOfSigns |
Date of creation | 2013-03-22 14:28:31 |
Last modified on | 2013-03-22 14:28:31 |
Owner | PrimeFan (13766) |
Last modified by | PrimeFan (13766) |
Numerical id | 14 |
Author | PrimeFan (13766) |
Entry type | Theorem |
Classification | msc 26C10 |
Classification | msc 26A06 |