Difference between revisions of "Newton's Sums"
m (→Statement) |
(Added proof) |
||
Line 38: | Line 38: | ||
etc., where <math>S_n</math> denotes the <math>n</math>-th [[elementary symmetric sum]]. | etc., where <math>S_n</math> denotes the <math>n</math>-th [[elementary symmetric sum]]. | ||
+ | |||
+ | ==Proof== | ||
+ | |||
+ | Let <math>\alpha,\beta,\gamma,...,\omega</math> be the roots of a given polynomial <math>P(x)=a_nx^n+a_{n-1}x^{n-1}+..+a_1x+a_0</math>. Then, we have that | ||
+ | |||
+ | <math>P(\alpha)=P(\beta)=P(\gamma)=...=P(\omega)=0</math> | ||
+ | |||
+ | |||
+ | Thus, | ||
+ | |||
+ | |||
+ | <math> | ||
+ | |||
+ | |||
+ | Multiplying each equation by <math>\alpha^{k-n},\beta^{k-n},...,\omega^{k-n}</math>, respectively, | ||
+ | |||
+ | |||
+ | <math> | ||
+ | |||
+ | |||
+ | <math> | ||
+ | |||
+ | |||
+ | Sum, | ||
+ | |||
+ | |||
+ | <math>a_n\underbrace{(\alpha^k+\beta^k+...+\omega^k)}_{S_k}+a_{n-1}\underbrace{(\alpha^{k-1}+\beta^{k-1}+...+\omega^{k-1})}_{S_{k-1}}+a_{n-2}\underbrace{(\alpha^{k-2}+\beta^{k-2}+...+\omega^{k-2})}_{S_{k-2}}+...+a_0\underbrace{(\alpha^{k-n}+\beta^{k-n}+...+\omega^{k-n})}_{S_{k-n}}=0</math> | ||
+ | |||
+ | |||
+ | Therefore, | ||
+ | |||
+ | |||
+ | <math>\boxed{a_nS_k+a_{n-1}S_{k-1}+a_{n-2}S_{k-2}+...+a_0S_{k-n}=0}</math> | ||
+ | |||
==Example== | ==Example== |
Revision as of 10:42, 12 January 2018
Newton sums give us a clever and efficient way of finding the sums of roots of a polynomial raised to a power. They can also be used to derive several factoring identities.
Contents
[hide]Statement
Consider a polynomial of degree ,
Let have roots . Define the following sums:
Newton sums tell us that,
(Define for .)
We also can write:
etc., where denotes the -th elementary symmetric sum.
Proof
Let be the roots of a given polynomial . Then, we have that
Thus,
Multiplying each equation by , respectively,
Sum,
Therefore,
Example
For a more concrete example, consider the polynomial . Let the roots of be and . Find and .
Newton Sums tell us that:
Solving, first for , and then for the other variables, yields,
Which gives us our desired solutions, and .