Descartes' rules of signs
source link: https://siongui.github.io/2018/01/16/descartes-rules-of-signs/
Go to the source link to view the article. You can view the picture content, updated content and better typesetting reading experience. If the link is broken, please click the button below to view the snapshot at that time.
Descartes' rules of signs
January 16, 2018
Hard to believe that I don't remember seeing Descartes' rules of signs before -- you'd think this is impossible given the time I spent on those kinds of things in middle school. Anyways, it says:
If the terms of a single-variable polynomial with real coefficients are ordered by descending variable exponent, then the number of positive roots of the polynomial is either equal to the number of sign differences between consecutive nonzero coefficients, or is less than it by an even number. Multiple roots of the same value are counted separately.
Proof:
By induction on the number of positive roots. All zero coefficients are ignored here. The base case is a polynomial f(x)f(x) without any positive root. Clearly the first and last cofficients must have the same sign, as otherwise f(x)f(x) has a positive root between 00 and ∞∞. So the base case is resolved.
Now, let g(x)=f(x)(x−a)g(x)=f(x)(x−a) with a>0a>0. It is not hard to observe that the number of sign changes increases at least 11, with parity altered.
Q.E.D.
post by Shen-Fu Tsai
Recommend
About Joyk
Aggregate valuable and interesting links.
Joyk means Joy of geeK