Sine Exponential Formulation

Theorem
Let $x \in \R$ be a real number.

Let $\sin x$ be the sine of $x$.

Let $i$ be such that $i^2 = -1$.

Then:
 * $ \displaystyle \sin x = \frac 1 2 i \left({ e^{-i x} - e^{i x} }\right)$

Proof from power series
Recall the definition of the sine function:


 * $\displaystyle \sin x = \sum_{n \mathop = 0}^\infty \left({-1}\right)^n \frac {x^{2n+1}}{\left({2n+1}\right)!} = x - \frac {x^3} {3!} + \frac {x^5} {5!} - \cdots$

Recall the definition of the exponential as a power series:


 * $\displaystyle e^x = \sum_{n \mathop = 0}^\infty \frac {x^n}{n!} = 1 + x + \frac {x^2} 2 + \frac {x^3} 6 + \cdots$

Then, starting from the RHS:

Proof using Euler's Formula
Recall Euler's Formula:


 * $ \displaystyle e^{ix} = \cos x + i \sin x $

Then, starting from the RHS:

Also see

 * Cosine Exponential Formulation