一元函数可微, 在几何上反映为曲线存在不平行于 y y y 轴的切线.
对于二元函数来说, 可微性则反映为曲面与其切平面之间的类似关系. 为此, 我们需要先给出曲面的切平面的定义,这可以从曲线的切线定义中获得启发.
在第五章 § 1 § 1 §1 中, 我们曾把平面曲线 S S S 在某一点 P ( x 0 , y 0 ) P\left(x_{0}, y_{0}\right) P(x0,y0) 的切线 P T P T PT 定义为过 P P P点的割线 P Q P Q PQ 当 Q Q Q 沿 S S S 趋近 P P P 时的极限位置 (如果存在的话). 这时, P Q P Q PQ 与 P T P T PT的夹角 φ \varphi φ 也将随 Q → P Q \rightarrow P Q→P 而趋于零 (图 17-2). 由于
sin φ = h d , \sin \varphi=\cfrac{h}{d}, sinφ=dh,
其中 h h h 和 d d d 分别表示点 Q Q Q 到切线 P T P T PT 的距离和 Q Q Q 到 P P P 的距离, 因此当 Q Q Q 沿 S S S 趋于 P P P时, φ → 0 \varphi \rightarrow 0 φ→0 等同于 h d → 0 \cfrac{h}{d} \rightarrow 0 dh→0.
仿照这个想法,我们引入曲面 S S S 在点 P P P 的切平面定义.
定义 3
设 P P P 是曲面 S S S 上一点, Π \Pi Π 为通过点 P P P 的一个平面, 曲面 S S S上的动点 Q Q Q 到定点 P P P 和到平面 Π \Pi Π 的距离分别为 d d d 与 h h h (图17-3). 若当 Q Q Q 在 S S S 上以任何方式趋近于 P P P 时, 恒有 h d → 0 \cfrac{h}{d} \rightarrow 0 dh→0, 则称平面 Π \Pi Π 为曲面 S S S 在点 P P P处的切平面, P P P为切点。
定理 17.4
曲面 z = f ( x , y ) z=f(x, y) z=f(x,y) 在点 P ( x 0 , y 0 , f ( x 0 , y 0 ) ) P\left(x_{0}, y_{0}, f\left(x_{0}, y_{0}\right)\right) P(x0,y0,f(x0,y0)) 存在不平行于 z z z 轴的切平面 Π \Pi Π的充要条件是函数 f f f 在点 P 0 ( x 0 , y 0 ) P_{0}\left(x_{0}, y_{0}\right) P0(x0,y0) 可微.
证
[充分性]
若函数 f f f 在 P 0 P_{0} P0 处可微, 由定义知
Δ z = z − z 0 = f z ( x 0 , y 0 ) ( x − x 0 ) + f , ( x 0 , y 0 ) ( y − y 0 ) + o ( ρ ) , \Delta z=z-z_{0}=f_{z}\left(x_{0}, y_{0}\right)\left(x-x_{0}\right)+f,\left(x_{0}, y_{0}\right)\left(y-y_{0}\right)+o(\rho), Δz=z−z0=fz(x0,y0)(x−x0)+f,(x0,y0)(y−y0)+o(ρ),
其中 z 0 = f ( x 0 , y 0 ) , ρ = ( x − x 0 ) 2 + ( y − y 0 ) 2 z_{0}=f\left(x_{0}, y_{0}\right), \rho=\sqrt{\left(x-x_{0}\right)^{2}+\left(y-y_{0}\right)^{2}} z0=f(x0,y0),ρ=(x−x0)2+(y−