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 .
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 .
☐
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.
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.
☐
A polynomial has at most as many zeroes as its degree
Suppose is a polynomial with degree . Then has at most distinct zeros in .
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 .
☐
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: