Math Notes Fall 25

August 20th 2025

Proof by multiplicative inverse

We have functions $f (x), g (x), h (x)$ .

Given $h (x) f (x) = 1$ . (they are multiplicative inverses)

We would like to determine whether $f (x) = g (x)$ .

Naturally, $h (x) g (x) = 1 ⟹ f (x) = g (x)$

Application

I discovered this trick when searching for a proof to Euler’s Formula:

e^{i t} = \cos t + i \sin t

We define

\begin{aligned} f (x) & = e^{i t} \\ g (x) & = (\cos t + i \sin t) \end{aligned}

Naturally, $e^{i t} h (x) = 1$ , so

h (x) = e^{- i t}

So, if we can prove that $h (x) g (x) = 1$ , then it is clear that $f (x) = g (x)$ . Introduce $j (x)$ for brevity.

h (x) g (x) = j (x) = e^{- i t} (\cos t + i \sin t)

Differentiate $j (x)$

\begin{aligned} j^{'} (x) & = e^{- i t} (- \sin t + i \cos t) - i e^{- i t} (\cos t + i \sin t) \\ = e^{- i t} (- \sin t + i \cos t) + e^{- i t} (- i \cos t + \sin t) \\ = e^{- i t} (i \cos t - \sin t + \sin t - i \cos t) \\ = 0 \end{aligned}

That is, $j^{'} (x) = 0$ for all $x$ , which means that $j (x)$ is constant for all $x$ .

Find value of $j (x)$

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

So, $j (x) = 1$ for all $x$ , which shows that $g (x)$ is the multiplicative inverse of $h (x)$ . Given that $g (x)$ is also the multiplicative inverse of $h (x)$ :

f (x) = g (x)

Source: https://math.stackexchange.com/a/8612

Complex Exponentials and Trigonometric functions

The value of the exponential function with an imaginary input is of interest.

e^{i x} = ?

Using the well known series expansion of the exponential function:

e^{x} = \sum_{n = 0}^{\infty} \frac{x^{n}}{n!}

Substitute in imaginary constant

e^{i x} = \sum_{n = 0}^{\infty} \frac{(i)^{n} x^{n}}{n!}

There is no direct way to simplify this expression as $(i)^{n}$ doesn’t directly work out to anything nice. This expression is equivalent to a few other, more-useful ones.

\begin{aligned} e^{i x} & = \sum_{n = 0}^{\infty} \frac{(i)^{n} x^{n}}{n!} \\ = \sum_{n = 0}^{\infty} \frac{(i)^{2 n} x^{2 n}}{(2 n)!} + \frac{(i)^{2 n + 1} x^{2 n + 1}}{(2 n + 1)!} \\ = \sum_{n = 0}^{\infty} \frac{(i)^{4 n} x^{4 n}}{(4 n)!} + \frac{(i)^{4 n + 1} x^{4 n + 1}}{(4 n + 1)!} + \frac{(i)^{4 n + 2} x^{4 n + 2}}{(4 n + 2)!} + \frac{(i)^{4 n + 3} x^{4 n + 3}}{(4 n + 3)!} \end{aligned}

Now the powers of $i$ can be simplified

\begin{aligned} i^{4 n} & = i^{4^{n}} = 1 \\ i^{4 n + 1} & = i^{4 n} i = i \\ i^{4 n + 2} & = i^{4 n} i^{2} = - 1 \\ i^{4 n + 3} & = i^{4 n} i^{3} = - i \end{aligned}

Back-substituting these into the above sum

e^{i x} = \sum_{n = 0}^{\infty} \frac{x^{4 n}}{(4 n)!} + i \frac{x^{4 n + 1}}{(4 n + 1)!} - \frac{x^{4 n + 2}}{(4 n + 2)!} - i \frac{x^{4 n + 3}}{(4 n + 3)!}

Remember the power series for sine and cosine

\begin{aligned} \sin (x) & = \sum_{n = 0}^{\infty} \frac{x^{2 n + 1} (- 1)^{n}}{(2 n + 1)!} \\ \cos (x) & = \sum_{n = 0}^{\infty} \frac{x^{2 n} (- 1)^{n}}{(2 n)!} \end{aligned}

Reorder series

e^{i x} = \sum_{n = 0}^{\infty} \frac{x^{4 n}}{(4 n)!} - \frac{x^{4 n + 2}}{(4 n + 2)!} + i \frac{x^{4 n + 1}}{(4 n + 1)!} - i \frac{x^{4 n + 3}}{(4 n + 3)!}

Split sums based on evens, and odds

\begin{aligned} e^{i x} & = [\sum_{n = 0}^{\infty} \frac{x^{4 n}}{(4 n)!} - \frac{x^{4 n + 2}}{(4 n + 2)!}] \\ + [i \sum_{n = 0}^{\infty} \frac{x^{4 n + 1}}{(4 n + 1)!} - \frac{x^{4 n + 3}}{(4 n + 3)!}] \end{aligned}

Notice the first sum is simply iterating over the even numbers, and the second is iterating over the odds. Simplify

\begin{aligned} e^{i x} & = [\sum_{n = 0}^{\infty} \frac{x^{2 n} (- 1)^{n}}{(2 n)!}] \\ + [i \sum_{n = 0}^{\infty} \frac{x^{2 n + 1} (- 1)^{n}}{(2 n + 1)!}] \end{aligned}

Notice

e^{i x} = \cos x + i \sin x

With Negatives

Recall these two properties of sine and cosine

\begin{aligned} \sin (- x) & = - \sin (x) \\ \cos (- x) & = \cos (x) \end{aligned}

With that, use the exponential function with a negative imaginary number

e^{- i x} = \cos x - i \sin x

We can now solve for cosine and sine using the exponential function.

e^{- i x} + e^{i x} = 2 \cos x

\cos x = \frac{e^{i x} + e^{- i x}}{2}

e^{i x} - e^{- i x} = 2 \sin x

\sin x = \frac{e^{i x} - e^{- i x}}{2}