Vieta's Formulas, otherwise called Viète's Laws, are a set of
equations relating the
roots and the
coefficients of
polynomials.
Vieta's Formulas were discovered by the French mathematician
François
Viète.
Vieta's Formulas can be used to relate the sum and product of the roots of a
polynomial to its coefficients. The simplest application of this is with
quadratics. If we have a quadratic

with solutions

and

,
then we know that we can factor it as

(Note that the first term is

,
not

.)
Using the distributive property to expand the right side we get

We know that two polynomials are equal if and only if their coefficients are
equal, so

means that

and

.
In other words, the product of the roots is equal to the constant term, and the
sum of the roots is the opposite of the coefficient of the

term.
A similar set of relations for cubics can be found by expanding

.
We can state Vieta's formula's more rigorously and generally. Let

be a polynomial of degree

,
so

,
where the coefficient of

is

and

.
As a consequence of the
Fundamental Theorem of
Algebra, we can also write

,
where

are the roots of

.
We thus have that

Expanding out the right hand side gives us
The coefficient of

in this expression will be the

th
symmetric sum
of the

.
We now have two different expressions for

.
These must be equal. However, the only way for two polynomials to be equal for
all values of

is for each of their corresponding coefficients to be equal. So, starting with
the coefficient of

,
we see that

More commonly, these are written with the roots on one side and the

on the other (this can be arrived at by dividing both sides of all the equations
by

).
If we denote

as the

th
symmetric sum, then we can write those formulas more compactly as

,
for

.
Problems
Beginner
- Let
and
be the three roots of the cubic
.
Find the value of
.
- Suppose the polynomial
has three real roots
,
and
.
Find the value of
.
Intermediate
Olympiad
AoPSWiki
댓글 없음:
댓글 쓰기