Exponential Form & de Moivre's Theorem (Edexcel A Level Further Maths: Core Pure): Flashcards

Exam code: 9FM0

1/36

0Still learning

Know0

  • Complete Euler's relation, which links the exponential and trigonometric functions:

    \text{e}^{\text{i} \theta} = \_\_\_\_\_\_ + \text{i} \_\_\_\_\_\_

Cards in this collection (36)

  • Complete Euler's relation, which links the exponential and trigonometric functions:

    \text{e}^{\text{i} \theta} = \_\_\_\_\_\_ + \text{i} \_\_\_\_\_\_

    The completed relation is:

    \text{e}^{\text{i} \theta} = \cos \theta + \text{i} \sin \theta

    This is what raising \text{e} to an imaginary power is defined to mean, and it is the bridge between exponentials and trigonometry.

  • How is a complex number with modulus r and argument \theta written in exponential form?

    It is written z = r \text{e}^{\text{i} \theta}.

    This follows from the polar form z = r \left(\cos \theta + \text{i} \sin \theta\right) by replacing the whole bracket with \text{e}^{\text{i} \theta}.

  • True or False?

    For every real value of \theta the number \text{e}^{\text{i} \theta} has modulus 1.

    True.

    Euler's relation gives \text{e}^{\text{i} \theta} = \cos \theta + \text{i} \sin \theta, whose modulus is \sqrt{\cos^{2} \theta + \sin^{2} \theta} = 1.

    So as \theta varies, \text{e}^{\text{i} \theta} travels round the unit circle rather than growing the way a real exponential does.

  • What are \text{e}^{\text{i} \pi} and \text{e}^{\frac{\pi}{2} \text{i}} equal to as ordinary complex numbers?

    \text{e}^{\text{i} \pi} = - 1, since \cos \pi = - 1 and \sin \pi = 0, which is often written as \text{e}^{\text{i} \pi} + 1 = 0.

    \text{e}^{\frac{\pi}{2} \text{i}} = \text{i}, since \cos \frac{\pi}{2} = 0 and \sin \frac{\pi}{2} = 1.

  • For z_{1} = r_{1} \text{e}^{\text{i} \theta_{1}} and z_{2} = r_{2} \text{e}^{\text{i} \theta_{2}} complete the product and the quotient:

    z_{1} z_{2} = \_\_\_\_\_\_ \text{ and } \frac{z_{1}}{z_{2}} = \_\_\_\_\_\_

    The completed results are:

    z_{1} z_{2} = r_{1} r_{2} \text{e}^{\text{i} \left(\theta_{1} + \theta_{2}\right)} \text{ and } \frac{z_{1}}{z_{2}} = \frac{r_{1}}{r_{2}} \text{e}^{\text{i} \left(\theta_{1} - \theta_{2}\right)}

    Both are the ordinary index laws applied to \text{e}^{\text{i} \theta}, with the moduli handled separately.

  • Why does the index law \text{e}^{\text{i} \theta_{1}} \times \text{e}^{\text{i} \theta_{2}} = \text{e}^{\text{i} \left(\theta_{1} + \theta_{2}\right)} agree with what you already know about arguments?

    Multiplying complex numbers adds their arguments, and the index law adds the powers, so the two statements say exactly the same thing.

    That agreement is the main reason exponential form is convenient: the behaviour of the arguments is built into the index laws rather than being a separate rule.

  • If z = r \text{e}^{\text{i} \theta} what is z^{*} in exponential form?

    The conjugate is z^{*} = r \text{e}^{- \text{i} \theta}: you simply change the sign of the argument.

    The modulus r is unchanged, because a + b \text{i} and a - b \text{i} are the same distance from the origin.

  • Why does \text{e}^{2 k \pi \text{i}} = 1 hold whenever k is an integer?

    Because \cos \left(2 k \pi\right) = 1 and \sin \left(2 k \pi\right) = 0 for every integer k, so Euler's relation gives 1 + 0 \text{i}.

    Adding a whole number of turns to an argument returns to exactly the same point, so all of these exponentials name the number 1.

  • A complex number is given in Cartesian form. What has to be done before de Moivre's theorem can be used on it?

    Convert it into modulus-argument form or exponential form first, because the theorem is stated in terms of a modulus and an argument.

    The answer can then be converted back into Cartesian form if the question asks for it in that form.

  • True or False?

    To find z^{5} you multiply the modulus by 5 and multiply the argument by 5.

    False.

    The argument is multiplied by 5, but the modulus is raised to the power 5.

    So a number with modulus 2 and argument \theta gives a fifth power with modulus 32, not 10.

  • To find z^{3} for z = 2 \left(\cos \frac{\pi}{5} - \text{i} \sin \frac{\pi}{5}\right) what has to be done first?

    Rewrite it with a plus sign as 2 \left(\cos \left(- \frac{\pi}{5}\right) + \text{i} \sin \left(- \frac{\pi}{5}\right)\right), so that the argument is - \frac{\pi}{5}.

    de Moivre's theorem then gives z^{3} = 8 \left(\cos \left(- \frac{3 \pi}{5}\right) + \text{i} \sin \left(- \frac{3 \pi}{5}\right)\right).

  • For z = r \left(\cos \theta + \text{i} \sin \theta\right) complete the reciprocal:

    \frac{1}{z} = \_\_\_\_\_\_ \left(\cos \left(\_\_\_\_\_\_\right) + \text{i} \sin \left(\_\_\_\_\_\_\right)\right)

    The completed reciprocal is:

    \frac{1}{z} = \frac{1}{r} \left(\cos \left(- \theta\right) + \text{i} \sin \left(- \theta\right)\right)

    It is de Moivre's theorem with an index of - 1, which inverts the modulus and reverses the argument.

  • How can z^{- n} be written using \cos n \theta and \sin n \theta rather than negative angles?

    Use the identities \cos \left(- n \theta\right) = \cos n \theta and \sin \left(- n \theta\right) = - \sin n \theta.

    These turn the result into z^{- n} = r^{- n} \left(\cos n \theta - \text{i} \sin n \theta\right), which is often the tidier form to quote.

  • Why is de Moivre's theorem better than expanding \left(2 + 3 \text{i}\right)^{8} with the binomial theorem?

    The binomial expansion gives nine terms, each needing a power of \text{i} to be simplified, and the work grows quickly as the index rises.

    In modulus-argument form the index is dealt with in a single step, whatever its size.

  • Why do the powers of a complex number sometimes repeat in a cycle?

    It happens when the modulus is 1: every power then also has modulus 1, so all the powers stay on the unit circle and only the argument changes.

    With the modulus fixed the arguments can come back round to where they started, and from that point onwards the powers repeat.

  • To express \cos 5 \theta as a polynomial in \cos \theta, what is the first move?

    Write \cos 5 \theta + \text{i} \sin 5 \theta as \left(\cos \theta + \text{i} \sin \theta\right)^{5}, using de Moivre's theorem in reverse.

    Expanding that bracket binomially and comparing real parts then gives \cos 5 \theta, while comparing imaginary parts gives \sin 5 \theta.

  • Complete the rule about which multiple-angle formulae can be written using one trig function only:

    \cos k \theta can always be written using \cos \theta alone, but \sin k \theta can be written using \sin \theta alone only when k is \_\_\_\_\_\_ and for even k a factor of \_\_\_\_\_\_ is left over.

    The completed rule is: \cos k \theta can always be written using \cos \theta alone, but \sin k \theta can be written using \sin \theta alone only when k is odd and for even k a factor of \cos \theta is left over.

    So \sin 5 \theta has a pure \sin \theta form, while \sin 4 \theta does not.

  • Comparing real parts has left \cos 5 \theta in terms of both \cos \theta and \sin \theta. How do you finish the proof?

    Use \sin^{2} \theta + \cos^{2} \theta = 1 to replace every power of \sin \theta by an expression in \cos \theta.

    This always works because only even powers of \sin \theta survive in the real part, and every even power is a power of \sin^{2} \theta.

  • Once you have expansions for \sin k \theta and \cos k \theta, how do you get \tan k \theta in terms of \tan \theta alone?

    Form the quotient \tan k \theta = \frac{\sin k \theta}{\cos k \theta} and divide every term by the highest power of \cos \theta.

    That turns each term into a power of \tan \theta or \sec \theta, and 1 + \tan^{2} \theta = \sec^{2} \theta then removes the \sec \theta terms.

  • Complete the exponential expressions for cosine and sine:

    \cos k \theta = \_\_\_\_\_\_ \left(\text{e}^{\text{i} k \theta} + \text{e}^{- \text{i} k \theta}\right) \text{ and } \sin k \theta = \_\_\_\_\_\_ \left(\text{e}^{\text{i} k \theta} - \text{e}^{- \text{i} k \theta}\right)

    The completed expressions are:

    \cos k \theta = \frac{1}{2} \left(\text{e}^{\text{i} k \theta} + \text{e}^{- \text{i} k \theta}\right) \text{ and } \sin k \theta = \frac{1}{2 \text{i}} \left(\text{e}^{\text{i} k \theta} - \text{e}^{- \text{i} k \theta}\right)

    They come from adding and subtracting \text{e}^{\text{i} k \theta} = \cos k \theta + \text{i} \sin k \theta and \text{e}^{- \text{i} k \theta} = \cos k \theta - \text{i} \sin k \theta.

  • What is the point of rewriting \sin^{5} \theta in terms of \sin \theta, \sin 3 \theta and \sin 5 \theta?

    A power of a trig function is awkward to integrate, whereas a sum of multiple angles integrates term by term.

    So \sin^{5} \theta \equiv \frac{1}{16} \left(10 \sin \theta - 5 \sin 3 \theta + \sin 5 \theta\right) turns one difficult integral into three standard ones.

  • True or False?

    Rewriting \sin^{4} \theta in terms of multiple angles gives an expression made of \sin n \theta terms.

    False.

    Because the index 4 is even, the result is built from \cos n \theta terms instead.

    A power of sine reduces to sines only when its index is odd, whereas a power of cosine always reduces to cosines.

  • When you expand \left(\text{e}^{\text{i} \theta} + \text{e}^{- \text{i} \theta}\right)^{k} why do the terms pair up so neatly?

    The expansion is symmetric, so any term A \text{e}^{\text{i} n \theta} always has a partner A \text{e}^{- \text{i} n \theta}.

    Each pair collapses to 2 A \cos n \theta, and when k is even one unpaired constant term is left in the middle.

  • In a trig series question, why is it useful to let C be the cosine sum and S the sine sum and then work with C + \text{i} S?

    Each pair \cos k \theta + \text{i} \sin k \theta becomes \text{e}^{\text{i} k \theta}, so C + \text{i} S is a single geometric series in \text{e}^{\text{i} \theta}.

    Summing it once gives both answers at the same time: C is the real part of the sum and S is the imaginary part.

  • After summing a geometric series in \text{e}^{\text{i} \theta} the denominator has the form A - B \text{e}^{\text{i} n \theta}. How do you make it real?

    Multiply the numerator and the denominator by A - B \text{e}^{- \text{i} n \theta}.

    The denominator then becomes A^{2} + B^{2} - 2 A B \cos n \theta, because the two middle terms combine using \text{e}^{\text{i} n \theta} + \text{e}^{- \text{i} n \theta} = 2 \cos n \theta.

  • When can the infinite sum S_{\infty} = \frac{a}{1 - z} be used for a geometric series of complex numbers?

    Only when \left|z\right| < 1, exactly as for a real geometric series, with the modulus measuring the size of the common ratio.

    For a finite series S_{n} = \frac{a \left(1 - z^{n}\right)}{1 - z} is used instead, and that needs no condition at all.

  • How do you find the square roots of 5 + 12 \text{i} without converting to polar form?

    Set \left(c + d \text{i}\right)^{2} = 5 + 12 \text{i}, expand the left-hand side, and compare real and imaginary parts to get c^{2} - d^{2} = 5 and 2 c d = 12.

    Solving those two equations simultaneously gives the roots 3 + 2 \text{i} and - 3 - 2 \text{i}.

  • In the square-root method, why does eliminating one unknown lead to a quartic that is easy to solve?

    Rearranging 2 c d = b to c = \frac{b}{2 d} and substituting into c^{2} - d^{2} = a produces 4 d^{4} + 4 a d^{2} - b^{2} = 0 once the fraction is cleared.

    That quartic contains only d^{4} and d^{2}, so the substitution u = d^{2} turns it into an ordinary quadratic.

  • For z = r \left(\cos \theta + \text{i} \sin \theta\right) complete the formula for its nth roots:

    z^{\frac{1}{n}} = r^{\frac{1}{n}} \left(\cos \left(\frac{\theta + \_\_\_\_\_\_}{n}\right) + \text{i} \sin \left(\frac{\theta + \_\_\_\_\_\_}{n}\right)\right)

    The completed formula is:

    z^{\frac{1}{n}} = r^{\frac{1}{n}} \left(\cos \left(\frac{\theta + 2 \pi k}{n}\right) + \text{i} \sin \left(\frac{\theta + 2 \pi k}{n}\right)\right)

    Taking k = 0 , 1 , 2 , \ldots , n - 1 in turn produces the n distinct roots.

  • Why do the two square roots of a complex number always differ only by a sign?

    If w is a square root then so is - w, since \left(- w\right)^{2} = w^{2}.

    A quadratic equation has exactly two roots, so w and - w are the only two there can be.

  • Why does adding 2 \pi k to the argument give n different nth roots rather than just one?

    Adding a whole number of turns to an argument leaves the original number unchanged, so z can be written with infinitely many different arguments.

    Dividing each of them by n gives angles that differ by \frac{2 \pi}{n}, and only n of those are distinct before the pattern comes back round.

  • True or False?

    The equation z^{3} = 8 has only one solution.

    False.

    It has three solutions, because a cubic equation has three roots.

    Only z = 2 is real; the other two are non-real and come from taking k = 1 and k = 2 in the nth root formula.

  • Where do the n roots of a complex number r \text{e}^{\text{i} \theta} lie on an Argand diagram?

    They all lie on a circle centred at the origin with radius \sqrt[n]{r}.

    Their arguments are equally spaced \frac{2 \pi}{n} apart, so joining consecutive roots gives a regular polygon with n sides.

  • Complete these facts about the nth roots of unity, where \omega = \text{e}^{\frac{2 \pi}{n} \text{i}}:

    The roots are the powers of \omega from \omega^{0} up to \omega^{\_\_\_\_\_\_}, and for n \ge 2 they add up to \_\_\_\_\_\_ in total.

    The completed facts are: the roots are the powers of \omega from \omega^{0} up to \omega^{n - 1}, and for n \ge 2 they add up to 0 in total.

    The sum is zero because the roots sit symmetrically around the origin, so as vectors they cancel out.

  • You have found one root \alpha of the equation z^{n} = r \text{e}^{\text{i} \theta}. How do you get the rest quickly?

    Multiply \alpha by each nth root of unity in turn, giving \alpha , \alpha \omega , \alpha \omega^{2} , \ldots , \alpha \omega^{n - 1}.

    Each multiplication by \omega leaves the modulus alone and adds \frac{2 \pi}{n} to the argument, stepping round to the next root.

  • A regular hexagon is centred at the origin and one vertex is known. How can complex numbers give the other five vertices?

    Treat the known vertex \left(x , y\right) as the complex number x + y \text{i} and multiply it by each sixth root of unity.

    In exponential form that simply adds \frac{2 \pi}{6} to the argument each time, and converting the results back to Cartesian form gives the coordinates.

Sign up to unlock flashcards

or