This is actually a definition, and the definition makes a lot of sense, because when you do the power series approximation, or the Maclaurin series approximation, of e to the x, it really looks like cosine of x plus i times the power series approximation of x.