Compute the complex derivative along real increments to get , and along imaginary increments to get . Equality gives the Cauchy-Riemann equations, .
For the specified real part, observe that . Thus the most general holomorphic function with this real part on the connected plane is
The difference of two such holomorphic functions has zero real part, so the Cauchy-Riemann equations make its imaginary part constant.
Next, . Its real and imaginary parts satisfy and . Their partial derivatives are continuous everywhere, proving that the complex hyperbolic cosine is entire.
For the Laurent series, set . Since ,
The regular part at a simple pole therefore gives