WEBVTT
00:00:01.700 --> 00:00:09.230
In this lesson, weβll learn how to use De Moivreβs theorem to find the πth root of a complex number and explore their properties.
00:00:09.850 --> 00:00:13.250
By this point, you should feel comfortable finding the πth roots of unity.
00:00:13.410 --> 00:00:17.910
And this lesson looks to extend these concepts into finding the πth root of any complex number.
00:00:18.580 --> 00:00:28.480
Weβll also consider the relationship between πth roots of a complex number and the roots of unity, before looking at a geometrical interpretation and application for these roots.
00:00:29.910 --> 00:00:33.270
Letβs begin by recalling De Moivreβs theorem for roots.
00:00:33.590 --> 00:00:48.470
It says that, for a complex number of the form π cos π plus π sin π, the roots are given by π to the power of one over π times cos of π plus two ππ over π plus π sin of π plus two ππ over π.
00:00:48.910 --> 00:00:52.980
And these are for integer values of π between zero and π minus one.
00:00:53.330 --> 00:00:58.190
In this video, weβll use this theorem for both roots in polar and exponential form.
00:00:58.740 --> 00:01:04.820
So letβs look at an example of how to use the formula to solve an equation involving finding the roots of a complex number.
00:01:06.080 --> 00:01:11.740
1) Solve π§ to the power of five equals 16 root two plus 16 π root two.
00:01:12.310 --> 00:01:19.160
2) By plotting the solutions on an Argand diagram, or otherwise, describe the geometric properties of the solutions.
00:01:19.840 --> 00:01:26.130
For part one, we need to solve an equation that involves finding the roots for a complex number written in algebraic form.
00:01:26.840 --> 00:01:34.660
Remember though, De Moivreβs theorem for roots uses the polar and exponential form of a complex number instead of the algebraic form.
00:01:35.080 --> 00:01:41.660
So weβll need to begin by calculating the modulus and argument of a complex number thatβs denoted π§ to the power of five.
00:01:42.050 --> 00:01:45.210
The real part of this complex number is 16 root two.
00:01:45.530 --> 00:01:49.140
And similarly, its imaginary part is also 16 root two.
00:01:49.520 --> 00:01:52.280
So the modulus is fairly straightforward to calculate.
00:01:52.340 --> 00:01:56.470
Itβs the square root of the sum of the squares of these two parts.
00:01:56.550 --> 00:02:03.030
Thatβs the square root of 16 root two squared plus 16 root two squared, which is simply 32.
00:02:03.360 --> 00:02:06.460
So the modulus of π§ to the power of five is 32.
00:02:06.820 --> 00:02:09.480
In exponential form, this is the value of π.
00:02:09.830 --> 00:02:12.760
Its argument is also fairly straightforward.
00:02:12.910 --> 00:02:16.850
The complex number has both positive real and imaginary parts.
00:02:17.000 --> 00:02:19.820
So it must lie in the first quadrant on the Argand diagram.
00:02:20.270 --> 00:02:30.180
This means we can use the formula arctan of π divided by π, where π is the imaginary part and π is the real part, to find the argument of π§ to the power of five.
00:02:30.560 --> 00:02:34.090
Thatβs arctan of 16 root two over 16 root two.
00:02:34.490 --> 00:02:38.000
Well, in fact, 16 root two divided by 16 root two is one.
00:02:38.230 --> 00:02:39.730
So we need to find the arctan of one.
00:02:40.130 --> 00:02:42.130
And this is a value we should know by heart.
00:02:42.310 --> 00:02:44.770
We know that tan of π by four is one.
00:02:45.170 --> 00:02:47.770
So the arctan of one must be π by four.
00:02:47.890 --> 00:02:51.280
And the argument of π§ to the power of five is π by four.
00:02:51.800 --> 00:02:59.460
And we can say, in exponential form, we can write this equation as π§ to the power of five equals 32π to the π by four π.
00:03:00.040 --> 00:03:04.320
To solve this equation, weβll need to find the fifth root of both sides.
00:03:04.590 --> 00:03:07.270
Now the fifth root of π§ to the power of five is simply π§.
00:03:07.270 --> 00:03:16.310
And we can say that the fifth root of 32π to the π by four π is 32π to the π by four π to the power of one over five.
00:03:16.650 --> 00:03:21.750
Comparing this to the formula for De Moivreβs theorem, we see that π, the modulus, is 32.
00:03:22.100 --> 00:03:24.290
π, the argument, is π by four.
00:03:24.590 --> 00:03:31.330
And π must be equal to five, which means π is going to take the values of zero, one, two, three, and four.
00:03:31.850 --> 00:03:41.240
Applying this theorem with π equals five, we get π§ equals 32 to the power of one-fifth times π to the π by four plus two ππ over five π.
00:03:41.750 --> 00:03:44.190
32 to the power of one-fifth is two.
00:03:44.610 --> 00:03:52.240
And substituting π is equal to zero into the equation, we see that the first solution must be two π to the π by 20π.
00:03:52.680 --> 00:03:56.070
Our second solution is two π to the nine π by 20π.
00:03:56.480 --> 00:04:01.000
When π is equal to two, we get two π to the 17π by 20π.
00:04:01.260 --> 00:04:13.790
Substituting π is equal to three into our equation and then subtracting two π from the argument so that itβs within the range for the principal argument, we see that the fourth solution is two π to the negative three π by four π.
00:04:14.050 --> 00:04:18.780
And similarly, the final solution is two π to the negative seven π by 20π.
00:04:19.700 --> 00:04:25.890
And there we have the five solutions to the equation π§ to the power of five equals 16 root two plus 16π root two.
00:04:26.120 --> 00:04:27.940
And weβve expressed them in exponential form.
00:04:28.420 --> 00:04:31.870
For part two, weβre going to need to plot these solutions on an Argand diagram.
00:04:32.160 --> 00:04:36.050
Now one way to do this would be to convert these numbers back into their algebraic form.
00:04:36.410 --> 00:04:40.540
Once we know their real and imaginary parts, we can plot them fairly easily on the Argand diagram.
00:04:41.000 --> 00:04:45.860
Alternatively, we could spot that their modulus is two and then use their arguments to plot the roots.
00:04:46.210 --> 00:04:53.360
Either way, we see that they form the vertices of a regular pentagon, inscribed in a circle of radius two, whose centre is the origin.
00:04:54.090 --> 00:05:04.280
Geometrically, we can say that the πth roots of a complex number, much like the πth root of unity, form the vertices of a regular polygon with π sides, a regular π-gon.
00:05:05.090 --> 00:05:09.980
Now there are further relationships between these arbitrary roots and the roots of unity.
00:05:10.340 --> 00:05:13.000
Letβs have a look in more detail at these properties.
00:05:14.200 --> 00:05:21.520
1) Find the solutions to the equation π§ to the power of six equals 125π to the two π by three π.
00:05:21.900 --> 00:05:24.080
What are their geometrical properties?
00:05:24.340 --> 00:05:26.400
2) State the sixth roots of unity.
00:05:26.820 --> 00:05:37.820
And 3) What is the relationship between the sixth roots of unity and the solutions to the equation π§ to the power of six equals 125π to the two π by three π?
00:05:38.330 --> 00:05:42.730
Here we have an equation involving finding the roots of a complex number.
00:05:43.190 --> 00:05:47.710
To solve this equation, weβre going to need to take the sixth root of both sides.
00:05:47.860 --> 00:05:51.240
And to do this, weβll need to apply De Moivreβs theorem for roots.
00:05:51.790 --> 00:06:07.190
That tells us that the solutions to this equation are given by 125 to the power of one-sixth times π to the power of two π over three plus two ππ over six π, where π takes values from zero through to five.
00:06:07.760 --> 00:06:18.710
Substituting these values of π into our formula and then subtracting multiples of two π where necessary from the argument to express the argument within the range for the principal argument.
00:06:18.920 --> 00:06:39.600
And we see that our solutions to the equation are root five π to the π by nine π, root five π to the four π by nine π, root five π to the seven π by nine π, root five π to the negative eight π by nine π, root five π to the negative five π by nine π, and root five π to the negative two π by nine π.
00:06:40.340 --> 00:06:46.650
As expected, when we plot these on an Argand diagram, we see that they form the vertices of a regular hexagon.
00:06:46.990 --> 00:06:53.610
And this hexagon is inscribed within a circle whose centre is the origin and whose radius is root five.
00:06:54.410 --> 00:07:00.080
Now as we go ahead and answer part two and three of this question, weβll leave the Argand diagram in place.
00:07:00.180 --> 00:07:02.230
Itβs going to be useful to us in a moment.
00:07:02.650 --> 00:07:06.220
In a similar way, we could use De Moivreβs theorem to find the sixth roots of unity.
00:07:06.540 --> 00:07:18.430
Or we can simply recall that they are one, π to the π by three π, π to the two π by three π, negative one, π to the negative two π by three π, and π to the negative π by three π.
00:07:19.200 --> 00:07:28.710
So to find the relationship between the sixth roots of unity and the solutions to our equation, letβs recall the geometric interpretation of the sixth roots of unity.
00:07:29.700 --> 00:07:34.990
The sixth roots of unity are represented geometrically by the vertices of a regular hexagon.
00:07:35.290 --> 00:07:38.440
This time, that hexagon is inscribed within a unit circle.
00:07:38.580 --> 00:07:40.550
And once again, its centre is the origin.
00:07:40.990 --> 00:07:54.110
And we can see that we can transform the sixth roots of unity to the roots of our equation by a dilation scale factor root five and a counterclockwise rotation by π by nine radians.
00:07:54.630 --> 00:08:07.540
Another way of thinking about this is itβs the same as multiplying them by a complex number whose modulus is the square root of five and whose argument is π by nine, In other words, root five π to the π by nine π.
00:08:07.920 --> 00:08:27.870
This means if we call the sixth roots of unity one, π, π squared all the way through to π to the power of five, then the roots of our equation can be expressed as root five π to the π by nine π, π times root five π to the π by nine π, all the way through to π to the power of five times root five π to the π by nine π.
00:08:28.320 --> 00:08:36.600
And these results would have stood had we used any of the other roots of π§ to the power of six equals 125π to the two π by three π.
00:08:37.210 --> 00:08:38.990
Letβs look to generalise this.
00:08:39.590 --> 00:09:04.460
If π§ one is a root of the equation π§ to the power of π minus π€ equals zero and one, π, π squared, all the way through to π to the power of π minus one are the πth roots of unity, the roots of π§ to the power of π minus π€ equals zero are π§ one, π§ one multiplied by π, π§ one multiplied by π squared, all the way through to π§ one multiplied by π to the power of π minus one.
00:09:05.040 --> 00:09:07.190
We can think about this geometrically.
00:09:07.470 --> 00:09:15.900
We know that multiplication by a complex number whose modulus is one represents a counterclockwise rotation by the argument of that complex number.
00:09:16.350 --> 00:09:31.270
So if we start at a root of π§ to the power of π minus π€ equals zero, each rotation by an angle of two π by π will map the vertex at this root onto the other vertices representing the other roots.
00:09:32.410 --> 00:09:35.740
Letβs have a look at an example of this geometric interpretation.
00:09:37.110 --> 00:09:44.550
Find the coordinates of the vertices of a regular pentagon centred at the origin with one vertex at three, three.
00:09:45.390 --> 00:09:51.140
Since weβre dealing with a pentagon, letβs see how we can link this with the fifth root of a complex number.
00:09:51.780 --> 00:09:57.740
We know that, on an Argand diagram, the fifth roots of unity form a regular pentagon.
00:09:58.180 --> 00:10:02.190
That pentagon is inscribed within a unit circle whose centre is the origin.
00:10:02.700 --> 00:10:07.370
And one of the vertices lies at the point whose cartesian coordinates are one, zero.
00:10:07.860 --> 00:10:12.810
So letβs consider the cartesian plane to be an Argand diagram containing our regular pentagon.
00:10:13.340 --> 00:10:23.110
We can transform this pentagon to a regular pentagon centred at the origin with a vertex at π§ one by multiplying each of the fifth roots of unity by π§ one.
00:10:23.610 --> 00:10:28.050
And thatβs the equivalent to finding the fifth root of π§ one to the power of five.
00:10:28.470 --> 00:10:40.350
Now we could use De Moivreβs theorem or simply recall that the fifth roots of unity are one, π, π squared, π cubed, and π to the power of four, where π is π to the two π by five π.
00:10:40.850 --> 00:10:52.080
Since one of the vertices of our pentagon lies at the point three, three, which represents the complex number three plus three π, we can say that π§ one is equal to three plus three π.
00:10:52.700 --> 00:11:14.770
Now we know that if π§ one is a root to the equation π§ π minus π€ equals zero and one π all the way through to π to the power of π minus one are the πth roots of unity, then the roots of π§ to the power of π minus π€ equals zero are π§ one, π§ one times π, π§ one times π squared, all the way through to π§ one times π to the power of π minus one.
00:11:15.160 --> 00:11:22.450
So we can find the coordinates of all the vertices of our regular pentagon by multiplying our π§ one by the fifth roots of unity.
00:11:22.610 --> 00:11:25.650
Before we do that though, weβll need to write it in exponential form.
00:11:26.020 --> 00:11:31.110
The modulus of π§ one is the square root of the sum of the squares of the real and imaginary parts.
00:11:31.210 --> 00:11:35.380
Thatβs the square root of three squared plus three squared, which is three root two.
00:11:35.800 --> 00:11:41.030
And since both its real and imaginary parts are positive, we know it lies in the first quadrant.
00:11:41.210 --> 00:11:45.620
So its argument is the arctan of three divided by three, which is π by four.
00:11:45.990 --> 00:11:51.140
And we can say that π§ one is equal to three root two π to the π by four π.
00:11:51.780 --> 00:12:02.390
The rest of the roots and therefore the other vertices of our pentagon will be given by π§ one times π, π§ one times π squared, and all the way through to π§ one times π to the power of four.
00:12:02.670 --> 00:12:09.200
To find π§ one times π, itβs three root two π to the π by four π times π to the two π by five π.
00:12:09.640 --> 00:12:15.850
And remember, to multiply complex numbers in exponential form, we multiply their moduli and then we add their arguments.
00:12:16.240 --> 00:12:21.360
This means our second root is three root two π to the 13π by 20π.
00:12:21.810 --> 00:12:26.260
Now since weβre trying to find the coordinates, weβll need to represent this in algebraic form.
00:12:26.580 --> 00:12:31.360
And to convert from exponential to algebraic form, we first convert it to polar form.
00:12:31.630 --> 00:12:37.270
Thatβs three root two times cos 13π by 20 plus π sin of 13π by 20.
00:12:37.460 --> 00:12:46.660
Distributing the parentheses, we see this is the same as three root two cos of 13π by 20 plus three root two π sin of 13π by 20.
00:12:46.900 --> 00:12:57.490
And we can see that the second vertex of our pentagon will lie at the point with cartesian coordinates three root two cos of 13π by 20, three root two sin of 13π by 20.
00:12:57.850 --> 00:13:00.440
We repeat this process with the third vertex.
00:13:00.620 --> 00:13:06.410
And we subtract two π from the argument so that we can express the argument within the range for the principal argument.
00:13:06.620 --> 00:13:12.960
And we see that the third solution is three root two π to the negative 19 over 20ππ.
00:13:13.340 --> 00:13:25.820
Once again, representing this in polar form and distributing the parentheses, we find the coordinates here are three root two cos of negative 19π by 20, three root two sin of negative 19π by 20.
00:13:26.190 --> 00:13:32.110
We can repeat this process for π§ one times π cubed and π§ one times π to the power of four.
00:13:32.420 --> 00:13:51.110
And we find the vertices of the pentagon to lie at the point whose cartesian coordinates are three, three; three root two cos 13π by 20, three root two sin 13 π by 20, three root two cos of negative 19 π by 20, three root two sin of negative 19π by 20.
00:13:51.380 --> 00:14:03.680
We have three root two cos of negative 11π by 20, three root two sin of negative 11π by 20, and three root two cos of negative three π by 20, three root two sin of negative three π by 20.
00:14:04.480 --> 00:14:09.010
And there are some further interesting geometric properties of the πth roots of complex numbers.
00:14:09.190 --> 00:14:11.200
Weβll consider one more example.
00:14:12.390 --> 00:14:16.130
1) Find the roots of π§ to the power of eight plus 16 equals zero.
00:14:16.640 --> 00:14:25.320
2) The complex numbers representing the roots of π§ to the power of eight plus 16 equals zero are each squared to form the vertices of a new shape.
00:14:25.530 --> 00:14:27.240
What is the area of the shape?
00:14:27.660 --> 00:14:28.800
Letβs begin with part one.
00:14:28.990 --> 00:14:35.270
To solve this equation, weβll subtract 16 from both sides to get π§ to the power of eight equals negative 16.
00:14:35.500 --> 00:14:37.670
And then weβll find the eighth roots of both sides.
00:14:37.870 --> 00:14:44.430
But to apply De Moivreβs theorem for roots, negative 16 is going to need to be expressed in exponential or polar form.
00:14:44.840 --> 00:14:46.630
Letβs write it in exponential form.
00:14:47.130 --> 00:14:48.910
Its modulus is 16.
00:14:48.910 --> 00:14:55.250
And since itβs a purely real number, which would lie on the negative real axis of an Argand diagram, its argument is π radians.
00:14:55.440 --> 00:14:59.900
And therefore, the solutions to our equation are the eighth roots of 16π to the ππ.
00:15:00.400 --> 00:15:11.650
Applying De Moivreβs theorem and we see that the roots are given by 16 to the power of one-eighth times π to the π plus two ππ over eight π, where π takes values from zero through to seven.
00:15:12.220 --> 00:15:24.740
So our roots whose arguments are expressed in the range for the principal argument are root two π to the π by eight π, root two π to the three π by eight π, all the way through to root two π to the negative π by eight π.
00:15:25.190 --> 00:15:35.890
And since these are the eighth roots of a complex number, it follows that they will form the vertices of a regular octagon inscribed in a circle whose radius is root two and centre is the origin.
00:15:36.500 --> 00:15:37.640
And what about part two?
00:15:37.880 --> 00:15:44.030
Well, to square a complex number in exponential form, we square its modulus and we double its argument.
00:15:44.270 --> 00:15:47.590
Notice how our eight roots have diminished to just four.
00:15:48.120 --> 00:15:53.700
These roots represent the vertices of a square this time, inscribed in a circle radius two units.
00:15:54.030 --> 00:15:57.140
Its area can be found by using the Pythagorean theorem.
00:15:57.140 --> 00:15:59.940
And that will generate a side length of two root two units.
00:16:00.100 --> 00:16:02.620
So its area is two root two squared.
00:16:02.730 --> 00:16:04.060
Itβs eight square units.
00:16:04.570 --> 00:16:07.870
Now did you predict what might happen when we squared the roots?
00:16:08.070 --> 00:16:11.620
It actually makes a lot of sense that the number of roots would halve.
00:16:11.950 --> 00:16:18.860
Essentially, itβs a little like simply finding the fourth roots of our original equation, which we know would form the vertices of a square.
00:16:19.860 --> 00:16:25.390
In this video, weβve learnt that we can use De Moivreβs theorem to find arbitrary roots of complex numbers.
00:16:25.870 --> 00:16:37.100
Weβve seen that if π§ one is one of the πth roots of a complex number, its other routes are given by π§ one π, π§ one π squared, all the way through to π§ one π to the power of π minus one.
00:16:37.420 --> 00:16:39.910
And thatβs when π is the primitive root of unity.
00:16:40.410 --> 00:16:48.580
Weβve also seen that we can use the geometric properties of the roots of complex numbers to help us find the coordinates of regular polygons plotted in the plane.