WEBVTT
00:00:01.450 --> 00:00:07.200
In this video, we’ll learn how to use de Moivre’s theorem to simplify powers and roots of complex numbers.
00:00:08.050 --> 00:00:20.610
We’ll learn what the theorem states and look at where it comes from before using De Moivre’s theorem to solve problems involving powers and roots, including those involving other operations on complex numbers.
00:00:21.690 --> 00:00:28.430
de Moivre’s theorem allows us to evaluate powers of a complex number written in polar form really quickly.
00:00:29.020 --> 00:00:35.800
We know that a complex number written in polar form can also be expressed in exponential form as 𝑟𝑒 to the 𝑖𝜃.
00:00:36.260 --> 00:00:41.190
We’re going to raise each side of this equation to the power of some integer value.
00:00:41.230 --> 00:00:42.350
Let’s call that 𝑛.
00:00:42.780 --> 00:00:49.390
So we can say that 𝑟𝑒 to the 𝑖𝜃 to the power of 𝑛 is equal to 𝑟 cos𝜃 plus 𝑖 sin𝜃 all to the power of 𝑛.
00:00:49.860 --> 00:00:57.490
Since 𝑛 is an integer value, we can rewrite the left-hand side of this equation as 𝑟 to the power of 𝑛 times 𝑒 to the power of 𝑖𝑛𝜃.
00:00:57.930 --> 00:01:01.850
But this actually means that we can rewrite the right-hand side using Euler’s formula.
00:01:02.070 --> 00:01:06.330
And we get 𝑟 to the power of 𝑛 times cos 𝑛𝜃 plus 𝑖 sin 𝑛𝜃.
00:01:06.860 --> 00:01:08.480
And this is De Moivre’s theorem.
00:01:08.820 --> 00:01:18.990
For an integer value of 𝑛, 𝑟 cos𝜃 plus 𝑖 sin𝜃 to the power of 𝑛 is equal to 𝑟 to the power of 𝑛 times cos 𝑛𝜃 plus 𝑖 sin 𝑛𝜃.
00:01:19.630 --> 00:01:29.120
It’s important to realize that this isn’t a strict proof of de Moivre’s theorem and that a formal proof comes from a more thorough understanding of the exponential form of a complex number.
00:01:29.790 --> 00:01:36.750
However, as previously mentioned, this theorem can allow us to easily evaluate powers of a complex number written in polar form.
00:01:37.260 --> 00:01:38.710
Let’s see what this might look like.
00:01:40.220 --> 00:01:55.940
Simplify the square root of five times cos three 𝜋 by 14 plus 𝑖 sin of three 𝜋 by 14 to the power of seven times root three multiplied by cos of five 𝜋 by 22 plus 𝑖 sin of five 𝜋 by 22 to the power of 11.
00:01:56.620 --> 00:02:02.310
In this question, we have the product of two complex numbers which are both written in polar form.
00:02:02.940 --> 00:02:10.210
To simplify these, we’ll need to use de Moivre’s theorem to help us evaluate the powers of each complex number before finding their product.
00:02:10.700 --> 00:02:23.190
Remember this theorem says that for integer values of 𝑛, a complex number written in polar form raised to the power of 𝑛 is equal to 𝑟 to the power of 𝑛 times cos 𝑛𝜃 plus 𝑖 sin 𝑛𝜃.
00:02:23.670 --> 00:02:27.460
Let’s use this to evaluate our first complex number to the power of seven.
00:02:27.800 --> 00:02:32.090
For this number, 𝑟 is root five and 𝜃 is three 𝜋 by 14.
00:02:32.470 --> 00:02:43.270
We can rewrite this then as root five to the power of seven times cos of seven multiplied by three 𝜋 by 14 plus 𝑖 sin of seven multiplied by three 𝜋 by 14.
00:02:43.620 --> 00:02:54.280
We can simplify this and we see that the first complex number raised to the power of seven is 125 root five times cos of three 𝜋 by two plus 𝑖 sin of three 𝜋 by two.
00:02:54.780 --> 00:03:00.370
Similarly, for our second complex number, we raise the modulus which is root three to the power of 11.
00:03:00.450 --> 00:03:03.160
And we get 243 root three.
00:03:03.190 --> 00:03:08.670
And we multiply the argument — that’s five 𝜋 by 22 by 11 — and that gives us five 𝜋 by two.
00:03:09.260 --> 00:03:12.690
Our final step is to find the product of these two complex numbers.
00:03:12.890 --> 00:03:17.760
To multiply complex numbers, we multiply their moduli and we add their arguments.
00:03:17.890 --> 00:03:26.260
125 root five multiplied by 243 root three is 30375 root 15.
00:03:26.640 --> 00:03:38.120
And if we add their arguments, we get four 𝜋 and we can see that our complex number can be expressed as 30375 root 15 times cos four 𝜋 plus 𝑖 sin four 𝜋.
00:03:38.610 --> 00:03:44.480
Actually, we can simplify this a little bit further since cos of four 𝜋 is one and sin of four 𝜋 is zero.
00:03:44.930 --> 00:03:49.570
So our final answer is 30375 root 15.
00:03:50.990 --> 00:03:57.340
In our next example, we’ll demonstrate how to use de Moivre’s theorem to simplify the quotient of powers of complex numbers.
00:03:59.070 --> 00:04:06.440
Simplify 18 times negative 𝑖 plus one to the power of 39 divided by 𝑖 plus one to the power of 41.
00:04:07.250 --> 00:04:13.760
Here we have the quotient of two complex numbers individually raised to the power of 39 and 41.
00:04:14.320 --> 00:04:19.410
We can use de Moivre’s theorem to evaluate these only when they’re in polar or exponential form.
00:04:19.660 --> 00:04:24.010
So let’s begin by writing negative 𝑖 plus one and 𝑖 plus one in polar form.
00:04:24.410 --> 00:04:27.740
To do this, we need to know the value of their moduli and arguments.
00:04:27.950 --> 00:04:29.950
The modulus is fairly straightforward.
00:04:30.180 --> 00:04:35.140
We calculate the square root of the sum of the squares of the real and imaginary parts of this number.
00:04:35.330 --> 00:04:41.780
So the modulus of negative 𝑖 plus one is the square root of one squared plus negative one squared which is root two.
00:04:42.360 --> 00:04:46.050
Similarly, for 𝑖 plus one, that’s also root two.
00:04:46.440 --> 00:04:48.210
But what about their arguments?
00:04:48.400 --> 00:04:50.300
We’ll consider these individually.
00:04:50.510 --> 00:04:55.430
Negative 𝑖 plus one has a positive real part and a negative imaginary part.
00:04:55.430 --> 00:04:57.090
So it must lie in the fourth quadrant.
00:04:57.400 --> 00:05:04.180
We can therefore find its argument by using the formula the arctan of the imaginary divided by the real part.
00:05:04.320 --> 00:05:08.760
That’s the arctan of negative one divided by one which is negative 𝜋 by four.
00:05:09.320 --> 00:05:11.320
𝑖 plus one lies in the first quadrant.
00:05:11.320 --> 00:05:12.780
So we can use the same formula.
00:05:12.970 --> 00:05:16.690
It’s the arctan of one divided by one which is 𝜋 by four.
00:05:17.090 --> 00:05:20.860
And we can see that we have our two complex numbers written in polar form.
00:05:21.070 --> 00:05:23.400
I’ve substituted them back into our fraction.
00:05:23.680 --> 00:05:30.900
What we’re going to need to do next is to evaluate the complex number on the top to the power of 39 and the one on the bottom to the power of 41.
00:05:31.260 --> 00:05:42.160
Using de Moivre’s theorem, on the numerator, we have the square root of two to the power of 39 times cos 39 multiplied by negative 𝜋 by four plus 𝑖 sin of 39 multiplied by negative 𝜋 by four.
00:05:42.430 --> 00:05:49.020
And on the denominator, the modulus is root two to the power of 41 and the argument is 41 times 𝜋 by four.
00:05:49.310 --> 00:05:51.790
We don’t actually need to evaluate these yet.
00:05:52.160 --> 00:05:59.600
Instead, we recall the fact that to divide two complex numbers in polar form, we divide their moduli and subtract their arguments.
00:05:59.910 --> 00:06:05.530
Dividing their moduli and we see that we’re left with 18 over root two squared, which is nine.
00:06:06.020 --> 00:06:10.500
Then, subtracting their arguments, we get an argument of negative 20𝜋.
00:06:10.800 --> 00:06:15.520
Now, cos of negative 20𝜋 is one and sin of negative 20𝜋 is zero.
00:06:15.870 --> 00:06:17.180
So we’re left with nine.
00:06:18.390 --> 00:06:25.470
Now, you’ve probably spotted that we can generalize the properties of the modulus and the argument to integer powers of 𝑛.
00:06:26.150 --> 00:06:34.590
For a complex number 𝑧 and integer values of 𝑛, the modulus of 𝑧 to the power of 𝑛 is the same as the modulus of 𝑧 to the power of 𝑛.
00:06:34.900 --> 00:06:39.620
And the argument of 𝑧 to the power of 𝑛 is the same as 𝑛 times the argument of 𝑧.
00:06:40.260 --> 00:06:45.310
And in fact, it’s also useful to know that we can generalize de Moivre’s theorem for a complex number and its conjugate.
00:06:45.640 --> 00:06:48.320
We don’t have time to demonstrate where this comes from in this video.
00:06:48.320 --> 00:07:00.780
But it’s useful to know that for the conjugate of 𝑧, which is denoted here by 𝑧 star, the conjugate of 𝑧 to the power of 𝑛 is equal to the conjugate of 𝑧 to the power of 𝑛.
00:07:01.430 --> 00:07:07.610
This formula can be really useful in helping us solve problems where we might not want to use De Moivre’s theorem fully.
00:07:08.240 --> 00:07:09.670
Let’s see what this might look like.
00:07:10.520 --> 00:07:18.880
Given that 𝑧 is equal to root three minus 𝑖 to the power of 𝑛 and the modulus of 𝑧 is equal to 32, determine the principal argument of 𝑧.
00:07:19.830 --> 00:07:28.280
The principal argument of 𝑧 is the value of 𝜃 such that 𝜃 is greater than negative 𝜋 and less than or equal to 𝜋.
00:07:28.850 --> 00:07:32.720
To answer this question, we’re going to recall the properties of the modulus.
00:07:33.010 --> 00:07:35.700
We know that the modulus of 𝑧 is equal to 32.
00:07:36.060 --> 00:07:41.310
So we can say that the modulus of root three minus 𝑖 to the power of 𝑛 is equal to 32.
00:07:41.890 --> 00:07:44.590
Using the properties of the modulus, we can rewrite this.
00:07:44.720 --> 00:07:49.730
And we can say that the modulus of root three minus 𝑖 all to the power of 𝑛 is equal to 32.
00:07:50.250 --> 00:07:56.240
The modulus of root three minus 𝑖 is the square root of root three squared plus negative one squared.
00:07:56.650 --> 00:07:57.830
And that’s simply two.
00:07:58.420 --> 00:08:01.740
We can say then that two to the power of 𝑛 is equal to 32.
00:08:02.000 --> 00:08:04.580
And we know that two to the power of five is 32.
00:08:04.580 --> 00:08:06.010
So 𝑛 must be equal to five.
00:08:06.590 --> 00:08:12.010
We can now rewrite our complex number as root three minus 𝑖 all to the power of five.
00:08:12.350 --> 00:08:18.100
We then recall the rule that the argument of 𝑧 to the power of 𝑛 is equal to 𝑛 times the argument of 𝑧.
00:08:18.670 --> 00:08:27.060
This means that the argument of 𝑧 or the argument of root three minus 𝑖 to the power of five is five times the argument of root three minus 𝑖.
00:08:27.470 --> 00:08:31.970
Now, root three minus 𝑖 lies in the fourth quadrant when plotted on the Argand diagram.
00:08:32.250 --> 00:08:36.040
And this is because its real part is positive and its imaginary part is negative.
00:08:36.330 --> 00:08:44.600
And we can find the argument of root three minus 𝑖 by using the formula the arctan of the imaginary part divided by the real part.
00:08:44.740 --> 00:08:47.290
That’s arctan of negative one over root three.
00:08:47.740 --> 00:08:49.340
That’s negative 𝜋 by six.
00:08:49.460 --> 00:08:56.730
So we can see that the argument of 𝑧 is five multiplied by negative 𝜋 by six which is negative five 𝜋 by six.
00:08:57.070 --> 00:09:03.130
This satisfies the criteria of being less than or equal to 𝜋 and greater than or equal to negative 𝜋.
00:09:03.250 --> 00:09:05.200
So we found the principal argument of 𝑧.
00:09:05.320 --> 00:09:07.490
It’s negative five 𝜋 by six.
00:09:08.800 --> 00:09:13.380
For our final example, we’re going to look at how to use de Moivre’s theorem to find roots.
00:09:14.290 --> 00:09:28.530
De Moivre’s theorem for roots says that for a complex number 𝑟 cos 𝜃 plus 𝑖 sin 𝜃, its 𝑛 roots are 𝑟 to the power of one over 𝑛 times cos of 𝜃 plus two 𝜋 𝑘 over 𝑛 plus 𝑖 sin of 𝜃 plus two 𝑘 over 𝑛.
00:09:28.770 --> 00:09:32.540
And 𝑘 takes integer values from zero through to 𝑛 minus one.
00:09:34.260 --> 00:09:39.680
Find the fourth roots of negative one, giving your answers in trigonometric form.
00:09:40.710 --> 00:09:56.460
de Moivre’s theorem for roots says that the 𝑛th root of a complex number written in polar form is 𝑟 to the one over 𝑛 times cos of 𝜃 plus two 𝜋 𝑘 over 𝑛 plus 𝑖 sin of 𝜃 plus two 𝜋 𝑘 over 𝑛, where 𝑘 takes integer values of zero through to 𝑛 minus one.
00:09:56.980 --> 00:10:00.640
We therefore need to express negative one in polar form.
00:10:01.110 --> 00:10:05.290
The modulus of negative one is one and its argument is 𝜋.
00:10:05.680 --> 00:10:09.800
In polar form then, negative one is the same as cos 𝜋 plus 𝑖 sin 𝜋.
00:10:10.080 --> 00:10:23.690
By applying de Moivre’s rule for roots, we can see that the fourth roots of negative one are cos of 𝜋 plus two 𝜋 𝑘 over four plus 𝑖 sin of 𝜋 plus two 𝜋 𝑘 over four, where 𝑘 takes values of zero through to three.
00:10:24.410 --> 00:10:27.650
We’ll begin by considering the root when 𝑘 is equal to zero.
00:10:28.060 --> 00:10:32.350
When 𝑘 is zero, our root is cos of 𝜋 by four plus 𝑖 sin of 𝜋 by four.
00:10:32.650 --> 00:10:43.270
When 𝑘 is one, our root is cos of 𝜋 plus two 𝜋 over four plus 𝑖 sin of 𝜋 plus two 𝜋 over four, which simplifies to cos of three 𝜋 by four plus 𝑖 sin of three 𝜋 by four.
00:10:43.660 --> 00:10:50.130
When 𝑘 is two, we get cos of 𝜋 plus four 𝜋 over four plus 𝑖 sin of 𝜋 plus four 𝜋 over four.
00:10:50.420 --> 00:10:53.320
And that leaves us with an argument of five 𝜋 by four.
00:10:53.410 --> 00:10:56.760
But this argument is not in the range for the principal argument.
00:10:56.990 --> 00:11:00.480
Remember we can add or subtract multiples of two 𝜋 to achieve this.
00:11:00.670 --> 00:11:05.900
This time, we subtract two 𝜋 and we get an argument of negative three 𝜋 by four.
00:11:06.130 --> 00:11:11.350
So our third root is cos of negative three 𝜋 by four plus 𝑖 sin of negative three 𝜋 by four.
00:11:11.710 --> 00:11:16.970
Then when 𝑘 is equal to three, the argument is 𝜋 plus six 𝜋 over four.
00:11:17.260 --> 00:11:22.110
This is seven 𝜋 over four, which once again is outside of the range for the principal argument.
00:11:22.180 --> 00:11:27.720
We subtract two 𝜋 and we get the principal argument for this root to be negative 𝜋 by four.
00:11:28.010 --> 00:11:32.810
So our fourth root is cos of negative 𝜋 by four plus 𝑖 sin of negative 𝜋 by four.
00:11:33.220 --> 00:11:38.840
Now the reason we’ve stopped here is because de Moivre’s theorem for roots says that 𝑘 takes values of zero through to 𝑛 minus one.
00:11:39.330 --> 00:11:47.000
Aside from the fact that we know the fourth root of negative one will give us four roots, let’s have a look at a reason why we stop at minus one for 𝑘.
00:11:47.460 --> 00:11:51.540
Let’s look at what would have happened had we tried to evaluate the root when 𝑘 is equal to four.
00:11:51.810 --> 00:11:56.620
We would have got cos of 𝜋 plus eight 𝜋 over four plus 𝑖 sin of 𝜋 plus eight 𝜋 over four.
00:11:56.990 --> 00:12:01.630
That would give us an argument of nine 𝜋 over four, which once again is outside the range for the principal argument.
00:12:01.810 --> 00:12:06.090
Subtracting two 𝜋 from nine 𝜋 over four and we get 𝜋 by four.
00:12:06.430 --> 00:12:12.770
Now, you should be able to see when 𝑘 is equal to four, we get the same result as if 𝑘 is equal to zero.
00:12:13.040 --> 00:12:17.350
So we just need the four values of 𝑘: zero, one, two, and three.
00:12:17.970 --> 00:12:22.130
And we’ve used de Moivre’s theorem for roots to find the fourth roots of negative one.
00:12:22.410 --> 00:12:36.810
They are cos of 𝜋 by four plus 𝑖 sin 𝜋 by four, cos of three 𝜋 four plus 𝑖 sin of three 𝜋 by four, cos of negative three 𝜋 by four plus 𝑖 sin of negative three 𝜋 by four, and cos of negative 𝜋 by four plus 𝑖 sin of negative 𝜋 by four.
00:12:37.260 --> 00:12:49.360
In this video, we’ve seen that de Moivre’s theorem says that we can raise a complex number written in polar form to an integer power of 𝑛 by using the formula 𝑟 to the power of 𝑛 times cos of 𝑛 𝜃 plus 𝑖 sin of 𝑛 𝜃.
00:12:49.810 --> 00:12:54.040
We’ve also seen that de Moivre’s theorem extends to finding 𝑛th roots of complex numbers.
00:12:54.170 --> 00:13:05.620
We evaluate 𝑟 to the power of one over 𝑛 times cos of 𝜃 plus two 𝜋 𝑘 over 𝑛 plus 𝑖 sin of 𝜃 plus two 𝜋 𝑘 over 𝑛, where 𝑘 takes integer values from zero through to 𝑛 minus one.
00:13:06.270 --> 00:13:12.950
And of course, we’ve explicitly stated throughout this video the de Moivre’s theorem is used to calculate 𝑛th roots and integer powers.
00:13:13.120 --> 00:13:17.360
But we can’t actually assume that it applies to a real or complex exponents.