# Thread: Implicit function theorem for holomorphic functions

1. ## Implicit function theorem for holomorphic functions

So, basically I want to prove the implicit function theorem for holomorphic functions defined in [LaTeX ERROR: Convert failed] : $f:\mathbb{C}^2 \rightarrow \mathbb{C}$ where f has holomorphic derivatives with respect to z and w, if $f(z_0,w_0)=0$ and the gradient is not zero in $(z_0,w_0)$ (actually we ask that the derivative with respect to the second variable not be zero) then there exist an open set $V \subset \mathbb{C}$ such that $z_0 \in V$ and there is a fuction $w: V \rightarrow \mathbb{C}$ such that $w_0=w(z_0)$ and for all $z \in V$ we have $f(z,w(z))=0$, moreover $w$ is holomorphic in V.

I have everything except that $w$ is holomorphic. I know it is complex diferentiable at $(z_0,w_0)$ and has a continous real derivative in all V but I don't know how to conclude that it is holomorphic in all $V$, I need to check that C-R holds but I don't know how to do that.

2. Differentiate to get $w'=-f_z/f_w$ on $V$.