Polynomial

A polynomial in one variable is an expression of the form

where is the degree of the polynomial (assuming ), and is the -th coefficient of the polynomial, typically a constant. This is known as the coefficient representation of a polynomial.

Given two polynomials and , where , and both defined over the same field, there exist unique polynomials and , called the quotient and the remainder, such that

with the constraint that .

The computation of and is typically carried out using polynomial long division. The steps for the algorithm are as follows:

  1. Arrange both the dividend and divisor in descending powers of .
  2. Initialize the quotient .
  3. While :
  4. Divide the leading term of by the leading term of .
  5. Multiply by this term.
  6. Subtract the result from to get .
  7. Add this new term to , and call it .
  8. Set for the next iteration.
  9. Equivalently, you will be done when .

Properties

(Factor Theorem) If is a root of a polynomial then is a factor of , such that for some where .

Dividing by leads to . Per polynomial division, the degree of the remainder is necessarily smaller than the degree of , so it is a constant. However, is a root, so we have . As such, .

(Factorization Theorem) A degree- polynomial with distinct roots can be written as .

The factorization theorem is a continuation of the factor theorem. Apply it to all distinct roots, and you get the factorization, where since the final quotient is a degree- polynomial.

(Number of Roots) A polynomial of degree has at most roots.

We’ll prove this by contradiction. Say that a polynomial of degree has roots. This means that a factorization exists. But then would have a degree of at least , contradicting the assumption that .

(Value Representation) Given points with all -values distinct, there exists a unique polynomial of degree at most that passes through all of those points (i.e., for ).

We know that such a polynomial exists due to Lagrange interpolation. However, how do we know that it’s unique? Say that there exist two polynomials and , such that , that pass through all of our points.

Examples

(Very Easy) Longing for Division

(Easy) Polynomial Arithmetic Over the Reals

If and are non-zero real polynomials, how many real roots do the following polynomials have at least? How many can they have at most?