数学分析(十八)-隐函数定理及其应用1-隐函数3：隐函数可微性定理【F(x,y)=0所确定的隐函数y=f(x)的导数：f′(x)=-Fˣ(x,y)/Fʸ(x,y)】

$$F(x,y)=0,(1)$$

定理 18.1 (隐函数存在惟一性定理)

若函数 $F(x,y)$ 满足下列条件:

• (i) $F$ 在以 $P_0\left(x_0,y_0\right)$ 为内点的某一区域$D\subset {\mathbf{R}}^2$ 上连续;
• (ii) $F\left(x_0,y_0\right)=0$ (通常称为初始条件);
• (iii) $F$ 在 $D$ 上存在连续的偏导数 $F_y(x,y)$;
• (iv) $F_y\left(x_0,y_0\right)\ne 0$.

则

• $1^{\circ }$：存在点 $P_0$ 的某邻域 $U\left(P_0\right)\subset D$, 在$U\left(P_0\right)$ 上方程 $F(x,y)=0$ 惟一地决定了一个定义在某区间$\left(x_0-\alpha ,x_0+\alpha \right)$ 上的 (隐) 函数 $y=f(x)$, 使得当 $x\in (x_0-\alpha ,x_0$