Gleichungen nach = 0 umformen.
Wir berechnen zunächst einmal: f(0,-1,0,1)
Wir bilden Df (Jacobimatrix) : Sind die partiellen Ableitungen stetig => f ist stetig diffbar
Nun leiten wir jeweils partiell nach y1 und y2 ab und schreiben dies in eine Matrix. Dort setzen wir nun die dazugehörigen Funktionswerte für y1 und y2 ein und schauen ob die Matrix invertierbar ist.
Ist dies der Fall, so lässt es sich auflösen.
Auch hier weiß ich gerade nicht mehr weiter.
Das ganze bezieht sich auf den Satz zu impliziten Funktionen. Wieder einmal in den Unterlagen anschauen.