{"id":343,"date":"2019-06-26T23:41:20","date_gmt":"2019-06-26T23:41:20","guid":{"rendered":"http:\/\/funfacts.104.42.120.246.xip.io\/?page_id=343"},"modified":"2019-11-18T23:41:32","modified_gmt":"2019-11-18T23:41:32","slug":"descartes-rule-of-signs","status":"publish","type":"page","link":"https:\/\/math.hmc.edu\/funfacts\/descartes-rule-of-signs\/","title":{"rendered":"Descartes&#8217; Rule of Signs"},"content":{"rendered":"\n<p>Given a&nbsp;polynomial&nbsp;such as:<\/p>\n\n\n\n<p>x<sup>4<\/sup>&nbsp;+ 7x<sup>3<\/sup>&nbsp;&#8211; 4x<sup>2<\/sup>&nbsp;&#8211; x &#8211; 7<\/p>\n\n\n\n<p>it is possible to say anything about how many positive real roots it has, just by looking at it?<\/p>\n\n\n\n<p>Here&#8217;s a striking theorem due to Descartes in 1637, often known as &#8220;Descartes&#8217; rule of signs&#8221;:&nbsp;<em>The number of positive real roots of a polynomial is bounded by the number of changes of sign in its coefficients.<\/em>&nbsp;Gauss later showed that the number of positive real roots, counted with multiplicity, is of the same parity as the number of changes of sign.<\/p>\n\n\n\n<p>Thus for the polynomial above, there is at most one positive root, and therefore exactly one.<\/p>\n\n\n\n<p>In fact, an easy corollary of Descartes&#8217; rule is that the number of&nbsp;<em>negative<\/em>&nbsp;real roots of a polynomial f(x) is determined by the number of changes of sign in the coefficients of f(-x). So in the example above, the number of negative real roots must be either 1 or 3.<\/p>\n\n\n\n<p><strong>Presentation&nbsp;Suggestions:<\/strong><br>Challenge students to prove this fact for quadratic polynomials.<\/p>\n\n\n\n<p><strong>The&nbsp;Math&nbsp;Behind&nbsp;the&nbsp;Fact:<\/strong><br>A proof of Descartes&#8217; Rule for polynomials of arbitrary degree can be carried out by&nbsp;induction. The base case for degree 1 polynomials is easy to verify! So assume the p(x) is a polynomial with positive leading coefficient. The final coefficient of p(x) is given by p(0).<\/p>\n\n\n\n<p>If p(0)&gt;0, then the number of sign changes must be even, since the first and last coefficient of p(x) are both positive. Moreover, the number of&nbsp;roots&nbsp;(counted with multiplicity) must also be even, since p(x) is also positive for very large x, so the graph of p(x) can only cross the x-axis an even number of times. Similar arguments show that if p(0)&lt;0, then the number of sign changes is odd and the number of positive roots is odd. Thus the number of sign changes and number of roots have the same parity.<\/p>\n\n\n\n<p>If p(x) had more roots than sign changes then it must have at least 2 more roots. But p'(x) is a polynomial with zeroes between each of the roots of p(x) [why?], so p'(x) has at least 1 more root than sign changes of p(x). This yields a&nbsp;contradiction&nbsp;because p'(x) has no more sign changes than p(x) does, and the inductive hypothesis then implies that p'(x) has no more roots than sign changes of p(x).<\/p>\n\n\n\n<p><strong>How to Cite this Page:<\/strong>\u00a0<br>Su, Francis E., et al. &#8220;Descartes&#8217; Rule of Signs.&#8221;\u00a0<em>Math Fun Facts<\/em>. &lt;http:\/\/www.math.hmc.edu\/funfacts>.<\/p>\n\n\n\n<p><strong>References:<\/strong><br>Any text on the theory of equations.<\/p>\n\n\n\n<p><strong>Fun Fact suggested by:<\/strong><br>Francis Su<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Given a&nbsp;polynomial&nbsp;such as: x4&nbsp;+ 7&#215;3&nbsp;&#8211; 4&#215;2&nbsp;&#8211; x &#8211; 7 it is possible to say anything about how many positive real&#46;&#46;&#46;<\/p>\n","protected":false},"author":7,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"tags":[2,3,4,15,139],"class_list":["post-343","page","type-page","status-publish","hentry","tag-algebra","tag-easy","tag-medium","tag-polynomial","tag-roots-of-a-polynomial"],"jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/math.hmc.edu\/funfacts\/wp-json\/wp\/v2\/pages\/343","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/math.hmc.edu\/funfacts\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/math.hmc.edu\/funfacts\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/math.hmc.edu\/funfacts\/wp-json\/wp\/v2\/users\/7"}],"replies":[{"embeddable":true,"href":"https:\/\/math.hmc.edu\/funfacts\/wp-json\/wp\/v2\/comments?post=343"}],"version-history":[{"count":3,"href":"https:\/\/math.hmc.edu\/funfacts\/wp-json\/wp\/v2\/pages\/343\/revisions"}],"predecessor-version":[{"id":1397,"href":"https:\/\/math.hmc.edu\/funfacts\/wp-json\/wp\/v2\/pages\/343\/revisions\/1397"}],"wp:attachment":[{"href":"https:\/\/math.hmc.edu\/funfacts\/wp-json\/wp\/v2\/media?parent=343"}],"wp:term":[{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/math.hmc.edu\/funfacts\/wp-json\/wp\/v2\/tags?post=343"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}