Difference between revisions of "Vieta's formulas"
Etmetalakret (talk | contribs) |
Etmetalakret (talk | contribs) m |
||
Line 9: | Line 9: | ||
Let all terms be defined as above. By the [[factor theorem]], <math>P(x) = a_n (x-r_1)(x-r_2) \cdots (x-r_n)</math>; we will then prove these formulas by expanding this polynomial. When expanding this polynomial, every term is generated by <math>n</math> choices whether to include <math>x</math> or <math>-r_{n-j}</math> from any factor <math>(x-r_{n-j})</math>. | Let all terms be defined as above. By the [[factor theorem]], <math>P(x) = a_n (x-r_1)(x-r_2) \cdots (x-r_n)</math>; we will then prove these formulas by expanding this polynomial. When expanding this polynomial, every term is generated by <math>n</math> choices whether to include <math>x</math> or <math>-r_{n-j}</math> from any factor <math>(x-r_{n-j})</math>. | ||
− | Consider all the expanded terms of <math>P(x)</math> with degree <math>j</math>; they are formed by choosing <math>j</math> of the negative roots, then by making the remaining <math>n-j</math> choices <math>x</math>. Thus, every term is equal to a product of <math>j</math> of the negative roots multiplied by <math>x_{n-j}</math>. If one factors out <math>(-1^{j})x_{n-j}</math>, we are left with the <math>j</math>th elementary symmetric polynomial of the roots. Thus, when expanding <math>P(x)</math>, the coefficient of <math>x_{n-j}</math> is equal to <math>(-1)^j a_n s_j</math>. However, we defined the coefficient of <math>x_{n-j}</math> to be <math>a_{n-j}</math>. Thus, <math>(-1)^j a_n s_j = a_{n-j}</math>, or <math>s_j = (-1)^j a_{n-j}/a_n</math>, | + | Consider all the expanded terms of <math>P(x)</math> with degree <math>j</math>; they are formed by choosing <math>j</math> of the negative roots, then by making the remaining <math>n-j</math> choices <math>x</math>. Thus, every term is equal to a product of <math>j</math> of the negative roots multiplied by <math>x_{n-j}</math>. If one factors out <math>(-1^{j})x_{n-j}</math>, we are left with the <math>j</math>th elementary symmetric polynomial of the roots. Thus, when expanding <math>P(x)</math>, the coefficient of <math>x_{n-j}</math> is equal to <math>(-1)^j a_n s_j</math>. However, we defined the coefficient of <math>x_{n-j}</math> to be <math>a_{n-j}</math>. Thus, <math>(-1)^j a_n s_j = a_{n-j}</math>, or <math>s_j = (-1)^j a_{n-j}/a_n</math>, which completes the proof. <math>\square</math> |
== Problems == | == Problems == |
Revision as of 20:17, 5 November 2021
In algebra, Vieta's formulas are a set of results that relate the coefficients of a polynomial to its roots. In particular, it states that the elementary symmetric polynomials of its roots can be easily expressed as a difference of the polynomial's coefficients.
It is among the most ubiquitous results to circumvent finding a polynomial's roots in competition math and sees widespread usage in all mathematics contests.
Statement
Let be any polynomial with complex coefficients with roots , and let be the th elementary symmetric polynomial of the roots. Vietas formulas then state that This can be compactly written as for some such that
Proof
Let all terms be defined as above. By the factor theorem, ; we will then prove these formulas by expanding this polynomial. When expanding this polynomial, every term is generated by choices whether to include or from any factor .
Consider all the expanded terms of with degree ; they are formed by choosing of the negative roots, then by making the remaining choices . Thus, every term is equal to a product of of the negative roots multiplied by . If one factors out , we are left with the th elementary symmetric polynomial of the roots. Thus, when expanding , the coefficient of is equal to . However, we defined the coefficient of to be . Thus, , or , which completes the proof.
Problems
Here are some problems that test knowledge of Vieta's formulas.