Secant of i/Proof 1

Theorem

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

where $\sec$ denotes the complex secant function and $i$ is the imaginary unit.