Du musst mal erst die Vor. prüfen. Das ist u.a. , dass f auf dem Kreuzprodukt zweier
offener Mengen definiert sein muss. Das wäre hier ℝxℝ.
Und (x,y) ein Paar, dass die Gleichung f(x,y) = 0 erfüllt. Dazu muss x≥0 sein.
Die partielle Ableitung von f nach y ist fy (x,y) = -2y .
Und nun schauen, wann die part. Ableitung ungleich 0 ist; denn
nur dann existiert genau eine explizite Form für die Funktion.
Das ist für alle y≠0 der Fall, und in der Tat ist y2 = x eindeutig
auflösbar, wenn man weiss, ob y pos. oder negativ ist.