info prev up next book cdrom email home

Polynomial

A Polynomial is a mathematical expression involving a series of Powers in one or more variables multiplied by Coefficients. A Polynomial in one variable with constant Coefficients is given by

\begin{displaymath}
a_n x^n+\ldots+a_2 x^2+a_1 x+a_0.
\end{displaymath} (1)

The highest Power in a one-variable Polynomial is called its Order. A Polynomial in two variables with constant Coefficients is given by


\begin{displaymath}
a_{nm} x^n y^m +a_{22} x^2 y^2+a_{21} x^2 y+a_{12} xy^2+a_{11} xy+a_{10}x+a_{01}y+a_{00}.
\end{displaymath} (2)

Exchanging the Coefficients of a one-variable Polynomial end-to-end produces a Polynomial

\begin{displaymath}
a_0x^n+a_1x^{n-1}+\ldots+a_{n-1}x+a_n=0
\end{displaymath} (3)

whose Roots are Reciprocals $1/x_i$ of the original Roots $x_i$.


The following table gives special names given to polynomials of low orders.

Order Polynomial Type
1 Linear Equation
2 Quadratic Equation
3 Cubic Equation
4 Quartic Equation
5 Quintic Equation
6 Sextic Equation


Polynomials of fourth degree may be computed using three multiplications and five additions if a few quantities are calculated first (Press et al. 1989):
$\quad a_0+a_1x+a_2x^2+a_3x^3+a_4x^4$
$ = [(Ax+B)^2+Ax+C][(Ax+B)^2+D]+E,\quad$ (4)
where

$\displaystyle A$ $\textstyle \equiv$ $\displaystyle (a_4)^{1/4}$ (5)
$\displaystyle B$ $\textstyle \equiv$ $\displaystyle {a_3-A^3\over 4A^3}$ (6)
$\displaystyle D$ $\textstyle \equiv$ $\displaystyle 3B^2+8B^3+{a_1A-2a_2B\over A^2}$ (7)
$\displaystyle C$ $\textstyle \equiv$ $\displaystyle {a_2\over A^2}-2B-6B^2-D$ (8)
$\displaystyle E$ $\textstyle \equiv$ $\displaystyle a_0-B^4-B^2(C+D)-CD.$ (9)

Similarly, a Polynomial of fifth degree may be computed with four multiplications and five additions, and a Polynomial of sixth degree may be computed with four multiplications and seven additions.


Polynomials of orders one to four are solvable using only rational operations and finite root extractions. A first-order equation is trivially solvable. A second-order equation is soluble using the Quadratic Equation. A third-order equation is solvable using the Cubic Equation. A fourth-order equation is solvable using the Quartic Equation. It was proved by Abel (and Galois ) using Group Theory that general equations of fifth and higher order cannot be solved rationally with finite root extractions.


However, the general Quintic Equation may be given in terms of the Theta Functions, or Hypergeometric Functions in one variable. Hermite and Kronecker proved that higher order Polynomials are not soluble in the same manner. Klein showed that the work of Hermite was implicit in the Group properties of the Icosahedron. Klein's method of solving the quintic in terms of Hypergeometric Functions in one variable can be extended to the sextic, but for higher order Polynomials, either Hypergeometric Functions in several variables or ``Siegel functions'' must be used. In the 1880s, Poincaré created functions which give the solution to the $n$th order Polynomial equation in finite form. These functions turned out to be ``natural'' generalizations of the Elliptic Functions.


Given an $n$th degree Polynomial, the Roots can be found by finding the Eigenvalues of the Matrix

\begin{displaymath}
\left[{\matrix{
-{a_0/a_n} & -{a_1/a_n} & -{a_2/a_n} & \cdot...
...\vdots & 1 & \ddots & 0\cr
0 & 0 & 0 & \cdots & 0\cr}}\right].
\end{displaymath} (10)

This method can be computationally expensive, but is fairly robust at finding close and multiple roots.


Polynomial identities involving sums and differences of like Powers include


