Precalculus Study Guide
Copyright Maplesoft, a division of Waterloo Maple Inc., 2024
Chapter 8: Roots and Rational Powers
|
Introduction
|
|
The algebraic notation , where the integer is a power, means that copies of the letter are multiplied together.
Thus, is called -squared, while is called -cubed.
The inverse of the th-power function is the th-root function, written .
Thus, = is called the square-root function, while is called the cube-root function.
Unfortunately, when is an even integer, the power function is not one-to-one. It is many-one, since, for example, both and square to 4. Hence, the inverse function is not well defined, and the convention is that means the positive square root.
Even if is real, admits values, some of which can be complex numbers. If , there is one real cube root, but two complex cube roots. Unfortunately, the principal cube root, the analog of defining to be the positive root, is a complex number when is negative.
Hence, even for integer , computing th-roots of real numbers requires the care devoted to it in this chapter.
In addition, it turns out that computing , where both and are integers, requires additional care. Interpreting the th-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 .
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 and .
8.1. Obtain the sum .
8.2. Obtain the difference .
8.3. Obtain the product .
8.4. Obtain the quotient .
8.5. Write and in polar form.
8.6. Use DeMoivre's law to compute and .
8.7. Compute and .
8.8. Compute and .
8.9. If is a rational number (the ratio of two integers), exponentiation is defined by
=
where is the argument of .
For example, if and , compute by this definition; then compute and , where the principal cube root is taken in each case, and determine which of these two agrees with the definition of . (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 and . Thus, compute by the definition, then compute and , where the principal square root is taken in each case. Determine which of these two agrees with the definition of .
8.11. Graph the following functions.
(a)
(b)
In particular, what is the value of ?
8.12. Which of the following two calculations is correct?
(a) = =
(b) = = 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 , 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 .
|
|
|
|
|
|
Solutions
|
|
|
Problem 8.1
|
|
|
8.1 - Mathematical Solution
|
|
The sum of the complex numbers and is obtained in the tableau at the right.
The real part of the sum is the sum of the real parts of and .
The imaginary part of the sum is the sum of the imaginary parts of and .
|
|
|
|
|
|
8.1 - Maplet Solution
|
|
The sum of the complex numbers
and
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 and are entered by separately giving their real and imaginary parts.
(The imaginary part of is the real number .)
|
|
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
|
|
•
|
Context Panel: Assign Name
|
|
|
•
|
Context Panel: Assign Name
|
|
|
•
|
Context Panel: Evaluate and Display Inline
|
|
|
|
|
|
|
8.1 - Programmatic Solution
|
|
Enter the complex numbers and
|
|
Obtain the sum
|
|
|
|
Complex numbers of the form , where and are themselves real numbers, are said to be in rectangular form.
The real part of is the real number , while the imaginary part of is the real number .
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 and is , obtained in Table 8.1.1. The sum of and is given in Table 8.1.2.
________________
|
___________
|
Table 8.1.1 Sum of and
|
Table 8.1.2 Sum of and
|
|
|
|
|
|
Problem 8.2
|
|
|
8.2 - Mathematical Solution
|
|
The difference of the complex numbers and is obtained in the tableau at the right.
The real part of the difference is the difference of the real parts of and .
The imaginary part of the difference is the difference of the imaginary parts of and .
|
|
|
|
|
|
8.2 - Maplet Solution
|
|
The difference of the complex numbers
and
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.2.1.
The complex numbers and are entered by separately giving their real and imaginary parts.
(The imaginary part of is the real number .)
|
|
Figure 8.2.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.2 - Interactive Solution
|
|
Re-initialize Maple by clicking the button to the right.
|
|
|
|
|
•
|
Context Panel: Assign Name
|
|
|
•
|
Context Panel: Assign Name
|
|
|
•
|
Context Panel: Evaluate and Display Inline
|
|
|
|
|
|
|
8.2 - Programmatic Solution
|
|
Enter the complex numbers and
|
|
Obtain the difference
|
|
|
|
Complex numbers of the form , where and are themselves real numbers, are said to be in rectangular form.
The real part of is the real number , while the imaginary part of is the real number .
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 and is , obtained in Table 8.2.1. The difference of and is given in Table 8.2.2.
________________
|
___________
|
Table 8.2.1 Difference of and
|
Table 8.2.2 Difference of and
|
|
|
|
|
|
Problem 8.3
|
|
|
8.3 - Mathematical Solution
|
|
The product of and is , obtained in the following tableau where the numbers are multiplied as if they were two binomials.
______________________
The product of the complex numbers and is obtained in the following tableau.
______________________________________________
Since by definition, this product reduces to = .
|
|
8.3 - Maplet Solution
|
|
The product of the complex numbers
and
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.3.1.
The complex numbers and are entered by separately giving their real and imaginary parts.
(The imaginary part of is the real number .)
|
|
Figure 8.3.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.3 - Interactive Solution
|
|
Re-initialize Maple by clicking the button to the right.
|
|
|
|
|
•
|
Context Panel: Assign Name
|
|
|
•
|
Context Panel: Assign Name
|
|
|
•
|
Using a space for multiplication, type
|
•
|
Context Panel: Evaluate and Display Inline
|
|
|
|
|
|
|
8.3 - Programmatic Solution
|
|
Enter the complex numbers and
|
|
Using a space for multiplication, obtain the product
|
|
|
|
Complex numbers of the form , where and are themselves real numbers, are said to be in rectangular form.
The real part of is the real number , while the imaginary part of is the real number .
The product of two complex numbers in rectangular form is obtained by multiplying the complex numbers as two binomials.
Thus, the product of and is , obtained in Table 8.3.1. The product of and is given in Table 8.3.2.
______________________
|
______________________________________________
|
Table 8.3.1 Product of and
|
Table 8.3.2 Product of and
|
|
|
Since by definition, the product reduces to = .
|
|
|
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 and is
The quotient of and is therefore
=
The product of the complex number by its complex conjugate is given by the tableau
________________
Since by definition, this product reduces to .
|
|
8.4 - Maplet Solution
|
|
The quotient of the complex numbers
and
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.4.1.
The complex numbers and are entered by separately giving their real and imaginary parts.
(The imaginary part of is the real number .)
|
|
Figure 8.4.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.4 - Interactive Solution
|
|
Re-initialize Maple by clicking the button to the right.
|
|
|
|
|
•
|
Context Panel: Assign Name
|
|
|
•
|
Context Panel: Assign Name
|
|
|
•
|
Using the slash (/) for division, type
|
•
|
Context Panel: Evaluate and Display Inline
|
|
|
|
|
|
|
8.4 - Programmatic Solution
|
|
Enter the complex numbers and
|
|
Obtain the quotient
|
|
|
|
Complex numbers of the form , where and are themselves real numbers, are said to be in rectangular form.
The real part of is the real number , while the imaginary part of is the real number .
Thus, the quotient of and is
The quotient of and is therefore
=
The product of the complex number by its complex conjugate is given by the tableau
________________
Since by definition, this product reduces to .
|
|
|
Problem 8.5
|
|
|
8.5 - Mathematical Solution
|
|
The polar form of the complex number is determined by the magnitude
=
and the argument
The geometry of this calculation is best seen from Figure 8.5.1, the Argand diagram for , a plot of as a point in the complex plane.
The horizontal axis is called the real axis, and the vertical, the imaginary axis. The complex number is plotted as the point in the real Cartesian plane, but the interpretation is as a point in the complex plane.
|
|
Figure 8.5.1 Argand diagram for
|
|
|
|
The assignment of the number = as the length or magnitude of the complex number 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 is determined by the magnitude
=
and the argument
A typical range for the angle , measured from the positive real axis, is .
The Argand diagram for is given by Figure 8.5.2.
|
|
Figure 8.5.2 Argand diagram for
|
|
|
|
The rectangular form of the complex number whose polar form is given by and is
Some texts abbreviate this as
where the letters "cis" stand for "cosine 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
|
|
|
|
|
8.5 - Maplet Solution
|
|
The polar form of the complex number
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.5.3.
Enter the complex number by separately giving its real and imaginary part. (The imaginary part of is the real number .)
The button labeled Polar Form gives = , with the argument being .
|
|
Figure 8.5.3 Thumbnail image of the Study Guide's Complex Arithmetic Tutor
|
|
|
|
The polar form of the complex number
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 .
Enter the complex number by separately giving its real and imaginary part. (The imaginary part of is the real number .)
The button labeled Polar Form gives , with the argument being .
|
|
Figure 8.5.4 Thumbnail image of the Study Guide's Complex Arithmetic Tutor
|
|
|
|
|
|
|
|
8.5 - Interactive Solution
|
|
Re-initialize Maple by clicking the button to the right.
|
|
|
|
|
Enter the Data
|
•
|
Context Panel: Assign Name
|
|
|
•
|
Context Panel: Assign Name
|
|
|
Polar Form of
|
•
|
Type and press the Enter key.
|
•
|
Context Panel: Modulus (or Absolute Value)
|
|
|
•
|
Type and press the Enter key.
|
•
|
Context Panel: Argument
|
|
|
Polar Form of
|
•
|
Type and press the Enter key.
|
•
|
Context Panel: Modulus (or Absolute Value)
|
|
|
•
|
Type and press the Enter key.
|
•
|
Context Panel: Argument
|
|
|
Convert Polar Form of to Rectangular Form
|
•
|
Using and computed for , enter
|
•
|
Context Panel: Evaluate and Display Inline
|
•
|
Context Panel: Simplify
|
|
|
Convert Polar Form of to Rectangular Form
|
•
|
Using and computed for , enter
|
•
|
Context Panel: Evaluate and Display Inline
|
•
|
Context Panel: Simplify
|
|
|
|
|
|
|
8.5 - Programmatic Solution
|
|
The polar form of the complex number consists of the two numbers, and , where is called the magnitude (or modulus, or length, or absolute value) of , and is called the argument
of . The argument of is the angle from the positive real axis to the radial line from the origin to the complex number . It lies in the range .
Maple can convert the rectangular form of to the polar form. Maple's representation of the polar form of the complex number
is
whereas for the complex number
the polar form is
In each case, the first number is the magnitude of the complex number, a number Maple can separately calculate as
for , and
for .
The second number in the polar representation is the argument, which is an angle that can be separately calculated in Maple by
for , and
for .
The Argand diagram in Figure 8.5.1 illustrates the geometry of the magnitude and argument of , whereas the Argand diagram in Figure 8.5.2 illustrates the geometry of the magnitude and argument of .
The rectangular form of the complex number whose polar form is given by and is
Some texts abbreviate this as
where the letters "cis" stand for "cosine sine." Thus, the rectangular form of is recovered from and by executing
or
Similarly, the rectangular form of can be recovered from and by executing
or
|
|
|
Problem 8.6
|
|
|
8.6 - Mathematical Solution
|
|
DeMoivre's law (also spelled de Moivre, Demoivre, etc.) shows how to compute integer powers of in terms of its polar representation. Suppose has its polar representation given by and . Then , where is an integer (positive or negative), is given by
The polar form of the complex number consists of and . To raise to the power 5, compute
=
The simplification to final form can be done numerically with a computing device such as a calculator. Alternatively, the trig formulas
and
could be used in conjunction with the identities
and
to reduce to the exact value given above.
The polar form of the complex number consists of and . To raise to the power 7, compute
=
The simplification to final form can be done numerically with a computing device such as a calculator. Alternatively, the trig formulas
and
could be used in conjunction with the identities
and
to reduce to the exact value given above.
|
|
8.6 - Maplet Solution
|
|
The
Complex Arithmetic Tutor
implements DeMoivre's law for the computation of 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.
Enter the complex number by separately giving its real and imaginary part. (The imaginary part of is the real number .)
In the section Exponentiation of complex numbers, enter and click the button labeled Float opposite the symbol . The floating-point form of the solution
|
|
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 for the complex number
However, it has to be entered as if its name were .
Clicking the above maplet link will launch the tutor with the solution embedded as shown in the thumbnail image in Figure 8.6.2.
Enter the complex number by separately giving its real and imaginary part. (The imaginary part of is the real number .)
In the section Exponentiation of complex numbers, enter and click the button labeled Float opposite the symbol .
|
|
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
To launch the Study guide's Complex Arithmetic Tutor, click the following link:
Complex Arithmetic Tutor
|
|
|
|
|
8.6 - Interactive Solution
|
|
Re-initialize Maple by clicking the button to the right.
|
|
|
|
|
|
•
|
Context Panel: Assign Name
|
|
|
•
|
Type and press the Enter key.
|
•
|
Context Panel: Argument
|
•
|
Context Panel: Assign to a Name≻
|
|
|
•
|
Type and press the Enter key.
|
•
|
Context Panel: Simplify≻Normalize Expanded
|
|
|
•
|
Context Panel: Evaluate and Display Inline
|
|
|
|
•
|
Context Panel: Assign Name
|
|
|
•
|
Type and press the Enter key.
|
•
|
Context Panel: Argument
|
•
|
Context Panel: Assign to a Name≻
|
|
|
•
|
Type and press the Enter key.
|
•
|
Context Panel: Simplify≻Normalize Expanded
|
|
|
•
|
Context Panel: Evaluate and Display Inline
|
|
|
|
|
|
|
8.6 - Programmatic Solution
|
|
DeMoivre's law (also spelled de Moivre, Demoivre, etc.) shows how to compute integer powers of in terms of its polar representation. Suppose has its polar representation given by and . Then , where is an integer (positive or negative), is given by
|
|
Enter
|
|
Obtain polar form of
|
|
Obtain by applying DeMoivre's law.
|
|
Expand
|
|
Compare to computed directly in Maple.
|
|
|
Enter
|
|
Obtain polar form of
|
|
Obtain by applying DeMoivre's law.
|
|
Expand
|
|
Compare to 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
For convenience, we will also refer to this law as DeMoivre's law for fractional powers.
The complex number has polar form determined by and . There are two values for . Given by DeMoivre's law for fractional powers, they are
and
The real part of is obtained by using the identity
and the half-angle formula
to yield
= =
Similarly, the imaginary part of is obtained by using the half-angle formula
to yield
= =
The floating-point value for is obtained with a computing device such as a calculator. The calculations for proceed along the same lines, except that the trig identities
=
and
=
must be used first.
The complex number has polar form determined by and . There are two values for . Given by DeMoivre's law for fractional powers, they are
and
The calculations for and proceed along the same lines as those for and , except that they begin with use of the trig identities
and
|
|
8.7 - Maplet Solution
|
|
The Study Guide's
Complex Arithmetic Tutor
can be used for the computation of 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.7.1.
Enter the complex number by separately giving its real and imaginary part. (The imaginary part of is the real number .)
In the section Exponentiation of complex numbers, enter and click the button labeled Float opposite the symbol . The floating-point form of the solution
is returned.
|
|
Figure 8.7.1 Thumbnail image of the Study Guide's Complex Arithmetic Tutor
|
|
|
|
Alternatively, setting 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 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.7.2.
However, it has to be entered as if its name were .
Enter the complex number by separately giving its real and imaginary part. (The imaginary part of is the real number .)
In the section Exponentiation of complex numbers, enter and click the button labeled Float opposite the symbol . The floating-point form of the solution, to four significant figures, is .
|
|
Figure 8.7.2 Thumbnail image of the Study Guide's Complex Arithmetic Tutor
|
|
|
|
Alternatively, setting 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 Complex Arithmetic Tutor, click the following link:
Complex Arithmetic Tutor
|
|
|
|
|
8.7 - Interactive Solution
|
|
Re-initialize Maple by clicking the button to the right.
|
|
|
|
|
|
•
|
Context Panel: Assign Name
|
|
|
•
|
Type and press the Enter key.
|
•
|
Context Panel: Argument
|
•
|
Context Panel: Assign to a Name≻
|
|
|
•
|
Type and press the Enter key.
|
•
|
Context Panel: Approximate≻10
|
|
|
•
|
Type and press the Enter key.
|
•
|
Context Panel: Approximate≻10
|
|
|
•
|
Type and press the Enter key.
|
•
|
Context Panel: Approximate≻10
|
|
|
|
•
|
Context Panel: Assign Name
|
|
|
•
|
Type and press the Enter key.
|
•
|
Context Panel: Argument
|
•
|
Context Panel: Assign to a Name≻
|
|
|
•
|
Type and press the Enter key.
|
•
|
Context Panel: Approximate≻10
|
|
|
•
|
Type and press the Enter key.
|
•
|
Context Panel: Approximate≻10
|
|
|
•
|
Type and press the Enter key.
|
•
|
Context Panel: Approximate≻10
|
|
|
|
|
|
|
8.7 - Programmatic Solution
|
|
It can be shown that a consequence of DeMoivre's law for integer powers is the related law for fractional powers
For convenience, we will also refer to this law as DeMoivre's law for fractional powers.
Maple gives the principal square root of
as
whose floating-point form is
To apply DeMoivre's law for fractional powers, we first single out the magnitude and argument of with
Then, the two square roots of are
Careful inspection shows that these two roots simply differ by a factor of , as the following conversion to floating-point form reveals.
Maple struggles to convert the trigonometric form of to the radical form of , the principal square root. We can settle for the equivalence of the floating-point forms, or we can impose the simplifications
Maple cannot easily be coerced into factoring out 13 from each of the larger radicals. Were it able to do that, the equivalence with would be obvious. Instead, we must use
Maple gives the principal square root of
as
whose floating-point form is
To apply DeMoivre's law for fractional powers, we first single out the magnitude and argument of with
Then, the two square roots of are
Careful inspection shows that these two roots simply differ by a factor of , as the following conversion to floating-point form reveals.
Maple struggles to convert the trigonometric form of to the radical form of , the principal square root. We can settle for the equivalence of the floating-point forms, or we can impose the simplifications
Maple cannot easily be coerced into factoring out 29 from each of the larger radicals. Were it able to do that, the equivalence with would be obvious. Instead, we must use
to complete the demonstration of exact equivalence.
|
|
|
Problem 8.8
|
|
|
8.8 - Mathematical Solution
|
|
It can be shown that a consequence of DeMoivre's law for integer powers is the related law for fractional powers
For convenience, we will also refer to this law as DeMoivre's law for fractional powers.
The complex number has three cube roots given by DeMoivre's law for fractional powers with . Since the polar form of is determined by and , these three cube roots are
where .
The complex number has three cube roots given by DeMoivre's law for fractional powers with . Since the polar form of is determined by and , these three cube roots are
The principal cube roots are and , respectively. The cube roots are not expressed in terms of radicals because the trig formulas for and 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 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.
Enter the complex number by separately giving its real and imaginary part. (The imaginary part of is the real number .)
In the section Exponentiation of complex numbers, enter and click the button labeled Float opposite the symbol . The floating-point form of the solution
|
|
Figure 8.8.1 Thumbnail image of the Study Guide's Complex Arithmetic Tutor
|
|
|
|
is returned. Alternatively, setting 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 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.2.
However, it has to be entered as if its name were .
Enter the complex number by separately giving its real and imaginary part. (The imaginary part of is the real number .)
|
|
Figure 8.8.2 Thumbnail image of the Study Guide's Complex Arithmetic Tutor
|
|
|
|
In the section Exponentiation of complex numbers, enter and click the button labeled Float opposite the symbol . The floating-point form of the solution, to four significant figures, is
Alternatively, setting 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
|
|
Re-initialize Maple by clicking the button to the right.
|
|
|
|
|
|
•
|
Context Panel: Assign Name
|
|
|
•
|
Type and press the Enter key.
|
•
|
Context Panel: Argument
|
•
|
Context Panel: Assign to a Name≻
|
|
|
•
|
Type and press the Enter key.
|
•
|
Context Panel: Approximate≻10
|
|
|
•
|
Type and press the Enter key.
|
•
|
Context Panel: Approximate≻10
|
|
|
•
|
Type and press the Enter key.
|
•
|
Context Panel: Approximate≻10
|
|
|
•
|
Type and press the Enter key.
|
•
|
Context Panel: Approximate≻10
|
|
|
|
•
|
Context Panel: Assign Name
|
|
|
•
|
Type and press the Enter key.
|
•
|
Context Panel: Argument
|
•
|
Context Panel: Assign to a Name≻
|
|
|
•
|
Type and press the Enter key.
|
•
|
Context Panel: Approximate≻10
|
|
|
•
|
Type and press the Enter key.
|
•
|
Context Panel: Approximate≻10
|
|
|
•
|
Type and press the Enter key.
|
•
|
Context Panel: Approximate≻10
|
|
|
•
|
Type and press the Enter key.
|
•
|
Context Panel: Approximate≻10
|
|
|
|
|
|
|
8.8 - Programmatic Solution
|
|
It can be shown that a consequence of DeMoivre's law for integer powers is the related law for fractional powers
For convenience, we will also refer to this law as DeMoivre's law for fractional powers.
Maple gives the principal cube root of
as
whose floating-point form is
To apply DeMoivre's law for fractional powers, we first single out the magnitude and argument of with
Then, the three cube roots of are
The floating-point form of these numbers, namely,
shows that the first is the principle cube root.
Maple gives the principal cube root of
as
whose floating-point form is
To apply DeMoivre's law for fractional powers, we first single out the magnitude and argument of with
Then, the three cube roots of are
The floating-point form of these numbers, namely,
shows the first is the principal cube root.
|
|
|
Problem 8.9
|
|
|
8.9 - Mathematical Solution
|
|
If and , with polar form determined by and , then
=
evaluates to
where .
Since , with polar form determined by and , we then have
On the other hand, has polar form determined by = and , so that
Calculating the root before the power gives the same number as the principal value of , where is a rational number.
|
|
8.9 - Maplet Solution
|
|
For , the three complex numbers
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.
To launch the Study Guide's Complex Arithmetic Tutor, click the following link:
Complex Arithmetic Tutor
|
|
|
|
|
8.9 - Interactive Solution
|
|
Re-initialize Maple by clicking the button to the right.
|
|
|
|
|
•
|
Context Panel: Assign Name
|
|
|
Maple's value for
|
•
|
Type and press the Enter key.
|
•
|
Context Panel: Conversions≻
|
•
|
Context Panel: Approximate≻10
|
|
|
By definition, compute
|
•
|
Type and press the Enter key.
|
•
|
Context Panel: Argument
|
•
|
Context Panel: Assign to a Name≻
|
|
|
•
|
Type and press the Enter key.
|
•
|
Context Panel: Approximate≻10
|
|
|
Compute
|
•
|
Type and press the Enter key.
|
•
|
Context Panel: Assign to a Name≻
|
|
|
•
|
Type and press the Enter key.
|
•
|
Context Panel: Approximate≻10
|
|
|
Compute
|
•
|
Type and press the Enter key.
|
•
|
Context Panel: Conversions≻
|
•
|
Context Panel: Assign to a Name≻
|
|
|
•
|
Type and press the Enter key.
|
•
|
Context Panel: Conversions≻
|
•
|
Context Panel: Approximate≻10
|
|
|
|
|
|
|
8.9 - Programmatic Solution
|
|
Let be the complex number
whose polar form is
Thus, the magnitude and argument are, respectively,
Using the definition , the value of is
which happens to agree with what Maple computes for this number, as we see from
Now, compute as follows.
Surprisingly, squaring first and then taking the cube root does not give the result that the definition gives.
Alternatively, compute as follows.
Taking the principal cube root first, then squaring, gives the same result as the definition.
|
|
|
Problem 8.10
|
|
|
8.10 - Mathematical Solution
|
|
If and , with polar form determined by and , then
=
evaluates to
where .
Since , with polar form determined by and , we then have
On the other hand, has polar form determined by = and = , so that
Calculating the root before the power gives the same number as the principal value of , where is a rational number.
|
|
8.10 - Maplet Solution
|
|
For , the three complex numbers
are computed 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.10.1.
|
|
Figure 8.10.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.
To launch the Study Guide's Complex Arithmetic Tutor, click the following link:
Complex Arithmetic Tutor
|
|
|
|
|
8.10 - Interactive Solution
|
|
Re-initialize Maple by clicking the button to the right.
|
|
|
|
|
•
|
Context Panel: Assign Name
|
|
|
Maple's value for
|
•
|
Type and press the Enter key.
|
•
|
Context Panel: Conversions≻
|
•
|
Context Panel: Approximate≻10
|
|
|
By definition, compute
|
•
|
Type and press the Enter key.
|
•
|
Context Panel: Argument
|
•
|
Context Panel: Assign to a Name≻
|
|
|
•
|
Type and press the Enter key.
|
•
|
Context Panel: Approximate≻10
|
|
|
Compute
|
•
|
Type and press the Enter key.
|
•
|
Context Panel: Assign to a Name≻
|
|
|
•
|
Type and press the Enter key.
|
•
|
Context Panel: Approximate≻10
|
|
|
Compute
|
•
|
Type and press the Enter key.
|
•
|
Context Panel: Conversions≻
|
•
|
Context Panel: Assign to a Name≻
|
|
|
•
|
Type and press the Enter key.
|
•
|
Context Panel: Conversions≻
|
•
|
Context Panel: Approximate≻10
|
|
|
|
|
|
|
8.10 - Programmatic Solution
|
|
Let be the complex number
whose polar form is
Thus, the magnitude and argument are, respectively,
Using the definition , the value of is
which happens to agree with what Maple computes for this number, as we see from
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.
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
Now, compute as follows.
Surprisingly, squaring first and then taking the cube root does not give the result that the definition gives.
Alternatively, compute as follows.
Taking the principal cube root first, then squaring, gives the same result as the definition.
|
|
|
Problem 8.11
|
|
|
8.11 - Mathematical Solution
|
|
|
8.11 (a) - Mathematical Solution
|
|
Without using a graphing device of some sort, the graph of 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.
|
|
Figure 8.11.1 Graph of
|
|
|
|
|
|
|
|
8.11 (b) - Mathematical Solution
|
|
Without using a graphing device of some sort, the graph of would have to be obtained painstakingly with a table of values such as the one in Table 8.11.2. Note that for , is complex-valued. In particular, the value of at is . This is obtained if the square root is taken before the power is applied. The square root of is , and .
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.
|
|
Figure 8.11.2 Graph of
|
|
|
|
|
|
|
|
|
8.11 - Maplet Solution
|
|
|
8.11 (a) - Maplet Solution
|
|
The function can be graphed in Maple with a variety of "point-and-click" approaches. One way is to execute a secondary click on
|
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
|
|
|
|
|
|
|
|
8.11 (b) - Maplet Solution
|
|
A graph of , 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
|
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.
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.4 Graph of
|
|
|
|
To obtain the value of , 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.
To launch the Study Guide's Complex Arithmetic Tutor, click the following link:
Complex Arithmetic Tutor
|
|
Figure 8.11.5 Thumbnail image of the Study Guide's Complex Arithmetic Tutor
|
|
|
|
|
|
|
|
|
8.11 - Interactive Solution
|
|
|
8.11 (a) - Interactive Solution
|
|
•
|
Context Panel: Plots≻Plot Builder
Select "2-D plot"
Change the range to
Change the view to
|
|
|
|
|
|
|
8.11 (b) - Interactive Solution
|
|
Re-initialize Maple by clicking the button to the right.
|
|
|
|
|
•
|
Context Panel: Assign Function
|
|
|
•
|
Type and press the Enter key.
|
•
|
Context Panel: Plots≻Plot Builder
Select "2-D plot"
Change the range to
Change the view to
|
|
|
•
|
Context Panel: Evaluate and Display Inline
|
|
|
|
|
|
|
|
8.11 - Programmatic Solution
|
|
|
8.11 (a) - Programmatic Solution
|
|
The graph of the function
appears in Figure 8.11.6.
Because the expression 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
|
|
The graph of the function
appears in Figure 8.11.7.
For in the open interval , the expression is negative. The cube of this negative number is negative, and its square root is then imaginary. Hence, the graph has a gap between and .
In particular, the function value is the imaginary number , as evidenced by
For positive numbers, computing a rational power such as 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 , the function requires the calculation of the complex number .
If the root is taken first, the computation amounts to which is .
If the power is taken first, the computation requires to be cubed first, which yields . Then, taking the square root, we get .
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
= =
is correct because the root was taken before the power was applied.
|
|
8.12 (b) - Mathematical Solution
|
|
The calculation
= = 1
is not correct because the power was applied before the root was taken. Thus, the statement is best written as
= 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
= =
is correct because the root was taken before the power was applied.
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 is obtained by the definition given in Problem 8.9. This agrees with the result opposite the symbol , again consistent with the rule "roots before powers."
|
|
Figure 8.12.1 Thumbnail image of the Study Guide's Complex Arithmetic Tutor
|
|
|
|
To launch the Study Guide's Complex Arithmetic Tutor, click the following link:
Complex Arithmetic Tutor
|
|
|
|
|
8.12 (b) - Maplet Solution
|
|
The Study Guide's
Complex Arithmetic Tutor
can be used to verify that the calculation
= = 1
is not correct because the power was applied before the root was taken. Thus, the statement is best written as
= 1
Clicking the above link will launch the tutor with the solution embedded as shown in the thumbnail image in Figure 8.12.2.
|
|
Figure 8.12.1 Thumbnail image of the Study Guide's Complex Arithmetic Tutor
|
|
|
|
In the section Exponentiation of complex numbers, the result opposite the symbol is obtained by the definition given in Problem 9. This does not agrees with the result opposite the symbol , again demonstrating that violating the rule "roots before powers" leads to incorrect results.
To launch the Study Guide's Complex Arithmetic Tutor, click the following link:
Complex Arithmetic Tutor
|
|
|
|
|
|
8.12 - Interactive Solution
|
|
|
8.12 (a) - Interactive Solution
|
|
The calculation
= =
is correct because the root was taken before the power was applied.
|
|
8.12 (b) - Interactive Solution
|
|
The calculation
= = 1
is not correct because the power was applied before the root was taken. Thus, the statement is best written as
= 1
|
|
|
8.12 - Programmatic Solution
|
|
|
8.12 (a) - Programmatic Solution
|
|
The calculation
= =
is correct because the root was taken before the power was applied.
|
|
8.12 (b) - Programmatic Solution
|
|
The calculation
= = 1
is not correct because the power was applied before the root was taken. Thus, the statement is best written as
= 1
|
|
|
|
|
Exercises - Chapter 8
|
|
For the two complex numbers and given in each of Exercises 8.1 - 8.4, obtain
(a)
(b)
(c)
(d)
8.1.
8.2.
8.3.
8.4.
In Exercises 8.5 - 8.8, obtain the polar form (i.e., find and , the argument of ) for the indicated complex number. In each case, show that restores the rectangular form of .
8.5.
8.6.
8.7.
8.8.
In Exercises 8.9 - 8.12, use DeMoivre's law for integer powers to obtain for the given and .
8.9.
8.10.
8.11.
8.12.
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.
8.14.
8.15.
8.16.
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.
8.18.
8.19.
8.20.
In Exercises 8.21 - 8.22, a function and a value for are given.
(a) Obtain a graph of .
(b) At the given value of , compute both and .
Indicate which of these two values is correct.
8.21. ,
8.22.
|
Go to Chapter 1 2 3 4 5 6 7 9 10 11
Go to Contents
|