Hyperbolic Cosine of Complex Number

Theorem
Let $a$ and $b$ be real numbers.

Let $i$ be the imaginary unit.

Then:
 * $\map \cosh {a + b i} = \cosh a \cos b + i \sinh a \sin b$

where:
 * $\cos$ denotes the real cosine function
 * $\sin$ denotes the real sine function
 * $\sinh$ denotes the hyperbolic sine function
 * $\cosh$ denotes the hyperbolic cosine function

Also see

 * Hyperbolic Sine of Complex Number
 * Hyperbolic Tangent of Complex Number
 * Hyperbolic Cosecant of Complex Number
 * Hyperbolic Secant of Complex Number
 * Hyperbolic Cotangent of Complex Number