$\displaystyle x^2-y^2$ $\textstyle =$ $\displaystyle (x-y)(x+y)$ (11)
$\displaystyle x^3-y^3$ $\textstyle =$ $\displaystyle (x-y)(x^2+xy+y^2)$ (12)
$\displaystyle x^3+y^3$ $\textstyle =$ $\displaystyle (x+y)(x^2-xy+y^2)$ (13)
$\displaystyle x^4-y^4$ $\textstyle =$ $\displaystyle (x-y)(x+y)(x^2+y^2)$ (14)
$\displaystyle x^4+4y^4$ $\textstyle =$ $\displaystyle (x^2+2xy+2y^2)(x^2-2xy+2y^2)$ (15)
$\displaystyle x^5-y^5$ $\textstyle =$ $\displaystyle (x-y)(x^4+x^3y+x^2y^2+xy^3+y^4)$ (16)
$\displaystyle x^5+y^5$ $\textstyle =$ $\displaystyle (x+y)(x^4-x^3y+x^2y^2-xy^3+y^4)$ (17)
$\displaystyle x^6-y^6$ $\textstyle =$ $\displaystyle (x-y)(x+y)(x^2+xy+y^2)(x^2-xy+y^2)$ (18)
$\displaystyle x^6+y^6$ $\textstyle =$ $\displaystyle (x^2+y^2)(x^4-x^2y^2+y^4).$ (19)

Further identities include


$\displaystyle x^4+x^2y^2+y^4$ $\textstyle =$ $\displaystyle (x^2+xy+y^2)(x^2-xy+y^2)$ (20)
$\displaystyle ({x_1}^2-D{y_1}^2)({x_2}^2-D{y_2}^2)$ $\textstyle =$ $\displaystyle (x_1x_2+Dy_1y_2)^2-D(x_1y_2+x_2y_1)^2$ (21)
$\displaystyle ({x_1}^2+D{y_1}^2)({x_2}^2+D{y_2}^2)$ $\textstyle =$ $\displaystyle (x_1x_2\pm Dy_1y_2)^2+D(x_1y_2\mp x_2y_1)^2.$ (22)

The identity
$(X+Y+Z)^7-(X^7+Y^7+Z^7) = 7(X+Y)(X+Z)(Y+Z)$
$\times [(X^2+Y^2+Z^2+XY+XZ+YZ)^2+XYZ(X+Y+Z)]$

(23)
was used by Lamé in his proof that Fermat's Last Theorem was true for $n=7$.

See also Appell Polynomial, Bernstein Polynomial, Bessel Polynomial, Bezout's Theorem, Binomial, Bombieri Inner Product, Bombieri Norm, Chebyshev Polynomial of the First Kind, Chebyshev Polynomial of the Second Kind, Christoffel-Darboux Formula, Christoffel Number, Complex Number, Cyclotomic Polynomial, Descartes' Sign Rule, Discriminant (Polynomial), Durfee Polynomial, Ehrhart Polynomial, Euler Four-Square Identity, Fibonacci Identity, Fundamental Theorem of Algebra, Fundamental Theorem of Symmetric Functions, Gauss-Jacobi Mechanical Quadrature, Gegenbauer Polynomial, Gram-Schmidt Orthonormalization, Greatest Lower Bound, Hermite Polynomial, Hilbert Polynomial, Irreducible Polynomial, Isobaric Polynomial, Isograph, Jensen Polynomial, Kernel Polynomial, Krawtchouk Polynomial, Laguerre Polynomial, Least Upper Bound, Legendre Polynomial, Liouville Polynomial Identity, Lommel Polynomial, Lukács Theorem, Monomial, Orthogonal Polynomials, Perimeter Polynomial, Poisson-Charlier Polynomial, Pollaczek Polynomial, Polynomial Bar Norm, Quarter Squares Rule, Ramanujan 6-10-8 Identity, Root, Runge-Walsh Theorem, Schläfli Polynomial, Separation Theorem, Stieltjes-Wigert Polynomial, Trinomial, Trinomial Identity, Weierstraß's Polynomial Theorem, Zernike Polynomial


References

Polynomials

Barbeau, E. J. Polynomials. New York: Springer-Verlag, 1989.

Bini, D. and Pan, V. Y. Polynomial and Matrix Computations, Vol. 1: Fundamental Algorithms. Boston, MA: Birkhäuser, 1994.

Borwein, P. and Erdélyi, T. Polynomials and Polynomial Inequalities. New York: Springer-Verlag, 1995.

Cockle, J. ``Notes on the Higher Algebra.'' Quart. J. Pure Applied Math. 4, 49-57, 1861.

Cockle, J. ``Notes on the Higher Algebra (Continued).'' Quart. J. Pure Applied Math. 5, 1-17, 1862.

Press, W. H.; Flannery, B. P.; Teukolsky, S. A.; and Vetterling, W. T. Numerical Recipes in C: The Art of Scientific Computing. Cambridge, England: Cambridge University Press, 1989.

Project Mathematics! Polynomials. Videotape (27 minutes). California Institute of Technology. Available from the Math. Assoc. Amer.



info prev up next book cdrom email home

© 1996-9 Eric W. Weisstein
1999-05-25