Exercise 15.  Find all four roots of  [Graphics:Images/ComplexAlgebraRevisitedModHome_gr_384.gif],  and use them to demonstrate that  [Graphics:Images/ComplexAlgebraRevisitedModHome_gr_385.gif]  can be factored into two quadratics with real coefficients.  

Solution 15 .

See text and/or instructor's solution manual.

Start with  [Graphics:../Images/ComplexAlgebraRevisitedModHome_gr_386.gif],  then use  [Graphics:../Images/ComplexAlgebraRevisitedModHome_gr_387.gif],    [Graphics:../Images/ComplexAlgebraRevisitedModHome_gr_388.gif]   and   [Graphics:../Images/ComplexAlgebraRevisitedModHome_gr_389.gif].

Given  [Graphics:../Images/ComplexAlgebraRevisitedModHome_gr_390.gif].  Then  [Graphics:../Images/ComplexAlgebraRevisitedModHome_gr_391.gif]  where  [Graphics:../Images/ComplexAlgebraRevisitedModHome_gr_392.gif],    [Graphics:../Images/ComplexAlgebraRevisitedModHome_gr_393.gif]   and   [Graphics:../Images/ComplexAlgebraRevisitedModHome_gr_394.gif].

The primitive fourth root of unity is  [Graphics:../Images/ComplexAlgebraRevisitedModHome_gr_395.gif],  
and the fourth roots of unity are  [Graphics:../Images/ComplexAlgebraRevisitedModHome_gr_396.gif].  

The principal fourth root is  

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

Thus, the fourth roots of  [Graphics:../Images/ComplexAlgebraRevisitedModHome_gr_398.gif]  are  [Graphics:../Images/ComplexAlgebraRevisitedModHome_gr_399.gif] which can be written as  

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

                

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

                    [Graphics:../Images/ComplexAlgebraRevisitedModHome_gr_402.gif]  for  [Graphics:../Images/ComplexAlgebraRevisitedModHome_gr_403.gif].

Now use the roots as linear factors in conjugate pairs to get  [Graphics:../Images/ComplexAlgebraRevisitedModHome_gr_404.gif].

Use  [Graphics:../Images/ComplexAlgebraRevisitedModHome_gr_405.gif] and  [Graphics:../Images/ComplexAlgebraRevisitedModHome_gr_406.gif] to form   [Graphics:../Images/ComplexAlgebraRevisitedModHome_gr_407.gif].

Use  [Graphics:../Images/ComplexAlgebraRevisitedModHome_gr_408.gif] and  [Graphics:../Images/ComplexAlgebraRevisitedModHome_gr_409.gif] to form   [Graphics:../Images/ComplexAlgebraRevisitedModHome_gr_410.gif].

Then  [Graphics:../Images/ComplexAlgebraRevisitedModHome_gr_411.gif].

We are done.   

Aside.  We can let Mathematica double check our work.

[Graphics:../Images/ComplexAlgebraRevisitedModHome_gr_412.gif]
[Graphics:../Images/ComplexAlgebraRevisitedModHome_gr_413.gif]
[Graphics:../Images/ComplexAlgebraRevisitedModHome_gr_414.gif]
[Graphics:../Images/ComplexAlgebraRevisitedModHome_gr_415.gif]

We are done.   

The fourth roots of  [Graphics:../Images/ComplexAlgebraRevisitedModHome_gr_416.gif]  can be calculated in the ordinary way.

[Graphics:../Images/ComplexAlgebraRevisitedModHome_gr_417.gif][Graphics:../Images/ComplexAlgebraRevisitedModHome_gr_418.gif]

[Graphics:../Images/ComplexAlgebraRevisitedModHome_gr_419.gif][Graphics:../Images/ComplexAlgebraRevisitedModHome_gr_420.gif]

[Graphics:../Images/ComplexAlgebraRevisitedModHome_gr_421.gif][Graphics:../Images/ComplexAlgebraRevisitedModHome_gr_422.gif]

[Graphics:../Images/ComplexAlgebraRevisitedModHome_gr_423.gif][Graphics:../Images/ComplexAlgebraRevisitedModHome_gr_424.gif]

We are done.   

Remark.  The traditional answers for the fourth roots of  [Graphics:../Images/ComplexAlgebraRevisitedModHome_gr_425.gif]  are

         [Graphics:../Images/ComplexAlgebraRevisitedModHome_gr_426.gif]   for  [Graphics:../Images/ComplexAlgebraRevisitedModHome_gr_427.gif].

We are done.   

Aside.  We can let Mathematica double check our work.

The principal value is

[Graphics:../Images/ComplexAlgebraRevisitedModHome_gr_428.gif]
[Graphics:../Images/ComplexAlgebraRevisitedModHome_gr_429.gif]
[Graphics:../Images/ComplexAlgebraRevisitedModHome_gr_430.gif]

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 



This solution is complements of the authors.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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