高等数学（下）知识框架

空间解析几何

向量

概念

定义： 既有大小又有方向的量。可以用有向线段、带箭头字母、粗体字母 $𝕒$ 来表示。

向量的模： 向量的大小，记作或或 $𝕒$ 。

向径（矢径）： 起点为原点的向量。

自由向量： 与起点无关的向量（即只考虑大小和方向的向量）。

单位向量： 模为的向量。

零向量： 模为的向量，记作或 $𝟘$ （与任何向量平行）。

基本关系

相等： 大小和方向都相同，记作。

负向量： 大小相同但方向相反，记作。

平行（共线）： 方向相同或相反，记作。

共面： 个向量经平移可移动到同一平面上。

线性运算

加法： 平行四边形法则或三角形法则。满足交换律和结合律。

减法： ，口诀“首首相连，方向指被减”。

向量的三角不等式：

数乘： 满足结合律和分配律，且有模关系。

单位向量计算方法：

平行

定理： ，其中为非零向量，为唯一实数。

夹角

定义： 有非零向量，任取空间一点，作，规定属于的角为两个向量的夹角，记作或。

注意：
特别地，如果两个向量中存在一个零向量，那么夹角可以取得中的任何值。

投影

定义： 设向量的起点和终点在投影轴上的投影点分别是和，则是该向量的投影向量（或称在轴上的分向量）。此时称为该向量在轴上的投影，记作。

注意：
投影是一个数量，投影向量是一个向量。
向量的平移不改变它在指定轴上的投影。

性质 1： （投影定理）投影等于模乘以轴夹角的余弦，即

性质 2： 向量的加法和投影运算的先后顺序可以交换。

性质 3： 向量的数乘和投影运算的先后顺序可以交互。

向量坐标

空间直角坐标

坐标系： 过空间一定点，由三条互相垂直的数轴按右手规则组成一个空间直角坐标系（坐标轴 3 个、坐标面 3 个、卦限 8 个）。

点坐标： 点、有序数组、向径可以形成一一对应关系，此时称为点在空间直角坐标系上的坐标。

向量坐标： 在空间直角坐标系下，任意向量可用向径表示。以分别表示轴上的单位向量，设点，则称为该向量的坐标表达式，此时称为该向量的坐标。

向量坐标与向量运算： 向量之间的线性运算可以转化为坐标分量之间的线性运算。

向量坐标与向量平行： 平行向量的对应坐标成比例，即

注意：
上述连等式中，三个分母不全为零即可，并不需要全部非零。如果有分母为零的情况出现，则理解为该分式的分子也需要为零。

两点间距离

两点间距离公式： 任意维空间的两点间的距离（即向量的模），是各正交轴坐标的差值的平方和的平方根，在三维空间中

定比分点公式： 在上有一点使得，求的坐标的要点在于使用向径和坐标分解。过程如下

中点公式： 当时的定比分点公式即为中点公式（分母为）。

方向余弦

定义： 非零向量与各个坐标轴的夹角称为方向角（与轴的夹角分别记作）。方向角的余弦值简称方向余弦。

性质 1： 方向余弦与坐标分量有如下关系

性质 2： 各个方向余弦的平方和为，即。

性质 3： 可以用方向余弦来表示与某向量同方向的单位向量，即。

向量乘积

数量积

数量积又称点积或内积。 数量级反映加权投影。运算结果是一个数。满足交换律、结合律和分配律。算式和核心性质如下

向量积

向量积又称叉积或外积。 向量积反映几何上的平行四边形面积。运算结果是一个向量。满足反交换律、结合律和分配律。算式和核心性质如下

混合积

混合积反映几何上的平行六面体体积。运算结果是一个数量。算式和核心性质如下

平面与直线

如果满足某个方程的所有点都在某个平面（直线）上，而不满足该方程的点都不在这个平面（直线）上，那么这个方程就是“这个平面（直线）的方程“。

平面的表示

点法式方程： 在空间直角坐标系中，使用平面所过的一点，以及平面的一个法向量（与平面垂直的向量）来表示整个平面。方程为

已知过平面的不共线三点，求点法式方程：
关键在于求得法向量。三点可以组成三个向量，其中任意两个向量的向量积就是平面的一个法向量。例如，此时就是所求的法向量。法向量的分别对应点法式方程的系数。

三点式方程： 在空间直角坐标系中，已知不共线三点过某个平面。要想知道该平面内的任意点所满足的方程，可以根据混合积的性质，得出方程为

截距式方程： 在空间直角坐标系中，特别地，当上述已知的三点分别是平面与三个坐标轴的交点时，展开三点式方程，可得方程为

一般式方程： 可以用形如下面方程的三元一次方程来表示任意平面

特殊情形：

当为零时，平面过原点。

当分别为零时，平面分别与轴平行。

当或或为零时，平面与或或面平行。

点到平面的距离公式：

平面之间的关系

已知两个平面的一般式系数：和。

面面角： 两个平面之间的夹角是它们的法向量的夹角（常为锐角或直角，计算余弦值时注意取绝对值）。

面面垂直： 等价于法向量垂直，也等价于。

面面平行： 等价于法向量平行，也等价于对应系数成比例。

面面重合： 等价于对应系数成比例。

直线的表示

一般式方程： 直线可视为两平面的交线，因此可以用两个平面方程来描述一条直线。方程形如

注意：
同一直线的一般式方程不唯一。

对称式（点向式）方程： 利用过直线的一个已知点和直线的一个方向向量，可以描述直线上动点的轨迹。方程为

注意：
允许上式中的部分分母为零，此时对应的分子也理解为零。

