Chapter 4: Polynomials This chapter contains material on polynomials that we will use to investigate linear maps from a vector space to itself. Many results in this chapter will already be familiar to you from other courses; they are included here for completeness. Because this chapter is not about linear algebra, your instructor may go through it rapidly. You may not be asked to scrutinize all the proofs. Make sure, however, that you at least read and understand the statements of all results in this chapterβ€” they will be used in later chapters. This chapter begins with a brief discussion of algebraic properties of the complex numbers. Then we prove that a nonconstant polynomial cannot have more zeros than its degree. We also give a linear-algebra-based proof of the division algorithm for polynomials, which is worth reading even if you are already familiar with a proof that does not use linear algebra. As we will see, the fundamental theorem of algebra leads to a factorization of every polynomial into degree-one factors if the scalar field is 𝐂 or to factors of degree at most two if the scalar field is 𝐑 . standing assumption for this chapter β€’ 𝐅 denotes 𝐑 or 𝐂 . A li r e z a J a v ahe r i CC BY Statue of mathematician and poet Omar Khayyam ( 1048–1131 ) , whose algebra book written in 1070 contained the first serious study of cubic polynomials. Before discussing polynomials with complex or real coefficients, we need to learn a bit more about the complex numbers. 4.1 definition: real part, Re 𝑧 , imaginary part, Im 𝑧 Suppose 𝑧 = π‘Ž + 𝑏𝑖 , where π‘Ž and 𝑏 are real numbers. β€’ The real part of 𝑧 , denoted by Re 𝑧 , is defined by Re 𝑧 = π‘Ž . β€’ The imaginary part of 𝑧 , denoted by Im 𝑧 , is defined by Im 𝑧 = 𝑏 . Thus for every complex number 𝑧 , we have 𝑧 = Re 𝑧 + ( Im 𝑧)𝑖. 4.2 definition: complex conjugate, 𝑧 , absolute value, |𝑧| Suppose 𝑧 ∈ 𝐂 . β€’ The complex conjugate of 𝑧 ∈ 𝐂 , denoted by 𝑧 , is defined by 𝑧 = Re 𝑧 βˆ’ ( Im 𝑧)𝑖. β€’ The absolute value of a complex number 𝑧 , denoted by |𝑧| , is defined by |𝑧| = √ ( Re 𝑧) 2 + ( Im 𝑧) 2 . 4.3 example: real and imaginary part, complex conjugate, absolute value Suppose 𝑧 = 3 + 2𝑖 . Then β€’ Re 𝑧 = 3 and Im 𝑧 = 2 ; β€’ 𝑧 = 3 βˆ’ 2𝑖 ; β€’ |𝑧| = √ 3 2 + 2 2 = √ 13 . Identifying a complex number 𝑧 ∈ 𝐂 with the ordered pair ( Re 𝑧 , Im 𝑧) ∈ 𝐑 2 identifies 𝐂 with 𝐑 2 . Note that 𝐂 is a one-dimensional complex vector space, but we can also think of 𝐂 (identified with 𝐑 2 ) as a two-dimensional real vector space. The absolute value of each complex number is a nonnegative number. Specifically, if 𝑧 ∈ 𝐂 , then |𝑧| equals the distance from the origin in 𝐑 2 to the point ( Re 𝑧 , Im 𝑧) ∈ 𝐑 2 . You should verify that 𝑧 = 𝑧 if and only if 𝑧 is a real number. The real and imaginary parts, com- plex conjugate, and absolute value have the properties listed in the following multipart result. 4.4 properties of complex numbers Suppose 𝑀 , 𝑧 ∈ 𝐂 . Then the following equalities and inequalities hold. sum of 𝑧 and 𝑧 𝑧 + 𝑧 = 2 Re 𝑧 . difference of 𝑧 and 𝑧 𝑧 βˆ’ 𝑧 = 2( Im 𝑧)𝑖 . product of 𝑧 and 𝑧 𝑧𝑧 = |𝑧| 2 . additivity and multiplicativity of complex conjugate 𝑀 + 𝑧 = 𝑀 + 𝑧 and 𝑀𝑧 = 𝑀 𝑧 . double complex conjugate 𝑧 = 𝑧 . real and imaginary parts are bounded by |𝑧| | Re 𝑧| ≀ |𝑧| and | Im 𝑧| ≀ |𝑧| . absolute value of the complex conjugate βˆ£π‘§βˆ£ = |𝑧| . multiplicativity of absolute value |𝑀𝑧| = |𝑀| |𝑧| . triangle inequality |𝑀 + 𝑧| ≀ |𝑀| + |𝑧| . Geometric interpretation of triangle in- equality: The length of each side of a triangle is less than or equal to the sum of the lengths of the two other sides. Proof Except for the last item above, the routine verifications of the assertions above are left to the reader. To verify the triangle inequality, we have |𝑀 + 𝑧| 2 = (𝑀 + 𝑧)(𝑀 + 𝑧) = 𝑀𝑀 + 𝑧𝑧 + 𝑀𝑧 + 𝑧𝑀 = |𝑀| 2 + |𝑧| 2 + 𝑀𝑧 + 𝑀𝑧 = |𝑀| 2 + |𝑧| 2 + 2 Re (𝑀𝑧) ≀ |𝑀| 2 + |𝑧| 2 + 2βˆ£π‘€π‘§βˆ£ = |𝑀| 2 + |𝑧| 2 + 2|𝑀| |𝑧| = (|𝑀| + |𝑧|) 2 . See Exercise 2 for the reverse triangle inequality. Taking square roots now gives the desired inequality |𝑀 + 𝑧| ≀ |𝑀| + |𝑧| . Polynomials Zeros of Polynomials Recall that a function 𝑝 ∢ 𝐅 β†’ 𝐅 is called a polynomial of degree π‘š if there exist π‘Ž 0 , … , π‘Ž π‘š ∈ 𝐅 with π‘Ž π‘š β‰  0 such that 𝑝(𝑧) = π‘Ž 0 + π‘Ž 1 𝑧 + β‹― + π‘Ž π‘š 𝑧 π‘š for all 𝑧 ∈ 𝐅 . A polynomial could have more than one degree if the representation of 𝑝 in the form above were not unique. Our first task is to show that this cannot happen. The solutions to the equation 𝑝(𝑧) = 0 play a crucial role in the study of a polynomial 𝑝 ∈ 𝒫 (𝐅) . Thus these solutions have a special name. 4.5 definition: zero of a polynomial A number πœ† ∈ 𝐅 is called a zero (or root ) of a polynomial 𝑝 ∈ 𝒫 (𝐅) if 𝑝(πœ†) = 0. The next result is the key tool that we will use to show that the degree of a polynomial is unique. 4.6 each zero of a polynomial corresponds to a degree-one factor Suppose π‘š is a positive integer and 𝑝 ∈ 𝒫 (𝐅) is a polynomial of degree π‘š . Suppose πœ† ∈ 𝐅 . Then 𝑝(πœ†) = 0 if and only if there exists a polynomial π‘ž ∈ 𝒫 (𝐅) of degree π‘š βˆ’ 1 such that 𝑝(𝑧) = (𝑧 βˆ’ πœ†)π‘ž(𝑧) for every 𝑧 ∈ 𝐅 . Proof First suppose 𝑝(πœ†) = 0 . Let π‘Ž 0 , π‘Ž 1 , … , π‘Ž π‘š ∈ 𝐅 be such that 𝑝(𝑧) = π‘Ž 0 + π‘Ž 1 𝑧 + β‹― + π‘Ž π‘š 𝑧 π‘š for all 𝑧 ∈ 𝐅 . Then 4.7 𝑝(𝑧) = 𝑝(𝑧) βˆ’ 𝑝(πœ†) = π‘Ž 1 (𝑧 βˆ’ πœ†) + β‹― + π‘Ž π‘š (𝑧 π‘š βˆ’ πœ† π‘š ) for all 𝑧 ∈ 𝐅 . For each π‘˜ ∈ {1 , … , π‘š} , the equation 𝑧 π‘˜ βˆ’ πœ† π‘˜ = (𝑧 βˆ’ πœ†) π‘˜ βˆ‘ 𝑗=1 πœ† π‘—βˆ’1 𝑧 π‘˜βˆ’π‘— shows that 𝑧 π‘˜ βˆ’ πœ† π‘˜ equals 𝑧 βˆ’ πœ† times some polynomial of degree π‘˜ βˆ’ 1 . Thus 4.7 shows that 𝑝 equals 𝑧 βˆ’ πœ† times some polynomial of degree π‘š βˆ’ 1 , as desired. To prove the implication in the other direction, now suppose that there is a polynomial π‘ž ∈ 𝒫 (𝐅) such that 𝑝(𝑧) = (𝑧 βˆ’ πœ†)π‘ž(𝑧) for every 𝑧 ∈ 𝐅 . Then 𝑝(πœ†) = (πœ† βˆ’ πœ†)π‘ž(πœ†) = 0 , as desired. Now we can prove that polynomials do not have too many zeros. 4.8 degree π‘š implies at most π‘š zeros Suppose π‘š is a positive integer and 𝑝 ∈ 𝒫 (𝐅) is a polynomial of degree π‘š . Then 𝑝 has at most π‘š zeros in 𝐅 . Proof We will use induction on π‘š . The desired result holds if π‘š = 1 because if π‘Ž 1 β‰  0 then the polynomial π‘Ž 0 + π‘Ž 1 𝑧 has only one zero (which equals βˆ’π‘Ž 0 /π‘Ž 1 ). Thus assume that π‘š > 1 and the desired result holds for π‘š βˆ’ 1 . If 𝑝 has no zeros in 𝐅 , then the desired result holds and we are done. Thus suppose 𝑝 has a zero πœ† ∈ 𝐅 . By 4.6, there is polynomial π‘ž ∈ 𝒫 (𝐅) of degree π‘š βˆ’ 1 such that 𝑝(𝑧) = (𝑧 βˆ’ πœ†)π‘ž(𝑧) for every 𝑧 ∈ 𝐅 . Our induction hypothesis implies that π‘ž has at most π‘š βˆ’ 1 zeros in 𝐅 . The equation above shows that the zeros of 𝑝 in 𝐅 are exactly the zeros of π‘ž in 𝐅 along with πœ† . Thus 𝑝 has at most π‘š zeros in 𝐅 . The result above implies that the coefficients of a polynomial are uniquely determined (because if a polynomial had two different sets of coefficients, then subtracting the two representations of the polynomial would give a polynomial with some nonzero coefficients but infinitely many zeros). In particular, the degree of a polynomial is uniquely defined. The 0 polynomial is declared to have degree βˆ’βˆž so that exceptions are not needed for various reasonable results such as deg (π‘π‘ž) = deg 𝑝 + deg π‘ž . Recall that the degree of the 0 poly- nomial is defined to be βˆ’βˆž . When necessary, use the expected arithmetic with βˆ’βˆž . For example, βˆ’βˆž < π‘š and βˆ’βˆž + π‘š = βˆ’βˆž for every integer π‘š . Division Algorithm for Polynomials If 𝑝 and 𝑠 are nonnegative integers, with 𝑠 β‰  0 , then there exist nonnegative integers π‘ž and π‘Ÿ such that 𝑝 = π‘ π‘ž + π‘Ÿ and π‘Ÿ < 𝑠 . Think of dividing 𝑝 by 𝑠 , getting quotient π‘ž with remainder π‘Ÿ . Our next result gives an analogous result for polynomials. Thus the next result is often called the division algorithm for polynomials, although as stated here it is not really an algorithm, just a useful result. Think of the division algorithm for poly- nomials as giving a remainder polyno- mial π‘Ÿ when the polynomial 𝑝 is divided by the polynomial 𝑠 . The division algorithm for polynomi- als could be proved without using any linear algebra. However, as is appropri- ate for a linear algebra textbook, the proof given here uses linear algebra techniques and makes nice use of a basis of 𝒫 𝑛 (𝐅) , which is the (𝑛 + 1) -dimensional vector space of polynomials with coefficients in 𝐅 and of degree at most 𝑛 . Linear Algebra Done Right , fourth edition, by Sheldon Axler Annotated Entity: ID: 137 Spans: True Boxes: True Text: 124 Chapter 4 Polynomials 4.9 division algorithm for polynomials Suppose that 𝑝 , 𝑠 ∈ 𝒫 (𝐅) , with 𝑠 β‰  0 . Then there exist unique polynomials π‘ž , π‘Ÿ ∈ 𝒫 (𝐅) such that 𝑝 = π‘ π‘ž + π‘Ÿ and deg π‘Ÿ < deg 𝑠 . Proof Let 𝑛 = deg 𝑝 and let π‘š = deg 𝑠 . If 𝑛 < π‘š , then take π‘ž = 0 and π‘Ÿ = 𝑝 to get the desired equation 𝑝 = π‘ π‘ž + π‘Ÿ with deg π‘Ÿ < deg 𝑠 . Thus we now assume that 𝑛 β‰₯ π‘š . The list 4.10 1 , 𝑧 , … , 𝑧 π‘šβˆ’1 , 𝑠 , 𝑧𝑠 , … , 𝑧 π‘›βˆ’π‘š 𝑠 is linearly independent in 𝒫 𝑛 (𝐅) because each polynomial in this list has a different degree. Also, the list 4.10 has length 𝑛 + 1 , which equals dim 𝒫 𝑛 (𝐅) . Hence 4.10 is a basis of 𝒫 𝑛 (𝐅) [by 2.38]. Because 𝑝 ∈ 𝒫 𝑛 (𝐅) and 4.10 is a basis of 𝒫 𝑛 (𝐅) , there exist unique constants π‘Ž 0 , π‘Ž 1 , … , π‘Ž π‘šβˆ’1 ∈ 𝐅 and 𝑏 0 , 𝑏 1 , … , 𝑏 π‘›βˆ’π‘š ∈ 𝐅 such that 𝑝 = π‘Ž 0 + π‘Ž 1 𝑧 + β‹― + π‘Ž π‘šβˆ’1 𝑧 π‘šβˆ’1 + 𝑏 0 𝑠 + 𝑏 1 𝑧𝑠 + β‹― + 𝑏 π‘›βˆ’π‘š 𝑧 π‘›βˆ’π‘š 𝑠 4.11 = π‘Ž 0 + π‘Ž 1 𝑧 + β‹― + π‘Ž π‘šβˆ’1 𝑧 π‘šβˆ’1 ⏟⏟⏟⏟⏟⏟⏟⏟⏟ π‘Ÿ + 𝑠(𝑏 0 + 𝑏 1 𝑧 + β‹― + 𝑏 π‘›βˆ’π‘š 𝑧 π‘›βˆ’π‘š ⏟⏟⏟⏟⏟⏟⏟⏟⏟ π‘ž ). With π‘Ÿ and π‘ž as defined above, we see that 𝑝 can be written as 𝑝 = π‘ π‘ž + π‘Ÿ with deg π‘Ÿ < deg 𝑠 , as desired. The uniqueness of π‘ž , π‘Ÿ ∈ 𝒫 (𝐅) satisfying these conditions follows from the uniqueness of the constants π‘Ž 0 , π‘Ž 1 , … , π‘Ž π‘šβˆ’1 ∈ 𝐅 and 𝑏 0 , 𝑏 1 , … , 𝑏 π‘›βˆ’π‘š ∈ 𝐅 satisfy- ing 4.11. Factorization of Polynomials over 𝐂 The fundamental theorem of algebra is an existence theorem. Its proof does not lead to a method for finding zeros. The quadratic formula gives the zeros explicitly for polynomials of degree 2 . Similar but more complicated formulas exist for polynomials of degree 3 and 4 . No such formulas exist for polynomials of degree 5 and above. We have been handling polynomials with complex coefficients and polynomials with real coefficients simultaneously, let- ting 𝐅 denote 𝐑 or 𝐂 . Now we will see differences between these two cases. First we treat polynomials with complex coefficients. Then we will use those re- sults to prove corresponding results for polynomials with real coefficients. Our proof of the fundamental theorem of algebra implicitly uses the result that a continuous real-valued function on a closed disk in 𝐑 2 attains a minimum value. A web search can lead you to several Linear Algebra Done Right , fourth edition, by Sheldon Axler Annotated Entity: ID: 138 Spans: True Boxes: True Text: Chapter 4 Polynomials 125 other proofs of the fundamental theorem of algebra. The proof using Liouville’s theorem is particularly nice if you are comfortable with analytic functions. All proofs of the fundamental theorem of algebra need to use some analysis, because the result is not true if 𝐂 is replaced, for example, with the set of numbers of the form 𝑐 + 𝑑𝑖 where 𝑐 , 𝑑 are rational numbers. 4.12 fundamental theorem of algebra, first version Every nonconstant polynomial with complex coefficients has a zero in 𝐂 . Proof De Moivre’s theorem, which you can prove using induction on π‘˜ and the addition formulas for cosine and sine, states that if π‘˜ is a positive integer and πœƒ ∈ 𝐑 , then ( cos πœƒ + 𝑖 sin πœƒ) π‘˜ = cos π‘˜πœƒ + 𝑖 sin π‘˜πœƒ. Suppose 𝑀 ∈ 𝐂 and π‘˜ is a positive integer. Using polar coordinates, we know that there exist π‘Ÿ β‰₯ 0 and πœƒ ∈ 𝐑 such that π‘Ÿ( cos πœƒ + 𝑖 sin πœƒ) = 𝑀. De Moivre’s theorem implies that (π‘Ÿ 1/π‘˜ ( cos πœƒπ‘˜ + 𝑖 sin πœƒπ‘˜ )) π‘˜ = 𝑀. Thus every complex number has a π‘˜ th root, a fact that we will soon use. Suppose 𝑝 is a nonconstant polynomial with complex coefficients and highest- order nonzero term 𝑐 π‘š 𝑧 π‘š . Then |𝑝(𝑧)| β†’ ∞ as |𝑧| β†’ ∞ (because |𝑝(𝑧)|/βˆ£π‘§ π‘š ∣ β†’ |𝑐 π‘š | as |𝑧| β†’ ∞ ). Thus the continuous function 𝑧 ↦ |𝑝(𝑧)| has a global minimum at some point 𝜁 ∈ 𝐂 . To show that 𝑝(𝜁) = 0 , suppose that 𝑝(𝜁) β‰  0 . Define a new polynomial π‘ž by π‘ž(𝑧) = 𝑝(𝑧 + 𝜁) 𝑝(𝜁) . The function 𝑧 ↦ |π‘ž(𝑧)| has a global minimum value of 1 at 𝑧 = 0 . Write π‘ž(𝑧) = 1 + π‘Ž π‘˜ 𝑧 π‘˜ + β‹― + π‘Ž π‘š 𝑧 π‘š , where π‘˜ is the smallest positive integer such that the coefficient of 𝑧 π‘˜ is nonzero; in other words, π‘Ž π‘˜ β‰  0 . Let 𝛽 ∈ 𝐂 be such that 𝛽 π‘˜ = βˆ’ 1 π‘Ž π‘˜ . There is a constant 𝑐 > 1 such that if 𝑑 ∈ (0 , 1) , then |π‘ž(𝑑𝛽)| ≀ ∣1 + π‘Ž π‘˜ 𝑑 π‘˜ 𝛽 π‘˜ ∣ + 𝑑 π‘˜ + 1 𝑐 = 1 βˆ’ 𝑑 π‘˜ (1 βˆ’ 𝑑𝑐). Thus taking 𝑑 to be 1/(2𝑐) in the inequality above, we have |π‘ž(𝑑𝛽)| < 1 , which contradicts the assumption that the global minimum of 𝑧 ↦ |π‘ž(𝑧)| is 1 . This contradiction implies that 𝑝(𝜁) = 0 , showing that 𝑝 has a zero, as desired. Linear Algebra Done Right , fourth edition, by Sheldon Axler Annotated Entity: ID: 139 Spans: True Boxes: True Text: 126 Chapter 4 Polynomials Computers can use clever numerical methods to find good approximations to the zeros of any polynomial, even when exact zeros cannot be found. For example, no one will ever give an exact formula for a zero of the polynomial 𝑝 defined by 𝑝(π‘₯) = π‘₯ 5 βˆ’ 5π‘₯ 4 βˆ’ 6π‘₯ 3 + 17π‘₯ 2 + 4π‘₯ βˆ’ 7. However, a computer can find that the zeros of 𝑝 are approximately the five numbers βˆ’1.87 , βˆ’0.74 , 0.62 , 1.47 , 5.51 . The first version of the fundamental theorem of algebra leads to the following factorization result for polynomials with complex coefficients. Note that in this factorization, the zeros of 𝑝 are the numbers πœ† 1 , … , πœ† π‘š , which are the only values of 𝑧 for which the right side of the equation in the next result equals 0 . 4.13 fundamental theorem of algebra, second version If 𝑝 ∈ 𝒫 (𝐂) is a nonconstant polynomial, then 𝑝 has a unique factorization (except for the order of the factors) of the form 𝑝(𝑧) = 𝑐(𝑧 βˆ’ πœ† 1 )β‹―(𝑧 βˆ’ πœ† π‘š ) , where 𝑐 , πœ† 1 , … , πœ† π‘š ∈ 𝐂 . Proof Let 𝑝 ∈ 𝒫 (𝐂) and let π‘š = deg 𝑝 . We will use induction on π‘š . If π‘š = 1 , then the desired factorization exists and is unique. So assume that π‘š > 1 and that the desired factorization exists and is unique for all polynomials of degree π‘š βˆ’ 1 . First we will show that the desired factorization of 𝑝 exists. By the first version of the fundamental theorem of algebra (4.12), 𝑝 has a zero πœ† ∈ 𝐂 . By 4.6, there is a polynomial π‘ž of degree π‘š βˆ’ 1 such that 𝑝(𝑧) = (𝑧 βˆ’ πœ†)π‘ž(𝑧) for all 𝑧 ∈ 𝐂 . Our induction hypothesis implies that π‘ž has the desired factorization, which when plugged into the equation above gives the desired factorization of 𝑝 . Now we turn to the question of uniqueness. The number 𝑐 is uniquely deter- mined as the coefficient of 𝑧 π‘š in 𝑝 . So we only need to show that except for the order, there is only one way to choose πœ† 1 , … , πœ† π‘š . If (𝑧 βˆ’ πœ† 1 )β‹―(𝑧 βˆ’ πœ† π‘š ) = (𝑧 βˆ’ 𝜏 1 )β‹―(𝑧 βˆ’ 𝜏 π‘š ) for all 𝑧 ∈ 𝐂 , then because the left side of the equation above equals 0 when 𝑧 = πœ† 1 , one of the 𝜏 ’s on the right side equals πœ† 1 . Relabeling, we can assume that 𝜏 1 = πœ† 1 . Now if 𝑧 β‰  πœ† 1 , we can divide both sides of the equation above by 𝑧 βˆ’ πœ† 1 , getting (𝑧 βˆ’ πœ† 2 )β‹―(𝑧 βˆ’ πœ† π‘š ) = (𝑧 βˆ’ 𝜏 2 )β‹―(𝑧 βˆ’ 𝜏 π‘š ) for all 𝑧 ∈ 𝐂 except possibly 𝑧 = πœ† 1 . Actually the equation above holds for all 𝑧 ∈ 𝐂 , because otherwise by subtracting the right side from the left side we would get a nonzero polynomial that has infinitely many zeros. The equation above and our induction hypothesis imply that except for the order, the πœ† ’s are the same as the 𝜏 ’s, completing the proof of uniqueness. Linear Algebra Done Right , fourth edition, by Sheldon Axler Annotated Entity: ID: 140 Spans: True Boxes: True Text: Chapter 4 Polynomials 127 Factorization of Polynomials over 𝐑 The failure of the fundamental theorem of algebra for 𝐑 accounts for the differ- ences between linear algebra on real and complex vector spaces, as we will see in later chapters. A polynomial with real coefficients may have no real zeros. For example, the poly- nomial 1 + π‘₯ 2 has no real zeros. To obtain a factorization theorem over 𝐑 , we will use our factorization theorem over 𝐂 . We begin with the next result. 4.14 polynomials with real coefficients have nonreal zeros in pairs Suppose 𝑝 ∈ 𝒫 (𝐂) is a polynomial with real coefficients. If πœ† ∈ 𝐂 is a zero of 𝑝 , then so is πœ† . Proof Let 𝑝(𝑧) = π‘Ž 0 + π‘Ž 1 𝑧 + β‹― + π‘Ž π‘š 𝑧 π‘š , where π‘Ž 0 , … , π‘Ž π‘š are real numbers. Suppose πœ† ∈ 𝐂 is a zero of 𝑝 . Then π‘Ž 0 + π‘Ž 1 πœ† + β‹― + π‘Ž π‘š πœ† π‘š = 0. Take the complex conjugate of both sides of this equation, obtaining π‘Ž 0 + π‘Ž 1 πœ† + β‹― + π‘Ž π‘š πœ† π‘š = 0 , where we have used basic properties of the complex conjugate (see 4.4). The equation above shows that πœ† is a zero of 𝑝 . Think about the quadratic formula in connection with the result below. We want a factorization theorem for polynomials with real coefficients. We begin with the following result. 4.15 factorization of a quadratic polynomial Suppose 𝑏 , 𝑐 ∈ 𝐑 . Then there is a polynomial factorization of the form π‘₯ 2 + 𝑏π‘₯ + 𝑐 = (π‘₯ βˆ’ πœ† 1 )(π‘₯ βˆ’ πœ† 2 ) with πœ† 1 , πœ† 2 ∈ 𝐑 if and only if 𝑏 2 β‰₯ 4𝑐 . Proof Notice that π‘₯ 2 + 𝑏π‘₯ + 𝑐 = (π‘₯ + 𝑏 2) 2 + (𝑐 βˆ’ 𝑏 2 4 ). The equation above is the basis of the technique called completing the square. First suppose 𝑏 2 < 4𝑐 . Then the right side of the equation above is positive for every π‘₯ ∈ 𝐑 . Hence the polynomial π‘₯ 2 + 𝑏π‘₯ + 𝑐 has no real zeros and thus cannot be factored in the form (π‘₯ βˆ’ πœ† 1 )(π‘₯ βˆ’ πœ† 2 ) with πœ† 1 , πœ† 2 ∈ 𝐑 . Linear Algebra Done Right , fourth edition, by Sheldon Axler Annotated Entity: ID: 141 Spans: True Boxes: True Text: 128 Chapter 4 Polynomials Conversely, now suppose 𝑏 2 β‰₯ 4𝑐 . Then there is a real number 𝑑 such that 𝑑 2 = 𝑏 2 4 βˆ’ 𝑐 . From the displayed equation above, we have π‘₯ 2 + 𝑏π‘₯ + 𝑐 = (π‘₯ + 𝑏 2) 2 βˆ’ 𝑑 2 = (π‘₯ + 𝑏 2 + 𝑑)(π‘₯ + 𝑏 2 βˆ’ 𝑑) , which gives the desired factorization. The next result gives a factorization of a polynomial over 𝐑 . The idea of the proof is to use the second version of the fundamental theorem of algebra (4.13), which gives a factorization of 𝑝 as a polynomial with complex coefficients. Complex but nonreal zeros of 𝑝 come in pairs; see 4.14. Thus if the factorization of 𝑝 as an element of 𝒫 (𝐂) includes terms of the form (π‘₯ βˆ’ πœ†) with πœ† a nonreal complex number, then (π‘₯ βˆ’ πœ†) is also a term in the factorization. Multiplying together these two terms, we get (π‘₯ 2 βˆ’ 2( Re πœ†)π‘₯ + |πœ†| 2 ) , which is a quadratic term of the required form. The idea sketched in the paragraph above almost provides a proof of the existence of our desired factorization. However, we need to be careful about one point. Suppose πœ† is a nonreal complex number and (π‘₯ βˆ’ πœ†) is a term in the factorization of 𝑝 as an element of 𝒫 (𝐂) . We are guaranteed by 4.14 that (π‘₯ βˆ’ πœ†) also appears as a term in the factorization, but 4.14 does not state that these two factors appear the same number of times, as needed to make the idea above work. However, the proof works around this point. In the next result, either π‘š or 𝑀 may equal 0 . The numbers πœ† 1 , … , πœ† π‘š are precisely the real zeros of 𝑝 , for these are the only real values of π‘₯ for which the right side of the equation in the next result equals 0 . 4.16 factorization of a polynomial over 𝐑 Suppose 𝑝 ∈ 𝒫 (𝐑) is a nonconstant polynomial. Then 𝑝 has a unique factor- ization (except for the order of the factors) of the form 𝑝(π‘₯) = 𝑐(π‘₯ βˆ’ πœ† 1 )β‹―(π‘₯ βˆ’ πœ† π‘š )(π‘₯ 2 + 𝑏 1 π‘₯ + 𝑐 1 )β‹―(π‘₯ 2 + 𝑏 𝑀 π‘₯ + 𝑐 𝑀 ) , where 𝑐 , πœ† 1 , … , πœ† π‘š , 𝑏 1 , … , 𝑏 𝑀 , 𝑐 1 , … , 𝑐 𝑀 ∈ 𝐑 , with 𝑏 π‘˜2 < 4𝑐 π‘˜ for each π‘˜ . Proof First we will prove that the desired factorization exists, and after that we will prove the uniqueness. Think of 𝑝 as an element of 𝒫 (𝐂) . If all (complex) zeros of 𝑝 are real, then we have the desired factorization by 4.13. Thus suppose 𝑝 has a zero πœ† ∈ 𝐂 with πœ† βˆ‰ 𝐑 . By 4.14, πœ† is a zero of 𝑝 . Thus we can write Linear Algebra Done Right , fourth edition, by Sheldon Axler Annotated Entity: ID: 142 Spans: True Boxes: True Text: Chapter 4 Polynomials 129 𝑝(π‘₯) = (π‘₯ βˆ’ πœ†)(π‘₯ βˆ’ πœ†)π‘ž(π‘₯) = (π‘₯ 2 βˆ’ 2( Re πœ†)π‘₯ + |πœ†| 2 )π‘ž(π‘₯) for some polynomial π‘ž ∈ 𝒫 (𝐂) of degree two less than the degree of 𝑝 . If we can prove that π‘ž has real coefficients, then using induction on the degree of 𝑝 completes the proof of the existence part of this result. To prove that π‘ž has real coefficients, we solve the equation above for π‘ž , getting π‘ž(π‘₯) = 𝑝(π‘₯) π‘₯ 2 βˆ’ 2( Re πœ†)π‘₯ + |πœ†| 2 for all π‘₯ ∈ 𝐑 . The equation above implies that π‘ž(π‘₯) ∈ 𝐑 for all π‘₯ ∈ 𝐑 . Writing π‘ž(π‘₯) = π‘Ž 0 + π‘Ž 1 π‘₯ + β‹― + π‘Ž π‘›βˆ’2 π‘₯ π‘›βˆ’2 , where 𝑛 = deg 𝑝 and π‘Ž 0 , … , π‘Ž π‘›βˆ’2 ∈ 𝐂 , we thus have 0 = Im π‘ž(π‘₯) = ( Im π‘Ž 0 ) + ( Im π‘Ž 1 )π‘₯ + β‹― + ( Im π‘Ž π‘›βˆ’2 )π‘₯ π‘›βˆ’2 for all π‘₯ ∈ 𝐑 . This implies that Im π‘Ž 0 , … , Im π‘Ž π‘›βˆ’2 all equal 0 (by 4.8). Thus all coefficients of π‘ž are real, as desired. Hence the desired factorization exists. Now we turn to the question of uniqueness of our factorization. A factor of 𝑝 of the form π‘₯ 2 + 𝑏 π‘˜ π‘₯ + 𝑐 π‘˜ with 𝑏 π‘˜2 < 4𝑐 π‘˜ can be uniquely written as (π‘₯βˆ’ πœ† π‘˜ )(π‘₯βˆ’ πœ† π‘˜ ) with πœ† π‘˜ ∈ 𝐂 . A moment’s thought shows that two different factorizations of 𝑝 as an element of 𝒫 (𝐑) would lead to two different factorizations of 𝑝 as an element of 𝒫 (𝐂) , contradicting 4.13. Exercises 4 1 Suppose 𝑀 , 𝑧 ∈ 𝐂 . Verify the following equalities and inequalities. (a) 𝑧 + 𝑧 = 2 Re 𝑧 (b) 𝑧 βˆ’ 𝑧 = 2( Im 𝑧)𝑖 (c) 𝑧𝑧 = |𝑧| 2 (d) 𝑀 + 𝑧 = 𝑀 + 𝑧 and 𝑀𝑧 = 𝑀 𝑧 (e) 𝑧 = 𝑧 (f) | Re 𝑧| ≀ |𝑧| and | Im 𝑧| ≀ |𝑧| (g) βˆ£π‘§βˆ£ = |𝑧| (h) |𝑀𝑧| = |𝑀| |𝑧| The results above are the parts of 4.4 that were left to the reader. 2 Prove that if 𝑀 , 𝑧 ∈ 𝐂 , then ∣ |𝑀| βˆ’ |𝑧| ∣ ≀ |𝑀 βˆ’ 𝑧| . The inequality above is called the reverse triangle inequality . Linear Algebra Done Right , fourth edition, by Sheldon Axler Annotated Entity: ID: 143 Spans: True Boxes: True Text: 130 Chapter 4 Polynomials 3 Suppose 𝑉 is a complex vector space and πœ‘ ∈ 𝑉 β€² . Define 𝜎 ∢ 𝑉 β†’ 𝐑 by 𝜎(𝑣) = Re πœ‘(𝑣) for each 𝑣 ∈ 𝑉 . Show that πœ‘(𝑣) = 𝜎(𝑣) βˆ’ π‘–πœŽ(𝑖𝑣) for all 𝑣 ∈ 𝑉 . 4 Suppose π‘š is a positive integer. Is the set {0} βˆͺ {𝑝 ∈ 𝒫 (𝐅) ∢ deg 𝑝 = π‘š} a subspace of 𝒫 (𝐅) ? 5 Is the set {0} βˆͺ {𝑝 ∈ 𝒫 (𝐅) ∢ deg 𝑝 is even } a subspace of 𝒫 (𝐅) ? 6 Suppose that π‘š and 𝑛 are positive integers with π‘š ≀ 𝑛 , and suppose πœ† 1 , … , πœ† π‘š ∈ 𝐅 . Prove that there exists a polynomial 𝑝 ∈ 𝒫 (𝐅) with deg 𝑝 = 𝑛 such that 0 = 𝑝(πœ† 1 ) = β‹― = 𝑝(πœ† π‘š ) and such that 𝑝 has no other zeros. 7 Suppose that π‘š is a nonnegative integer, 𝑧 1 , … , 𝑧 π‘š + 1 are distinct elements of 𝐅 , and 𝑀 1 , … , 𝑀 π‘š + 1 ∈ 𝐅 . Prove that there exists a unique polynomial 𝑝 ∈ 𝒫 π‘š (𝐅) such that 𝑝(𝑧 π‘˜ ) = 𝑀 π‘˜ for each π‘˜ = 1 , … , π‘š + 1 . This result can be proved without using linear algebra. However, try to find the clearer, shorter proof that uses some linear algebra. 8 Suppose 𝑝 ∈ 𝒫 (𝐂) has degree π‘š . Prove that 𝑝 has π‘š distinct zeros if and only if 𝑝 and its derivative 𝑝 β€² have no zeros in common. 9 Prove that every polynomial of odd degree with real coefficients has a real zero. 10 For 𝑝 ∈ 𝒫 (𝐑) , define 𝑇𝑝 ∢ 𝐑 β†’ 𝐑 by (𝑇𝑝)(π‘₯) = ⎧{{ ⎨ {{⎩ 𝑝(π‘₯) βˆ’ 𝑝(3) π‘₯ βˆ’ 3 if π‘₯ β‰  3 , 𝑝 β€² (3) if π‘₯ = 3 for each π‘₯ ∈ 𝐑 . Show that 𝑇𝑝 ∈ 𝒫 (𝐑) for every polynomial 𝑝 ∈ 𝒫 (𝐑) and also show that 𝑇 ∢ 𝒫 (𝐑) β†’ 𝒫 (𝐑) is a linear map. 11 Suppose 𝑝 ∈ 𝒫 (𝐂) . Define π‘ž ∢ 𝐂 β†’ 𝐂 by π‘ž(𝑧) = 𝑝(𝑧) 𝑝(𝑧). Prove that π‘ž is a polynomial with real coefficients. Linear Algebra Done Right , fourth edition, by Sheldon Axler Annotated Entity: ID: 144 Spans: True Boxes: True Text: Chapter 4 Polynomials 131 12 Suppose π‘š is a nonnegative integer and 𝑝 ∈ 𝒫 π‘š (𝐂) is such that there are distinct real numbers π‘₯ 0 , π‘₯ 1 , … , π‘₯ π‘š with 𝑝(π‘₯ π‘˜ ) ∈ 𝐑 for each π‘˜ = 0 , 1 , … , π‘š . Prove that all coefficients of 𝑝 are real. 13 Suppose 𝑝 ∈ 𝒫 (𝐅) with 𝑝 β‰  0 . Let π‘ˆ = {π‘π‘ž ∢ π‘ž ∈ 𝒫 (𝐅)} . (a) Show that dim 𝒫 (𝐅)/π‘ˆ = deg 𝑝 . (b) Find a basis of 𝒫 (𝐅)/π‘ˆ . 14 Suppose 𝑝 , π‘ž ∈ 𝒫 (𝐂) are nonconstant polynomials with no zeros in common. Let π‘š = deg 𝑝 and 𝑛 = deg π‘ž . Use linear algebra as outlined below in (a)–(c) to prove that there exist π‘Ÿ ∈ 𝒫 π‘›βˆ’1 (𝐂) and 𝑠 ∈ 𝒫 π‘šβˆ’1 (𝐂) such that π‘Ÿπ‘ + π‘ π‘ž = 1. (a) Define 𝑇 ∢ 𝒫 π‘›βˆ’1 (𝐂) Γ— 𝒫 π‘šβˆ’1 (𝐂) β†’ 𝒫 π‘š + π‘›βˆ’1 (𝐂) by 𝑇(π‘Ÿ , 𝑠) = π‘Ÿπ‘ + π‘ π‘ž. Show that the linear map 𝑇 is injective. (b) Show that the linear map 𝑇 in (a) is surjective. (c) Use (b) to conclude that there exist π‘Ÿ ∈ 𝒫 π‘›βˆ’1 (𝐂) and 𝑠 ∈ 𝒫 π‘šβˆ’1 (𝐂) such that π‘Ÿπ‘ + π‘ π‘ž = 1 . Linear Algebra Done Right , fourth edition, by Sheldon Axler