Complex Numbers and Trigonometry¶

Contents¶

• Complex Numbers and Trigonometry
  • Overview
  • De Moivre’s Theorem
  • Applications of de Moivre’s Theorem

Overview¶

This lecture introduces some elementary mathematics and trigonometry.

Useful and interesting in its own right, these concepts reap substantial rewards when studying dynamics generated by linear difference equations or linear differential equations.

For example, these tools are keys to understanding outcomes attained by Paul Samuelson (1939) [Sam39] in his classic paper on interactions between the investment accelerator and the Keynesian consumption function, our topic in the lecture Samuelson Multiplier Accelerator.

In addition to providing foundations for Samuelson’s work and extensions of it, this lecture can be read as a stand-alone quick reminder of key results from elementary high school trigonometry.

So let’s dive in.

Complex Numbers¶

A complex number has a real part $ x $ and a purely imaginary part $ y $.

The Euclidean, polar, and trigonometric forms of a complex number $ z $ are:

$$ z = x + iy = re^{i\theta} = r(\cos{\theta} + i \sin{\theta}) $$

The second equality above is known as Euler’s formula

• Euler contributed many other formulas too!

The complex conjugate $ \bar z $ of $ z $ is defined as

$$ \bar z = x - iy = r e^{-i \theta} = r (\cos{\theta} - i \sin{\theta} ) $$

The value $ x $ is the real part of $ z $ and $ y $ is the imaginary part of $ z $.

The symbol $ | z | $ = $ \sqrt{\bar{z}\cdot z} = r $ represents the modulus of $ z $.

The value $ r $ is the Euclidean distance of vector $ (x,y) $ from the origin:

$$ r = |z| = \sqrt{x^2 + y^2} $$

The value $ \theta $ is the angle of $ (x,y) $ with respect to the real axis.

Evidently, the tangent of $ \theta $ is $ \left(\frac{y}{x}\right) $.

Therefore,

$$ \theta = \tan^{-1} \Big( \frac{y}{x} \Big) $$

Three elementary trigonometric functions are

$$ \cos{\theta} = \frac{x}{r} = \frac{e^{i\theta} + e^{-i\theta}}{2} , \quad \sin{\theta} = \frac{y}{r} = \frac{e^{i\theta} - e^{-i\theta}}{2i} , \quad \tan{\theta} = \frac{y}{x} $$

We’ll need the following imports:

An Example¶

Consider the complex number $ z = 1 + \sqrt{3} i $.

For $ z = 1 + \sqrt{3} i $, $ x = 1 $, $ y = \sqrt{3} $.

It follows that $ r = 2 $ and $ \theta = \tan^{-1}(\sqrt{3}) = \frac{\pi}{3} = 60^o $.

Let’s use Python to plot the trigonometric form of the complex number $ z = 1 + \sqrt{3} i $.

De Moivre’s Theorem¶

de Moivre’s theorem states that:

$$ (r(\cos{\theta} + i \sin{\theta}))^n = r^n e^{in\theta} = r^n(\cos{n\theta} + i \sin{n\theta}) $$

To prove de Moivre’s theorem, note that

$$ (r(\cos{\theta} + i \sin{\theta}))^n = \big( re^{i\theta} \big)^n $$

and compute.

Applications of de Moivre’s Theorem¶

Example 1¶

We can use de Moivre’s theorem to show that $ r = \sqrt{x^2 + y^2} $.

We have

$$ \begin{aligned} 1 &= e^{i\theta} e^{-i\theta} \\ &= (\cos{\theta} + i \sin{\theta})(\cos{(\text{-}\theta)} + i \sin{(\text{-}\theta)}) \\ &= (\cos{\theta} + i \sin{\theta})(\cos{\theta} - i \sin{\theta}) \\ &= \cos^2{\theta} + \sin^2{\theta} \\ &= \frac{x^2}{r^2} + \frac{y^2}{r^2} \end{aligned} $$

and thus

$$ x^2 + y^2 = r^2 $$

We recognize this as a theorem of Pythagoras.

Example 2¶

Let $ z = re^{i\theta} $ and $ \bar{z} = re^{-i\theta} $ so that $ \bar{z} $ is the complex conjugate of $ z $.

$ (z, \bar z) $ form a complex conjugate pair of complex numbers.

Let $ a = pe^{i\omega} $ and $ \bar{a} = pe^{-i\omega} $ be another complex conjugate pair.

For each element of a sequence of integers $ n = 0, 1, 2, \ldots, $.

To do so, we can apply de Moivre’s formula.

Thus,

$$ \begin{aligned} x_n &= az^n + \bar{a}\bar{z}^n \\ &= p e^{i\omega} (re^{i\theta})^n + p e^{-i\omega} (re^{-i\theta})^n \\ &= pr^n e^{i (\omega + n\theta)} + pr^n e^{-i (\omega + n\theta)} \\ &= pr^n [\cos{(\omega + n\theta)} + i \sin{(\omega + n\theta)} + \cos{(\omega + n\theta)} - i \sin{(\omega + n\theta)}] \\ &= 2 pr^n \cos{(\omega + n\theta)} \end{aligned} $$

Example 3¶

This example provides machinery that is at the heard of Samuelson’s analysis of his multiplier-accelerator model [Sam39].

Thus, consider a second-order linear difference equation

$$ x_{n+2} = c_1 x_{n+1} + c_2 x_n $$

whose characteristic polynomial is

$$ z^2 - c_1 z - c_2 = 0 $$

or

$$ (z^2 - c_1 z - c_2 ) = (z - z_1)(z- z_2) = 0 $$

