Skip to main content

Section 2.6 Euler's Formula

As soon as we allow complex numbers into our mathematics, we also need to understand how to extend the definition of familiar functions of real-valued arguments to complex-valued arguments. Most of these extensions are based on Euler's formula.

Definition 2.8. Euler's formula.

The formula

\begin{equation} e^{i\phi}=\cos\phi + i\sin\phi \text{,}\tag{2.6.1} \end{equation}

called Euler's formula, defines the exponential of a pure imaginary number \(i\phi\) in terms of the sine and cosine of a real number \(\phi\text{.}\)

Frequently used formulas.

We can rearrange Euler's formula and its complex conjugate

\begin{equation} e^{-i\phi}=\cos\phi - i\sin\phi\tag{2.6.2} \end{equation}

to find expressions for \(\sin{\phi}\) and \(\cos{\phi}\) in terms of complex exponentials:

\begin{align} \cos{\phi}\amp = \frac{1}{2}(e^{i\phi}+e^{-i\phi})\tag{2.6.3}\\ \sin{\phi}\amp = \frac{1}{2i}(e^{i\phi}-e^{-i\phi})\text{.}\tag{2.6.4} \end{align}

You will use these expressions for sine and cosine frequently. Make sure you can recognize the right-hand sides of these equations.

Proofs.

Euler's formula can be "proved" in two ways:

  1. Expand the left-hand and right-hand sides of Euler's formula (2.6.1) in terms of known power series expansions. Compare equal powers.

  2. Show that both the left-hand and right-hand sides of Euler's formula (2.6.1) are solutions of the same second order linear differential equation with constant coefficients. Since only two solutions of a second order linear equation are linearly independent, it must be true that \(e^{i\phi}\) is a linear combination of \(\cos\phi\) and \(\sin\phi\text{,}\) i.e.

    \begin{equation} e^{i\phi}=A\cos\phi + B\sin\phi\text{.}\tag{2.6.5} \end{equation}

    Choose boundary conditions and known properties of the exponential function to show that \(A=1\) and \(B=i\text{.}\)

Note: If you only know properties of the exponential function for real numbers, then Euler's formula and the "proofs" above are not really proofs, rather they are the definition of the exponential for a pure imaginary argument. Technically, this happens through a process called analytic continuation.