Theorem
Let
be an open subset. Let the function
be differentiable at a point
. Then all partial derivatives of
and
exist at
and the following Cauchy-Riemann equations hold:

In this case, the derivative of
at
can be represented by the formula

Proof
The proof can be decomposed into 3 main steps:
- calculate the partial derivative for the real part,
- calculate the partial derivative for the imaginary part,
- due to property of
being complex differentiable both derivatives yield the same complex value. This leads to Cauchy-Riemann equations.
Proof - Step 1
Let
. Then

Proof - Step 2
Let
. Then

Proof - Step 3
Both partial derivatives must provide a same complex value due to the fact that
is complex differentiable:

Proof - Step 4
Equating the real and imaginary parts, we get the Cauchy-Riemann equations. The representation formula follows from the above line and the Cauchy-Riemann equations.