has roots $ z_1, z_1 $.

A solution is a sequence $ \{x_n\}_{n=0}^\infty $ that satisfies the difference equation.

Under the following circumstances, we can apply our example 2 formula to solve the difference equation

• the roots $ z_1, z_2 $ of the characteristic polynomial of the difference equation form a complex conjugate pair
• the values $ x_0, x_1 $ are given initial conditions

To solve the difference equation, recall from example 2 that

$$ x_n = 2 pr^n \cos{(\omega + n\theta)} $$

where $ \omega, p $ are coefficients to be determined from information encoded in the initial conditions $ x_1, x_0 $.

Since $ x_0 = 2 p \cos{\omega} $ and $ x_1 = 2 pr \cos{(\omega + \theta)} $ the ratio of $ x_1 $ to $ x_0 $ is

$$ \frac{x_1}{x_0} = \frac{r \cos{(\omega + \theta)}}{\cos{\omega}} $$

We can solve this equation for $ \omega $ then solve for $ p $ using $ x_0 = 2 pr^0 \cos{(\omega + n\theta)} $.

With the sympy package in Python, we are able to solve and plot the dynamics of $ x_n $ given different values of $ n $.

In this example, we set the initial values: - $ r = 0.9 $ - $ \theta = \frac{1}{4}\pi $ - $ x_0 = 4 $ - $ x_1 = r \cdot 2\sqrt{2} = 1.8 \sqrt{2} $.

We first numerically solve for $ \omega $ and $ p $ using nsolve in the sympy package based on the above initial condition:

Using the code above, we compute that $ \omega = 0 $ and $ p = 2 $.

Then we plug in the values we solve for $ \omega $ and $ p $ and plot the dynamic.

Trigonometric Identities¶

We can obtain a complete suite of trigonometric identities by appropriately manipulating polar forms of complex numbers.

We’ll get many of them by deducing implications of the equality

$$ e^{i(\omega + \theta)} = e^{i\omega} e^{i\theta} $$

For example, we’ll calculate identities for

$ \cos{(\omega + \theta)} $ and $ \sin{(\omega + \theta)} $.

Using the sine and cosine formulas presented at the beginning of this lecture, we have:

$$ \begin{aligned} \cos{(\omega + \theta)} = \frac{e^{i(\omega + \theta)} + e^{-i(\omega + \theta)}}{2} \\ \sin{(\omega + \theta)} = \frac{e^{i(\omega + \theta)} - e^{-i(\omega + \theta)}}{2i} \end{aligned} $$

We can also obtain the trigonometric identities as follows:

$$ \begin{aligned} \cos{(\omega + \theta)} + i \sin{(\omega + \theta)} &= e^{i(\omega + \theta)} \\ &= e^{i\omega} e^{i\theta} \\ &= (\cos{\omega} + i \sin{\omega})(\cos{\theta} + i \sin{\theta}) \\ &= (\cos{\omega}\cos{\theta} - \sin{\omega}\sin{\theta}) + i (\cos{\omega}\sin{\theta} + \sin{\omega}\cos{\theta}) \end{aligned} $$

Since both real and imaginary parts of the above formula should be equal, we get:

$$ \begin{aligned} \cos{(\omega + \theta)} = \cos{\omega}\cos{\theta} - \sin{\omega}\sin{\theta} \\ \sin{(\omega + \theta)} = \cos{\omega}\sin{\theta} + \sin{\omega}\cos{\theta} \end{aligned} $$

The equations above are also known as the angle sum identities. We can verify the equations using the simplify function in the sympy package:

Trigonometric Integrals¶

We can also compute the trigonometric integrals using polar forms of complex numbers.

For example, we want to solve the following integral:

$$ \int_{-\pi}^{\pi} \cos(\omega) \sin(\omega) \, d\omega $$

Using Euler’s formula, we have:

$$ \begin{aligned} \int \cos(\omega) \sin(\omega) \, d\omega &= \int \frac{(e^{i\omega} + e^{-i\omega})}{2} \frac{(e^{i\omega} - e^{-i\omega})}{2i} \, d\omega \\ &= \frac{1}{4i} \int e^{2i\omega} - e^{-2i\omega} \, d\omega \\ &= \frac{1}{4i} \bigg( \frac{-i}{2} e^{2i\omega} - \frac{i}{2} e^{-2i\omega} + C_1 \bigg) \\ &= -\frac{1}{8} \bigg[ \bigg(e^{i\omega}\bigg)^2 + \bigg(e^{-i\omega}\bigg)^2 - 2 \bigg] + C_2 \\ &= -\frac{1}{8} (e^{i\omega} - e^{-i\omega})^2 + C_2 \\ &= \frac{1}{2} \bigg( \frac{e^{i\omega} - e^{-i\omega}}{2i} \bigg)^2 + C_2 \\ &= \frac{1}{2} \sin^2(\omega) + C_2 \end{aligned} $$

and thus:

$$ \int_{-\pi}^{\pi} \cos(\omega) \sin(\omega) \, d\omega = \frac{1}{2}\sin^2(\pi) - \frac{1}{2}\sin^2(-\pi) = 0 $$

We can verify the analytical as well as numerical results using integrate in the sympy package:

Exercises¶

We invite the reader to verify analytically and with the sympy package the following two equalities:

$$ \int_{-\pi}^{\pi} \cos (\omega)^2 \, d\omega = \frac{\pi}{2} $$$$ \int_{-\pi}^{\pi} \sin (\omega)^2 \, d\omega = \frac{\pi}{2} $$