1.6: Euler's Formula (2024)

  1. Last updated
  2. Save as PDF
  • Page ID
    6471
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}}}\)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{#1}}} \)

    \( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)

    ( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\id}{\mathrm{id}}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\kernel}{\mathrm{null}\,}\)

    \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\)

    \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\)

    \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    \( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)

    \( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)

    \( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}}}\)

    \( \newcommand{\vectorC}[1]{\textbf{#1}}\)

    \( \newcommand{\vectorD}[1]{\overrightarrow{#1}}\)

    \( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}}\)

    \( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)

    \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}}}\)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{#1}}} \)

    \(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)

    Euler’s (pronounced ‘oilers’) formula connects complex exponentials, polar coordinates, and sines and cosines. It turns messy trig identities into tidy rules for exponentials. We will use it a lot. The formula is the following:

    \[e^{i\theta} = \cos (\theta) + i \sin (\theta). \label{1.6.1} \]

    There are many ways to approach Euler’s formula. Our approach is to simply take Equation \ref{1.6.1} as the definition of complex exponentials. This is legal, but does not show that it’s a good definition. To do that we need to show the \(e^{i \theta}\) obeys all the rules we expect of an exponential. To do that we go systematically through the properties of exponentials and check that they hold for complex exponentials.

    \(e^{i \theta}\) behaves like a true exponential

    P1

    \(e^{i t}\) differentiates as expected:

    \[\dfrac{de^{it}}{dt} = ie^{it}.\nonumber \]

    Proof

    This follows directly from the definition in Equation \ref{1.6.1}:

    \[ \begin{align*} \dfrac{de^{it}}{dt} &= \dfrac{d}{dt} (\cos (t) + i \sin (t)) \\[4pt] &= -\sin (t) + i \cos (t) \\[4pt] &= i (\cos (t) + i \sin (t)) \\[4pt] &= ie^{it}. \end{align*} \]

    P2

    \[e^{i \cdot 0} = 1 . \nonumber \]

    Proof

    This follows directly from the definition in Equation \ref{1.6.1}:

    \(e^{i \cdot 0} = \cos (0) + i \sin (0) = 1\).

    P3

    The usual rules of exponents hold:

    \[e^{ia} e^{ib} = e^{i(a + b)}.\nonumber \]

    Proof

    This relies on the cosine and sine addition formulas and the definition in Equation \ref{1.6.1}:

    \[\begin{align*} e^{ia} \cdot e^{ib} & = (\cos (a) + i \sin (a)) \cdot (\cos (b) + i \sin (b)) \\[4pt] & = \cos (a) \cos (b) - \sin (a) \sin (b) + i (\cos (a) \sin (b) + \sin (a) \cos (b)) \\[4pt] & = \cos (a + b) + i \sin (a + b) = e^{i (a + b)}. \end{align*} \]

    P4

    The definition of \(e^{i \theta}\) is consistent with the power series for \(e^x\).

    Proof

    To see this we have to recall the power series for \(e^x\), \(\cos (x)\) and \(\sin (x)\). They are

    \[\begin{align*} e^x & = 1 + x + \dfrac{x^2}{2!} + \dfrac{x^3}{3!} + \dfrac{x^4}{4!} + ... \\[4pt] \cos (x) & = 1 - \dfrac{x^2}{2!} + \dfrac{x^4}{4!} - \dfrac{x^6}{6!} + \ldots \\[4pt] \sin (x) & = x - \dfrac{x^3}{3!} + \dfrac{x^5}{5!} + ... \end{align*} \]

    Now we can write the power series for \(e^{i \theta}\) and then split it into the power series for sine and cosine:

    \[\begin{align*} e^{i \theta} & = \sum_{0}^{\infty} \dfrac{(i\theta)^n}{n!} \\[4pt] & = \sum_{0}^{\infty} (-1)^k \dfrac{\theta ^{2k}}{(2k)!} + i \sum_{0}^{\infty} (-1)^k \dfrac{\theta ^{2k + 1}}{(2k + 1)!} \\[4pt] & = \cos (\theta) + i \sin (\theta). \end{align*} \]

    So the Euler formula definition is consistent with the usual power series for \(e^x\).

    Properties P1-P4 should convince you that \(e^{i \theta}\) behaves like an exponential.

    Complex Exponentials and Polar Form

    Now let’s turn to the relation between polar coordinates and complex exponentials.

    Suppose \(z = x + iy\) has polar coordinates \(r\) and \(\theta\). That is, we have \(x = r \cos (\theta)\) and \(y = r \sin (\theta)\). Thus, we get the important relationship

    \[ \begin{align*} z &= x + iy \\[4pt] &= r \cos (\theta) + i r \sin (\theta) \\[4pt] &= r (\cos (\theta) + i \sin (\theta)) \\[4pt] &= r e^{i \theta}. \end{align*} \]

    This is so important you shouldn’t proceed without understanding. We also record it without the intermediate equation.

    \[z = x + iy = r e^{i \theta}. \nonumber \]

    Because \(r\) and \(\theta\) are the polar coordinates of \((x, y)\) we call \(z = r e^{i \theta}\) the polar form of \(z\).

    Let’s now verify that magnitude, argument, conjugate, multiplication and division are easy in polar form.

    Magnitude

    \(|e^{i \theta}| = 1\).

    Proof

    \[ \begin{align*} |e^{i \theta}| &= |\cos (\theta) + i \sin (\theta)| \\[4pt] &= \sqrt{\cos ^2 (\theta) + \sin ^2 (\theta)} \\[4pt] &= 1 . \end{align*} \]

    In words, this says that \(e^{i \theta}\) is always on the unit circle - this is useful to remember!

    Likewise, if \(z = r e^{i \theta}\) then \(|z| = r\). You can calculate this, but it should be clear from the definitions: \(|z|\) is the distance from \(z\) to the origin, which is exactly the same definition as for \(r\).

    Argument

    If \(z = r e^{i \theta}\) then \(\text{arg} (z) = \theta\).

    Proof

    This is again the definition: the argument is the polar angle \(\theta\).

    Conjugate

    \(\overline{(z = r e^{i \theta})} = r e^{-i \theta}\).

    Proof

    \[ \begin{align*} \overline{(z = r e^{i \theta})} &= \overline{r (\cos (\theta) + i \sin (\theta))} \\[4pt] &= r (\cos (\theta) - i \sin (\theta)) \\[4pt] &= r(\cos (-\theta) + i \sin (-\theta)) \\[4pt] &= r e^{-i \theta}. \end{align*} \]

    In words: complex conjugation changes the sign of the argument.

    Multiplication

    If \(z_1 = r_1 e^{i \theta_1}\) and \(z_2 = r_2 e^{i \theta_2}\) then

    \[z_1 z_2 = r_1 r_2 e^{i (\theta_1 + \theta_2)}. \nonumber \]

    This is what mathematicians call trivial to see, just write the multiplication down. In words, the formula says the for \(z_1 z_2\) the magnitudes multiply and the arguments add.

    Division

    Again it's trivial that

    \(\dfrac{r_1 e^{i \theta_1}}{r_2 e^{i \theta_2}} = \dfrac{r_1}{r_2} e^{i (\theta_1 - \theta_2)}.\)

    Example \(\PageIndex{1}\): Multiplication by 2\(i\)

    Here’s a simple but important example. By looking at the graph we see that the number \(2i\) has magnitude 2 and argument \(\pi/2\). So in polar coordinates it equals \(2e^{i \pi /2}\). This means that multiplication by \(2i\) multiplies lengths by 2 and add \(\pi/2\) to arguments, i.e. rotates by \(90^{\circ}\). The effect is shown in the figures below

    1.6: Euler's Formula (2)

    Example \(\PageIndex{2}\): Rasing to a power

    Let's compute \((1 + i)^6\) and \((\dfrac{1 + i \sqrt{3}}{2})^3\)

    Solution

    \(1 + i\) has magnitude = \(\sqrt{2}\) and \(\text{arg} = \pi /4\), so \(1 + i = \sqrt{2} e^{i \pi /4}\). Rasing to a power is now easy:

    \((1 + i)^6 = (\sqrt{2} e^{i \pi /4})^6 = 8 e^{6i \pi /4} = 8 e^{3i \pi /2} = -8i\).

    Similarly, \(\dfrac{1 + i\sqrt{3}}{2} = e^{i \pi / 3}\), so \((\dfrac{1 + i\sqrt{3}}{2})^3 = (1 \cdot e^{i \pi / 3})^3 = e^{i \pi} = -1\)

    Complexification or Complex Replacement

    In the next example we will illustrate the technique of complexification or complex replacement. This can be used to simplify a trigonometric integral. It will come in handy when we need to compute certain integrals.

    Example \(\PageIndex{3}\)

    Use complex replacement to compute

    \[I = \int e^x \cos (2x)\ dx. \nonumber \]

    Solution

    We have Euler's formula

    \[e^{2ix} = \cos (2x) + i \sin (2x), \nonumber \]

    so \(\cos (2x) = \text{Re} (e^{2ix})\). The complex replacement trick is to replace \(\cos (2x)\) by \(e^{2ix}\). We get (justification below)

    \[I_c = \int e^x \cos 2x + ie^x \sin 2x \ dx \nonumber \]

    with

    \[I = \text{Re} (I_c) \nonumber \]

    Computing \(I_c\) is straightforward:

    \[I_c = \int e^x e^{i2x}\ dx = \int e^{x(1 + 2i)}\ dx = \dfrac{e^{x(1 + 2i)}}{1 + 2i}. \nonumber \]

    Here we will do the computation first in rectangular coordinates. In applications, for example throughout 18.03, polar form is often preferred because it is easier and gives the answer in a more useable form.

    \[\begin{array} {rcl} {I_c} & = & {\dfrac{e^{x(1 + 2i)}}{1 + 2i} \cdot \dfrac{1 - 2i}{1 - 2i}} \\ {} & = & {\dfrac{e^x (\cos (2x) + i \sin (2x)) (1 - 2i)}{5}} \\ {} & = & {\dfrac{1}{5} e^x (\cos (2x) + 2 \sin (2x) + i (-2 \cos (2x) + \sin (2x)))} \end{array} \nonumber \]

    So,

    \[I = \text{Re} (I_c) = \dfrac{1}{5} e^x (\cos (2x) + 2\sin (2x)). \nonumber \]

    Justification of complex replacement. The trick comes by cleverly adding a new integral to \(I\) as follows, Let \(J = \int e^x \sin (2x)\ dx\). Then we let

    \[I_c = I + iJ = \int e^x (\cos (2x) + i \sin (2x)) \ dx = \int e^x 2^{2ix}\ dx. \nonumber \]

    Clearly, by construction, \(\text{Re} (I_c) = I\) as claimed above.

    Alternative using polar coordinates to simplify the expression for \(I_c\):

    In polar form, we have \(1 + 2i = re^{i \phi}\), where \(r = \sqrt{5}\) and \(\phi = \text{arg} (1 + 2i) = \text{tan}^{-1} (2)\) in the first quadrant. Then:

    \(I_c = \dfrac{e^{x(1 + 2i)}}{\sqrt{5} e^{i \phi}} = \dfrac{e^x}{\sqrt{5}} e^{i(2x - \phi)} = \dfrac{e^x}{\sqrt{5}} (\cos (2x - \phi) + i \sin (2x - \phi))\).

    Thus,

    \[I = \text{Re} (I_c) = \dfrac{e^x}{\sqrt{5}} \cos (2x - \phi). \nonumber \]

    \(N\)th roots

    We are going to need to be able to find the \(n\)th roots of complex numbers, i.e., solve equations of the form

    \[z^N = c, \nonumber \]

    where \(c\) is a given complex number. This can be done most conveniently by expressing \(c\) and \(z\) in polar form, \(c = Re^{i \phi}\) and \(z = re^{i \theta}\). Then, upon substituting, we have to solve

    \[r^N e^{iN \theta} = Re^{i \phi} \nonumber \]

    For the complex numbers on the left and right to be equal, their magnitudes must be the same and their arguments can only differ by an integer multiple of \(2\pi\). This gives

    \[r = R^{1/N} \; (N \theta = \phi + 2\pi n), \; where\;n = 0, \pm 1, \pm 2, ... \nonumber \]

    Solving for \(\theta\), we have

    \[\theta = \dfrac{\phi}{N} + \dfrac{2\pi n}{N}. \nonumber \]

    Example \(\PageIndex{4}\)

    Find all 5 fifth roots of 2.

    Solution

    For \(c = 2\), we have \(R = 2\) and \(\phi = 0\), so the fifth roots of 2 are

    \(z_n = 2^{1/5} e^{2n \pi i/5}\), where \(n = 0, \pm 1, \pm 2, ...\)

    Looking at the right hand side we see that for \(n = 5\) we have \(2^{1/5} e^{2\pi i}\) which is exactly the same as the root when \(n = 0\), i.e. \(2^{1/5} e^{0i}\). Likewise \(n = 6\) gives exactly the same root as \(n = 1\), and so on. This means, we have 5 different roots corresponding to \(n = 0, 1, 2, 3, 4\).

    \(z_n = 2^{1/5}, e^{1/5} e^{2\pi i/5}, e^{1/5} e^{4\pi i/5}, e^{1/5} e^{6\pi i/5}, e^{1/5} e^{8\pi i/5}\)

    Similarly we can say that in general \(c = Re^{i \phi}\) has \(N\) distinct \(N\) th roots:

    \(z_n = r^{1/N} e^{i \phi / N + i 2\pi (n/N)}\) for \(n = 0, 1, 2, ..., N - 1\).

    Example \(\PageIndex{5}\)

    Find the 4 forth roots of 1.

    Solution

    We need to solve \(z^4 = 1\), so \(\phi = 0\). So the 4 distinct fourth roots are in polar form

    \[z_n = 1, e^{i \pi /2}, e^{i \pi}, e^{i 3 \pi /2} \nonumber \]

    and in Cartesian representation

    \[z_n = 1, i, -1, -i. \nonumber \]

    Example \(\PageIndex{6}\)

    Find the 3 cube roots of -1.

    Solution

    \(z^2 = -1 = e^{i \pi + i 2 \pi n}\). So, \(z_n = e^{i \pi + i 2 \pi (n/3)}\) and the 3 cube roots are \(e^{i \pi /3}\), \(e^{i \pi}\), \(e^{i 5 \pi /3}\). Since \(\pi /3\) radians is \(60^{\circ}\) we can simplify:

    \(e^{i \pi /3} = \cos (\pi / 3) + i \sin (\pi /3) = \dfrac{1}{2} + i \dfrac{\sqrt{3}}{2} \Rightarrow z_n = -1, \dfrac{1}{2} \pm i \dfrac{\sqrt{3}}{2}\)

    Example \(\PageIndex{7}\)

    Find the 5 fifth roots of \(1 + i\).

    Solution

    \[z^5 = 1 + i = \sqrt{2} e^{i (\pi / 4 + 2n\pi)} \nonumber \]

    for \(n = 0, 1, 2, ...\). So, the 5 fifth roots are

    \(2^{1/10} e^{i\pi /20}\), \(2^{1/10} e^{i9\pi /20}\), \(2^{1/10} e^{i17\pi /20}\), \(2^{1/10} e^{i25\pi /20}\), \(2^{1/10} e^{i33\pi /20}\).

    Using a calculator we could write these numerically as \(a + bi\), but there is no easy simplification.

    Example \(\PageIndex{8}\)

    We should check that our technique works as expected for a simple problem. Find the 2 square roots of 4.

    Solution

    \(z^2 = 4 e^{i2 \pi n}\). So, \(z_n = 2e^{i \pi n}\), with \(n = 0, 1\). So the two roots are \(2e^0 = 2\) and \(2e^{i\pi} = -2\) as expected!

    geometry of \(N\)th roots

    Looking at the examples above we see that roots are always spaced evenly around a circle centered at the origin. For example, the fifth roots of \(1 + i\) are spaced at increments of \(2\pi / 5\) radians around the circle of radius \(2^{1/5}\).

    Note also that the roots of real numbers always come in conjugate pairs.

    1.6: Euler's Formula (3)

    1.6: Euler's Formula (2024)
    Top Articles
    Latest Posts
    Recommended Articles
    Article information

    Author: Arielle Torp

    Last Updated:

    Views: 5347

    Rating: 4 / 5 (61 voted)

    Reviews: 92% of readers found this page helpful

    Author information

    Name: Arielle Torp

    Birthday: 1997-09-20

    Address: 87313 Erdman Vista, North Dustinborough, WA 37563

    Phone: +97216742823598

    Job: Central Technology Officer

    Hobby: Taekwondo, Macrame, Foreign language learning, Kite flying, Cooking, Skiing, Computer programming

    Introduction: My name is Arielle Torp, I am a comfortable, kind, zealous, lovely, jolly, colorful, adventurous person who loves writing and wants to share my knowledge and understanding with you.