음함수 정리: 두 판 사이의 차이

<math>F = x^2 + y^2 - 1</math> 으로 두면, <math>\frac{\partial F}{\partial y}(x_0, y_0) = 2y_0</math> 이 된다. 따라서, y ≠ 0인 경우에는 이 음함수의 양함수 표현이 존재한다. 이 표현은 y = 0인 점을 포함하지 않는 임의 y의 적당한 열린 근방을 공역으로 하는 양함수에 대하여 유일한데, 위쪽 [[반평면]]에서는 <math>y = \sqrt{1 - x^2}</math> 이고, 아래쪽 반평면에서는 <math>y = -\sqrt{1 - x^2}</math> 가 된다.