Download Practice with Polar Form and Roots

Survey
yes no Was this document useful for you?
   Thank you for your participation!

* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project

Document related concepts

Perceived visual angle wikipedia , lookup

Trigonometric functions wikipedia , lookup

Transcript
Math 4000: Modern Algebra and Geometry I
Spring 2014, Dr. Klipper
Extra Examples for Week 6
More Practice with Polar Form and Roots in C
In this handout, we give more examples of how to work with polar form and roots. The
textbook has some useful examples, but they provide fairly few details about some tricky
steps of the work. This handout will go more slowly through some similar examples. It
may help to review some trigonometry, especially about how to find angle measurements in
quadrants other than Quadrant I.
At the end of the handout, we mention some other facts about the roots of unity.
Polar Form Practice
Writing a complex number z 6= 0 in polar form is very useful for computing products and
roots. We start with z in a+bi form (rectangular form) and convert it to z = r(cos θ +i sin θ)
where r = |z| is the length of z and θ is the angle made with the positive x-axis. Note that
θ is only unique if you restrict it to [0, 2π) (we say θ is unique modulo 2π).
If a or b is zero, then z lies on an axis, and you can spot the angle fairly quickly from a
picture; the angle must be a multiple of π/2. When a, b 6= 0, I recommend the reference
√ angle
method. I’ll show the steps of the method demonstrated on the example of z = − 3 + i.
1. Make a picture with your number z =
a+bi plotted in the plane, and draw a right
triangle whose base is the x-axis. The
legs of this triangle are |a| and |b|, the hypotenuse is the length |z|. The acute angle
inside that triangle is the reference angle
which we call θR .
Example: On√ the right, we see the drawing of z =
q−√ 3 + i. Here,√the hypotenuse
is |z| = ( 3)2 + 12 = 4 = 2. Notice
how both θ and θR are pictured.
2. Use any of the inverse trigonometric functions to get θR . You can do arccos(|a|/|z|),
arcsin(|b|/|z|), or arctan(|b|/|a|). Sometimes the arctan choice is easier because it
doesn’t require computation of |z|, but you may find special values of trig functions
easier to recognize for arccos or arcsin.
◦
Example: Here, I have sin(θR ) = opp/hyp
also
√ = 1/2, so θR = π/6 (i.e. 30 ). I could’ve √
done θR = arccos(adj/hyp) = arccos( 3/2) or θR = arctan(opp/adj) = arctan(1/ 3)
instead to get the same answer.
Caution: Except for a few special values, we generally do not have simplified values of
θR memorized. If θR doesn’t equal one of the “special angles” like π/6, π/4, or π/3,
you’ll have to leave θR unsimplified as an inverse trig value.
1
3. Get θ from θR by accounting for the quadrant.
Example: Here, our point is in Quadrant II, so θ and θR combine to form a half-circle
of π radians. Thus, we have θ = π − θR = π − π/6 = 5π/6.
√
For our example, the polar form is − 3 + i = 2(cos(5π/6) + i sin(5π/6)) .
Finding Roots
In class, we showed the following process to find all the nth roots of a√complex number
w. We’ll demonstrate it with a procedure to find the fifth roots of w = − 3 + i.
1. Get w in polar form r(cos(θ) + i sin(θ)). Based on DeMoivre’s Theorem, we can get
one of the roots z0 in polar form: its length is |z0 | = |w|1/n , and its polar angle is θ/n.
√
Example: In our previous work in this document, we found that − 3 + i has length 2
and angle 5π/6. Therefore, one fifth root is z0 = 21/5 (cos(π/6) + i sin(π/6)).
2. Compute the simplest nth root of unity, which we called ω:
2π
2π
+ i sin
ω = cos
n
n
(Basically, ω has length 1 and has angle 2π/n, so it represents a rotation of 1/nth of
the unit circle.)
Example: For fifth roots, ω uses the angle 2π/5. (Since that’s not a special angle, we
won’t be able to simplify the values of cos(2π/5) and sin(2π/5).)
3. To get the other nth roots, multiply z0 by the powers of ω from ω 0 up to ω n−1 . In
other words, keep adding 2π/n to the polar angle of z0 until you have n roots in total.
Example: Since z0 has angle π/6, the five angles for the fifth roots are
2π
π
2π
π
2π
π π 2π π
, +
, +2
, +3
, +4
6 6
5 6
5
6
5
6
5
(In simplified form, they are π/6, 17π/30, 29π/30, 41π/30, and 53π/30.)
All of these roots have the same length
21/5 . As the drawing shows, these roots all
lie on a circle of radius 21/5 about the origin,
and they are equally spaced apart from one
another.
2
More Difficult Ways to get Exact Values
The algorithm for finding nth roots produces the answers in polar form. Sometimes, the
answers involve non-special angles, so we don’t usually have the exact values of these trig
functions memorized. I won’t require you to get exact values for these functions, but it can
sometimes be useful to get more exact values. (See Example 9 in the textbook, for instance.)
Half-angle solving:
Suppose that you want a value cos(θ) where θ is not a special angle, but 2θ is. In other
words, you have a convenient value for cos(2θ), and you want to use it to get a value for
cos(θ). The key is to exploit the double-angle identity
cos(2θ) = 2 cos2 (θ) − 1
Plug in the value of cos(2θ) that you know, and algebraically solve for cos2 (θ). You get two
possibilities (of opposite signs), but you should be able to tell which sign is appropriate by
looking at θ’s quadrant.
You can do something similar to get sin(θ) from sin(2θ)’s double-angle identity, but that’s
more complicated because
p that identity has both sin(θ) and cos(θ) in it. A better option is
to note that sin(θ) = ± 1 − cos2 (θ).
Example:
Let’s say θ = π/12; we’ll use
√ this method to find cos(π/12), given that we know the
value
of
cos(2θ)
=
cos(π/6)
=
3/2. When we substitute this
√
√ value in the identity, we get
2
2
3/2 = 2 cos (θ) − 1, which we solve to get cos (θ) = (2 + 3)/4. Taking square roots, we
obtain
s
p
√
√
2+ 3
2+ 3
=±
cos(π/12) = ±
4
2
Because θ is an acute angle (it’s less than π/2), its cosine should be positive, so we take the
+ sign.
p
Now, we use that information with sin(θ) = 1 − cos2 (θ) (only the positive square root
makes sense for acute angles) to get
v
p
u
√ ! s
√
√
u
2
+
3
2
−
3
2− 3
t
sin(π/12) = 1 −
=
=
4
4
2
Variant of the above technique:
The above technique can sometimes be adapted to higher multiples of θ. For instance,
there is a formula for cos(4θ) in terms of only cos(θ) (see the Challenge Problems of HW 5).
If you know a convenient value for cos(4θ), then you can use it to solve for a value of cos(θ).
We will not go into more detail here.
3
Powers of Roots of Unity
In our root-finding approach, we start with a “basic” root of unity ω and keep taking
powers of it repeatedly until we obtain all n roots of unity. This raises a good question: does
the same behavior happen if you take powers of any root of unity? In other words, if c ∈ C
is any of the nth roots of unity, does it follow that c0 , c1 , up to cn−1 give us the total set of
n roots of unity?
If c is a root of unity where the first n powers c0 through cn−1 are all different, and then
cn = 1 again, we call c a primitive root of unity. Thus, ω is a primitive root of unity, but
there may be other possibilities for primitive roots. Let’s try some concrete examples first.
• Let’s consider n = 5 and use c = ω 2 (so it has polar angle 4π/5 instead of 2π/5). Then
c0 is 1 (with polar angle 0), c1 has angle 4π/5, c2 has angle 8π/5, c3 has angle 12π/5
(which reduces back to 2π/5 when you treat this mod 2π), and c4 has angle 16π/5
(which reduces to 6π/5). Finally, c5 has angle 20π/5, which reduces to 0 mod 2π, so
c5 = 1 again.
Thus, ω 2 is a primitive root of unity here!
The picture on the right shows a bit of
what’s going on. There are dots for each
of the five primitive roots, and you see that
every dot is some power of c.
• Consider n = 6 and c = ω 4 . Hence, c0 = 1, c1 = ω 4 , and then c2 = ω 8 = (ω 6 )(ω 2 ) = ω 2 .
(Note how we use the fact that ω is a 6th root of unity here!) Continuing on this path,
you get the picture on the right.
Note, however, that you only get 3 powers
of c before you finally return to 1. Thus, c
is not a primitive root of unity: its powers
only account for 3 roots out of 6!
Your HW has you simplify powers of primitive roots, and if you look at some of the
Challenge Problems, you’ll get to figure out exactly which roots are primitive! (There’s
actually a lot of similarity between the situation here and units in Zn ...)
4