The problem of your function is the existence theorem of implicit function, which is in the advanced mathematics book, but it has not been proved. If you want to see the proof, you can look up any book on mathematical analysis, and there will be proof.