Again, we denote as or . Really, this can be any field, which you look at more in an Abstract Algebra course.
Complex Conjugate and Absolute Value
,
Suppose where . The real part of , denoted , is defined by . Similarly, the imaginary part of , denoted , is defined by .
So then:
Complex Conjugate , absolute value .
Suppose .
The complex conjugate of , denoted , is defined by .
The absolute value of a complex number , denoted , is defined by .
Properties of .
;
;
;
and ;
;
and ;
;
;
(triangle inequality).
Uniqueness of Coefficients for Polynomials
If where then all .
Suppose . If:
for every then for all .
\begin{proof}
We'll prove the contrapositive. If not all the coefficients are 0, then by changing we can assume some . Let:
Note here that and thus for all . Using the triangle inequality:
Thus . Hence . \end{proof}
This lemma implies then that the degree of a polynomial is uniquely determined, namely by the first . For notation, we say that for a polynomial like the one above. For simplicity, , using the obvious arithmetic with .
The Division Algorithm for Polynomials
Division Algorithm for Polynomials
Suppose that with . Then there exist unique polynomials such that:
A number is called a zero (or root) of a polynomial if:
On the other hand, a polynomial is called a factor of if there exists a polynomial such that .
Although zeroes and factors are different concepts, they are related by the following lemma:
Zeroes of a polynomial correspond to degree-1 factors
Suppose and . Then iff there is a polynomial such that:
for every .
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.
\begin{proof}
Going is obvious, since if then .
Going , suppose that . The polynomial 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 and a number such that:
for every . Since then plug :
thus so then as required. \end{proof}
A polynomial has at most as many zeroes as its degree
Suppose is a polynomial with degree . Then has at most distinct zeros in .
\begin{proof}
If then so has no zeros.
If then where . There's only one zero .
Suppose . We use induction on , assuming that every polynomial with degree has at most distinct zeros. If has no zeros in then we are done. If has a zero then by Chapter 4 - Polynomials (short)#^b4d22e there's a polynomial such that:
for all . Clearly . The equation above shows that if then either or . In other words, the zeros of consist of and the zeros of . By our induction hypothesis, has at most distinct zeros in . Thus has at most distinct zeros in . \end{proof}
Factorization of Polynomials over
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 be a non-constant polynomial with complex coefficients. Suppose has no zeros. Then is an analytic function on . Furthermore, as , which implies that as . Thus, is a bounded analytic function on . By Liouville's Theorem, every such function is constant, but if is constant, then is constant, contradiction our assumption that is non-constant.
Factorization of a polynomial over .
If is a non-constant polynomial, then has a unique factorization (except for the order of the factors) of the form:
where for all .
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
We've seen how factoring over allows us to use , but what if we are restricted to factorizing over ?
Polynomials with real coefficients have zeros in pairs
Suppose is a polynomial with real coefficients. If is a zero of , then so is .
\begin{proof}
Let:
where are real numbers. Suppose is a zero of . Then:
Take the complex conjugate of both sides of this equation, obtaining:
Suppose . Then there is a polynomial factorization of the form:
where now iff .
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
Suppose is a non-constant polynomial. Then has a unique factorization (except for the order of the factors) of the form:
where with for each .
Again, the proof is long and arduous. Look at [[Year3/Winter2024/MATH306-LinearAlgebraII/2015_Book_LinearAlgebraDoneRight.pdf#page=128]].