Chapter 4 - Polynomials (short)

Again, we denote F as R or C. Really, this can be any field, which you look at more in an Abstract Algebra course.

Complex Conjugate and Absolute Value

R(z), I(z)

Suppose z=a+bi where a,bR. The real part of z, denoted R(z), is defined by R(z)=a. Similarly, the imaginary part of z, denoted I(z), is defined by I(z)=b.

So then:

z=R(z)+I(z)i
Complex Conjugate z¯, absolute value |z|.

Suppose zC.

  • The complex conjugate of zC, denoted z¯, is defined by z¯=R(z)I(z)i.
  • The absolute value of a complex number z, denoted |z|, is defined by |z|=R(z)2+I(z)2.
Properties of C.

  • z+z¯=2R(z);
  • zz¯=2I(z)i;
  • zz¯=|z|2;
  • w+z¯=w¯+z¯ and wz¯=w¯z¯;
  • z¯¯=z;
  • |R(z)||z| and |I(z)||z|;
  • |z¯|=|z|;
  • |wz|=|w||z|;
  • |w+z||w|+|z| (triangle inequality).

Uniqueness of Coefficients for Polynomials

If pP(F) where p=0 then all ai=0.

Suppose a0,...,amF. If:

a0+a1z++amzm=0

for every zF then ai=0 for all 0im.

Proof
We'll prove the contrapositive. If not all the coefficients are 0, then by changing m we can assume some am0. Let:

z=|a0|++|am1||am|+1

Note here that z1 and thus zjzm1 for all j=0,...,m1. Using the triangle inequality:

|a0+a1z++am1zm1|(|a0|+|a1|++|am1|)zm1<|amzm|

Thus a0+a1z++am1zm1amzm. Hence a0+a1z++am1zm1+amzm0.

This lemma implies then that the degree of a polynomial is uniquely determined, namely by the first ai0. For notation, we say that deg(p)=m for a polynomial like the one above. For simplicity, deg(0)=, using the obvious arithmetic with .

The Division Algorithm for Polynomials

Division Algorithm for Polynomials

Suppose that p,sP(F) with s0. Then there exist unique polynomials q,rP(F) such that:

p=sq+r

where deg(r)<deg(s).

We actually did a proof of this in lecture via Lecture 21 - Polynomial Spaces (4.A)#^79ae01.

Zeros of Polynomials

zero of a polynomial, factor

A number λF is called a zero (or root) of a polynomial pP(F) if:

p(λ)=0

On the other hand, a polynomial sP(F) is called a factor of p if there exists a polynomial qP(F) such that p=sq.

Although zeroes and factors are different concepts, they are related by the following lemma:

Zeroes of a polynomial correspond to degree-1 factors

Suppose pP(F) and λF. Then p(λ)=0 iff there is a polynomial qP(F) such that:

p(z)=(zλ)q(z)

for every zF.

Really, this is saying that if you know there's a zero, then you can factor it out, and if you have a factor, then it's a valid zero.

Proof
Going is obvious, since if p(z)=(zλ)q(z) then p(λ)=(λλ)q(λ)=0q(λ)=0.

Going , suppose that p(λ)=0. The polynomial zλ is degree 1. Because a polynomial with degree less than 1 is a constant function, using the Division Algorithm for Polynomials implies there's some polynomial qP(F) and a number rF such that:

p(z)=(zλ)q(z)+r

for every zF. Since p(λ)=0 then plug z=λ:

p(λ)=(λλ)q(λ)+r=0r=0

thus r=0 so then p(z)=(zλ)q(z) as required.

A polynomial has at most as many zeroes as its degree

Suppose pP(F) is a polynomial with degree m0. Then p has at most m distinct zeros in F.

Proof
If m=0 then p(z)=a00 so p has no zeros.

If m=1 then p(z)=a0+a1z where a10. There's only one zero λ=a0/a1.

Suppose m>1. We use induction on m, assuming that every polynomial with degree m1 has at most m1 distinct zeros. If p has no zeros in F then we are done. If p has a zero λF then by Chapter 4 - Polynomials (short)#^b4d22e there's a polynomial q such that:

p(z)=(zλ)q(z)

for all zF. Clearly deg(q)=m1. The equation above shows that if p(z)=0 then either z=λ or q(z)=0. In other words, the zeros of p consist of λ and the zeros of q. By our induction hypothesis, q has at most m1 distinct zeros in F. Thus p has at most m distinct zeros in F.

Factorization of Polynomials over C

Fundamental Theorem of Algebra

Every non-constant polynomial with complex coefficients has a zero.

We just won't prove it here, as the proof uses Liouville's theorem which we haven't proved. If we had to prove it we'd do the following. Let p be a non-constant polynomial with complex coefficients. Suppose p has no zeros. Then 1/p is an analytic function on C. Furthermore, |p(z)| as |z|, which implies that 1/p0 as |z|. Thus, 1/p is a bounded analytic function on C. By Liouville's Theorem, every such function is constant, but if 1/p is constant, then p is constant, contradiction our assumption that p is non-constant.

Factorization of a polynomial over C.

If pP(C) is a non-constant polynomial, then p has a unique factorization (except for the order of the factors) of the form:

p(z)=c(zλ1)(zλm)

where c,λiC for all i.

See Year3/Winter2024/MATH306-LinearAlgebraII/2015_Book_LinearAlgebraDoneRight.pdf#page=125 for the proof if you're curious. It's a relatively simple proof though, just long for a write-up here. Notice that both existence and uniqueness of these factors are here.

Factorization of Polynomials over R

We've seen how factoring over C allows us to use λC, but what if we are restricted to factorizing over R?

Polynomials with real coefficients have zeros in pairs

Suppose pP(C) is a polynomial with real coefficients. If λC is a zero of p, then so is λ¯.

Proof
Let:

p(z)=a0+a1z++amzm

where a0,...,am are real numbers. Suppose λC is a zero of p. Then:

a0+a1λ++amλm=0

Take the complex conjugate of both sides of this equation, obtaining:

a0+a1λ¯++amλ¯m=0

via the property of complex conjugate via Chapter 4 - Polynomials (short)#^4d08d5. Thus λ¯ is a zero for p.

Factorization of a quadratic polynomial

Suppose b,cR. Then there is a polynomial factorization of the form:

x2+bx+c=(xλ1)(xλ2)

where now λ1,λ2R iff b24c.

We omit the proof here, which again is at Year3/Winter2024/MATH306-LinearAlgebraII/2015_Book_LinearAlgebraDoneRight.pdf#page=127. The proof is very derived from elementary algebra you've likely done before.

Factorization of a polynomial over R

Suppose pP(R) is a non-constant polynomial. Then p has a unique factorization (except for the order of the factors) of the form:

p(x)=c(xλ1)(xλm)(x2+b1x+c1)(x2+bMx+cM)

where c,λ1,...,λm,b1,...,bM,c1,...,cMR with bj2<4cj for each j.

Again, the proof is long and arduous. Look at Year3/Winter2024/MATH306-LinearAlgebraII/2015_Book_LinearAlgebraDoneRight.pdf#page=128.