已知一般式方程，求点向式方程：
核心是找到直线的方向向量。将一般式方程中的两个平面的法向量做向量积，即可得到直线的方向向量。此时找到满足一般式方程的一组即可求得点向式方程。

参数式方程： 令点向式方程的各比值等于，得到方程

直线之间的关系

已知两个直线的方向向量：。

线线角： 两个直线之间的夹角是它们的方向向量之间的夹角（常为锐角或直角，计算余弦值时注意取绝对值）。

线线垂直： 等价于方向向量垂直，也等价于。

线线平行： 等价于方向向量平行，也等价于对应系数成比例。

平面与直线的关系

线面角： 直线的方向向量与平面的法向量的夹角的余角。计算时利用即可。

平面束： 平面束描述了过某一定直线的全体平面。一般方程表示为

其中不全为零。任意平面前方的系数或不为零时，该方程无法表示对应的平面。

曲面与曲线

两个基本问题：①已知曲面作为点的几何轨迹，求曲面方程；②已知曲面方程，研究曲面的几何形状。

球面

球面形式方程：

根据配方结果不同，该方程可以表示球面、点或虚轨迹。

球面形式方程的三种可能形状：
首先对上式配方，得到实际的半径满足以下关系式

当且时，表示球面，球心为。

当且时，半径不是实数，此时的方程表示一个虚轨迹。

当时，

旋转曲面

旋转曲面是一条平面曲线绕着平面上的一条定直线（旋转轴）旋转一周所形成的曲面。

建立面上曲线绕轴旋转所成曲面的方程：
设点则有。当该点旋转时，转到，此时

于是，得到旋转曲面的方程是。

TODO

多元函数积分学

平面点集

基本概念

平面点集： 坐标平面上具有某种性质的点的集合。

邻域： 与指定的坐标点的欧氏距离严格小于某一正数的全体点，记作，或者如果不需要强调邻域半径。

去心领域： 在邻域的基础上去掉点，记作，或者。

点与点集的关系

根据邻域来看，点与点集有如下三种关系：

内点： 是绝对的内部成员，要求存在的一个邻域使得该邻域属于。显然此时也属于。

外点： 是绝对的外部成员，要求存在的一个邻域使得该邻域与的交集为。显然此时不属于。

边界点： 是边缘成员，要求所有的邻域内既有属于的点也有不属于的点。注意不一定属于。点集的全体边界点被称为边界，记作。

除此之外，还定义了一类特殊的点：

聚点： 要求所有的邻域内都有无限个中的点。内点一定是聚点，外点一定不是聚点，边界点可能是聚点。注意不一定属于。

内点外点互斥，边界左右横跳；
聚点人气为王，外点绝不沾边。

点集的分类

关于点集，有如下分类：

开集： 所有点都是内点。

闭集： 满足的余集是开集，或者说，的所有聚点都属于。

连通集： 内的任意两点都可以用折线连结起来，且折现上的所有点都属于。“连通”是“区域”的前提条件。

开区域： 连通的开集。简称区域。

闭区域： 开区域连同它的边界。

有界集： 存在正数使得中的所有点都能被包含在里面，其中是坐标原点。

无界集： 非有界集。

多元函数的极限与连续

多元函数极限

以二元函数为例，给定其定义域中的聚点。若常数满足对于任意的正数都存在正数使得当都有，则称为在时的极限。记作

说明：

元函数的极限也叫重极限；
的方式是任意的，这说明从任意路径趋近都能得到相同的极限值；
极限不存在的几何意义是在此处发生了图形的断裂或震荡。要想证明极限不存在，只需要证明“使用不同的路径趋近会得到不一样的极限值”。具体而言：
1. 可以让沿着或等路径趋向于。如果极限值与有关，那么极限不存在；
2. 可以找两种不同的趋近方式使得极限值存在但是两者不相等，此时极限不存在。

思考：
若沿着无数条平面曲线趋近时，函数值都趋向于，能否断言极限存在？

多元函数的连续性

多元函数在处连续的条件是，是定义域内的聚点，且处极限存在。多元初等函数（由常量和不同自变量的一元初等函数经过有限次四则运算或复合运算而得到的函数）在其定义区域内都是连续的。

闭区域上连续函数的性质

有界性与最值定理： 闭区域连续必有界，且可取到最大值和最小值。

介值定理： 闭区域连续时，可以取得最大值和最小值之间的任何值。

全微分和偏导数

全微分

偏增量：

全增量的定义及其线性估计式：

其中不依赖于自变量增量且只与有关，意味着与线性估计式的误差是“自变量增量的欧氏距离”的高阶无穷小。此时称函数在处可微分，定义全微分为

偏导数

以对的偏导数为例，如果以下极限存在

那么该极限是函数在处对的偏导数，记作或。

将偏导数推广为函数，可以记作

注意，求边界点或不连续点处的偏导数需要使用定义法。

引入偏导数后，二元函数的全微分可以记作

导微连关系

在一元函数中：

$可微分可导，原函数连续可导可微分$

在多元函数中：

$偏导连续可微分可偏导，原函数连续可导可微分$

高阶偏导数

二阶和二阶以上的偏导数被称为高阶偏导数。高阶偏导数有两类：

纯偏导： 每次求偏导都针对同一个自变量，例如表示对求了两次偏导；
混合偏导： 没有针对同一个变量求偏导，例如表示先对求偏导再对求偏导。

如果函数在某个区域内连续，那么该函数的不同的混合偏导数才是相等的。

链式法则

涉及到对多元符合函数进行微分时，使用链式法则。分为三种情况：

TODO

全微分形式不变性

TODO

隐函数求导

TODO