数学分析(十八)-隐函数定理及其应用3-几何应用3：曲面的切平面与法线【函数F(x,y,z)在P(x,y,z)的梯度就是等值面F(x,y,z)=0在点P的法向量】

设曲面由方程

$$F(x,y,z)=0(11)$$

给出, 它在点 $P_0\left(x_0,y_0,z_0\right)$的某邻域上满足隐函数定理条件 (这里不妨设$F_z\left(x_0,y_0,z_0\right)$ $\ne 0)$. 于是方程 (11) 在点$P_0$ 附近确定惟一连续可微的隐函数 $z=f(x,y)$, 使得 $z_0=$$f\left(x_0,y_0\right)$, 且

$$\frac{\partial z}{\partial x}=-\frac{F_x(x,y,z)}{F_z(x,y,z)},\frac{\partial z}{\partial y}=-\frac{F_y(x,y,z)}{F_z(x,y,z)}.$$

由于在点 $P_0$ 附近 (11) 式与 $z=f(x,y)$ 表示同一曲面, 从而该曲面在$P_0$ 处有切平面与法线 (第十七章 $\S 1$ 的 (13) 式、(14) 式), 它们的方程分别是

• 切平面
  $$z-z_0=-\frac{F_x\left(x_0,y_0,z_0\right)}{F_z\left(x_0,y_0,z_0\right)}\left(x-x_0\right)-\frac{F_y\left(x_0,y_0,z_0\right)}{F_z\left(x_0,y_0,z_0\right)}\left(y-y_0\right)$$
• 法线
  $$-<$$