Definition:Cosine/Complex Function

Definition
The complex function $\cos: \C \to \C$ is defined as:

Also see
It follows from Power Series over Factorial that this power series converges for all values of $z \in \C$.