Exercise 5.  Let  [Graphics:Images/ComplexAlgebraModHome_gr_135.gif]  be a polynomial of degree n.

5 (a).  Suppose that  [Graphics:Images/ComplexAlgebraModHome_gr_136.gif]  are all real.  Show that if  [Graphics:Images/ComplexAlgebraModHome_gr_137.gif]  is a root of  [Graphics:Images/ComplexAlgebraModHome_gr_138.gif],  then  [Graphics:Images/ComplexAlgebraModHome_gr_139.gif]  is also a root.  In other words, the roots must be complex conjugates, something you likely learned without proof in pre-calculus.

Solution 5 (a).

See text and/or instructor's solution manual.

Since  [Graphics:../Images/ComplexAlgebraModHome_gr_142.gif]  is a root of the polynomial  [Graphics:../Images/ComplexAlgebraModHome_gr_143.gif],  we have  [Graphics:../Images/ComplexAlgebraModHome_gr_144.gif].

Use properties (1-12) through (1-14)  of Theorem 1.1 to show that  [Graphics:../Images/ComplexAlgebraModHome_gr_145.gif].

Start with  [Graphics:../Images/ComplexAlgebraModHome_gr_146.gif],  then  

        [Graphics:../Images/ComplexAlgebraModHome_gr_147.gif]  

This implies   [Graphics:../Images/ComplexAlgebraModHome_gr_148.gif].  

If   [Graphics:../Images/ComplexAlgebraModHome_gr_149.gif],  then   [Graphics:../Images/ComplexAlgebraModHome_gr_150.gif]  which in turn implies that  [Graphics:../Images/ComplexAlgebraModHome_gr_151.gif],  confirming that   [Graphics:../Images/ComplexAlgebraModHome_gr_152.gif]   is also a root of   [Graphics:../Images/ComplexAlgebraModHome_gr_153.gif].  















 

This solution is complements of the authors.















 














 

(c) 2008 John H. Mathews, Russell W. Howell