Let f be a C-differentiable function at a point z∈C. This means that there exist the following limit: Δz→0limΔzf(z+Δz)−f(z)=f′(z).
In particular, if we restrict Δz to take only real values (in this case then Δz=Δx), then we conclude that there exists a partial derivative ∂f/∂x at the point z:
fx(z):=∂x∂f(z):=Δx→0limΔxf(z+Δx)−f(z)=f′(z)
In the similar way, if we restrict Δz to take only imaginary values (in this case then Δz=iΔy), then we conclude that there exists a partial derivative ∂f/∂y at the point z:
fy(z):=∂y∂f(z):=Δy→0limΔyf(z+iΔy)−f(z)=iΔy→0limiΔyf(z+iΔy)−f(z)=if′(z)
Let u(z) and v(z) are (respectively) the real and the imaginary part of the function f(z). Then
f(z)=u(z)+iv(z),
fx(z)=ux(z)+ivx(z) and
ux(z)2+vx(z)2=∣fx(z)∣2=∣f′(z)∣2
Similarly,
fy(z)=uy(z)+ivy(z) and
uy(z)2+vy(z)2=∣fy(z)∣2=∣if′(z)∣2=∣f′(z)∣2
Therefore, ∣f′(z)∣2=ux(z)2+vx(z)2=uy(z)2+vy(z)2, as required.
Comments