Cosine in terms of Hyperbolic Cosine

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $z \in \C$ be a complex number.

Then:

$\cos z = \map \cosh {i z}$

where:

$\cos$ denotes the complex cosine
$\cosh$ denotes the hyperbolic cosine
$i$ is the imaginary unit: $i^2 = -1$.


Proof

\(\ds \map \cosh {i z}\) \(=\) \(\ds \frac {e^{i z} + e^{-i z} } 2\) Definition of Hyperbolic Cosine
\(\ds \) \(=\) \(\ds \cos z\) Euler's Cosine Identity

$\blacksquare$


Also see


Sources