Cosine of i/Proof 1

Theorem

 * $\cos i = \dfrac e 2 + \dfrac 1 {2 e}$

where $\cos$ denotes the complex cosine function and $i$ is the imaginary unit.

Proof
We have:

Also:

Then from $(1) + (2)$: