Chebyshev polynomials of the first kind
The Chebyshev polynomials of the first kind are defined recursively by or equivalently by
Contents
[hide]Proof of equivalence of the two definitions
In the proof below, will refer to the recursive definition. Let
, so that
.
For the base case,
for the
base case,
Now for the inductive step, we assume that and
, and we wish to prove that
.
From the cosine sum and difference identities we have The sum of these equations is
rearranging,
Substituting our assumptions yields
as desired.
Composition identity
For nonnegative integers and
, the identity
holds.
First proof
By the trigonometric definition, .
As before, let . We have
for some integer
. Multiplying by
and distributing gives
; taking the cosine gives
.
For now this proof only applies where the trigonometric definition is defined; that is, for . However,
is a degree-
polynomial, and so is
, so the fact that
for some
distinct
is sufficient to guarantee that the two polynomials are equal over all real numbers.
Second proof (Induction)
First we prove a lemma: that for all
. To prove this lemma, we fix
and induct on
.
For all , we have
and for all
,
proving the lemma for
and
respectively.
Suppose the lemma holds for and
; that is,
Then multiplying the first equation by
and subtracting the second equation gives
which simplifies to
using the original recursive definition, as long as
. Thus, the lemma holds for
(as long as
), completing the inductive step.
To prove the claim, we now fix and induct on
.
For all , we have
and
proving the claim for
and
respectively.
Suppose the claim holds for and
; that is,
We may also assume
, since the smaller cases have already been proven, in order to ensure that
. Then by the lemma (with
) and the original recursive definition,
completing the inductive step.
Roots
Since , and the values of
for which
are
for integers
, the roots of
are of the form
These roots are also called Chebyshev nodes.
Connection to roots of unity
Because cosine is only at integer multiples of
, the roots of the polynomial
follow the simpler formula
. The
th roots of unity have arguments of
and magnitude
, so the roots of
are the real parts of the
th roots of unity. This lends intuition to several patterns.
All roots of are also roots of
, since all
th roots of unity are also
th roots of unity. This can also be shown algebraically as follows: Suppose
. Then
using the composition identity and the fact that
for all
.
Particular cases include that , being a root of
, is a root of
for all positive
, and
, being a root of
, is a root of
for all positive even
. All other roots of
correspond to roots of unity which fall into conjugate pairs with the same real part. One might therefore suspect that all remaining roots of
are double roots. In fact,
and
for polynomials
and
satisfying the same recurrence relation as
, but with the different base cases
and
. The polynomials
are known as Chebyshev polynomials of the second kind.
Rational roots
The rational roots of for any
must be elements of the set
. This can be proven as follows.
Any root other than of
must be a root of
. The polynomials
satisfy the recursive formula
ensuring that they have integer coefficients and are monic for all
. Furthermore, their constant terms satisfy
and so are always either
or
. Thus, by the Rational Root Theorem, any rational roots of
must be
or
, so the only possible rational roots of
are
and
. Thus, the only possible rational roots of
are
,
, and
, each an element of
.
By the composition identity, . If
is rational, then
is rational also. Therefore, if all rational roots of
lie in
, then any rational root of
must be a solution of
for some
. The following five cases show that the rational roots of
must lie in
as well:
Because any value for integer
and positive integer
is a root of
, the five elements of
are the only rational values of the cosine of a rational multiple of
. This result is known as Niven's Theorem.
Constructible roots
The th roots of unity form a regular polygon with
sides and circumradius
in the complex plane. Therefore, such a polygon can be constructed if and only if the position of some primitive
th root of unity can be constructed. The root of unity in turn can be constructed if and only if its real part is a constructible number.
Just as primitive roots of unity are roots of but not of
for any
, the roots of
that are the real parts of primitive roots of unity are roots of
but not of
for any
. Therefore, a regular
-gon can be constructed if and only if
has a real root that is a constructible number and not a root of
for any
.