9.6多元函数微分学的几何应用
阅读入口
学习安排
教材把这一节放在全微分之后、方向导数与梯度之前,顺序是有意的:本节只用偏导数拼出向量,到9.7才正式引入梯度。所以这里出现的“法向量”都可以直接读成 。
内容分三块:一元向量值函数、空间曲线的切线与法平面、曲面的切平面与法线。第一块是工具,为参数曲线准备 ;后两块是同一件事的两面,曲线看切向量,曲面看法向量。复习时先确定对象是曲线还是曲面,再决定找切向量还是法向量。
向量值函数与导向量
设 、、 是定义在区间 上的实函数,则
称为一元向量值函数。它的自变量是实数 ,函数值是三维向量。随着 变化,向量 的终点描出空间中的一条曲线, 就是从原点指向该点的位置向量。
向量值函数的极限与连续按分量定义:
- 若三个分量函数的极限都存在,则
- 若三个分量函数都在 处连续,则 在 处连续。
若各分量均可导, 的导数(也称导向量)定义为
当 时,它是曲线在对应点处的切向量,方向指向 增大的方向。若 ,曲线在该点仍可能有切线,但不能直接把导向量当作切向量。
导向量准备好之后,曲线的切线就是它;下一段把这个向量放进直线方程。
空间曲线的切线与法平面
过曲线上点 且方向为切向量 的直线,称为曲线在 处的切线;过 且垂直于切线的平面,称为法平面。法平面的法向量就是 ,所以求出切向量后,两个方程都能立刻写出。
参数方程情形
若曲线由
给出,点 对应参数 ,则切向量为
切线方程为
法平面方程为
一般方程情形
若曲线由两个曲面的交线给出:
且 、 在 附近具有连续偏导数,则曲线在 处的切向量同时垂直于两个曲面的法向量
因此可取
设 ,把参数方程情形中切线方程与法平面方程里的 、、 依次换成 、、,就得到一般情形的两个方程。
证明
设曲线在 附近可以参数化为 ,且 。因为曲线落在曲面 上,对 恒有
对 求导并令 ,得
即 。同理 ,所以 与两个法向量都垂直,方向由叉积确定。
曲线用切向量,曲面换用法向量,两块内容是对称的。
曲面的切平面与法线
过曲面上点 且在该点与曲面相切的平面,称为切平面;过 且垂直于切平面的直线,称为法线。切平面的法向量称为曲面在 处的法向量。
隐式曲面
设曲面由 给出, 在 附近具有连续偏导数,且
则曲面在 处的法向量为
切平面方程为
法线方程为
这里的 就是 的梯度,由三个偏导数组成。当 时,上述结论需要有额外的奇点分析, 可能是曲面上的奇点。
显式曲面
设曲面由 给出。令
就把显式曲面写成了隐式方程 。此时
所以法向量为
切平面方程为
法线方程为
两类对象的公式都齐了;课程约定把切向量与法向量的记号分开。
课程约定
- 切向量记 ,法向量记 。曲线的法平面以 为法向量,曲面的法线以 为方向。
- 参数方程情形直接用 ;交线式情形用两个曲面法向量的叉积。叉积方向可以差一个符号,代入方程前任取一个即可。
- 显式曲面 一律先改写成 ,再套隐式曲面的公式,避免记混 前的符号。
- 方向数中出现 时,切线方程仍写成比例式,约定对应分子为 ,即该坐标为常数。
易错点
- 把显式曲面的法向量写成 ,正确结果是 。
- 交线式曲线忘记取叉积,把两个法向量直接相加,或把分量按 拼错。
- 切线与法平面的方程代错点: 必须是曲线上的点,通常先由参数值算出。
- 把曲线的法平面写成以 为方向的直线方程,或者把曲面的法线写成平面方程。
- 遇到 仍直接拿它当切向量。
复习要点
所有题目都能归成“过点 + 方向”:曲线先求切向量,切线用对称式、法平面用点法式;曲面先求法向量,法线用对称式、切平面用点法式。两类对象只是交换了向量扮演的角色。
判断该用哪套公式时,先看题目给的是参数方程、交线方程还是曲面方程;给交线就一定要先算两个法向量再叉积。