Precalculus Study Guide
Copyright Maplesoft, a division of Waterloo Maple Inc., 2024
Chapter 8: Roots and Rational Powers
Introduction
The algebraic notation xn, where the integer n is a power, means that n copies of the letter x are multiplied together.
Thus, x2=x⋅x is called x-squared, while x3=x⋅x⋅x is called x-cubed.
The inverse of the nth-power function is the nth-root function, written x1⁢/n.
Thus, x1⁢/2 = x is called the square-root function, while x1⁢/3 is called the cube-root function.
Unfortunately, when n is an even integer, the power function xn is not one-to-one. It is many-one, since, for example, both x=−2 and x=2 square to 4. Hence, the inverse function is not well defined, and the convention is that x means the positive square root.
Even if x is real, x1⁢/n admits n values, some of which can be complex numbers. If n=3, there is one real cube root, but two complex cube roots. Unfortunately, the principal cube root, the analog of defining x to be the positive root, is a complex number when x is negative.
Hence, even for integer n, computing nth-roots of real numbers x requires the care devoted to it in this chapter.
In addition, it turns out that computing xn/m, where both n and m are integers, requires additional care. Interpreting the mth-root as the principal root means that the root must be computed before the power. Computing the power first, then taking the root does not yield the same value as would be obtained by use of DeMoivre's laws, the rules that in effect, provide a definition of xn/m.
Because of the complications introduced by complex numbers, this chapter provides an introduction to the arithmetic of complex numbers before it faces the issue of roots and powers of both real and complex quantities.
Chapter Glossary
The following terms in Chapter 8 are linked to the Maple Math Dictionary.
absolute value
Argand diagram
argument
binomial
Cartesian plane
complex conjugate
complex number
complex plane
cube
cube root
DeMoivre's laws
even
exponent
exponentiate
floating-point
hypotenuse
imaginary
imaginary axis
imaginary part
integer
length
magnitude
many-one
modulus
negative
one-to-one
open interval
positive
power
Pythagoras' theorem
quotient
rational number
real axis
real number
real part
root
square root
symmetry
Typical Problems
In Problems 8.1 - 8.8, implement the indicated calculations for the complex numbers z=2+3⁢i and w=5−2⁢i.
8.1. Obtain the sum z+w.
8.2. Obtain the difference z−w.
8.3. Obtain the product z⁢w.
8.4. Obtain the quotient zw.
8.5. Write z and w in polar form.
8.6. Use DeMoivre's law to compute z5 and w7.
8.7. Compute z and w.
8.8. Compute z1⁢/3 and w1⁢/3.
8.9. If a is a rational number (the ratio of two integers), exponentiation is defined by
za=za⁢cis⁡a⁢theta = za⁢cos⁡a⁢theta+i⁢sin⁡a⁢theta
where theta is the argument of z.
For example, if z=−2+3⁢i and a=23, compute za by this definition; then compute z21⁢/3 and z1⁢/32, where the principal cube root is taken in each case, and determine which of these two agrees with the definition of za. (Both of these particular calculations can be implemented in the Study Guide's Complex Arithmetic Tutor, as demonstrated below in the solution to Problem 8.9.)
8.10. Repeat Problem 9 for z=−2−3⁢i and a=32. Thus, compute za by the definition, then compute z31⁢/2and z1⁢/23, where the principal square root is taken in each case. Determine which of these two agrees with the definition of za.
8.11. Graph the following functions.
(a) f⁡x=x2+12⁢/3
(b) g⁡x=x2−13⁢/2
In particular, what is the value of g⁡0?
8.12. Which of the following two calculations is correct?
(a) −1=−12⁢/2 = −11⁢/22=i2 = −1
(b) −1=−12⁢/2 = −121⁢/2=1 = 1
Maple Initializations
Before accessing the Maple version of the solutions to the typical problems stated above, initialize Maple by pressing the button provided on the right.
In Maple, the default symbol for −1, the imaginary unit, is the letter I. In keeping with the typical textbook, our initialization sets the imaginary unit to the letter "i" throughout this chapter.
Our initialization also defines the function cisθ=cosθ=i sinθ.
Solutions
Problem 8.1
8.1 - Mathematical Solution
The sum of the complex numbers z=2+3⁢i and w=5−2⁢i is obtained in the tableau at the right.
The real part of the sum is the sum of the real parts of z and w.
The imaginary part of the sum is the sum of the imaginary parts of z and w.
⁢⁢⁢2+3⁢i
⁢⁢⁢5−2⁢i
___________
⁢⁢⁢7+i
8.1 - Maplet Solution
The sum of the complex numbers
z=2+3⁢i
and
w=5−2⁢i
can be found with the Study Guide's Complex Arithmetic Tutor .
Clicking this link will launch the tutor with the solution embedded as shown in the thumbnail image in Figure 8.1.1.
The complex numbers z and w are entered by separately giving their real and imaginary parts.
(The imaginary part of a+b⁢i is the real number b.)
Figure 8.1.1 Thumbnail image of the Study Guide's Complex Arithmetic Tutor
To launch the Study Guide's Complex Arithmetic Tutor, click the link: Complex Arithmetic Tutor
8.1 - Interactive Solution
Type z=2+3 i
Context Panel: Assign Name
Type w=5−2 i
Type z+w
Context Panel: Evaluate and Display Inline
8.1 - Programmatic Solution
Enter the complex numbers z=2+3 i and w=5−2 i
z ≔ 2 + 3 i;w ≔ 5 − 2 i
Obtain the sum z+w
z+w
Complex numbers of the form z=a+b⁢i, where a and b are themselves real numbers, are said to be in rectangular form.
The real part of z is the real number a, while the imaginary part of z is the real number b.
The real part of the sum of two complex numbers in rectangular form is obtained by adding the real parts; the imaginary part, by adding the imaginary parts.
Thus, the sum of z1=a+b⁢i and z2=c+d⁢i is z1+z2=⁡a+c+b+d⁢i, obtained in Table 8.1.1. The sum of z=2+3⁢i and w=5−2⁢i is given in Table 8.1.2.
a+b⁢i
c+d⁢i
________________
a+c+b+d⁢i
2+3⁢i
5−2⁢i
7+i
Table 8.1.1 Sum of z1 and z2
Table 8.1.2 Sum of z and w
Problem 8.2
8.2 - Mathematical Solution
The difference of the complex numbers z=2+3⁢i and w=5−2⁢i is obtained in the tableau at the right.
The real part of the difference is the difference of the real parts of z and w.
The imaginary part of the difference is the difference of the imaginary parts of z and w.
−3+5 i
8.2 - Maplet Solution
The difference of the complex numbers
Clicking this link will launch the tutor with the solution embedded as shown in the thumbnail image in Figure 8.2.1.
Figure 8.2.1 Thumbnail image of the Study Guide's Complex Arithmetic Tutor
8.2 - Interactive Solution
Re-initialize Maple by clicking the button to the right.
Type z−w
8.2 - Programmatic Solution
Obtain the difference z−w
z−w
The real part of the difference of two complex numbers in rectangular form is obtained by subtracting the real parts; the imaginary part, by subtracting the imaginary parts.
Thus, the difference of z1=a+b⁢i and z2=c+d⁢i is z1− z2=a− c+b− d⁢i, obtained in Table 8.2.1. The difference of z=2+3⁢i and w=5−2⁢i is given in Table 8.2.2.
a− c+b− d⁢i
Table 8.2.1 Difference of z1 and z2
Table 8.2.2 Difference of z and w
Problem 8.3
8.3 - Mathematical Solution
The product of z1=a+b⁢i and z2=c+d⁢i is z1⁢z2=⁡a−c+b−d⁢i, obtained in the following tableau where the numbers are multiplied as if they were two binomials.
______________________
⁡ac−bd+bc+ad⁢i
The product of the complex numbers z=2+3⁢i and w=5−2⁢i is obtained in the following tableau.
______________________________________________
2⋅5+3⋅−2⁢i2+i⁢2⋅−2+5⋅3
Since i2=−1 by definition, this product reduces to 10+6+i⁢15−4 = 16−11⁢i.
8.3 - Maplet Solution
The product of the complex numbers
Clicking this link will launch the tutor with the solution embedded as shown in the thumbnail image in Figure 8.3.1.
Figure 8.3.1 Thumbnail image of the Study Guide's Complex Arithmetic Tutor
8.3 - Interactive Solution
Using a space for multiplication, type z w
8.3 - Programmatic Solution
Using a space for multiplication, obtain the product z w
z w
The product of two complex numbers in rectangular form is obtained by multiplying the complex numbers as two binomials.
Thus, the product of z1=a+b⁢i and z2=c+d⁢i is z1⁢z2=⁡a−c+b−d⁢i, obtained in Table 8.3.1. The product of z=2+3⁢i and w=5−2⁢i is given in Table 8.3.2.
Table 8.3.1 Product of z1 and z2
Table 8.3.2 Product of z and w
Since i2=−1 by definition, the product z w reduces to 10+6+i⁢15−4 = 16−11⁢i.
Problem 8.4
8.4 - Mathematical Solution
The quotient of two complex numbers in rectangular form is obtained by multiplying the numerator and denominator of the quotient by the complex conjugate of the denominator.
Thus, the quotient of z1=a+b⁢i and z2=c+d⁢i is
z1z2=a+b⁢ic+d⁢i c−d⁢ic−d⁢i=a+b⁢i⁢c−d⁢ic2+d2
The quotient of z and w is therefore
2+3⁢i5−2⁢i=2+3⁢i5−2⁢i 5+2⁢i5+2⁢i=4+19⁢i29 = 429+1929 i
The product of the complex number z2=c+d⁢i by its complex conjugate z&conjugate0;2=c−d⁢i is given by the tableau
c−d⁢i
c2−d2⁢i2+i⁢c⁢d−c⁢d
Since i2=−1 by definition, this product reduces to c2+d2.
8.4 - Maplet Solution
The quotient of the complex numbers
Clicking this link will launch the tutor with the solution embedded as shown in the thumbnail image in Figure 8.4.1.
Figure 8.4.1 Thumbnail image of the Study Guide's Complex Arithmetic Tutor
8.4 - Interactive Solution
Using the slash (/) for division, type zw
8.4 - Programmatic Solution
Obtain the quotient zw
zw
Problem 8.5
8.5 - Mathematical Solution
The polar form of the complex number z=2+3⁢i is determined by the magnitude
ρ=22+32 = 13
and the argument
θ=arctan32
The geometry of this calculation is best seen from Figure 8.5.1, the Argand diagram for z, a plot of z as a point in the complex plane.
The horizontal axis is called the real axis, and the vertical, the imaginary axis. The complex number z=2+3⁢i is plotted as the point⁡2,3 in the real Cartesian plane, but the interpretation is as a point in the complex plane.
Figure 8.5.1 Argand diagram for z=2+3⁢i
The assignment of the number a2+b2=22+32 = 13 as the length or magnitude of the complex number z follows from the theorem of Pythagoras - it's just the length of the hypotenuse of the right triangle formed by the real and imaginary parts of the complex number. In Figure 8.5.1, the real part corresponds to the red segment, the imaginary part, to the green, and the hypotenuse, to the black.
The polar form of the complex number w=5−2⁢i is determined by the magnitude
ρ=52+−22 = 29
θ= −arctan25
A typical range for the angle θ, measured from the positive real axis, is −π<θ≤π.
The Argand diagram for w=5−2 i is given by Figure 8.5.2.
Figure 8.5.2 Argand diagram for w=5−2⁢i
The rectangular form of the complex number whose polar form is given by ρ and θ is
ρ⁢cos⁡θ+i⁢sin⁡θ
Some texts abbreviate this as
ρ⁢cisθ
where the letters "cis" stand for "cosine i sine."
The "cis" function is not native to Maple. However, it is easy to define, and the Initialize button in the Initialization section implements the definition cis≔x→cosx+i sinx
8.5 - Maplet Solution
The polar form of the complex number
Clicking this link will launch the tutor with the solution embedded as shown in the thumbnail image in Figure 8.5.3.
Enter the complex number by separately giving its real and imaginary part. (The imaginary part of a+b⁢i is the real number b.)
The button labeled Polar Form gives z=ρ = 13, with the argument being θ=arctan32.
Figure 8.5.3 Thumbnail image of the Study Guide's Complex Arithmetic Tutor
can also be found with the Study Guide's Complex Arithmetic Tutor .
Clicking this link will launch the tutor with the solution embedded as shown in the thumbnail image in Figure 8.5.4. However, it has to be entered as if its name were z.
The button labeled Polar Form gives ρ=29, with the argument being θ= −arctan25.
Figure 8.5.4 Thumbnail image of the Study Guide's Complex Arithmetic Tutor
8.5 - Interactive Solution
Enter the Data
Polar Form of z
Type z and press the Enter key.
Context Panel: Modulus (or Absolute Value)
Context Panel: Argument
Polar Form of w
Type w and press the Enter key.
Convert Polar Form of z to Rectangular Form
Using ρ and θ computed for z, enter ρ cisθ
Context Panel: Simplify
Convert Polar Form of w to Rectangular Form
Using ρ and θ computed for w, enter ρ cisθ
8.5 - Programmatic Solution
The polar form of the complex number z=a+b⁢i consists of the two numbers, ρ and θ, where ρ is called the magnitude (or modulus, or length, or absolute value) of z, and θ is called the argument of z. The argument of z is the angle from the positive real axis to the radial line from the origin to the complex number z. It lies in the range −π,π.
Maple can convert the rectangular form of z to the polar form. Maple's representation of the polar form of the complex number
z ≔ 2+3 i
is
convertz,polar
whereas for the complex number
w ≔ 5−2 i
the polar form is
convertw,polar
In each case, the first number is the magnitude of the complex number, a number Maple can separately calculate as
absz
for z, and
absw
for w.
The second number in the polar representation is the argument, which is an angle that can be separately calculated in Maple by
argumentz
argumentw
The Argand diagram in Figure 8.5.1 illustrates the geometry of the magnitude and argument of z=2+3⁢i, whereas the Argand diagram in Figure 8.5.2 illustrates the geometry of the magnitude and argument of w=5−2⁢i.
where the letters "cis" stand for "cosine i sine." Thus, the rectangular form of z=2+3⁢i is recovered from ρ=13 and θ=arctan3/2 by executing
simplify13 cisarctan3/2
or
simplify13 cosarctan3/2 + i sinarctan3/2
Similarly, the rectangular form of w=5−2⁢i can be recovered from ρ=29 and θ= −arctan25 by executing
simplify29 cis−arctan2/5
simplify29 cos−arctan2/5 + i sin−arctan2/5
Problem 8.6
8.6 - Mathematical Solution
DeMoivre's law (also spelled de Moivre, Demoivre, etc.) shows how to compute integer powers of z in terms of its polar representation. Suppose z has its polar representation given by ρ and θ. Then zn, where n is an integer (positive or negative), is given by
zn=ρn⁢cos⁡n⁢θ+i⁢sin⁡n⁢θ=ρncisn θ
The polar form of the complex number z=2+3⁢i consists of ρ=13 and θ=arctan32. To raise z to the power 5, compute
z5=⁡135⁢cos⁡5⁢arctan⁡32+i⁢sin⁡5⁢arctan⁡32 = 122−597⁢i
The simplification to final form can be done numerically with a computing device such as a calculator. Alternatively, the trig formulas
cos⁡5⁢x=16⁢cos⁡x5−20⁢cos⁡x3+5⁢cos⁡x
sin⁡5⁢x=16⁢sin⁡x5−20⁢sin⁡x3+5⁢sin⁡x
could be used in conjunction with the identities
cos⁡arctan⁡32=213
sin⁡arctan⁡32=313
to reduce z5 to the exact value given above.
The polar form of the complex number w=5−2⁢i consists of ρ=29 and θ= −arctan25. To raise w to the power 7, compute
w7=⁡297⁢cos⁡−7⁢arctan⁡25+i⁢sin⁡−7⁢arctan⁡25 = −116615−60422⁢i
cos⁡7⁢x=64⁢cos⁡x7−112⁢cos⁡x5+56⁢cos⁡x3−7⁢cos⁡x
sin⁡7⁢x=−64⁢sin⁡x7+112⁢sin⁡x5−56⁢sin⁡x3+7⁢sin⁡x
cos⁡arctan⁡25=529
sin⁡arctan⁡25=229
to reduce w7 to the exact value given above.
8.6 - Maplet Solution
The Complex Arithmetic Tutor implements DeMoivre's law for the computation of z5 for the complex number
Clicking the above maplet link will launch the tutor with the solution embedded as shown in the thumbnail image in Figure 8.6.1.
In the section Exponentiation of complex numbers, enter n=5,m=1 and click the button labeled Float opposite the symbol Zn/m. The floating-point form of the solution
2+3⁢i5=122−597⁢i
Figure 8.6.1 Thumbnail image of the Study Guide's Complex Arithmetic Tutor
is returned.
The Complex Arithmetic Tutor implements DeMoivre's law for the computation of w7 for the complex number
However, it has to be entered as if its name were z.
Clicking the above maplet link will launch the tutor with the solution embedded as shown in the thumbnail image in Figure 8.6.2.
In the section Exponentiation of complex numbers, enter n=7,m=1 and click the button labeled Float opposite the symbol Zn/m.
Figure 8.6.2 Thumbnail image of the Study Guide's Complex Arithmetic Tutor
The floating-point form of the solution, to four significant figures, is
5−2 i7= −116615+60422 i≐−0.1166 ×106−0.6042 ×105 i
To launch the Study guide's Complex Arithmetic Tutor, click the following link: Complex Arithmetic Tutor
8.6 - Interactive Solution
z5
Context Panel: Assign to a Name≻Az
Type |z|5cis5 Az and press the Enter key.
Context Panel: Simplify≻Normalize Expanded
Type z5
w7
Context Panel: Assign to a Name≻Aw
Type w7cis7 Aw and press the Enter key.
Type w7
8.6 - Programmatic Solution
zn=ρn⁢cos⁡n⁢θ+i⁢sin⁡n⁢θ=ρncisn θ
Enter z=2+3 i
z≔2+3 i
Obtain polar form of z
Obtain z5 by applying DeMoivre's law.
qz≔sqrt135 cis5 arctan3/2
Expand ρ5cis5 θ
expandqz
Compare to z5 computed directly in Maple.
Enter w=5−2 i
w≔5−2 i
Obtain polar form of w
Obtain w7 by applying DeMoivre's law.
qw≔sqrt297cis7−arctan2/5
Expand ρ7cis7 θ
expandqw
Compare to w7 computed directly in Maple.
Problem 8.7
8.7 - Mathematical Solution
It can be shown that a consequence of DeMoivre's law for integer powers is the related law for fractional powers
z1/m=ρ1/m⁢cos⁡θm+2⁢k⁢πm+i⁢sin⁡θm+2⁢k⁢πm,k=0,1,...,m−1
For convenience, we will also refer to this law as DeMoivre's law for fractional powers.
The complex number z=2+3⁢i has polar form determined by ρ=13 and θ=arctan32. There are two values for z1⁢/2. Given by DeMoivre's law for fractional powers, they are
z1
=⁡131⁢/2⁢cosarctan⁡322+i⁢sinarctan⁡322
=12⁡4+2⁢13+i⁢2⁢13−4
=1.732050808+1.732050808 i
z2
=⁡131⁢/2⁢cosarctan⁡322+π+i⁢sinarctan⁡322+π
= −12⁡4+2⁢13+i⁢2⁢13−4
= −1.732050808−1.732050808 i
The real part of z1 is obtained by using the identity
and the half-angle formula
cos⁡x2=1+cos⁡x2
to yield
13⁢1+2132 = 13+22=2⁢13+44 = 12 4+2⁢13
Similarly, the imaginary part of z1 is obtained by using the half-angle formula
sin⁡x2=1−cos⁡x2
13⁢1−2132 = 13−22=2⁢13−44 = 12 2⁢13−4
The floating-point value for z1 is obtained with a computing device such as a calculator. The calculations for z2 proceed along the same lines, except that the trig identities
cos⁡x+π=cos⁡x⁢cos⁡π−sin⁡x⁢sin⁡π = −cos⁡x
sin⁡x+π=sin⁡x⁢cos⁡π+cos⁡x⁢sin⁡π = −sin⁡x
must be used first.
The complex number w=5−2⁢i has polar form determined by ρ=29 and θ= −arctan25. There are two values for w1⁢/2. Given by DeMoivre's law for fractional powers, they are
w1
=291⁢/2⁢cos−arctan⁡252+i⁢sin⁡−arctan⁡252
=12⁡2⁢29+10−i⁢2⁢29−10
=2.27872385417085−0.438842116902252⁢i
w2
=291⁢/2⁢cos−arctan⁡252+π+i⁢sin⁡−arctan⁡252+π
= −12⁡2⁢29+10−i⁢2⁢29−10
=−2.27872385417085+0.438842116902252 i
The calculations for w1 and w2 proceed along the same lines as those for z1 and z2, except that they begin with use of the trig identities
cos⁡−x=cos⁡x
sin⁡−x=−sin⁡x
8.7 - Maplet Solution
The Study Guide's Complex Arithmetic Tutor can be used for the computation of z for the complex number z=2+3⁢i.
Clicking the above maplet link will launch the tutor with the solution embedded as shown in the thumbnail image in Figure 8.7.1.
In the section Exponentiation of complex numbers, enter n=1,m=2 and click the button labeled Float opposite the symbol Zn/m. The floating-point form of the solution
2+3⁢i=1.674+0.8960⁢i
Figure 8.7.1 Thumbnail image of the Study Guide's Complex Arithmetic Tutor
Alternatively, setting k=2 in the section Roots of complex numbers, and clicking the button labeled Float to the right of the button labeled kth principal root yields the same result.
The Study Guide's Complex Arithmetic Tutor can be used for the computation of w for the complex number w=5−2 i.
Clicking the above maplet link will launch the tutor with the solution embedded as shown in the thumbnail image in Figure 8.7.2.
In the section Exponentiation of complex numbers, enter n=1,m=2 and click the button labeled Float opposite the symbol Zn/m. The floating-point form of the solution, to four significant figures, is 5−2⁢i=2.279−0.4388⁢i.
Figure 8.7.2 Thumbnail image of the Study Guide's Complex Arithmetic Tutor
To launch the Complex Arithmetic Tutor, click the following link: Complex Arithmetic Tutor
8.7 - Interactive Solution
z
Type z cisAz/2 and press the Enter key.
Context Panel: Approximate≻10
Type z cisAz/2+π and press the Enter key.
w
Type and press the Enter key.
Type w cisAw/2 and press the Enter key.
Type w cisAw/2+π and press the Enter key.
8.7 - Programmatic Solution
Maple gives the principal square root of
as
zp ≔ evalcsqrtz
whose floating-point form is
evalfzp
To apply DeMoivre's law for fractional powers, we first single out the magnitude and argument of z with
rz ≔ absz;tz ≔ argumentz
Then, the two square roots of z are
z1 ≔ sqrtrz cistz/2;z2 ≔ sqrtrz cistz/2+Pi
Careful inspection shows that these two roots simply differ by a factor of −1, as the following conversion to floating-point form reveals.
evalfz1;evalfz2
Maple struggles to convert the trigonometric form of z1 to the radical form of zp, the principal square root. We can settle for the equivalence of the floating-point forms, or we can impose the simplifications
z1a ≔ evalcsimplifyradnormalconvertz1,exp
Maple cannot easily be coerced into factoring out 13 from each of the larger radicals. Were it able to do that, the equivalence with zp would be obvious. Instead, we must use
simplifyz1a − zp
wp ≔ evalcsqrtw
evalfwp
rw ≔ absw; tw ≔ argumentw
w1 ≔ sqrtrw cistw/2;w2 ≔ sqrtrw cistw/2+Pi
evalfw1;evalfw2
Maple struggles to convert the trigonometric form of w1 to the radical form of wp, the principal square root. We can settle for the equivalence of the floating-point forms, or we can impose the simplifications
w1a ≔ evalcsimplifyradnormalconvertw1,exp
Maple cannot easily be coerced into factoring out 29 from each of the larger radicals. Were it able to do that, the equivalence with wp would be obvious. Instead, we must use
simplifyw1a − wp
to complete the demonstration of exact equivalence.
Problem 8.8
8.8 - Mathematical Solution
The complex number z=2+3⁢i has three cube roots given by DeMoivre's law for fractional powers with m=3. Since the polar form of z is determined by ρ=13 and θ=arctan32, these three cube roots are
=λ⁢cosarctan⁡323+i⁢sin⁡arctan⁡323
= 1.451856618+0.4934035341⁢i
=λ cosarctan32+2⁢π3+i⁢sin⁡arctan32+2⁢π3
= −1.153228304+1.010642947 i
z3
=λcosarctan32+4⁢π3+i⁢sinarctan32+4⁢π3
= −0.2986283143−1.504046481 i
where λ=131/3=131/6.
The complex number w=5−2⁢i has three cube roots given by DeMoivre's law for fractional powers with m=3. Since the polar form of z is determined by ρ=29 and θ= −arctan25, these three cube roots are
=λ cos−arctan⁡253+i⁢sin⁡−arctan⁡253
=1.738722582−0.2217219179 i
=λ cos−arctan25+2⁢π3+i sin−arctan25+2⁢π3
= −0.677344478+1.61663889 i
w3
=λ⁢cos−arctan25+4⁢π3+i⁢sin⁡−arctan25+4⁢π3
= −1.061378105−1.394916967 i
The principal cube roots are z1 and w1, respectively. The cube roots are not expressed in terms of radicals because the trig formulas for cos⁡x3 and sin⁡x3 are exceedingly complex. (They involve cube roots of expressions containing square roots.) Use of a computing device such as a calculator is the more expedient course of action.
8.8 - Maplet Solution
The Study Guide's Complex Arithmetic Tutor can be used for the computation of z1⁢/3 for the complex number
Clicking the above maplet link will launch the tutor with the solution embedded as shown in the thumbnail image in Figure 8.8.1.
In the section Exponentiation of complex numbers, enter n=1,m=3 and click the button labeled Float opposite the symbol Zn/m. The floating-point form of the solution
2+3⁢i1⁢/3=1.452+0.4933⁢i
Figure 8.8.1 Thumbnail image of the Study Guide's Complex Arithmetic Tutor
is returned. Alternatively, setting k=3 in the section Roots of complex numbers, and clicking the button labeled Float to the right of the button labeled kth principal root yields the same result.
The Study Guide's Complex Arithmetic Tutor can be used for the computation of w1⁢/3 for the complex number
w=5−2 i
Clicking the above maplet link will launch the tutor with the solution embedded as shown in the thumbnail image in Figure 8.8.2.
Figure 8.8.2 Thumbnail image of the Study Guide's Complex Arithmetic Tutor
In the section Exponentiation of complex numbers, enter n=1,m=3 and click the button labeled Float opposite the symbol Zn/m. The floating-point form of the solution, to four significant figures, is
5−2⁢i1⁢/3=1.739−0.2217⁢i
Alternatively, setting k=3 in the section Roots of complex numbers, and clicking the button labeled Float to the right of the button labeled kth principal root yields the same result.
To launch the Study Guide's Complex Arithmetic Tutor, click the following link: Complex Arithmetic Tutor
8.8 - Interactive Solution
z1/3
Type z1/3 cisAz/3 and press the Enter key.
Type z1/3 cisAz/3+2 π/3 and press the Enter key.
Type z1/3 cisAz/3+4 π/3 and press the Enter key.
Type z1/3 and press the Enter key.
w1/3
Type w1/3 cisAw/3 and press the Enter key.
Type w1/3 cisAw/3+2 π/3 and press the Enter key.
Type w1/3 cisAw/3+4 π/3 and press the Enter key.
Type w1/3 and press the Enter key.
8.8 - Programmatic Solution
Maple gives the principal cube root of
zp ≔ evalcz1/3
Then, the three cube roots of z are
z1 ≔ rz1/3 cistz/3;z2 ≔ rz1/3 cistz/2+2 π/3; z3≔rz1/3 cistz/3+4 π/3
The floating-point form of these numbers, namely,
evalfz1;evalfz2;evalfz3
shows that the first is the principle cube root.
wp ≔ evalcw1/3
w1 ≔ rw1/3 cistw/3;w2 ≔ rw1/3 cistw/3+2 π/3; w3≔rw1/3 cistw/3+4 π/3
evalfw1;evalfw2; evalfw3
shows the first is the principal cube root.
Problem 8.9
8.9 - Mathematical Solution
If a=23 and z=−2+3⁢i, with polar form determined by ρ=13 and θ=π−arctan32, then
za=za⁢cis⁡a⁢θ = za⁢cos⁡a⁢θ+i⁢sin⁡a⁢θ
evaluates to
λ⁢cos⁡23⁢π−arctan32+i⁢sin⁡23⁢π−arctan32=0.3085363542+2.331004104⁢i
where λ=132/3=131/3.
Since z2=−5−12⁢i, with polar form determined by ρ=13 and θ=arctan125−π, we then have
z21⁢/3
=131⁢/3⁢cos⁡arctan⁡125−Pi3+i⁢sin⁡arctan⁡125−Pi3
=1.864440593−1.432702373⁢i
On the other hand, z1⁢/3 has polar form determined by ρ=131⁢/3 = 131⁢/6 and θ=13⁢π−arctan32, so that
z1⁢/32
=131⁢/62cos⁡23π−arctan32+i⁢sin⁡23π−arctan32
=0.3085363556+2.331004104⁢i
Calculating the root before the power gives the same number as the principal value of za, where a is a rational number.
8.9 - Maplet Solution
For z=−2+3⁢i, the three complex numbers
z2⁢/3=0.3084+2.331⁢i
z21⁢/3=1.864−1.432⁢i
z1⁢/32=0.3084+2.331⁢i
are computed with the Study Guide's Complex Arithmetic Tutor .
Clicking this maplet link will launch the tutor with the solution embedded as shown in the thumbnail image in Figure 8.9.1.
Figure 8.9.1 Thumbnail image of the Study Guide's Complex Arithmetic Tutor
The experimental evidence shows that the correct way to raise a complex number to a rational exponent is to compute the root before the power.
8.9 - Interactive Solution
Type z= −2+3 i
Maple's value for z2/3
Type z2/3 and press the Enter key.
Context Panel: Conversions≻a+b I
By definition, compute z2/3=z2/3 cis23 Argz
Type z2/3 cis23 Az and press the Enter key.
Compute z21/3
Type z2 and press the Enter key.
Context Panel: Assign to a Name≻Z2
Type Z21/3 and press the Enter key.
Compute z1/32
Context Panel: Assign to a Name≻Z3
Type Z32 and press the Enter key.
8.9 - Programmatic Solution
Let z be the complex number
z ≔ −2+3 i
whose polar form is
Thus, the magnitude and argument are, respectively,
Using the definition za=za⁢cis⁡a⁢θ, the value of z2⁢/3 is
za ≔ simplifyrz2/3 cis2 tz/3:za = evalfza
which happens to agree with what Maple computes for this number, as we see from
zaM ≔ simplifyevalcz2/3:zaM = evalfzaM
Now, compute z21⁢/3as follows.
N ≔ absz21/3 cisargumentz2/3:N = evalfN
Surprisingly, squaring first and then taking the cube root does not give the result that the definition gives.
Alternatively, compute z1⁢/32 as follows.
M ≔ absz1/3 cisargumentz/32:simplifyM = evalfM
Taking the principal cube root first, then squaring, gives the same result as the definition.
Problem 8.10
8.10 - Mathematical Solution
If a=32 and z=−2−3⁢i, with polar form determined by ρ=13 and θ=arctan32−π, then
⁢λcos⁡32arctan32−π+i⁢sin⁡32arctan32−π= −6.814402636+0.6603660268 i
where λ=⁡133⁢/2.
Since z3=46−9⁢i, with polar form determined by ρ=13 13 and θ= −arctan946, we then have
z31⁢/2
=13⁢131⁢/2⁢cos⁡−12arctan⁡946+i⁢sin⁡−12arctan⁡946
=6.814402636−0.6603660276⁢i
On the other hand, z1⁢/2 has polar form determined by ρ=131⁢/2 = 131⁢/4 and θ= −arctan2⁢13+42⁢13−4 = −arctan⁡2+133, so that
z1⁢/23
=131⁢/43(cos⁡−3⁢arctan⁡2+133+i⁢sin⁡−3⁢arctan⁡2+133)
= −6.814402636+0.6603660286 i
8.10 - Maplet Solution
For z=−2−3⁢i, the three complex numbers
z3⁢/2=−6.814+0.6604⁢i
z31⁢/2=6.814−0.6604⁢i
z1⁢/23=−6.814+0.6604⁢i
Clicking this link will launch the tutor with the solution embedded as shown in the thumbnail image in Figure 8.10.1.
Figure 8.10.1 Thumbnail image of the Study Guide's Complex Arithmetic Tutor
8.10 - Interactive Solution
Type z= −2−3 i
Maple's value for z3/2
Type z3/2 and press the Enter key.
By definition, compute z3/2=z3/2 cis32 Argz
Type z3/2 cis32 Az and press the Enter key.
Compute z31/2
Type z3 and press the Enter key.
Type Z31/2 and press the Enter key.
Compute z1/23
Type z1/2 and press the Enter key.
Type Z23 and press the Enter key.
8.10 - Programmatic Solution
z ≔ −2−3 i
Using the definition za=za⁢cis⁡a⁢θ, the value of z3/2 is
za ≔ simplifyrz3/2 cis3 tz/2:za = evalfza
zaM ≔ simplifyevalcz3/2:zaM = evalfzaM
Unfortunately, Maple uses different algorithms for these two computations, and it is difficult to get Maple to convert the trig form of the number to radicals. We can settle for the equivalence of the floating-point forms, or we can impose the following simplifications.
za_exp ≔ radnormalevalcsimplifyconvertza,exp
Maple does not readily factor 13 from each of the larger radicals. Were it to do so, the exact equivalence would be obvious. Instead, we show this equivalence via
simplifyza_exp − zaM
Now, compute z31⁢/2as follows.
N ≔ absz31/2 cisargumentz3/2:N = evalfN
Alternatively, compute z1⁢/23 as follows.
M ≔ absz1/2 cisargumentz/23:simplifyM = evalfM
Problem 8.11
8.11 - Mathematical Solution
8.11 (a) - Mathematical Solution
Without using a graphing device of some sort, the graph of f⁡x=x2+12/3 would have to be obtained painstakingly with a table of values such as the one in Table 8.11.1. Then, using a sheet of graph paper and the even symmetry exhibited by this function, a graph such as the one in Figure 8.11.1 could be drawn.
xf⁡x0.1.0.21.0264919780.41.1040074210.61.2275125440.81.3906864781.01.5874010521.21.812424333
xf⁡x1.42.0615528561.62.3314887921.82.6196538212.02.9240177382.23.2429622862.43.5751790542.63.919594571
xf⁡x2.84.2753155723.04.6415888343.25.0177714273.45.4033084443.65.7977161043.86.2005688004.06.611489018
Table 8.11.1 Values of f⁡x=x2+12/3
Figure 8.11.1 Graph of f⁡x⁢=x2+12/3
8.11 (b) - Mathematical Solution
Without using a graphing device of some sort, the graph of g⁡x=x2−13⁢/2 would have to be obtained painstakingly with a table of values such as the one in Table 8.11.2. Note that for x2<1, g⁡x is complex-valued. In particular, the value of g⁡x at x=0 is g⁡0=−i. This is obtained if the square root is taken before the power is applied. The square root of −1 is i, and i3=−i.
Using a sheet of graph paper and the even symmetry exhibited by this function, a graph such as the one in Figure 8.11.2 could then be drawn.
xg(x)1.00.1.20.29186298161.40.94060406121.61.9484393771.83.3525250202.05.196152427
Table 8.11.2 Values of g⁡x⁢=x2−13⁢/2
Figure 8.11.2 Graph of g⁡x⁢=x2−13⁢/2
8.11 - Maplet Solution
8.11 (a) - Maplet Solution
The function f⁡x=x2+12⁢/3 can be graphed in Maple with a variety of "point-and-click" approaches. One way is to execute a secondary click on
x2+12/3
In the Context Panel that pops up, select Plots, and 2-D Plot. Maple will automatically generate a graph similar to the one in Figure 8.11.3.
Alternatively, from the Context Panel, select Plots and Plot Builder. In the Plot Builder pane that opens, select "2-D plot" and interactively apply appropriate options.
The Plot Builder can also be accessed from the Tools/Assistants menu at the top of the worksheet interface.
In the window that opens, click Add, and type in the expression to be graphed. Then, click Accept and OK. The result is the same as described when the Plot Builder is launched from the Context Panel.
Figure 8.11.3 Graph of f⁡x=x2+12⁢/3
8.11 (b) - Maplet Solution
A graph of g⁡x=x2−13⁢/2, similar to the one shown in Figure 8.11.4, can be obtained by the techniques described in Part (a). In particular, execute a secondary click on
x2−13⁢/2
In the Context Panel that pops up, select Plots, and 2-D Plot. Maple will automatically generate a graph similar to the one in Figure 8.11.4.
Figure 8.11.4 Graph of g⁡x=x2−13⁢/2
To obtain the value of g⁡0=−13⁢/2, the Study Guide's Complex Arithmetic Tutor can be used.
Clicking this link will launch the tutor with the solution embedded as shown in the thumbnail image in Figure 8.11.5.
Figure 8.11.5 Thumbnail image of the Study Guide's Complex Arithmetic Tutor
8.11 - Interactive Solution
8.11 (a) - Interactive Solution
Type x2+12/3
Context Panel: Plots≻Plot Builder Select "2-D plot" Change the range to −4≤x≤4 Change the view to 0≤y≤7
8.11 (b) - Interactive Solution
Type gx=x2−13/2
Context Panel: Assign Function
Type gx and press the Enter key.
Context Panel: Plots≻Plot Builder Select "2-D plot" Change the range to −2≤x≤2 Change the view to 0≤y≤5
Type g0
8.11 - Programmatic Solution
8.11 (a) - Programmatic Solution
The graph of the function
f≔x2+12/3
appears in Figure 8.11.6.
plotf, x=−3..3, y=0..5
Figure 8.11.6 Graph of f⁡x=x2+12/3
Because the expression x2+1 is always positive, computation of the cube root presents no particular problems. Maple computes the real cube root, squares it, and draws the graph.
8.11 (b) - Programmatic Solution
g≔x2−13/2
appears in Figure 8.11.7.
plotg, x=−3..3
Figure 8.11.6 Graph of g⁡x=x2−13/2
For x in the open interval ⁡−1,1, the expression x2−1 is negative. The cube of this negative number is negative, and its square root is then imaginary. Hence, the graph has a gap between x=−1 and x=1.
In particular, the function value g⁡0 is the imaginary number −i, as evidenced by
evalg, x=0
For positive numbers, computing a rational power such as 3/2 poses no particular problem. However, for a negative number, there appears to be two different ways to proceed. The root can be computed first, then the power, or the power can be computed first, and then the root taken. Each of these calculations leads to different results, only one of which is correct.
When x=0, the function g⁡x requires the calculation of the complex number −13⁢/2.
If the root is taken first, the computation amounts to i3 which is −i.
If the power is taken first, the computation requires −1 to be cubed first, which yields −1. Then, taking the square root, we get −1=i.
The first calculation, the one whose result is consistent with the Maple outcome, is the correct one. The student who remembers the adage
Roots before Powers
will always get the correct answer in these calculations. Moreover, the student who reasons that one must be firmly rooted before one can exert power, will more easily remember the maxim that "roots must be taken before powers."
Problem 8.12
8.12 - Mathematical Solution
8.12 (a) - Mathematical Solution
The calculation
−1=−11=−122 = −11/22=i2 = −1
is correct because the root was taken before the power was applied.
8.12 (b) - Mathematical Solution
−1=−11=−122 = −121⁢/2=1 = 1
is not correct because the power was applied before the root was taken. Thus, the statement is best written as
−1=−11=−122 ≠ −121⁢/2=1 = 1
8.12 - Maplet Solution
8.12 (a) - Maplet Solution
The Study Guide's Complex Arithmetic Tutor can be used to verify that the calculation
⁡−11=−122 = −11⁢/22=i2 = −1
Clicking the above link will launch the tutor with the solution embedded as shown in the thumbnail image in Figure 8.12.1.
In the section Exponentiation of complex numbers, the result opposite the symbol Zn/m is obtained by the definition given in Problem 8.9. This agrees with the result opposite the symbol Z1/mn, again consistent with the rule "roots before powers."
Figure 8.12.1 Thumbnail image of the Study Guide's Complex Arithmetic Tutor
8.12 (b) - Maplet Solution
Clicking the above link will launch the tutor with the solution embedded as shown in the thumbnail image in Figure 8.12.2.
In the section Exponentiation of complex numbers, the result opposite the symbol Zn/m is obtained by the definition given in Problem 9. This does not agrees with the result opposite the symbol Zn1/m, again demonstrating that violating the rule "roots before powers" leads to incorrect results.
8.12 - Interactive Solution
8.12 (a) - Interactive Solution
−1=−11=−122 = −11⁢/22=i2 = −1
8.12 (b) - Interactive Solution
8.12 - Programmatic Solution
8.12 (a) - Programmatic Solution
8.12 (b) - Programmatic Solution
Exercises - Chapter 8
For the two complex numbers z and w given in each of Exercises 8.1 - 8.4, obtain
(a) z+w
(b) z−w
(c) z⁢w
(d) zw
8.1. z=7−5⁢i,w=−3−9⁢i
8.2. z=4+i,w=−6−3⁢i
8.3. z=8+7⁢i,w=−7−8⁢i
8.4. z=−1+4⁢i,w=−1−3⁢i
In Exercises 8.5 - 8.8, obtain the polar form (i.e., find rho=z and theta, the argument of z) for the indicated complex number. In each case, show that rho⁢cis⁡theta restores the rectangular form of z.
8.5. z=1+i
8.6. z=−1+i
8.7. z=−1−i
8.8. z=1−i
In Exercises 8.9 - 8.12, use DeMoivre's law for integer powers to obtain zn for the given z and n.
8.9. z=3+5⁢i,n=3
8.10. z=−3+5⁢i,n=−2
8.11. z=−3−5⁢i,n=5
8.12. z=3−5⁢i,n=−4
In Exercises 8.13 - 8.16, obtain both square roots of the given complex number. In each case, indicate which is the principal square root.
8.13. z=1+i⁢3
8.14. z=2−i⁢3
8.15. z=3−2⁢i
8.16. z=3−i
In Exercises 8.17 - 8.20, obtain all three cube roots of the given complex number. In each case, indicate which is the principal cube root.
8.17. z=1−i⁢3
8.18. z=2+i⁢3
8.19. z=3+2⁢i
8.20. z=3+i
In Exercises 8.21 - 8.22, a function f⁡x=u⁡xm/n and a value for x are given.
(a) Obtain a graph of f⁡x.
(b) At the given value of x, compute both u⁡x1/nm and u⁡xm1/n.
Indicate which of these two values is correct.
8.21. f⁡x=x4+12/3, x=0
8.22. f⁡x=x2−13/2,x=0
Go to Chapter 1 2 3 4 5 6 7 9 10 11
Go to Contents
Download Help Document