Comment by f00zz

This follows from e^(ix) = cos(x) + i sin(x)! I'm currently reading the Qiskit quantum computing textbook, and the appendix on linear algebra has a demonstration: https://qiskit.org/textbook/ch-appendix/linear_algebra.html