高等数学例题精解

Vector Geometry · Multivariable Calculus · Multiple Integrals · Series · ODEs

共 70 道例题 覆盖 5 章核心内容 含完整解题过程

向量代数与空间解析几何

Vectors & Solid Geometry

从向量的基本运算出发,逐步展开到平面、直线、距离、夹角、旋转曲面与投影曲线。本章共 19 道例题,按 8 类题型组织。

题型 A

向量基本运算

核心公式
  • 向量表示:$\overrightarrow{AB}=B-A=(x_2-x_1,\ y_2-y_1,\ z_2-z_1)$
  • :$|\vec a|=\sqrt{a_1^2+a_2^2+a_3^2}$
  • 方向余弦:$\cos\alpha=\dfrac{a_1}{|\vec a|},\ \cos\beta=\dfrac{a_2}{|\vec a|},\ \cos\gamma=\dfrac{a_3}{|\vec a|}$,且 $\cos^2\alpha+\cos^2\beta+\cos^2\gamma=1$
  • 点积:$\vec a\cdot\vec b=a_1b_1+a_2b_2+a_3b_3=|\vec a||\vec b|\cos\theta$
  • 夹角:$\cos\theta=\dfrac{\vec a\cdot\vec b}{|\vec a||\vec b|}$
  • 垂直判定:$\vec a\perp\vec b\iff\vec a\cdot\vec b=0$
解题思路
  1. 先写出向量的坐标表示
  2. 按公式逐步计算,注意方向余弦是有方向的(可正可负)
  3. 垂直条件转化为点积为零的方程
方向余弦的分母是模 $|\vec a|$,不是某个分量。点积公式 $\vec a\cdot\vec b=|\vec a||\vec b|\cos\theta$ 里 $\theta$ 是两向量夹角($0\le\theta\le\pi$),不是方向角。
已知点 $A(1,2,3),\ B(-2,3,5)$,求 $\overrightarrow{AB}$ 的模及方向余弦。

第一步:求向量坐标

$\overrightarrow{AB}=B-A=(-2-1,\ 3-2,\ 5-3)=(-3,1,2)$。

第二步:求模

$|\overrightarrow{AB}|=\sqrt{(-3)^2+1^2+2^2}=\sqrt{9+1+4}=\sqrt{14}$。

第三步:求方向余弦

方向余弦就是向量各分量除以模:

$$\cos\alpha=\frac{-3}{\sqrt{14}},\quad \cos\beta=\frac{1}{\sqrt{14}},\quad \cos\gamma=\frac{2}{\sqrt{14}}.$$

验证:$\cos^2\alpha+\cos^2\beta+\cos^2\gamma=\dfrac{9+1+4}{14}=1$,正确。

$|\overrightarrow{AB}|=\sqrt{14}$,方向余弦为 $\left(\dfrac{-3}{\sqrt{14}},\ \dfrac{1}{\sqrt{14}},\ \dfrac{2}{\sqrt{14}}\right)$。

同类题延伸:方向余弦题的常见变式——给定方向余弦求向量(需知道模)、给定两个方向角求第三个(用 $\cos^2\alpha+\cos^2\beta+\cos^2\gamma=1$)。注意 $\cos\gamma$ 有正负两种可能。

求向量 $\vec a=(1,3,1)$ 与 $\vec b=(-2,1,1)$ 的夹角。

第一步:算点积

$\vec a\cdot\vec b=1\times(-2)+3\times1+1\times1=-2+3+1=2$。

第二步:算各自的模

$|\vec a|=\sqrt{1+9+1}=\sqrt{11}$,$|\vec b|=\sqrt{4+1+1}=\sqrt{6}$。

第三步:代入夹角公式

$$\cos\theta=\frac{\vec a\cdot\vec b}{|\vec a||\vec b|}=\frac{2}{\sqrt{11}\cdot\sqrt{6}}=\frac{2}{\sqrt{66}}.$$
$\theta=\arccos\dfrac{2}{\sqrt{66}}$。

同类题延伸:夹角题的关键是「先点积、后代公式」。如果题目给了 $|\vec a|,|\vec b|,\vec a\cdot\vec b$ 的关系(不给坐标),直接用这些量算 $\cos\theta$。判断平行用叉积为零,判断垂直用点积为零。

已知向量 $\vec a=(1,2,3),\ \vec b=(3,1,k)$ 互相垂直,求常数 $k$。

$\vec a\perp\vec b\iff\vec a\cdot\vec b=0$:

$$1\times3+2\times1+3k=0\implies 5+3k=0\implies k=-\frac{5}{3}.$$
$k=-\dfrac{5}{3}$。

同类题延伸:「垂直求参数」是最基础的向量方程题。变式:若改为「平行」,则用 $\vec a\times\vec b=\vec 0$(或分量成比例 $a_1/b_1=a_2/b_2=a_3/b_3$)。若改为「夹角为某值」,则用 $\cos\theta$ 公式列方程。

题型 B

叉积、面积与模的运算

核心公式
  • 叉积:$\vec a\times\vec b=\begin{vmatrix}\vec i&\vec j&\vec k\\a_1&a_2&a_3\\b_1&b_2&b_3\end{vmatrix}=(a_2b_3-a_3b_2,\ a_3b_1-a_1b_3,\ a_1b_2-a_2b_1)$
  • 叉积的模:$|\vec a\times\vec b|=|\vec a||\vec b|\sin\theta$ = 平行四边形面积
  • 几何意义:叉积方向垂直于 $\vec a,\vec b$ 所在平面(右手法则);三角形面积 $=\dfrac{1}{2}|\vec a\times\vec b|$
  • 恒等式:$|\vec a\times\vec b|^2=|\vec a|^2|\vec b|^2-(\vec a\cdot\vec b)^2$(不知道坐标时用)
解题思路
  1. 求同时垂直于两个向量的向量 → 叉积
  2. 求面积 → 叉积的模
  3. 不知道坐标、只知道 $|\vec a|,|\vec b|,\vec a\cdot\vec b$ → 用恒等式 $|\vec a\times\vec b|^2=|\vec a|^2|\vec b|^2-(\vec a\cdot\vec b)^2$
  4. 求单位向量 → 叉积算出来后除以模,注意 $\pm$ 两个方向
叉积的结果是向量不是标量!不要忘记方向。单位向量有正负两个方向,题目没指定取向时都要写。叉积不满足交换律:$\vec a\times\vec b=-(\vec b\times\vec a)$。
求与 $\vec a=(1,3,1)$、$\vec b=(-2,1,1)$ 同时垂直的单位向量。

第一步:叉积求垂直方向

$$\vec a\times\vec b=\begin{vmatrix}\vec i&\vec j&\vec k\\1&3&1\\-2&1&1\end{vmatrix}=(3\cdot1-1\cdot1,\ 1\cdot(-2)-1\cdot1,\ 1\cdot1-3\cdot(-2))=(2,-3,7).$$

第二步:求模

$|\vec a\times\vec b|=\sqrt{4+9+49}=\sqrt{62}$。

第三步:单位化

所求单位向量有两个方向:

$$\vec n=\pm\frac{1}{\sqrt{62}}(2,-3,7).$$
$\pm\dfrac{1}{\sqrt{62}}(2,-3,7)$。

同类题延伸:「同时垂直」= 叉积方向。「单位向量」= 除以模再加 $\pm$。考试中如果忘了叉积行列式,可以用「按第一行展开」的记忆法。

求以 $\vec a=(1,3,1)$、$\vec b=(-2,1,1)$ 为相邻两边的平行四边形面积。

面积 $=|\vec a\times\vec b|$。由上题 $\vec a\times\vec b=(2,-3,7)$。

$$S=|\vec a\times\vec b|=\sqrt{4+9+49}=\sqrt{62}.$$
$S=\sqrt{62}$。

同类题延伸:平行四边形面积 $=|\vec a\times\vec b|$,三角形面积 $=\dfrac{1}{2}|\vec a\times\vec b|$。如果题目反过来——已知面积和一个向量求另一个向量的某个分量,就设未知分量列方程 $|\vec a\times\vec b|=$ 面积。

已知 $|\vec a|=1,\ |\vec b|=3,\ \vec a\cdot\vec b=2$,求 $|\vec a-2\vec b|$ 及 $|\vec a\times\vec b|$。

求 $|\vec a-2\vec b|$:用 $|\vec v|^2=\vec v\cdot\vec v$ 展开:

$$|\vec a-2\vec b|^2=|\vec a|^2-4\vec a\cdot\vec b+4|\vec b|^2=1-4\times2+4\times9=1-8+36=29.$$

故 $|\vec a-2\vec b|=\sqrt{29}$。

求 $|\vec a\times\vec b|$:不知道坐标,用恒等式:

$$|\vec a\times\vec b|^2=|\vec a|^2|\vec b|^2-(\vec a\cdot\vec b)^2=1\times9-4=5.$$

故 $|\vec a\times\vec b|=\sqrt{5}$。

$|\vec a-2\vec b|=\sqrt{29}$,$|\vec a\times\vec b|=\sqrt{5}$。

同类题延伸:「不知道坐标、只知道模和点积」类题的通用套路:(1) 求模的平方 → 展开成 $|\vec a|^2+2\vec a\cdot\vec b+|\vec b|^2$ 等;(2) 求叉积的模 → 用 $|\vec a\times\vec b|^2=|\vec a|^2|\vec b|^2-(\vec a\cdot\vec b)^2$。这两个公式是这类题的万能钥匙。

题型 C

平面方程

核心公式
  • 点法式:过点 $P_0(x_0,y_0,z_0)$,法向量 $\vec n=(A,B,C)$:$A(x-x_0)+B(y-y_0)+C(z-z_0)=0$
  • 三点确定平面:$\vec n=\overrightarrow{P_1P_2}\times\overrightarrow{P_1P_3}$,再用点法式
  • 含直线且垂直某平面:法向量 $\vec n=\vec s\times\vec n_0$(直线方向 $\times$ 已知平面法向量)
解题思路
  1. 核心是求法向量和一个——有了这两样直接写点法式
  2. 三点 → 叉积求法向量
  3. 平行于直线 + 垂直于平面 → 法向量是两个方向的叉积
  4. 最后展开成 $Ax+By+Cz+D=0$ 的标准形式
「平行于直线」意味着直线方向向量在平面内(不是法向量!)。「垂直于平面」意味着该平面的法向量也在所求平面内。最终法向量 = 这两个"平面内的向量"做叉积。
三点确定一平面求过点 $A(1,3,1),\ B(-2,1,1),\ C(5,2,3)$ 的平面方程。

第一步:求两个方向向量

$\overrightarrow{AB}=(-2-1,\ 1-3,\ 1-1)=(-3,-2,0)$。

$\overrightarrow{AC}=(5-1,\ 2-3,\ 3-1)=(4,-1,2)$。

第二步:叉积求法向量

$$\vec n=\overrightarrow{AB}\times\overrightarrow{AC}=\begin{vmatrix}\vec i&\vec j&\vec k\\-3&-2&0\\4&-1&2\end{vmatrix}=(-4,6,11).$$

第三步:点法式,过 $A(1,3,1)$:

$$-4(x-1)+6(y-3)+11(z-1)=0.$$

展开:$-4x+4+6y-18+11z-11=0$,即 $-4x+6y+11z-25=0$。

$4x-6y-11z+25=0$(等价形式,乘以 $-1$)。

同类题延伸:三点求平面是必考题型。套路固定:(1) 取一点为基准,算两个方向向量;(2) 叉积得法向量;(3) 点法式。变式:若四点共面,则 $\overrightarrow{AB}\times\overrightarrow{AC}$ 与 $\overrightarrow{AD}$ 的点积为零(混合积为零)。

求过点 $A(1,3,1)$,平行于直线 $\dfrac{x}{2}=\dfrac{y+1}{-1}=\dfrac{z-3}{3}$ 且垂直于平面 $3x+y-2z=1$ 的平面方程。

分析条件

  • 「平行于直线」→ 直线方向 $\vec s=(2,-1,3)$ 在所求平面内
  • 「垂直于平面 $3x+y-2z=1$」→ 该平面法向量 $\vec n_0=(3,1,-2)$ 也在所求平面内

求法向量:$\vec n=\vec s\times\vec n_0$:

$$\vec n=\begin{vmatrix}\vec i&\vec j&\vec k\\2&-1&3\\3&1&-2\end{vmatrix}=(2-3,\ 9+4,\ 2+3)=(-1,13,5).$$

点法式,过 $A(1,3,1)$:

$$-(x-1)+13(y-3)+5(z-1)=0\implies -x+1+13y-39+5z-5=0.$$
$x-13y-5z+43=0$。

同类题延伸:「过点 + 平行于某线 + 垂直于某面」是平面方程的经典综合题。关键理解:「平行于直线」= 直线方向在平面内,「垂直于某面」= 某面法向量在平面内。两个「在平面内的向量」叉积 = 所求平面的法向量。

题型 D

距离与夹角

核心公式
  • 点到平面距离:$d=\dfrac{|Ax_0+By_0+Cz_0+D|}{\sqrt{A^2+B^2+C^2}}$
  • 面面夹角:$\cos\theta=\dfrac{|\vec n_1\cdot\vec n_2|}{|\vec n_1||\vec n_2|}$(取锐角,故用绝对值)
  • 线线夹角:$\cos\theta=\dfrac{|\vec s_1\cdot\vec s_2|}{|\vec s_1||\vec s_2|}$(同上,锐角)
  • 线面夹角:$\sin\varphi=\dfrac{|\vec s\cdot\vec n|}{|\vec s||\vec n|}$(注意是 $\sin$ 不是 $\cos$!)
解题思路
  1. 点到面 → 直接代公式,先确认平面方程是 $Ax+By+Cz+D=0$ 形式
  2. 面面/线线夹角 → 用法向量/方向向量的点积公式,注意取绝对值(锐角)
  3. 线面夹角 → 用 $\sin$ 而不是 $\cos$,这是最常见的坑
线面夹角用 $\sin$(因为线面角是方向向量和法向量夹角的余角)。面面夹角和线线夹角用 $\cos$ 且取绝对值(保证锐角)。点到面距离公式的分子要把平面方程化为一般式 $Ax+By+Cz+D=0$,别漏了常数项。
点到面距离求点 $A(1,3,1)$ 到平面 $3x+y-2z=1$ 的距离。

平面方程 $3x+y-2z-1=0$,故 $A=3,B=1,C=-2,D=-1$。

代入距离公式:

$$d=\frac{|3\times1+1\times3+(-2)\times1+(-1)|}{\sqrt{3^2+1^2+(-2)^2}}=\frac{|3+3-2-1|}{\sqrt{9+1+4}}=\frac{3}{\sqrt{14}}=\frac{3\sqrt{14}}{14}.$$
$d=\dfrac{3\sqrt{14}}{14}$。

同类题延伸:点到面距离是送分题,但容易在「化一般式」时出错——如果平面方程是点法式,先展开再代公式。变式:求到两平行平面等距的平面,本质是设点列方程。

面面夹角求平面 $2x-y+z=3$ 与平面 $3x+y-2z=1$ 的夹角。

$\vec n_1=(2,-1,1),\ \vec n_2=(3,1,-2)$。

点积:$\vec n_1\cdot\vec n_2=6-1-2=3$。

各自的模:$|\vec n_1|=\sqrt{4+1+1}=\sqrt{6}$,$|\vec n_2|=\sqrt{9+1+4}=\sqrt{14}$。

$$\cos\theta=\frac{|\vec n_1\cdot\vec n_2|}{|\vec n_1||\vec n_2|}=\frac{3}{\sqrt{6}\cdot\sqrt{14}}=\frac{3}{2\sqrt{21}}=\frac{3\sqrt{21}}{42}=\frac{\sqrt{21}}{14}.$$
$\theta=\arccos\dfrac{\sqrt{21}}{14}$。

同类题延伸:面面夹角题本质就是法向量夹角。注意取绝对值保证锐角。如果求「二面角」(不取锐角),则不用绝对值,需根据几何关系判断正负。

题型 E

直线方程

核心公式
  • 对称式(标准式):$\dfrac{x-x_0}{l}=\dfrac{y-y_0}{m}=\dfrac{z-z_0}{n}$,其中 $(x_0,y_0,z_0)$ 为点,$(l,m,n)$ 为方向
  • 参数式:$x=x_0+lt,\ y=y_0+mt,\ z=z_0+nt$
  • 两点确定直线:方向 $=\overrightarrow{P_1P_2}$,再选一个点写对称式
  • 两平面交线:联立两平面方程即得直线(一般式)
  • 垂直两方向 + 过某点:方向 $=\vec s_1\times\vec s_2$(或 $\vec s\times\vec n$)
解题思路
  1. 求直线 = 求一个点 + 方向向量
  2. 两点 → 方向为 $\overrightarrow{P_1P_2}$
  3. 垂直于线 + 平行于面 → 方向为 $\vec s\times\vec n$
  4. 方向有零分量时(如 $n=0$),对应坐标单独写:$z=z_0$
方向向量有零分量时,不能写成 $\dfrac{z-z_0}{0}$(分母为零无意义)。正确写法:$z=z_0$ 单独列出来。
两点确定一直线求过点 $A(1,3,1),\ B(-2,1,1)$ 的直线方程。

方向:$\vec s=\overrightarrow{AB}=(-3,-2,0)$。

$z$ 分量为 $0$ 说明直线平行于 $xOy$ 平面($z$ 坐标恒为 $1$)。

对称式,过 $A(1,3,1)$:

$$\frac{x-1}{-3}=\frac{y-3}{-2},\quad z=1.$$
$\dfrac{x-1}{-3}=\dfrac{y-3}{-2},\ z=1$。

同类题延伸:两点确定直线是最基础题。注意方向向量的零分量要单独处理。变式:若两点的某个坐标相同(如 $z$ 都是 $1$),则直线在等值面上($z=1$),这是快速判断的方法。

求过点 $A(1,3,1)$,垂直于直线 $\dfrac{x}{2}=\dfrac{y+1}{-1}=\dfrac{z-3}{3}$ 且平行于平面 $3x+y-2z=1$ 的直线方程。

分析条件

  • 「垂直于直线」→ 方向 $\vec s$ 垂直于 $\vec s_1=(2,-1,3)$
  • 「平行于平面」→ 方向 $\vec s$ 垂直于平面法向量 $\vec n_0=(3,1,-2)$(直线在平面内或平行于平面)

$\vec s$ 同时垂直于 $\vec s_1$ 和 $\vec n_0$,故:

$$\vec s=\vec s_1\times\vec n_0=\begin{vmatrix}\vec i&\vec j&\vec k\\2&-1&3\\3&1&-2\end{vmatrix}=(-1,13,5).$$

过 $A(1,3,1)$:

$$\frac{x-1}{-1}=\frac{y-3}{13}=\frac{z-1}{5}.$$
$\dfrac{x-1}{-1}=\dfrac{y-3}{13}=\dfrac{z-1}{5}$。

同类题延伸:「垂直于线 + 平行于面」类题与 1.8(平面方程的同类条件)用的是同一个叉积。区别只在于 1.8 求的是平面(用法向量),1.12 求的是直线(用方向向量)。叉积结果一样,后续用途不同。

题型 F

点线距、线线角、线面角

核心公式
  • 点到直线距离:直线上取一点 $P$,方向 $\vec s$,则 $d=\dfrac{|\overrightarrow{PA}\times\vec s|}{|\vec s|}$
  • 线线夹角:$\cos\theta=\dfrac{|\vec s_1\cdot\vec s_2|}{|\vec s_1||\vec s_2|}$
  • 线面夹角:$\sin\varphi=\dfrac{|\vec s\cdot\vec n|}{|\vec s||\vec n|}$
解题思路
  1. 点到线距离:在直线上取一个方便的点(如令参数 $t=0$),算 $\overrightarrow{PA}\times\vec s$ 的模再除以 $|\vec s|$
  2. 线线角:取两直线的方向向量做点积
  3. 线面角:用 $\sin$ 而不是 $\cos$——线面角是方向与法向量夹角的余角
点到直线距离公式里的叉积,注意顺序:$\overrightarrow{PA}\times\vec s$($P$ 是线上点,$A$ 是线外点)。叉积方向不影响模,但计算时要保证向量写对。线面角用 $\sin$ 是最常考的坑。
点到线距离求点 $A(1,3,1)$ 到直线 $L:\ \dfrac{x}{2}=\dfrac{y+1}{-1}=\dfrac{z-3}{3}$ 的距离。

第一步:在直线上取一点。令 $t=0$ 得 $P(0,-1,3)$。方向 $\vec s=(2,-1,3)$。

第二步:算 $\overrightarrow{PA}$

$\overrightarrow{PA}=A-P=(1,4,-2)$。

第三步:叉积

$$\overrightarrow{PA}\times\vec s=\begin{vmatrix}\vec i&\vec j&\vec k\\1&4&-2\\2&-1&3\end{vmatrix}=(12-2,\ -4-3,\ -1-8)=(10,-7,-9).$$

第四步:代入公式

$$d=\frac{|\overrightarrow{PA}\times\vec s|}{|\vec s|}=\frac{\sqrt{100+49+81}}{\sqrt{4+1+9}}=\frac{\sqrt{230}}{\sqrt{14}}=\sqrt{\frac{115}{7}}=\frac{\sqrt{805}}{7}.$$
$d=\dfrac{\sqrt{805}}{7}$。

同类题延伸:点到线距离的计算量主要在叉积,注意行列式展开时的正负号。另一种思路:过点作直线的垂面,求垂足,再算距离——但叉积法更快。

线线夹角求直线 $\dfrac{x}{2}=\dfrac{y+1}{-1}=\dfrac{z-3}{3}$ 与直线 $\dfrac{x-4}{1}=\dfrac{y}{3}=\dfrac{z+3}{2}$ 的夹角。

$\vec s_1=(2,-1,3),\ \vec s_2=(1,3,2)$。

点积:$\vec s_1\cdot\vec s_2=2-3+6=5$。

:$|\vec s_1|=\sqrt{14}$,$|\vec s_2|=\sqrt{14}$。

$$\cos\theta=\frac{|\vec s_1\cdot\vec s_2|}{|\vec s_1||\vec s_2|}=\frac{5}{14}.$$
$\theta=\arccos\dfrac{5}{14}$。

同类题延伸:线线夹角和面面夹角公式完全一样(都是两个向量的夹角),区别只是用方向向量还是法向量。取绝对值保证锐角。

线面夹角求直线 $\dfrac{x}{2}=\dfrac{y+1}{-1}=\dfrac{z-3}{3}$ 与平面 $3x+y-2z=1$ 的夹角。

$\vec s=(2,-1,3),\ \vec n=(3,1,-2)$。

点积:$\vec s\cdot\vec n=6-1-6=-1$。

:$|\vec s|=\sqrt{14}$,$|\vec n|=\sqrt{14}$。

线面夹角 $\varphi$ 满足(注意是 $\sin$):

$$\sin\varphi=\frac{|\vec s\cdot\vec n|}{|\vec s||\vec n|}=\frac{1}{14}.$$
$\varphi=\arcsin\dfrac{1}{14}$。

同类题延伸:线面夹角用 $\sin$ 的原因——线面角 $\varphi$ 和「方向向量与法向量的夹角 $\alpha$」互余($\varphi+\alpha=90°$),所以 $\sin\varphi=\cos\alpha=\dfrac{|\vec s\cdot\vec n|}{|\vec s||\vec n|}$。记忆口诀:「线面用 sin,线线面面用 cos」。

题型 G

平面束方程

核心方法
  • 平面束:过两平面 $\pi_1=0,\pi_2=0$ 交线的所有平面可表示为 $a\pi_1+b\pi_2=0$(或 $\pi_1+\lambda\pi_2=0$)
  • 步骤:(1) 把直线写成两平面联立形式;(2) 写出平面束;(3) 利用夹角/距离等约束条件求参数
解题思路
  1. 先把对称式直线转化为两平面联立(消去参数 $t$)
  2. 写出平面束 $\pi_1+\lambda\pi_2=0$,得到含参数 $\lambda$ 的法向量
  3. 利用夹角公式(或其他约束)列方程解 $\lambda$
  4. 注意 $\pi_1+\lambda\pi_2=0$ 可能漏掉 $\pi_2$ 本身,需单独验证
平面束 $\pi_1+\lambda\pi_2=0$ 漏掉了 $\pi_2$ 本身(对应 $\lambda=\infty$)。如果解出的 $\lambda$ 无解或出现矛盾,检查是否 $\pi_2$ 本身就是答案。夹角条件一般给出两个 $\lambda$(对应两个平面)。
平面束求过直线 $\dfrac{x}{2}=\dfrac{y+1}{-1}=\dfrac{z-3}{3}$ 且与平面 $3x+y-2z=1$ 夹角为 $\dfrac{\pi}{3}$ 的平面方程。

第一步:直线转两平面联立。设 $t=\dfrac{x}{2}$,则 $y=-1-t,\ z=3+3t$。

消 $t$:$t=\dfrac{x}{2}$,$y=-1-\dfrac{x}{2}$ → $x+2y+2=0$;$z=3+\dfrac{3x}{2}$ → $3x-2z+6=0$。

直线 $=\begin{cases}x+2y+2=0\\3x-2z+6=0\end{cases}$,记 $\pi_1,\pi_2$。

第二步:平面束

$\pi_1+\lambda\pi_2=0$:$(1+3\lambda)x+2y-2\lambda z+(2+6\lambda)=0$。

法向量 $\vec n=(1+3\lambda,\ 2,\ -2\lambda)$。

第三步:夹角条件

已知平面法向量 $\vec n_0=(3,1,-2)$,$\cos\dfrac{\pi}{3}=\dfrac{1}{2}$:

$$\frac{|\vec n\cdot\vec n_0|}{|\vec n||\vec n_0|}=\frac{1}{2}.$$

$\vec n\cdot\vec n_0=3(1+3\lambda)+2+4\lambda=5+13\lambda$。

$|\vec n_0|=\sqrt{14}$。$|\vec n|^2=(1+3\lambda)^2+4+4\lambda^2=13\lambda^2+6\lambda+5$。

$$\frac{|5+13\lambda|}{\sqrt{13\lambda^2+6\lambda+5}\cdot\sqrt{14}}=\frac{1}{2}.$$

平方:$\dfrac{(5+13\lambda)^2}{14(13\lambda^2+6\lambda+5)}=\dfrac{1}{4}$。

$4(25+130\lambda+169\lambda^2)=14(13\lambda^2+6\lambda+5)$。

$100+520\lambda+676\lambda^2=182\lambda^2+84\lambda+70$。

$494\lambda^2+436\lambda+30=0$,即 $247\lambda^2+218\lambda+15=0$。

$\lambda=\dfrac{-218\pm\sqrt{218^2-4\times247\times15}}{2\times247}=\dfrac{-218\pm\sqrt{47524-14820}}{494}=\dfrac{-218\pm\sqrt{32704}}{494}$。

将两个 $\lambda$ 值代回平面束方程即得两个所求平面。

同类题延伸:平面束题的难点不在思路,在计算。关键步骤是「直线转两平面联立」——如果这步出错,后面全错。简化技巧:选择消参方式时,优先选系数简单的分量(如 $z$ 分量为 $0$ 时直接得到一个平面)。

题型 H

旋转曲面与投影曲线

核心方法
  • 坐标面内曲线绕轴旋转:保留旋转轴坐标,把另一坐标的平方替换为两坐标的平方和。例:$yOz$ 面曲线 $F(y,z)=0$ 绕 $z$ 轴旋转 → $F(\pm\sqrt{x^2+y^2},\ z)=0$
  • 参数方程曲线绕轴旋转:保留旋转轴坐标参数关系,把 $y^2+z^2$(或 $x^2+y^2$ 等)表示为参数的函数
  • 投影曲线:联立两曲面方程消去一个变量,得到投影柱面;与坐标面联立即得投影
解题思路
  1. 旋转曲面:先确认曲线在哪个坐标面内、绕哪条轴转,再按规则替换
  2. 参数方程旋转:消参得 $x,y,z$ 的关系,再替换
  3. 投影:消元得投影柱面 + 指定坐标面
绕 $z$ 轴旋转时替换的是 $x$ 和 $y$(它们变成 $\sqrt{x^2+y^2}$),不是 $z$。绕 $x$ 轴旋转时替换的是 $y$ 和 $z$。记忆法:「保留旋转轴,替换其余轴」。投影曲线必须写成方程组(投影柱面 + 坐标面方程),不能只写一个方程。
求 $yOz$ 坐标面中曲线 $y^2-2z=1$ 绕 $z$ 轴旋转一周所得曲面方程。

规则:绕 $z$ 轴旋转,保留 $z$,把 $y^2$ 替换为 $x^2+y^2$。

原方程 $y^2-2z=1$ → 替换 $y^2\to x^2+y^2$:

$$x^2+y^2-2z=1.$$
$x^2+y^2-2z=1$(旋转抛物面)。

同类题延伸:旋转曲面题的关键是分清「绕哪个轴」和「原曲线在哪个面」。绕 $z$ 轴:$y^2\to x^2+y^2$(或 $x^2\to x^2+y^2$);绕 $x$ 轴:$y^2\to y^2+z^2$;绕 $y$ 轴:$x^2\to x^2+z^2$。记住:把非旋转轴的变量平方和替换进去。

求曲线 $x=t,\ y=2t,\ z=t^2$ 绕 $x$ 轴旋转一周所得曲面方程。

绕 $x$ 轴旋转:保留 $x$,用 $y^2+z^2$ 表示。

由参数方程:$t=x$(从 $x=t$ 得到)。

$y^2+z^2=(2t)^2+(t^2)^2=4t^2+t^4=4x^2+x^4$。

$y^2+z^2=x^4+4x^2$。

同类题延伸:参数方程曲线绕轴旋转的步骤:(1) 从参数方程中消参(这里是 $t=x$);(2) 算 $y^2+z^2$(绕 $x$ 轴)并表示为 $x$ 的函数。如果参数方程复杂(如含三角函数),可能需要保留参数形式。

求曲面 $x^2+y^2-2z=1$ 与 $x^2+y^2+z^2=4$ 的交线在 $xOy$ 坐标面的投影。

思路:消去 $z$ 得到投影柱面,再与 $z=0$ 联立。

第一步:由第一式表示 $z$。记 $u=x^2+y^2$,则 $z=\dfrac{u-1}{2}$。

第二步:代入第二式

$$u+\left(\frac{u-1}{2}\right)^2=4\implies u+\frac{u^2-2u+1}{4}=4\implies 4u+u^2-2u+1=16\implies u^2+2u-15=0.$$

$(u+5)(u-3)=0$,$u=3$($u=-5$ 舍去,因为 $u=x^2+y^2\ge0$)。

第三步:投影

交线满足 $x^2+y^2=3,\ z=1$。投影到 $xOy$ 平面($z=0$):

$$\begin{cases}x^2+y^2=3\\z=0\end{cases}.$$
投影为 $\begin{cases}x^2+y^2=3\\z=0\end{cases}$(半径 $\sqrt{3}$ 的圆)。

同类题延伸:投影曲线的标准做法:(1) 联立两曲面方程;(2) 消去要投影掉的变量(这里是 $z$)得到投影柱面方程;(3) 投影 = 投影柱面 $\cap$ 坐标面。注意消元过程中可能产生增根(如 $u=-5$),要结合实际意义判断取舍。

多元函数微分学

Multivariable Differentiation

连续域、极限、偏导、全微分、隐函数求导、极值与条件极值、方向导数与梯度、空间曲线与曲面的切线/切面。本章共 13 道例题,按 10 类题型组织——每类题先讲通法,再做题。

题型 A

多元函数的定义域 / 连续区域

核心思路

函数 = 几个基本运算的组合。每个组成部分各自有定义域限制,把它们列成不等式组,取交集,就是整个函数的定义域。一元函数的常用限制在二元上完全适用,只是要再加上 $(x,y)$ 两个变量。

通用步骤
  1. 把函数拆成"根式 / 分式 / 对数 / 反三角"等基本块。
  2. 对每一块写出对应不等式。
  3. 不等式组联立 → 取交集(不是并集!)。
  4. 必要时画图(几何形状:圆/圆环/半平面/带状区域 …)。
常见限制对照
  • $\sqrt{f}$ → $f\ge 0$
  • $1/f$ → $f\ne 0$
  • $\ln f$ → $f>0$
  • $\arcsin f,\ \arccos f$ → $-1\le f\le 1$
  • $\tan f,\ \sec f$ → $f\ne k\pi+\pi/2$
把"取交集"漏成"取并集";把 $\le$ 写成 $<$(根式允许等号、对数不允许等号——一定要分清);漏掉某一块的限制。
求 $f(x,y)=\arcsin\!\left(\dfrac{3}{2}-x^2-y^2\right)+\sqrt{x^2+y^2-1}$ 的连续区域。

详解

第 1 步 识别两块限制

$f$ 由两部分相加:① $\arcsin$ 项;② 根式项。两块都要有意义。

第 2 步 $\arcsin$ 部分

$\arcsin u$ 要求 $-1\le u\le 1$,这里 $u=\dfrac32-x^2-y^2$:

$$-1\le \dfrac{3}{2}-x^2-y^2\le 1.$$

拆开看两端:

  • 左侧 $\dfrac{3}{2}-x^2-y^2\ge -1\Rightarrow x^2+y^2\le \dfrac{5}{2}$;
  • 右侧 $\dfrac{3}{2}-x^2-y^2\le 1\Rightarrow x^2+y^2\ge \dfrac{1}{2}$。

合起来:$\dfrac{1}{2}\le x^2+y^2\le \dfrac{5}{2}$。

第 3 步 根式部分

$\sqrt{x^2+y^2-1}$ 要求 $x^2+y^2-1\ge 0$,即 $x^2+y^2\ge 1$。

第 4 步 取交集

两组限制都要满足:

$$\begin{cases}\dfrac{1}{2}\le x^2+y^2\le \dfrac{5}{2}\\ x^2+y^2\ge 1\end{cases}\Rightarrow 1\le x^2+y^2\le \dfrac{5}{2}.$$
$1>\dfrac12$,所以下界由更紧的 $1$ 决定;上界 $\dfrac52$ 还在 $\arcsin$ 限制里。这就是"取交集"的含义。
连续区域 $D=\left\{(x,y):\ 1\le x^2+y^2\le \dfrac{5}{2}\right\}$,几何上是内圆半径 $1$、外圆半径 $\sqrt{5/2}=\dfrac{\sqrt{10}}{2}$ 的闭圆环
题目把 $\arcsin$ 换成 $\arccos$、把 $\sqrt{\,}$ 换成 $\ln(\cdot)$、把 $\dfrac32$ 换成别的常数——做法完全一样:「拆块 → 列不等式 → 取交集 → 画图」。注意 $\ln$ 要严格 $>0$(开区域),根式可以 $\ge 0$(闭区域),边界归属会变。
题型 B

二重极限的"算"与"判存在性"

两类问题,两套思路

① 求极限(题目让算出一个数)→ 走"夹逼 / 凑重要极限 / 极坐标"路线。
② 判存在性(题目让讨论是否存在)→ 优先用"不同路径"找反例。

求极限的常用招
  1. 夹逼定理:找到 $|f(x,y)|\le g(x,y)$ 且 $g\to 0$。常用不等式:
    • $|x|,|y|\le\sqrt{x^2+y^2}$
    • $|2xy|\le x^2+y^2$(来自 $(|x|-|y|)^2\ge0$)
    • $\dfrac{|x|}{\sqrt{x^2+y^2}}\le 1,\ \dfrac{x^2}{x^2+y^2}\le 1$
  2. 极坐标:令 $x=r\cos\theta,\ y=r\sin\theta$,$r\to 0$ 后若与 $\theta$ 无关 ⇒ 极限存在;含 $\theta$ ⇒ 不存在或要看更细。
  3. 凑两个一元重要极限
    • $\dfrac{\sin u}{u}\to 1\ (u\to0)$
    • $(1+u)^{1/u}\to e\ (u\to 0)$
    令 $u$ 为某个 $\to 0$ 的组合即可。
判不存在的"必杀技"

沿不同路径 $y=kx,\ y=kx^2,\ y=x^a$ 趋于 $(0,0)$,看结果是否相同。只要找到两条路径给出不同极限,原极限就不存在。

"沿 $y=kx$ 极限存在"不能推出"二重极限存在"——这是必要不充分。必须用夹逼或极坐标证存在性,不能靠路径。
求 $\displaystyle\lim_{(x,y)\to(0,0)}\frac{x^2y}{x^2+y^2}$,$\displaystyle\lim_{(x,y)\to(0,0)}(1-2xy)^{\frac{1}{2xy}}$。

详解

(1) $\displaystyle\lim_{(x,y)\to(0,0)}\dfrac{x^2y}{x^2+y^2}$ ——夹逼

这个分母含 $x^2+y^2$,分子有 $x^2 y$。注意到 $x^2\le x^2+y^2$,所以:

$$\left|\dfrac{x^2y}{x^2+y^2}\right|=|y|\cdot\dfrac{x^2}{x^2+y^2}\le |y|\cdot 1=|y|.$$

当 $(x,y)\to(0,0)$ 时 $|y|\to 0$,由夹逼得极限 $=0$。

分子分母里都有 $x^2$,把它"对消"掉变成 $|y|\cdot \dfrac{x^2}{x^2+y^2}$,后一个因子有界($\le 1$),前一个 $\to 0$,整体就 $\to 0$。这是"分离出一个 $\to 0$ 的因子 × 一个有界因子"的标准套路。
极坐标法(备选)

$x=r\cos\theta,y=r\sin\theta$:

$$\dfrac{x^2y}{x^2+y^2}=\dfrac{r^2\cos^2\theta\cdot r\sin\theta}{r^2}=r\cos^2\theta\sin\theta.$$

$|r\cos^2\theta\sin\theta|\le r\to 0$(与 $\theta$ 无关),同样得 $0$。

(2) $\displaystyle\lim_{(x,y)\to(0,0)}(1-2xy)^{\frac{1}{2xy}}$ ——凑 $(1+u)^{1/u}\to e$

令 $u=-2xy$。当 $(x,y)\to(0,0)$ 时 $u\to 0$,且 $1-2xy=1+u$,$\dfrac{1}{2xy}=\dfrac{-1}{u}$。

$$(1-2xy)^{\frac{1}{2xy}}=(1+u)^{-1/u}=\left[(1+u)^{1/u}\right]^{-1}.$$

由 $(1+u)^{1/u}\to e$,整体 $\to e^{-1}$。

凡是看到"$(1+\text{小量})^{1/\text{小量}}$"形式直接凑 $e$;如果指数符号和括号里符号不一致,就提个负号到指数上。这里关键是把 $-2xy$ 当作一个"整体小量"。
(1) $0$; (2) $e^{-1}$。
$\dfrac{x^3+y^3}{x^2+y^2}$、$\dfrac{xy^2}{x^2+y^4}$ 这类"分子幂数 > 分母幂数"的,套路相同:分离 + 夹逼。$(1+xy)^{1/(x+y)}$ 这种凑 $e$ 时要先化指数为 $\dfrac{1}{xy}\cdot \dfrac{xy}{x+y}$,再分别处理。
讨论 $\displaystyle\lim_{(x,y)\to(0,0)}\frac{2xy}{x^2+y^2}$ 的存在性。

详解

第 1 步 先怀疑不存在

分子 $2xy$ 与分母 $x^2+y^2$ 同为 2 次齐次——这种"同次齐次"的分式是经典反例形式,结果常与方向 $\theta$ 有关。

第 2 步 沿直线 $y=kx$ 试探

$y=kx$($x\to 0$):

$$\dfrac{2x\cdot kx}{x^2+k^2x^2}=\dfrac{2k\,x^2}{(1+k^2)x^2}=\dfrac{2k}{1+k^2}.$$

取 $k=0$:极限 $=0$;取 $k=1$:极限 $=1$。两个结果不同。

只要"沿一条路径的极限"依赖于路径参数 $k$,二重极限必定不存在——因为二重极限若存在,沿任意方式趋近都得到同一个值。
第 3 步 极坐标验证(互证)

$x=r\cos\theta,y=r\sin\theta$:

$$\dfrac{2xy}{x^2+y^2}=\dfrac{2r^2\cos\theta\sin\theta}{r^2}=\sin 2\theta.$$

整个表达式跟 $r$ 无关,只跟 $\theta$ 有关——这就是"极限随方向变化"的最直观说明。

极限不存在。
判不存在的"通用反例库":$\dfrac{xy}{x^2+y^2}$(沿 $y=kx$)、$\dfrac{xy^2}{x^2+y^4}$(沿 $y=x$ vs $x=y^2$)、$\dfrac{x^2y}{x^4+y^2}$(沿 $y=kx^2$)。记住一条规律:分子分母齐次次数相等 → 几乎必然不存在;分子次数高于分母 → 通常存在 = 0。
题型 C

分段函数在分界点的连续性 / 偏导

分界点的处理必须用"定义"

在分段函数的"分段点"(通常是 $(0,0)$ 这种),不能用导数公式硬代——一段一段的函数在交界处导数公式不适用。必须回到定义:

$f_x(x_0,y_0)=\displaystyle\lim_{h\to 0}\dfrac{f(x_0+h,y_0)-f(x_0,y_0)}{h}$
$f_y(x_0,y_0)=\displaystyle\lim_{h\to 0}\dfrac{f(x_0,y_0+h)-f(x_0,y_0)}{h}$
两步走
  1. 连续性:算 $\displaystyle\lim_{(x,y)\to(x_0,y_0)}f(x,y)$,看它等不等于 $f(x_0,y_0)$。通常用夹逼,跟题型 B 一样。
  2. 偏导:把 $y=y_0$ 代入函数得"沿 $y=y_0$ 这条线的一元函数",对它求一元导数即可(对 $x_0$ 类似)。这一步常常发现"$f(x_0+h,y_0)$ 在分段函数里走的是另一支"。
三个概念要分清
  • 连续:$\lim f=f(x_0,y_0)$
  • 偏导存在:上面两个 $f_x,f_y$ 极限都存在
  • 可微:$\Delta f=f_x\Delta x+f_y\Delta y+o(\rho)$,$\rho=\sqrt{\Delta x^2+\Delta y^2}$

三者两两都能互推。可微 ⇒ 连续 + 偏导存在;反过来都不对。

用"$f_x$ 表达式直接代 $(0,0)$"——错!表达式只在 $(x,y)\ne(0,0)$ 成立,分界点必须用定义。
讨论 $f(x,y)=\begin{cases}xy\sin\dfrac{1}{x^2+y^2},&x^2+y^2\ne0\\ 0,&x^2+y^2=0\end{cases}$ 在 $(0,0)$ 处的连续性及一阶偏导数的存在性。

详解

第 1 步 连续性 — 夹逼

$\sin(\cdot)$ 是有界因子($|\sin|\le 1$),$xy$ 是 $\to 0$ 的因子。所以:

$$\left|xy\sin\dfrac{1}{x^2+y^2}\right|\le |xy|\cdot 1=|xy|\to 0\quad((x,y)\to(0,0)).$$

而 $f(0,0)=0$。两者相等,故 $f$ 在 $(0,0)$ 连续

面对"震荡因子 $\sin\dfrac{1}{(\cdot)}$"或"$\cos\dfrac{1}{(\cdot)}$"千万别试图代值——它在原点附近狂震。但有界 × 趋零 = 趋零,夹逼解决。
第 2 步 $f_x(0,0)$ — 用定义

沿 $y=0$ 切片,$f(h,0)=h\cdot 0\cdot\sin\dfrac{1}{h^2}=0$(无论 $h$ 是多少)。

$$f_x(0,0)=\lim_{h\to 0}\dfrac{f(h,0)-f(0,0)}{h}=\lim_{h\to 0}\dfrac{0-0}{h}=0.$$
第 3 步 $f_y(0,0)$ — 同理

沿 $x=0$ 切片,$f(0,h)=0$。同样 $f_y(0,0)=0$。

$f$ 在 $(0,0)$ 连续,且 $f_x(0,0)=f_y(0,0)=0$。
类似的"震荡型分段函数"题,如 $f=\dfrac{x^2y^2}{x^2+y^2}\sin\dfrac{1}{xy}$、$f=(x^2+y^2)\sin\dfrac{1}{x^2+y^2}$ 等:连续性都用夹逼;偏导都从切片 $y=0$ 或 $x=0$ 入手。常见进阶题是再问"是否可微"——这时要算 $\dfrac{f(\Delta x,\Delta y)-0-0\cdot\Delta x-0\cdot\Delta y}{\sqrt{\Delta x^2+\Delta y^2}}$,看是否 $\to 0$。
题型 D

"含 $(x-a)(y-b)^k$ 因子"求点偏导的捷径

核心观察

题目形如 $f(x,y)=\text{主项}+\underbrace{(x-a)^p(y-b)^q\cdot(\cdots)}_{\text{含因子项}}$,让你在 $(a,b)$ 这一点处求偏导。含因子项求导后大概率仍带 $(x-a)$ 或 $(y-b)$ 因子,在该点直接为 $0$,可以一眼舍掉。这样就只剩主项要算。

判断规则

对带因子 $(x-a)^p(y-b)^q$ 的项 $G(x,y)$:

  • 求 $G_x(a,b)$:求导后用乘积法则,每项要么仍含 $(x-a)^{p-1}$($p\ge 2$ 时归零)或仍含 $(y-b)^q$($q\ge 1$ 时归零)。只有当 $p=1$ 且 $q=0$ 才可能非零。
  • $G_y(a,b)$ 对称。
套路化结论

$(x-a)\cdot(y-b)^2\cdot(\text{光滑})$ 在 $(a,b)$ 处对 $x$ 和对 $y$ 偏导都是 $0$——因子里 $y$ 是平方、$x$ 是一次。

硬展开求完整 $f_x$ 表达式再代值——会算几行复杂的 $\arctan$ 导数,浪费时间。先观察因子结构。
$f(x,y)=x^2y^3+(x-1)(y-2)^2\arctan(2+x^2+y^2)$,求 $f_x(1,2),\ f_y(1,2)$。

详解

第 1 步 拆函数

$f=\underbrace{x^2y^3}_{\text{主项}}+\underbrace{(x-1)(y-2)^2\arctan(2+x^2+y^2)}_{\text{记作 }g}$。

因子结构:$g$ 中 $(x-1)$ 一次、$(y-2)$ 二次。求点偏导时这部分多半归零。

第 2 步 算 $f_x(1,2)$

$f_x=\underbrace{2xy^3}_{\text{主项导}}+\underbrace{g_x}_{?}$。展开 $g_x$(乘积法则三项):

  1. $\dfrac{\partial}{\partial x}(x-1)\cdot (y-2)^2\arctan(\cdot)=1\cdot (y-2)^2\arctan(\cdot)$ —— 在 $(1,2)$ 处含 $(y-2)^2=0$,归零 ✗
  2. $(x-1)\cdot \dfrac{\partial}{\partial x}(y-2)^2\cdot\arctan(\cdot)=0$($(y-2)^2$ 对 $x$ 求导为 0)✗
  3. $(x-1)(y-2)^2\cdot \dfrac{2x}{1+(2+x^2+y^2)^2}$ —— 在 $(1,2)$ 处含 $(x-1)=0$ 且 $(y-2)^2=0$,归零 ✗

所以 $g_x(1,2)=0$。剩下:

$$f_x(1,2)=2\cdot 1\cdot 2^3=16.$$
第 3 步 算 $f_y(1,2)$

$f_y=3x^2y^2+g_y$。$g_y$ 三项:

  1. $(x-1)\cdot 2(y-2)\cdot\arctan(\cdot)$ —— 含 $(x-1)(y-2)$ 因子,在 $(1,2)$ 两个都为 0,归零 ✗
  2. $(x-1)(y-2)^2\cdot \dfrac{2y}{1+(\cdot)^2}$ —— 含 $(x-1)$,归零 ✗
  3. ($(x-1)$ 对 $y$ 求导为 0)
$$f_y(1,2)=3\cdot 1^2\cdot 2^2=12.$$
本题"捷径"省的是 $\arctan(2+x^2+y^2)$ 在 $(1,2)$ 处的值($\arctan 7$)以及一堆乘积——不算还能得到准确值,正是因为因子结构 $(x-1)(y-2)^2$ 已经替我们灭掉了所有"光滑函数"贡献

$f_x(1,2)=16$,$f_y(1,2)=12$。
一切形如 $f=p(x,y)+(x-a)^p(y-b)^q\cdot h(x,y)$ 的题,求在 $(a,b)$ 的偏导都用这招。更狠的考法:让你求 $f_{xy}(a,b)$,这时要让因子幂数能"扛"到二阶——$(x-a)^2(y-b)^2$ 在 $(a,b)$ 处所有二阶偏导都是 0。
题型 E

高阶混合偏导 $\dfrac{\partial^2 z}{\partial x\partial y}$ 三类典型

三种结构对号入座

题目里 $z$ 长什么样,决定走哪条路:

  1. "普通函数 + 单变量复合函数":$z=g(x,y)+\varphi(\,u(x,y)\,)$。$\varphi$ 是一元函数,链式法则一层就够。
  2. "二元抽象函数 $f(u,v)$":$z=f(u(x,y),v(x,y))$。关键:$f_u,f_v$ 仍是 $(u,v)$ 的二元函数;对它再求偏导时要继续链式,会出现 $f_{uu},f_{uv},f_{vv}$。
  3. "隐函数 $F(x,y,z)=0$":先用公式 $z_x=-\dfrac{F_x}{F_z},\ z_y=-\dfrac{F_y}{F_z}$;再对 $z_x$ 关于 $y$ 求导,$z$ 视作 $y$ 的函数继续链式
核心公式(背下来)
$z=f(u,v),u=u(x,y),v=v(x,y)$:
$z_x=f_u\cdot u_x+f_v\cdot v_x$
$\dfrac{\partial f_u}{\partial y}=f_{uu}\cdot u_y+f_{uv}\cdot v_y$($f_u$ 再求 $y$ 偏导时,把 $f_u$ 当成 $(u,v)$ 二元函数继续链式)
求 $z_{xy}$ 时忘了 $f_u,f_v$ 还要继续链式——直接当成数 → 漏掉 $f_{uu},f_{uv}$ 这些项。隐函数 (3) 类对 $z_x$ 求 $y$ 偏导时漏掉"$z$ 也含 $y$"。
求下列函数的 $\dfrac{\partial^2 z}{\partial x\partial y}$:
(1)$z=x^2y^2+\varphi(x^2+y^2)$;
(2)$z=f(x^2y^2,\ x^2+y^2)$;
(3)$x^2+y^2+e^{z}+2z=3$。

详解

(1) $z=x^2y^2+\varphi(x^2+y^2)$ ——单变量复合

$\varphi$ 是一元函数。记内函数 $u=x^2+y^2$,则 $\dfrac{\partial u}{\partial x}=2x,\ \dfrac{\partial u}{\partial y}=2y$。

先求 $z_x$:

$$z_x=\underbrace{2xy^2}_{\text{主项}}+\underbrace{\varphi'(u)\cdot 2x}_{\text{链式}}=2xy^2+2x\varphi'.$$

再对 $y$ 求偏导:

$$z_{xy}=\dfrac{\partial}{\partial y}(2xy^2)+\dfrac{\partial}{\partial y}(2x\varphi').$$
  • $\dfrac{\partial}{\partial y}(2xy^2)=4xy$
  • $\dfrac{\partial}{\partial y}(2x\varphi')=2x\cdot \varphi''(u)\cdot u_y=2x\cdot\varphi''\cdot 2y=4xy\varphi''$
$$\boxed{z_{xy}=4xy+4xy\varphi''=4xy(1+\varphi'').}$$
(2) $z=f(x^2y^2,\ x^2+y^2)$ ——二元抽象函数

记 $u=x^2y^2,\ v=x^2+y^2$。则 $u_x=2xy^2,u_y=2x^2y,v_x=2x,v_y=2y$。

第 1 步 求 $z_x$(链式法则一阶):

$$z_x=f_u\cdot u_x+f_v\cdot v_x=2xy^2 f_u+2x f_v.$$

第 2 步 对 $z_x$ 关于 $y$ 求导。注意 $f_u,f_v$ 还是 $(u,v)$ 的二元函数,继续链式

  • $\dfrac{\partial f_u}{\partial y}=f_{uu}\cdot u_y+f_{uv}\cdot v_y=f_{uu}\cdot 2x^2y+f_{uv}\cdot 2y$
  • $\dfrac{\partial f_v}{\partial y}=f_{vu}\cdot u_y+f_{vv}\cdot v_y=f_{vu}\cdot 2x^2y+f_{vv}\cdot 2y$

第 3 步 乘积法则展开:

$$z_{xy}=\dfrac{\partial}{\partial y}(2xy^2 f_u)+\dfrac{\partial}{\partial y}(2x f_v).$$

第一项 = $4xy\,f_u+2xy^2(2x^2y f_{uu}+2y f_{uv})$;
第二项 = $0\cdot f_v+2x(2x^2y f_{vu}+2y f_{vv})$($2x$ 对 $y$ 求导为 0)。

第 4 步 合并(用 $f_{uv}=f_{vu}$,假设连续):

$$z_{xy}=4xy f_u+4x^3y^3 f_{uu}+4xy^3 f_{uv}+4x^3y f_{vu}+4xy f_{vv}.$$

把 $4xy$ 提出来:

$$\boxed{z_{xy}=4xy\bigl[f_u+x^2y^2 f_{uu}+(x^2+y^2)f_{uv}+f_{vv}\bigr].}$$
($x^2y^3+x^3y$) 提 $4xy$ 后是 $y^2+x^2$,正是 $v=x^2+y^2$ —— 这种"约成原中间变量"的现象在抽象函数题中很常见,可以作为验算信号。
(3) $x^2+y^2+e^z+2z=3$ ——隐函数

设 $F=x^2+y^2+e^z+2z-3$。$F_x=2x,\ F_y=2y,\ F_z=e^z+2$。

第 1 步 由隐函数公式:

$$z_x=-\dfrac{F_x}{F_z}=-\dfrac{2x}{e^z+2},\quad z_y=-\dfrac{2y}{e^z+2}.$$

第 2 步 对 $z_x$ 关于 $y$ 求导。注意 $z$ 也是 $y$ 的函数,链式:

$$z_{xy}=\dfrac{\partial}{\partial y}\left(-\dfrac{2x}{e^z+2}\right)=-2x\cdot\dfrac{\partial}{\partial y}\!\left(\dfrac{1}{e^z+2}\right).$$

$\dfrac{\partial}{\partial y}\!\left(\dfrac{1}{e^z+2}\right)=-\dfrac{1}{(e^z+2)^2}\cdot e^z\cdot z_y$,所以:

$$z_{xy}=-2x\cdot\!\left[-\dfrac{e^z\cdot z_y}{(e^z+2)^2}\right]=\dfrac{2x\,e^z\,z_y}{(e^z+2)^2}.$$

第 3 步 代入 $z_y=-\dfrac{2y}{e^z+2}$:

$$\boxed{z_{xy}=\dfrac{2x\,e^z}{(e^z+2)^2}\cdot\!\left(-\dfrac{2y}{e^z+2}\right)=-\dfrac{4xy\,e^z}{(e^z+2)^3}.}$$
隐函数求二阶最容易漏的就是"$z$ 还是 $y$ 的函数"那一层链式——所以 $\dfrac{1}{e^z+2}$ 对 $y$ 求导时一定要带上 $z_y$ 因子。
变式:(2) 如果改成 $z=f(\sin xy,\,\ln(x+y))$,套路一样——把内函数标号、写中间变量、机械链式即可。
真题常考:把 (3) 改为带具体点求值,例如"在 $(0,0,z_0)$ 处求 $z_{xy}$",先把 $z_0$ 解出来再代入。
题型 F

方程组确定的隐函数偏导(两条腿走路)

套路

两个方程 $F=0,\ G=0$ 定义出 $u=u(x,y),v=v(x,y)$。对自变量(比如 $x$)求偏导,得到关于 $u_x,v_x$ 的二元线性方程组,解出来。对 $y$ 求偏导同理。

求导时的关键
  • 把另一个自变量当常数(求对 $x$ 的偏导时 $y$ 当常数)。
  • $u,v$ 视为 $(x,y)$ 的复合函数——遇到 $u^2$ 就是 $2u\cdot u_x$,遇到 $v\sin u$ 就乘积法则 + 链式。
  • 解出来的方程组形式:$\begin{cases}A u_x+B v_x=C_1\\ D u_x+E v_x=C_2\end{cases}$,用消元法或克莱姆。
克莱姆法则(备用)

$u_x=\dfrac{C_1 E-C_2 B}{AE-BD},\quad v_x=\dfrac{A C_2-D C_1}{AE-BD}.$

把 $u,v$ 当作 $(x,y)$ 之外的"独立变量"——求 $\dfrac{\partial}{\partial x}(u^2)$ 时漏掉 $2u\cdot u_x$ 的 $u_x$。
已知 $\begin{cases}x^2+y^2+u+2v-3=0\\ x+2y-3u-v^2+1=0\end{cases}$,求 $\dfrac{\partial u}{\partial x},\ \dfrac{\partial v}{\partial y}$。

详解

第 1 步 对 $x$ 求偏导($y$ 当常数)

第一式:$\dfrac{\partial}{\partial x}(x^2+y^2+u+2v-3)=2x+u_x+2v_x=0$ ……①

第二式:$\dfrac{\partial}{\partial x}(x+2y-3u-v^2+1)=1-3u_x-2v\cdot v_x=0$ ……②

$v^2$ 对 $x$ 求导用链式:$2v\cdot v_x$。$y^2,2y$ 当常数为 0。
第 2 步 解线性方程组求 $u_x$

由 ① 得 $u_x=-2x-2v_x$,代入 ②:

$$1-3(-2x-2v_x)-2v\,v_x=0\Rightarrow 1+6x+6v_x-2v\,v_x=0$$ $$\Rightarrow v_x(6-2v)=-(1+6x)\Rightarrow v_x=\dfrac{1+6x}{2v-6}=\dfrac{6x+1}{2v-6}.$$

回代 $u_x$:

$$u_x=-2x-2\cdot\dfrac{6x+1}{2v-6}=\dfrac{-2x(2v-6)-2(6x+1)}{2v-6}=\dfrac{-4xv+12x-12x-2}{2v-6}=\dfrac{-4xv-2}{2v-6}=-\dfrac{2xv+1}{v-3}.$$
第 3 步 对 $y$ 求偏导($x$ 当常数)求 $v_y$

第一式:$2y+u_y+2v_y=0$ ……③

第二式:$2-3u_y-2v\,v_y=0$ ……④

由 ③ 得 $u_y=-2y-2v_y$,代入 ④:

$$2-3(-2y-2v_y)-2v\,v_y=0\Rightarrow 2+6y+6v_y-2v\,v_y=0$$ $$\Rightarrow v_y(6-2v)=-(2+6y)\Rightarrow v_y=\dfrac{2+6y}{2v-6}=\dfrac{3y+1}{v-3}.$$
$\dfrac{\partial u}{\partial x}=-\dfrac{2xv+1}{v-3},\quad \dfrac{\partial v}{\partial y}=\dfrac{3y+1}{v-3}$。
题目若给出"在点 $(1,1,1,1)$ 处求值",代值即可。检验小技巧:分母 $v-3$ 一旦为 0($v=3$),说明此点雅可比为奇异——隐函数不再唯一确定。考研真题里常在这种地方设陷阱。
题型 G

全微分(正向求 + 逆向反求)

两个方向
  1. 正向(已知函数求 $\mathrm dz$):直接套公式 $\mathrm dz=z_x\,\mathrm dx+z_y\,\mathrm dy$(三元就再加 $z_z\,\mathrm dz$)。每个偏导用对应章节方法(普通 / 复合 / 隐函数)算。
  2. 逆向(已知 $\mathrm df=P\,\mathrm dx+Q\,\mathrm dy$,反求函数或参数):核心是"全微分等价于 $P=f_x,\ Q=f_y$"。再用混合偏导相等 $\dfrac{\partial P}{\partial y}=\dfrac{\partial Q}{\partial x}$ 当方程。
隐函数的全微分(两条路)
  • 路 1:分别求 $z_x,z_y$,写 $\mathrm dz=z_x\,\mathrm dx+z_y\,\mathrm dy$。
  • 路 2:对原方程 $F(x,y,z)=0$ 两边整体取微分:$F_x\,\mathrm dx+F_y\,\mathrm dy+F_z\,\mathrm dz=0$,解出 $\mathrm dz$。这条路最简洁,推荐
$\mathrm d(\cdots)$ 微分运算法则(备用)

$\mathrm d(fg)=g\,\mathrm df+f\,\mathrm dg,\quad \mathrm d(f/g)=\dfrac{g\,\mathrm df-f\,\mathrm dg}{g^2},\quad \mathrm d(\varphi\circ f)=\varphi'(f)\,\mathrm df.$

逆向题里"对一切 $x,y$ 恒等"才能比较系数;只代一两个点会少条件。$\cos^2 x$ 求导 = $-2\sin x\cos x=-\sin 2x$(注意负号)。
(1) 求 $z=x^2y^2+\varphi(x^2+y^2)$ 的全微分;
(2) 已知 $\mathrm df(x,y)=(y+by\sin 2x)\mathrm dx+(ax+\cos^2x)\mathrm dy$,求 $a,b$ 的值。

详解

(1) 正向 — 直接求偏导

$z_x=2xy^2+\varphi'\cdot 2x=2xy^2+2x\varphi'$;
$z_y=2x^2y+\varphi'\cdot 2y=2x^2y+2y\varphi'$。

$$\mathrm dz=(2xy^2+2x\varphi')\mathrm dx+(2x^2y+2y\varphi')\mathrm dy.$$
(2) 逆向 — 用混合偏导相等

由 $\mathrm df=P\,\mathrm dx+Q\,\mathrm dy$ 知 $f_x=P=y+by\sin 2x,\ f_y=Q=ax+\cos^2 x$。

$f$ 二阶混偏可交换,需 $\dfrac{\partial P}{\partial y}=\dfrac{\partial Q}{\partial x}$:

  • $\dfrac{\partial P}{\partial y}=\dfrac{\partial}{\partial y}(y+by\sin 2x)=1+b\sin 2x.$
  • $\dfrac{\partial Q}{\partial x}=\dfrac{\partial}{\partial x}(ax+\cos^2 x)=a+2\cos x\cdot(-\sin x)=a-\sin 2x.$

恒等 $1+b\sin 2x\equiv a-\sin 2x$ 对一切 $x$ 成立,按"基底" $\{1,\sin 2x\}$ 比较系数:

  • 常数项:$1=a\Rightarrow a=1$;
  • $\sin 2x$ 项:$b=-1$。
"$\cos^2 x$ 求导 $=-\sin 2x$"是高频考点的一个小坑——别写成 $+\sin 2x$。用倍角公式 $\cos^2 x=\dfrac{1+\cos 2x}{2}$ 求导后变 $-\sin 2x$,可以做交叉验证。
(1) $\mathrm dz=(2xy^2+2x\varphi')\mathrm dx+(2x^2y+2y\varphi')\mathrm dy$; (2) $a=1,\ b=-1$。
"已知 $\mathrm df$ 求 $f(x,y)$"型题:先验证 $\dfrac{\partial P}{\partial y}=\dfrac{\partial Q}{\partial x}$(即积分可路径无关),再沿一条简便路径(如 $(0,0)\to(x,0)\to(x,y)$)积分:$f=\int_0^x P(t,0)\,\mathrm dt+\int_0^y Q(x,t)\,\mathrm dt$。
求 $u=x^2y^2z+\varphi(x^2+y^2+2z)$ 的全微分。

详解

第 1 步 把 $\varphi$ 的内变量标出来

令 $t=x^2+y^2+2z$,则 $\varphi=\varphi(t)$,一元函数。$t_x=2x,t_y=2y,t_z=2$。

第 2 步 分别求三个偏导
  • $u_x=\dfrac{\partial}{\partial x}(x^2y^2z)+\varphi'\cdot t_x=2xy^2z+2x\varphi'$
  • $u_y=2x^2yz+\varphi'\cdot 2y=2x^2yz+2y\varphi'$
  • $u_z=x^2y^2+\varphi'\cdot 2=x^2y^2+2\varphi'$
第 3 步 组装全微分
$$\mathrm du=(2xy^2z+2x\varphi')\,\mathrm dx+(2x^2yz+2y\varphi')\,\mathrm dy+(x^2y^2+2\varphi')\,\mathrm dz.$$
三元函数全微分的"形状"和二元一样:$\mathrm du=u_x\mathrm dx+u_y\mathrm dy+u_z\mathrm dz$。变量再多也照搬。如果题目里 $\varphi$ 是多元抽象(如 $\varphi(x^2,y^2,z)$),就要分别求 $\varphi_1,\varphi_2,\varphi_3$(下标表示对第几个槽求偏导),公式更繁但路数一样。
$x^2+y^3+xy+5z+z^5-3x-4=0$,求 $\mathrm dz\big|_{(1,2)}$。

详解

第 1 步 直接对方程两边取全微分

设 $F(x,y,z)=x^2+y^3+xy+5z+z^5-3x-4$。两边 $\mathrm d$:

$$(2x+y-3)\mathrm dx+(3y^2+x)\mathrm dy+(5+5z^4)\mathrm dz=0.$$

解出:

$$\mathrm dz=-\dfrac{(2x+y-3)\mathrm dx+(3y^2+x)\mathrm dy}{5(1+z^4)}.$$
第 2 步 代入 $(x,y)=(1,2)$
  • $2x+y-3=2+2-3=1$
  • $3y^2+x=12+1=13$
$$\mathrm dz\big|_{(1,2)}=-\dfrac{\mathrm dx+13\,\mathrm dy}{5(1+z^4)}.$$
第 3 步 $z$ 由方程在 $(1,2)$ 处确定

代入 $x=1,y=2$:$1+8+2+5z+z^5-3-4=0\Rightarrow z^5+5z+4=0$。

$z=-?$(高次方程,没有简单根;保留 $z$ 即可)。
检验:$z=-?$ 时 $z^4>0$,分母 $5(1+z^4)>0$,公式有效。

$\mathrm dz\big|_{(1,2)}=-\dfrac{1}{5(1+z^4)}\bigl(\mathrm dx+13\,\mathrm dy\bigr)$,其中 $z$ 是方程 $z^5+5z+4=0$ 的实根。
对比题型 E (3):那道题也是 $F(x,y,z)=0$ 类型,但是要求 $z_{xy}$,需要算两次偏导;本题只要 $\mathrm dz$,"两边取 $\mathrm d$"一步就出来,最简洁。记规律
  • 要"$\mathrm dz$"——两边取微分
  • 要"$z_x$ 或 $z_y$"——用 $-F_x/F_z$ 公式
  • 要"$z_{xy}$"——先 $z_x$,再对 $y$ 求导(含 $z_y$ 链式)
题型 H

无条件极值 + 条件极值(拉格朗日乘数法)

无条件极值(三步法)
  1. 找驻点:解 $f_x=0,\ f_y=0$ 联立方程组,得到所有驻点 $(x_i,y_i)$。
  2. 算判别式:对每个驻点计算 $A=f_{xx},\ B=f_{xy},\ C=f_{yy}$,判别式 $D=AC-B^2$。
  3. 下结论
    • $D>0$ 且 $A>0$:极小值
    • $D>0$ 且 $A<0$:极大值
    • $D<0$:鞍点
    • $D=0$:失效,需回到定义(或用其他方法如配方法判断)
条件极值(拉格朗日乘数法)
  1. 列方程组:设约束 $g(x,y)=0$(或 $g(x,y,z)=0$),构造 $L=f+\lambda g$,解: $$\nabla f=-\lambda\nabla g,\quad g=0$$ 即 $f_x=-\lambda g_x,\ f_y=-\lambda g_y,\ g(x,y)=0$。
  2. 比较函数值:把所有满足方程的点代入 $f$,最大/最小的就是条件最大/最小值。
特殊技巧:约束可化简时

当约束 $g(x,y)=0$ 可以直接解出 $y=h(x)$ 代入 $f$,就把条件极值降维成无条件极值(一元函数求极值),更简单。

$D=0$ 判别式失效——不是"没有极值",是判别法不够用。回定义:在驻点附近取不同方向的路径,看函数值是变大变小还是不变。
条件极值不能用二阶判别——拉格朗日法只给出候选点,不区分极大极小。通常题目只问"求最大/最小值",直接代入比较即可。
(1) 求 $f(x,y)=e^{2x}(x^2+y^2+2x)$ 的极值;
(2) 求 $f(x,y)=x^2-y^2+2x$ 在条件 $x^2+y^2+2xy=1$ 下的极值。

详解

(1) 无条件极值 — 第 1 步:求驻点

求偏导并令为零:

  • $f_y=e^{2x}\cdot 2y=0\ \Rightarrow\ y=0$(因为 $e^{2x}>0$ 恒成立)。
  • $f_x=e^{2x}\cdot(2x^2+2y^2+6x+2)+2e^{2x}(x^2+y^2+2x)$ $=e^{2x}\bigl[2x^2+2y^2+6x+2+2x^2+2y^2+4x\bigr]$ $=e^{2x}(4x^2+4y^2+10x+2)$。

代入 $y=0$:

$$e^{2x}(4x^2+10x+2)=0\ \Rightarrow\ 4x^2+10x+2=0\ \Rightarrow\ 2x^2+5x+1=0.$$ $$x=\frac{-5\pm\sqrt{25-8}}{4}=\frac{-5\pm\sqrt{17}}{4}.$$
注意:$e^{2x}$ 永远不为零,所以求驻点时可以先把它除掉,简化计算。
(1) 第 2 步:算二阶判别式

在驻点 $(x_0,0)$ 处,利用 $f_x$ 的表达式继续求二阶导(或直接用原始 $f$ 求):

  • $f_{yy}=2e^{2x}\ \Rightarrow\ C=f_{yy}|_{y=0}=2e^{2x_0}$
  • $f_{xy}=e^{2x}\cdot 4y\ \Rightarrow\ B=f_{xy}|_{y=0}=0$
  • $f_{xx}$:对 $f_x=e^{2x}(4x^2+4y^2+10x+2)$ 再对 $x$ 求导,在 $y=0$ 处: $A=e^{2x_0}\bigl[8x_0+10+2(4x_0^2+10x_0+2)\bigr]$。但 $4x_0^2+10x_0+2=0$(驻点条件),故: $A=e^{2x_0}(8x_0+10)$。
$$D=AC-B^2=e^{2x_0}(8x_0+10)\cdot 2e^{2x_0}=2e^{4x_0}(8x_0+10).$$
(1) 第 3 步:逐点判断
  • $x_1=\dfrac{-5+\sqrt{17}}{4}\approx-0.22$:$8x_1+10=8\cdot\dfrac{-5+\sqrt{17}}{4}+10=-10+2\sqrt{17}+10=2\sqrt{17}>0$。
    $D>0,\ A>0\ \Rightarrow$ 极小值
  • $x_2=\dfrac{-5-\sqrt{17}}{4}\approx-2.28$:$8x_2+10=8\cdot\dfrac{-5-\sqrt{17}}{4}+10=-10-2\sqrt{17}+10=-2\sqrt{17}<0$。
    $D<0\ \Rightarrow$ 鞍点
(2) 条件极值 — 观察约束结构

约束 $x^2+y^2+2xy=1$ 可因式分解:

$$(x+y)^2=1\ \Rightarrow\ x+y=1\text{ 或 }x+y=-1.$$

这就不是一般的拉格朗日问题了——约束分解成了两条直线,分别代入即可。

能因式分解的约束不要硬套拉格朗日乘数法——代入法比拉格朗日简单 10 倍。
(2) 分别讨论两条直线
  • 情况 1:$y=1-x$ 时,$f=x^2-(1-x)^2+2x=x^2-1+2x-x^2+2x=4x-1$。这是关于 $x$ 的一次函数,在整个 $\mathbb{R}$ 上无极值(单调)。
  • 情况 2:$y=-1-x$ 时,$f=x^2-(-1-x)^2+2x=x^2-(1+2x+x^2)+2x=x^2-1-2x-x^2+2x=-1$。恒为常数 $-1$。
(1) 在 $\left(\dfrac{-5+\sqrt{17}}{4},\,0\right)$ 处取极小值;在 $\left(\dfrac{-5-\sqrt{17}}{4},\,0\right)$ 处为鞍点。
(2) 无极值(在 $x+y=-1$ 上 $f\equiv -1$ 为常数,在 $x+y=1$ 上 $f$ 线性无界)。
同类题延伸
若约束不能因式分解(如 $x^2+2y^2=1$),就必须走拉格朗日乘数法:设 $L=x^2-y^2+2x+\lambda(x^2+2y^2-1)$,解四元方程组 $L_x=0,L_y=0,L_\lambda=0$。
无条件极值出错高频点:$f_{xx}$ 算错——因为 $f_x$ 本身就是复杂乘积,再对 $x$ 求导时容易漏项。建议先整理 $f_x$ 的因式再求导,或者用驻点条件 $f_x=0$ 简化。
题型 I

空间曲线的切线与法平面

两种参数化形式
  1. 显式参数($x=x(t),\ y=y(t),\ z=z(t)$):
    切向量 $\vec\tau=(x'(t_0),\ y'(t_0),\ z'(t_0))$,对应点 $(x_0,y_0,z_0)$。
    • 切线:$\dfrac{x-x_0}{x'(t_0)}=\dfrac{y-y_0}{y'(t_0)}=\dfrac{z-z_0}{z'(t_0)}$
    • 法平面:$x'(t_0)(x-x_0)+y'(t_0)(y-y_0)+z'(t_0)(z-z_0)=0$
  2. 两曲面交线($F(x,y,z)=0,\ G(x,y,z)=0$):
    曲线同时在两个曲面上,切向量同时垂直于两个曲面的法向量:
    $$\vec\tau=\nabla F\times\nabla G\quad\text{(叉积方向即为切向量)}$$
    • $\nabla F=(F_x,F_y,F_z)$ 在给定点的值
    • $\nabla G=(G_x,G_y,G_z)$ 在给定点的值
    得到 $\vec\tau=(a,b,c)$ 后,切线和法平面公式同上。
叉积计算模板
$$\vec n_1\times\vec n_2=\begin{vmatrix}\vec i&\vec j&\vec k\\a_1&b_1&c_1\\a_2&b_2&c_2\end{vmatrix}=(b_1c_2-b_2c_1,\ c_1a_2-c_2a_1,\ a_1b_2-a_2b_1)$$
法平面 ≠ 切平面:法平面是曲线的(过切点且垂直于切向量的平面);切平面是曲面的。
叉积顺序:$\nabla F\times\nabla G$ 和 $\nabla G\times\nabla F$ 方向相反,但切线方程只看方向比,法平面方程展开后等价——所以顺序不影响最终答案。
(1) 求曲线 $x=t,y=t^2,z=t^3-1$ 在 $t=1$ 点处的切线方程及法平面方程;
(2) 求曲线 $\begin{cases}x^2+y^2+z-3=0\\ x+2y-2z+1=0\end{cases}$ 在 $(1,1,1)$ 处的切线方程及法平面方程。

详解

(1) 显式参数 — 第 1 步:求切向量和切点

$x'(t)=1,\ y'(t)=2t,\ z'(t)=3t^2$。在 $t=1$ 处:

  • 切点:$(x,y,z)=(1,\,1,\,1^3-1)=(1,1,0)$
  • 切向量:$\vec\tau=(1,\,2,\,3)$
(1) 第 2 步:写出切线和法平面

切线(对称式方程):

$$\frac{x-1}{1}=\frac{y-1}{2}=\frac{z-0}{3}.$$

法平面(过切点,法向量即切向量):

$$1\cdot(x-1)+2\cdot(y-1)+3\cdot(z-0)=0\ \Rightarrow\ x+2y+3z=3.$$
法平面方程的"法向量"就是曲线的切向量——因为法平面垂直于切线方向。
(2) 两曲面交线 — 第 1 步:求两个曲面在切点的法向量

设 $F=x^2+y^2+z-3$,$G=x+2y-2z+1$。在 $(1,1,1)$ 处:

  • $\nabla F=(2x,\,2y,\,1)\big|_{(1,1,1)}=(2,\,2,\,1)$
  • $\nabla G=(1,\,2,\,-2)\big|_{(1,1,1)}=(1,\,2,\,-2)$
(2) 第 2 步:叉积求切向量
$$\vec\tau=\nabla F\times\nabla G=\begin{vmatrix}\vec i&\vec j&\vec k\\2&2&1\\1&2&-2\end{vmatrix}$$
  • $\vec i$ 分量:$2\cdot(-2)-1\cdot2=-4-2=-6$
  • $\vec j$ 分量:$-(2\cdot(-2)-1\cdot1)=-(-4-1)=5$
  • $\vec k$ 分量:$2\cdot2-2\cdot1=4-2=2$
$$\vec\tau=(-6,\,5,\,2).$$
(2) 第 3 步:写出切线和法平面

切线:

$$\frac{x-1}{-6}=\frac{y-1}{5}=\frac{z-1}{2}.$$

法平面:

$$-6(x-1)+5(y-1)+2(z-1)=0,$$ $$-6x+6+5y-5+2z-2=0\ \Rightarrow\ 6x-5y-2z+1=0.$$
验算法:把切点 $(1,1,1)$ 代入法平面方程 $6-5-2+1=0$,成立。再验算切向量 $(-6,5,2)$ 满足两个曲面的约束(即 $(-6,5,2)\cdot\nabla F=0$ 且 $(-6,5,2)\cdot\nabla G=0$): $(-6)(2)+5\cdot2+2\cdot1=-12+10+2=0$; $(-6)(1)+5\cdot2+2\cdot(-2)=-6+10-4=0$。两项都为零,正确。
(1) 切线 $\dfrac{x-1}{1}=\dfrac{y-1}{2}=\dfrac{z}{3}$,法平面 $x+2y+3z=3$。
(2) 切线 $\dfrac{x-1}{-6}=\dfrac{y-1}{5}=\dfrac{z-1}{2}$,法平面 $6x-5y-2z+1=0$。
同类题延伸
如果曲线是 $\begin{cases}y=y(x)\\z=z(x)\end{cases}$ 形式(以 $x$ 为参数),切向量就是 $(1,\,y'(x_0),\,z'(x_0))$。
如果问的是"在某点的所有切线",注意曲线可能有奇点(切向量为零向量的点),此时切线不唯一。
法平面方程展开后不唯一——乘以任何非零常数都是同一个平面,所以"答案差一个系数"不算错。
题型 J

曲面的切平面/法线 + 方向导数与梯度

曲面 $F(x,y,z)=0$ 在 $(x_0,y_0,z_0)$ 的切平面与法线
  1. 求法向量:$\vec n=\nabla F\big|_{(x_0,y_0,z_0)}=(F_x,\,F_y,\,F_z)\big|_{(x_0,y_0,z_0)}$。
  2. 切平面:$F_x(x_0,y_0,z_0)(x-x_0)+F_y(x_0,y_0,z_0)(y-y_0)+F_z(x_0,y_0,z_0)(z-z_0)=0$。
  3. 法线:$\dfrac{x-x_0}{F_x}=\dfrac{y-y_0}{F_y}=\dfrac{z-z_0}{F_z}$。

如果曲面是 $z=f(x,y)$ 的形式,令 $F=f(x,y)-z$,法向量为 $(f_x,\,f_y,\,-1)$。

方向导数与梯度
  1. 梯度:$\mathrm{grad}f=\nabla f=(f_x,\,f_y,\,f_z)$,是一个向量。
  2. 方向导数(沿单位方向 $\vec e$): $$\frac{\partial f}{\partial\vec e}=\nabla f\cdot\vec e=f_x\cos\alpha+f_y\cos\beta+f_z\cos\gamma$$ 其中 $\vec e=(\cos\alpha,\cos\beta,\cos\gamma)$。
  3. 如果给的不是单位向量 $\vec l$,要先单位化:$\vec e=\dfrac{\vec l}{|\vec l|}$。
梯度的几何意义
  • 梯度方向 = 函数值增长最快的方向
  • 梯度的模 = 最大方向导数的值
  • 梯度垂直于等值面($f(x,y,z)=c$)
方向导数必须用单位向量——$\vec l$ 不是单位向量时,直接 $\nabla f\cdot\vec l$ 得到的不是方向导数,而是方向导数乘以 $|\vec l|$。必须先除以 $|\vec l|$。
切平面 vs 法平面:切平面是曲面的(法向量 = $\nabla F$),法平面是曲线的(法向量 = 切向量 $\vec\tau$)。一字之差,公式完全不同。
(1) 求曲面 $x^2+y^2+2z+z^3=5$ 在 $(1,1,1)$ 处的切平面方程及法线方程;
(2) 求 $f(x,y,z)=x^2+y^2+2z+z^3$ 在 $(1,1,1)$ 沿方向 $\vec l=(2,3,1)$ 的方向导数,并求 $\mathrm{grad}f|_{(1,1,1)}$。

详解

(1) 第 1 步:确认切点在曲面上

代入 $(1,1,1)$:$1+1+2+1=5$,成立。

(1) 第 2 步:求法向量 $\nabla F$

设 $F(x,y,z)=x^2+y^2+2z+z^3-5$:

  • $F_x=2x\ \Rightarrow\ F_x(1,1,1)=2$
  • $F_y=2y\ \Rightarrow\ F_y(1,1,1)=2$
  • $F_z=2+3z^2\ \Rightarrow\ F_z(1,1,1)=2+3=5$
$$\vec n=\nabla F\big|_{(1,1,1)}=(2,\,2,\,5).$$
(1) 第 3 步:写出切平面和法线

切平面(过 $(1,1,1)$,法向量 $(2,2,5)$):

$$2(x-1)+2(y-1)+5(z-1)=0,$$ $$2x+2y+5z-2-2-5=0\ \Rightarrow\ 2x+2y+5z=9.$$

法线(过 $(1,1,1)$,方向 $(2,2,5)$):

$$\frac{x-1}{2}=\frac{y-1}{2}=\frac{z-1}{5}.$$
(2) 第 1 步:求梯度

$\nabla f=(2x,\,2y,\,2+3z^2)\big|_{(1,1,1)}=(2,\,2,\,5)$。

注意这里 $f(x,y,z)=x^2+y^2+2z+z^3$ 和 (1) 中的 $F$ 表达式一样,所以 $\nabla f=\nabla F$。这道题故意设计成同一个函数——"切平面"用的是"隐函数求法向量"的视角,"方向导数"用的是"显函数求梯度"的视角,殊途同归。
(2) 第 2 步:单位化方向向量

$\vec l=(2,3,1)$,$|\vec l|=\sqrt{4+9+1}=\sqrt{14}$。

$$\vec e=\frac{\vec l}{|\vec l|}=\frac{1}{\sqrt{14}}(2,3,1).$$
(2) 第 3 步:点积求方向导数
$$\frac{\partial f}{\partial\vec e}=\nabla f\cdot\vec e=\frac{1}{\sqrt{14}}(2\cdot2+2\cdot3+5\cdot1)=\frac{4+6+5}{\sqrt{14}}=\frac{15}{\sqrt{14}}=\frac{15\sqrt{14}}{14}.$$
(1) 切平面 $2x+2y+5z=9$,法线 $\dfrac{x-1}{2}=\dfrac{y-1}{2}=\dfrac{z-1}{5}$。
(2) $\mathrm{grad}f|_{(1,1,1)}=(2,2,5)$,方向导数 $\dfrac{15\sqrt{14}}{14}$。
同类题延伸
• 若曲面是 $z=f(x,y)$ 的显式,切平面公式直接套:$z-z_0=f_x(x_0,y_0)(x-x_0)+f_y(x_0,y_0)(y-y_0)$,法向量为 $(f_x,\,f_y,\,-1)$。
• 若问"沿梯度方向的方向导数"——答案就是 $\|\nabla f\|$(最大值),因为 $\nabla f\cdot\dfrac{\nabla f}{\|\nabla f\|}=\|\nabla f\|$。
• 若问"沿哪个方向方向导数为零"——解 $\nabla f\cdot\vec e=0$,即 $\vec e\perp\nabla f$。在该点的所有切于等值面的方向上,方向导数都为零。

重积分

Multiple Integrals

含积分中值定理、对称性、极坐标、累次次序交换、三重积分(柱面/球面坐标)、立体体积与曲面面积。本章共 14 道例题,按 5 类题型组织。

题型 A

积分估值、对称性与常数因子技巧

核心方法
  • 估值定理:$m\cdot|D|\le\iint_D f\,\mathrm d\sigma\le M\cdot|D|$,其中 $m,M$ 为 $f$ 在 $D$ 上的最小/最大值
  • 对称性:若 $D$ 关于 $y$ 轴对称且 $f(x,y)$ 关于 $x$ 为奇函数,则 $\iint_D f=0$;若为偶函数则 $=2\iint_{D^+}f$
  • 常数因子技巧:若 $f(x,y)=g(x,y)+C$($C$ 为常数或二重积分为常数的项),设 $\iint_D f=A$ 为常数,两边积分解方程
解题思路
  1. 估值题:找被积函数在 $D$ 上的上下界,乘以面积
  2. 对称性题:先看 $D$ 关于哪个轴/原点对称,再判断被积函数的奇偶性
  3. 含常数积分项:设该常数为 $A$,两边在 $D$ 上积分,解 $A$ 的方程
对称性判断错方向是最大坑。$D$ 关于 $y$ 轴对称时,判断的是 $f(-x,y)$ 和 $f(x,y)$ 的关系(关于 $x$ 的奇偶性),不是关于 $y$ 的。含 $\iint f$ 的方程题,先假设 $\iint f=A$ 存在,不要试图先算出 $f$。
$f(x,y)=\sqrt{x^2+y^2}-\dfrac{2}{\pi}\displaystyle\iint\limits_{x^2+y^2\le1}f(x,y)\,\mathrm d\sigma$,求 $f(x,y)$ 的表达式。

关键观察:$\iint_D f\,\mathrm d\sigma$ 是一个常数(积分结果不含 $x,y$),设为 $A$。

则 $f(x,y)=\sqrt{x^2+y^2}-\dfrac{2}{\pi}A$。

两边在 $D:x^2+y^2\le1$ 上积分

$$A=\iint_D\sqrt{x^2+y^2}\,\mathrm d\sigma-\frac{2}{\pi}A\cdot\pi=\iint_D\sqrt{x^2+y^2}\,\mathrm d\sigma-2A.$$

算 $\iint_D\sqrt{x^2+y^2}\,\mathrm d\sigma$:极坐标,$\sqrt{x^2+y^2}=r$,$\mathrm d\sigma=r\,\mathrm dr\,\mathrm d\theta$:

$$\int_0^{2\pi}\!\!\int_0^1 r\cdot r\,\mathrm dr\,\mathrm d\theta=2\pi\cdot\frac{1}{3}=\frac{2\pi}{3}.$$

解方程:$A=\dfrac{2\pi}{3}-2A$ → $3A=\dfrac{2\pi}{3}$ → $A=\dfrac{2\pi}{9}$。

$f(x,y)=\sqrt{x^2+y^2}-\dfrac{4}{9}$。

同类题延伸:「$f=$ 某表达式 $+C\cdot\iint_D f$」是经典题型。核心技巧:设 $\iint_D f=A$(常数),两边积分解方程。不管 $f$ 多复杂,$\iint_D f$ 始终是一个数。变式:有时常数因子藏在被积函数的某个部分里,需要拆出来。

比较积分 $\displaystyle\iint_{D:x+y\ge1}(x+y)\,\mathrm d\sigma$ 与 $\displaystyle\iint_{D:x+y\ge1}(x+y)^2\,\mathrm d\sigma$ 的大小。

关键:在积分区域 $D$ 上判断被积函数的大小关系。

$D$ 上 $x+y\ge1$,故 $x+y\ge1$。

当 $t\ge1$ 时 $t^2\ge t$,所以 $(x+y)^2\ge(x+y)$ 在 $D$ 上恒成立。

由积分保号性:

$$\iint_D(x+y)\,\mathrm d\sigma\le\iint_D(x+y)^2\,\mathrm d\sigma.$$
$\displaystyle\iint_D(x+y)\,\mathrm d\sigma\le\iint_D(x+y)^2\,\mathrm d\sigma$。

同类题延伸:比较积分大小题的套路:在积分区域上比较被积函数,然后用保号性。关键是正确分析区域上的不等式关系。常见陷阱:$x+y$ 可能小于 $1$ 时 $(x+y)^2<(x+y)$,所以必须确认在 $D$ 上的情况。

证明:$9\pi\le\displaystyle\iint\limits_{D:x^2+y^2\le9}\dfrac{6}{1+2\cos^2x+3\sin^2y}\,\mathrm d\sigma\le 54\pi$。

找被积函数的上下界。分母 $1+2\cos^2x+3\sin^2y$:

  • 最小值:$\cos^2x=0,\sin^2y=0$ → 分母 $=1$,被积函数 $=6$
  • 最大值:$\cos^2x=1,\sin^2y=1$ → 分母 $=1+2+3=6$,被积函数 $=1$

故 $1\le\dfrac{6}{1+2\cos^2x+3\sin^2y}\le6$。

区域面积:$|D|=\pi\cdot3^2=9\pi$。

由估值定理:$1\times9\pi\le\iint\le6\times9\pi$,即 $9\pi\le\iint\le54\pi$。$\blacksquare$

同类题延伸:估值定理证明题的套路:(1) 求被积函数的最小值 $m$ 和最大值 $M$;(2) 算区域面积 $|D|$;(3) $m|D|\le\iint\le M|D|$。难点在第一步——三角函数、指数函数的最值要算对。

计算 $\displaystyle\iint_D\!\left(1+2x+xy\ln\dfrac{x^2+y^2}{1+x^2+y^2}\right)\!\mathrm d\sigma$,其中 $D:\ x^2+y^2\le1$。

利用对称性简化。$D$ 关于 $y$ 轴对称($x\to -x$ 时区域不变)。

  • $2x$ 关于 $x$ 为奇函数 → $\iint_D 2x\,\mathrm d\sigma=0$
  • $xy\ln\dfrac{x^2+y^2}{1+x^2+y^2}$:$x\to-x$ 时变为 $-xy\ln\dfrac{x^2+y^2}{1+x^2+y^2}$,是关于 $x$ 的奇函数 → 积分 $=0$

故原积分 $=\iint_D 1\,\mathrm d\sigma=|D|=\pi$。

$\pi$。

同类题延伸:对称性简化是重积分的高频技巧。判断步骤:(1) 看区域关于谁对称;(2) 把被积函数按对称性拆成奇函数部分 + 偶函数部分;(3) 奇函数部分积分 $=0$,偶函数部分 $=2\times$ 半区域积分。区域关于原点对称时判断 $f(-x,-y)$ 和 $f(x,y)$ 的关系。

计算函数 $f(x,y)=x^2+y^2$ 在圆 $0\le x^2+y^2\le4$ 内的平均值。

平均值公式:$\bar f=\dfrac{1}{|D|}\iint_D f\,\mathrm d\sigma$。

算积分:极坐标,$D:0\le r\le2,0\le\theta\le2\pi$。

$$\iint_D(x^2+y^2)\mathrm d\sigma=\int_0^{2\pi}\!\!\int_0^2 r^2\cdot r\,\mathrm dr\,\mathrm d\theta=2\pi\cdot\frac{r^4}{4}\bigg|_0^2=2\pi\cdot4=8\pi.$$

面积:$|D|=\pi\cdot2^2=4\pi$。

平均值 $=\dfrac{8\pi}{4\pi}=2$。

同类题延伸:平均值 $=\dfrac{\iint_D f}{|D|}$,这是定义。计算时选合适的坐标系——圆域用极坐标、矩形域用直角坐标。被积函数是 $x^2+y^2$ 时极坐标直接变成 $r^2$,特别方便。

题型 B

累次积分与交换积分次序

核心方法
  • 画区域:先根据积分限画出积分区域 $D$,这是换序的基础
  • 换序:原来先 $y$ 后 $x$,改为先 $x$ 后 $y$(或反之),重新确定积分限
  • 不可积函数:如果内层积分不可求(如 $\int\dfrac{\sin y}{y}\mathrm dy$),必须换序
解题思路
  1. 画出积分区域 $D$(由积分限确定边界曲线)
  2. 判断需不需要换序——如果当前次序的内层积分无法求出,就必须换
  3. 换序时重新描述 $D$:另一种次序下的 $x$(或 $y$)的范围可能分段
换序后积分限可能需要分段!比如原区域上窄下宽,换序后可能要分成两块。画图是避免错误的唯一方法。「内层积不出来」时不要硬算,一定是提示你换序。
计算 $\displaystyle\iint_D(xy^2+x^2y)\,\mathrm d\sigma$,$D$ 由直线 $y=2,\ y=x,\ y=2x$ 围成。

画区域:三条线围成三角形。$y=x$ 和 $y=2x$ 在原点相交,$y=2$ 截 $y=x$ 于 $(2,2)$、截 $y=2x$ 于 $(1,2)$。

先 $x$ 后 $y$ 更方便:$0\le y\le2$,$\dfrac{y}{2}\le x\le y$。

内层积分(对 $x$):

$$\int_{y/2}^{y}(xy^2+x^2y)\mathrm dx=\left[\frac{x^2y^2}{2}+\frac{x^3y}{3}\right]_{y/2}^{y}$$ $$=\left(\frac{y^4}{2}+\frac{y^4}{3}\right)-\left(\frac{y^4}{8}+\frac{y^4}{24}\right)=\frac{5y^4}{6}-\frac{4y^4}{24}=\frac{5y^4}{6}-\frac{y^4}{6}=\frac{2y^4}{3}.$$

外层积分(对 $y$):

$$\int_0^2\frac{2y^4}{3}\mathrm dy=\frac{2}{3}\cdot\frac{y^5}{5}\bigg|_0^2=\frac{2}{3}\cdot\frac{32}{5}=\frac{64}{15}.$$
$\dfrac{64}{15}$。

同类题延伸:直线围成的三角形区域,选「先积哪个变量」的原则:让内层积分限尽量简单(最好是常数或只含一个变量的函数)。本题先 $x$ 后 $y$ 时 $x$ 的上下限都是 $y$ 的一次函数,最简单。

交换二重积分次序:$\displaystyle\int_0^1\mathrm dy\int_{1-y}^{1+y^2}f(x,y)\,\mathrm dx$。

原次序:先 $x$ 后 $y$,$0\le y\le1$,$1-y\le x\le1+y^2$。

画区域:左边界 $x=1-y$(即 $y=1-x$),右边界 $x=1+y^2$(即 $y=\sqrt{x-1}$)。两线在 $(1,0)$ 相交。

换序(先 $y$ 后 $x$):需要分两段:

  • $0\le x\le1$:$y$ 从 $1-x$ 到 $1$(左边是斜线,上面是 $y=1$)
  • $1\le x\le2$:$y$ 从 $\sqrt{x-1}$ 到 $1$(左边是抛物线,上面是 $y=1$)
$$\int_0^1\mathrm dx\int_{1-x}^{1}f\,\mathrm dy+\int_1^2\mathrm dx\int_{\sqrt{x-1}}^{1}f\,\mathrm dy.$$
$\displaystyle\int_0^1\mathrm dx\int_{1-x}^{1}f\,\mathrm dy+\int_1^2\mathrm dx\int_{\sqrt{x-1}}^{1}f\,\mathrm dy$。

同类题延伸:换序题的核心是「画图」。换序后如果 $x$ 的范围需要分段(边界曲线的交点把区间切开),就要写成多个积分之和。判断是否分段的方法:看在新的外层变量取不同值时,内层变量的上下限表达式是否相同。

计算 $\displaystyle\int_1^3\mathrm dx\int_1^{x}\dfrac{\sin y}{3-y}\,\mathrm dy$。

识别问题:$\int\dfrac{\sin y}{3-y}\mathrm dy$ 无法用初等函数表示——必须换序!

画区域:$1\le x\le3$,$1\le y\le x$。这是三角形:$y=1,y=x,x=3$ 围成。

换序:$1\le y\le3$,$y\le x\le3$。

$$\int_1^3\frac{\sin y}{3-y}\int_y^3\mathrm dx\,\mathrm dy=\int_1^3\frac{\sin y}{3-y}\cdot(3-y)\,\mathrm dy=\int_1^3\sin y\,\mathrm dy.$$

$(3-y)$ 抵消了!

$$=\bigl[-\cos y\bigr]_1^3=\cos1-\cos3.$$
$\cos1-\cos3$。

同类题延伸:「内层积不出来 → 换序」是强制信号。换序后常常会出现「抵消」现象——分子分母恰好消去,这是因为出题人故意设计的。这类题的出题套路就是:先定一个好算的最终答案,倒推成「换个次序就能算」的形式。

计算 $I=\displaystyle\iint_D\dfrac{\sin y}{y}\,\mathrm dx\,\mathrm dy$,$D$ 由 $y=x$ 与 $y^2=x$ 围成。

识别:$\int\dfrac{\sin y}{y}\mathrm dy$ 不可积 → 先对 $x$ 积分。

区域:$y=x$ 和 $y^2=x$ 在 $(0,0),(1,1)$ 相交。先 $x$ 后 $y$:$0\le y\le1$,$y^2\le x\le y$。

$$I=\int_0^1\frac{\sin y}{y}\int_{y^2}^{y}\mathrm dx\,\mathrm dy=\int_0^1\frac{\sin y}{y}(y-y^2)\mathrm dy=\int_0^1(1-y)\sin y\,\mathrm dy.$$

分部积分

$$\int_0^1\sin y\,\mathrm dy-\int_0^1 y\sin y\,\mathrm dy.$$

第一项:$[-\cos y]_0^1=1-\cos1$。

第二项(分部):$[-y\cos y]_0^1+\int_0^1\cos y\,\mathrm dy=-\cos1+\sin1$。

$$I=(1-\cos1)-(-\cos1+\sin1)=1-\sin1.$$
$I=1-\sin1$。

同类题延伸:$\dfrac{\sin y}{y}$、$e^{x^2}$、$\dfrac{1}{\ln x}$ 等函数的原函数不是初等函数,遇到这类被积函数必须调整积分次序,让这些函数在外层(只积一次)或被消掉。这是换序题最重要的信号。

题型 C

极坐标二重积分

核心公式
  • 变换:$x=r\cos\theta,\ y=r\sin\theta$,$\mathrm d\sigma=r\,\mathrm dr\,\mathrm d\theta$(别漏 $r$!)
  • 圆域 $x^2+y^2\le R^2$:$0\le\theta\le2\pi,\ 0\le r\le R$
  • 过原点的圆:$x^2+y^2=2ay$ → $r=2a\sin\theta$;$x^2+y^2=2ax$ → $r=2a\cos\theta$
  • 半圆/扇形:根据 $\theta$ 的范围确定(如 $x\ge0$ 对应 $-\pi/2\le\theta\le\pi/2$)
解题思路
  1. 区域是圆/圆弧/扇形 → 用极坐标
  2. 写出 $r$ 的范围($r=0$ 到边界曲线 $r=g(\theta)$)和 $\theta$ 的范围
  3. 被积函数中 $x^2+y^2\to r^2$,$\sqrt{x^2+y^2}\to r$
  4. $\mathrm d\sigma$ 别忘了多乘一个 $r$
极坐标下 $\mathrm d\sigma=r\,\mathrm dr\,\mathrm d\theta$,不是 $\mathrm dr\,\mathrm d\theta$!漏掉 $r$ 是最常见的错误。另一个坑:$x^2+y^2=2ay$ 的极坐标形式是 $r=2a\sin\theta$,不是 $r=2a$。
计算 $\displaystyle\iint_D\sqrt{x^2+y^2}\,\mathrm d\sigma$,分别取
(1)$D:\ x^2+y^2\le4,\ y\ge0$;
(2)$D:\ x^2+y^2\le2y,\ x\ge0$;
(3)$D:\ x^2+y^2\le2x,\ y\ge0$。

极坐标:$\sqrt{x^2+y^2}=r$,$\mathrm d\sigma=r\,\mathrm dr\,\mathrm d\theta$,被积函数 $=r\cdot r=r^2$。

(1) 上半圆:$\theta\in[0,\pi],\ r\in[0,2]$。

$$\int_0^{\pi}\!\int_0^2 r^2\,\mathrm dr\,\mathrm d\theta=\pi\cdot\frac{r^3}{3}\bigg|_0^2=\pi\cdot\frac{8}{3}=\frac{8\pi}{3}.$$

(2) $x^2+y^2=2y$ → $r=2\sin\theta$。$x\ge0$ → $\theta\in[0,\pi/2]$:

$$\int_0^{\pi/2}\!\int_0^{2\sin\theta}r^2\,\mathrm dr\,\mathrm d\theta=\frac{8}{3}\int_0^{\pi/2}\sin^3\theta\,\mathrm d\theta.$$

$\int_0^{\pi/2}\sin^3\theta\,\mathrm d\theta=\int_0^{\pi/2}(1-\cos^2\theta)\sin\theta\,\mathrm d\theta$。令 $u=\cos\theta$:$=\int_0^1(1-u^2)\mathrm du=1-\dfrac{1}{3}=\dfrac{2}{3}$。

结果 $=\dfrac{8}{3}\cdot\dfrac{2}{3}=\dfrac{16}{9}$。

(3) $x^2+y^2=2x$ → $r=2\cos\theta$。$y\ge0$ → $\theta\in[0,\pi/2]$:

$$\int_0^{\pi/2}\!\int_0^{2\cos\theta}r^2\,\mathrm dr\,\mathrm d\theta=\frac{8}{3}\int_0^{\pi/2}\cos^3\theta\,\mathrm d\theta=\frac{8}{3}\cdot\frac{2}{3}=\frac{16}{9}.$$
(1) $\dfrac{8\pi}{3}$;(2) $\dfrac{16}{9}$;(3) $\dfrac{16}{9}$。

同类题延伸:极坐标积分的三个关键:(1) 确定 $\theta$ 范围——看区域在哪个象限/半平面;(2) 确定 $r$ 范围——从 $0$ 到边界曲线;(3) $\sin^3\theta$ / $\cos^3\theta$ 在 $[0,\pi/2]$ 上的积分是常用值,建议记牢 $\int_0^{\pi/2}\sin^n\theta\,\mathrm d\theta$ 的递推公式。

题型 D

三重积分(柱面坐标与球面坐标)

核心公式
  • 柱面坐标:$x=r\cos\theta,\ y=r\sin\theta,\ z=z$,$\mathrm dv=r\,\mathrm dz\,\mathrm dr\,\mathrm d\theta$。适用:旋转体(绕 $z$ 轴)
  • 球面坐标:$x=r\sin\varphi\cos\theta,\ y=r\sin\varphi\sin\theta,\ z=r\cos\varphi$,$\mathrm dv=r^2\sin\varphi\,\mathrm dr\,\mathrm d\varphi\,\mathrm d\theta$。适用:球形区域
  • 对称性:$\Omega$ 关于坐标面对称 + 被积函数关于某变量为奇 → 积分为 $0$
  • 轮换对称:$\Omega$ 关于 $x,y,z$ 轮换不变时,$\iiint x^2=\iiint y^2=\iiint z^2=\dfrac{1}{3}\iiint(x^2+y^2+z^2)$
解题思路
  1. 柱面坐标:$\Omega$ 有圆柱/旋转对称性时用,先积 $z$(从下曲面到上曲面),再积 $r$,最后积 $\theta$
  2. 球面坐标:$\Omega$ 是球/球壳/锥面与球面围成时用
  3. 对称性 + 轮换对称可以大幅简化计算
柱面坐标 $\mathrm dv=r\,\mathrm dz\,\mathrm dr\,\mathrm d\theta$,球面坐标 $\mathrm dv=r^2\sin\varphi\,\mathrm dr\,\mathrm d\varphi\,\mathrm d\theta$——两个体积元素不同,别搞混。球面坐标中 $\varphi$ 是与 $z$ 轴正方向的夹角($0\le\varphi\le\pi$),不是与 $xOy$ 面的夹角。
计算 $\displaystyle\iiint_\Omega(x^2+y^2)\,\mathrm dv$,$\Omega$ 为曲面 $x^2+y^2=2z$ 与 $z=2$ 所围闭区域。

选柱面坐标:$\Omega$ 是旋转抛物面和平面围成的区域。

$x^2+y^2=2z$ → $r^2=2z$ → $z=\dfrac{r^2}{2}$(下界);上界 $z=2$。

$z=2$ 时 $r^2=4$ → $r\le2$。$\theta\in[0,2\pi]$。

积分限:$\dfrac{r^2}{2}\le z\le2$,$0\le r\le2$,$0\le\theta\le2\pi$。

被积函数 $x^2+y^2=r^2$,$\mathrm dv=r\,\mathrm dz\,\mathrm dr\,\mathrm d\theta$。

$$I=\int_0^{2\pi}\!\!\int_0^2\!\!\int_{r^2/2}^{2}r^2\cdot r\,\mathrm dz\,\mathrm dr\,\mathrm d\theta=2\pi\int_0^2 r^3\left(2-\frac{r^2}{2}\right)\mathrm dr$$ $$=2\pi\int_0^2\left(2r^3-\frac{r^5}{2}\right)\mathrm dr=2\pi\left[\frac{r^4}{2}-\frac{r^6}{12}\right]_0^2=2\pi\left(8-\frac{64}{12}\right)=2\pi\cdot\frac{8}{3}=\frac{16\pi}{3}.$$
$\dfrac{16\pi}{3}$。

同类题延伸:柱面坐标三重积分的步骤:(1) 确定 $z$ 的上下限(从下曲面到上曲面);(2) 把 $z$ 的范围投影到 $xOy$ 面,确定 $r,\theta$ 的范围;(3) 被积函数和体积元素都换成极坐标。旋转体 + 被积函数含 $x^2+y^2$ = 柱面坐标信号。

计算 $\displaystyle\iiint_\Omega(3+2x^2+3y^3-6z^5)\,\mathrm dv$,$\Omega:\ x^2+y^2+z^2\le1$。

利用对称性。$\Omega$ 是单位球,关于三个坐标面都对称。

  • $3y^3$:关于 $y$ 为奇函数 → $\iiint 3y^3=0$
  • $-6z^5$:关于 $z$ 为奇函数 → $\iiint(-6z^5)=0$

只需算 $\iiint 3\,\mathrm dv+\iiint 2x^2\,\mathrm dv$。

$\iiint 3\,\mathrm dv$:$3\times$ 球体积 $=3\cdot\dfrac{4\pi}{3}=4\pi$。

$\iiint 2x^2\,\mathrm dv$:由轮换对称性,$\iiint x^2=\iiint y^2=\iiint z^2=\dfrac{1}{3}\iiint(x^2+y^2+z^2)$。

$$\iiint(x^2+y^2+z^2)\mathrm dv=\int_0^{2\pi}\!\!\int_0^{\pi}\!\!\int_0^1 r^2\cdot r^2\sin\varphi\,\mathrm dr\,\mathrm d\varphi\,\mathrm d\theta=2\pi\cdot2\cdot\frac{1}{5}=\frac{4\pi}{5}.$$

故 $\iiint x^2=\dfrac{4\pi}{15}$,$\iiint 2x^2=\dfrac{8\pi}{15}$。

$$I=4\pi+\frac{8\pi}{15}=\frac{60\pi+8\pi}{15}=\frac{68\pi}{15}.$$
$\dfrac{68\pi}{15}$。

同类题延伸:球域上的积分题,第一时间检查对称性。奇函数项直接为零。遇到 $x^2,y^2,z^2$ 时用轮换对称性把它们转化为 $\dfrac{1}{3}(x^2+y^2+z^2)$,然后用球面坐标一步到位。

题型 E

立体体积与曲面面积

核心公式
  • 体积:$V=\iint_D[f_{\text{上}}(x,y)-f_{\text{下}}(x,y)]\,\mathrm d\sigma$(上曲面减下曲面在投影区域上积分)
  • 曲面面积:$A=\iint_D\sqrt{1+z_x^2+z_y^2}\,\mathrm d\sigma$($z=f(x,y)$ 在 $D$ 上的面积)
解题思路
  1. 体积:先找两个曲面的交线确定投影区域 $D$,再算上曲面 $-$ 下曲面的积分
  2. 曲面面积:先求 $z_x,z_y$,代入面积公式,选合适的坐标系计算
  3. 旋转体体积/面积用极坐标通常更方便
体积题的关键是分清「上曲面」和「下曲面」——画草图判断哪个在上面。如果两个曲面交叉,需要分区域讨论。面积公式里的 $\sqrt{1+z_x^2+z_y^2}$ 不要漏掉 $1$。
计算曲面 $z=\sqrt{8-x^2-y^2}$ 与 $z=\sqrt{x^2+y^2}$ 所围立体的体积。

分析曲面:$z=\sqrt{8-x^2-y^2}$ 是上半球面(半径 $2\sqrt{2}$),$z=\sqrt{x^2+y^2}$ 是上半圆锥面。

求交线:$\sqrt{8-r^2}=r$ → $8-r^2=r^2$ → $r^2=4$ → $r=2$。交线在 $z=2$ 的平面上。

在 $D:r\le2$ 内,上半球面在上方($z=\sqrt{8-r^2}\ge r=$ 圆锥面)。

极坐标:

$$V=\int_0^{2\pi}\!\!\int_0^2(\sqrt{8-r^2}-r)\,r\,\mathrm dr\,\mathrm d\theta=2\pi\int_0^2 r\sqrt{8-r^2}\,\mathrm dr-2\pi\int_0^2 r^2\,\mathrm dr.$$

第一项:令 $u=8-r^2$,$\mathrm du=-2r\,\mathrm dr$:

$$\int_0^2 r\sqrt{8-r^2}\,\mathrm dr=\frac{1}{2}\int_8^4\sqrt{u}\,(-\mathrm du)=\frac{1}{2}\int_4^8\sqrt{u}\,\mathrm du=\frac{1}{2}\cdot\frac{2}{3}[u^{3/2}]_4^8=\frac{1}{3}(16\sqrt2-8).$$

第二项:$\int_0^2 r^2\,\mathrm dr=\dfrac{8}{3}$。

$$V=2\pi\left[\frac{16\sqrt2-8}{3}-\frac{8}{3}\right]=2\pi\cdot\frac{16\sqrt2-16}{3}=\frac{32\pi(\sqrt2-1)}{3}.$$
$V=\dfrac{32(\sqrt2-1)\pi}{3}$。

同类题延伸:两个曲面围成的体积题,步骤:(1) 联立求交线 → 确定投影区域;(2) 判断上下关系;(3) 上减下积分。如果交线是圆,用极坐标。如果两个曲面都是锥面/球面,交线计算通常能简化。

计算曲面 $z=xy$ 在 $xOy$ 平面投影 $D:0\le x^2+y^2\le4$ 上的曲面面积。

求偏导:$z_x=y,\ z_y=x$。

面积公式

$$A=\iint_D\sqrt{1+z_x^2+z_y^2}\,\mathrm d\sigma=\iint_D\sqrt{1+x^2+y^2}\,\mathrm d\sigma.$$

极坐标:$D:0\le r\le2,0\le\theta\le2\pi$。

$$A=\int_0^{2\pi}\!\!\int_0^2 r\sqrt{1+r^2}\,\mathrm dr\,\mathrm d\theta=2\pi\int_0^2 r\sqrt{1+r^2}\,\mathrm dr.$$

令 $u=1+r^2$:

$$\int_0^2 r\sqrt{1+r^2}\,\mathrm dr=\frac{1}{2}\int_1^5\sqrt{u}\,\mathrm du=\frac{1}{2}\cdot\frac{2}{3}[u^{3/2}]_1^5=\frac{1}{3}(5\sqrt5-1).$$ $$A=2\pi\cdot\frac{5\sqrt5-1}{3}=\frac{2\pi(5\sqrt5-1)}{3}.$$
$A=\dfrac{2\pi(5\sqrt5-1)}{3}$。

同类题延伸:曲面面积题的套路:(1) 求 $z_x,z_y$;(2) 代入面积公式;(3) 根据区域形状选坐标系。被积函数含 $x^2+y^2$ 且区域是圆 → 极坐标。变式:如果是参数曲面 $\vec r(u,v)$,用 $A=\iint|\vec r_u\times\vec r_v|\,\mathrm du\,\mathrm dv$。

无穷级数

Infinite Series

数项级数判敛、比较法证明、交错级数、绝对/条件收敛;幂级数收敛域、和函数、展开式。本章共 12 道例题,按 6 类题型组织。

题型 A

裂项求和与几何级数

核心公式
  • 裂项:$\dfrac{1}{n(n+k)}=\dfrac{1}{k}\!\left(\dfrac{1}{n}-\dfrac{1}{n+k}\right)$,$S_N$ 展开后大量抵消
  • 几何级数:$\sum_{n=0}^\infty q^n=\dfrac{1}{1-q}$($|q|<1$),$\sum_{n=1}^\infty q^n=\dfrac{q}{1-q}$
解题思路
  1. 分母是 $n$ 的多项式乘积 → 尝试裂项(部分分式)
  2. 裂项后写 $S_N$,找出哪些项保留、哪些项抵消
  3. $|q|<1$ 的等比级数直接用公式;$|q|\ge1$ 时发散(通项不趋于 $0$)
裂项后 $S_N$ 的极限不要算错——保留的项是「前面几个」和「最后几个」,中间全部抵消。几何级数公式 $\sum_{n=0}^\infty q^n=\dfrac{1}{1-q}$ 和 $\sum_{n=1}^\infty q^n=\dfrac{q}{1-q}$ 差一个 $q$,别搞混。
求和(或写出收敛情况):$\displaystyle\sum_{n=2}^{+\infty}\dfrac{1}{n(n+2)}$,$\displaystyle\sum_{n=1}^{+\infty}\!\left(\dfrac{\ln 2}{2}\right)^{\!n}$。

(1) 裂项

$$\frac{1}{n(n+2)}=\frac{1}{2}\left(\frac{1}{n}-\frac{1}{n+2}\right).$$

部分和:

$$S_N=\frac{1}{2}\sum_{n=2}^N\left(\frac{1}{n}-\frac{1}{n+2}\right)=\frac{1}{2}\left[\left(\frac{1}{2}-\frac{1}{4}\right)+\left(\frac{1}{3}-\frac{1}{5}\right)+\cdots+\left(\frac{1}{N}-\frac{1}{N+2}\right)\right].$$

保留的项(不被抵消的):$\dfrac{1}{2}+\dfrac{1}{3}$(前两项的正项)$-\dfrac{1}{N+1}-\dfrac{1}{N+2}$(后两项的负项)。

$$S=\lim_{N\to\infty}S_N=\frac{1}{2}\left(\frac{1}{2}+\frac{1}{3}\right)=\frac{1}{2}\cdot\frac{5}{6}=\frac{5}{12}.$$

(2) 几何级数:$q=\dfrac{\ln2}{2}$。因为 $0<\ln2<1$,所以 $0 $$S=\frac{q}{1-q}=\frac{\ln2/2}{1-\ln2/2}=\frac{\ln2}{2-\ln2}.$$

(1) $\dfrac{5}{12}$;(2) $\dfrac{\ln2}{2-\ln2}$。

同类题延伸:裂项题的万能检验——展开 $S_N$ 后,看「正项」和「负项」哪些能对消。一般规律:$\dfrac{1}{n(n+k)}$ 裂项后保留前 $k$ 个正项和最后 $k$ 个负项。几何级数收敛的条件是 $|q|<1$,写答案时先验证这一点。

题型 B

正项级数判敛

核心方法
  • 通项不趋于 $0$ → 必发散(最快的判断方法)
  • 比较法:$a_n\le b_n$,$\sum b_n$ 收敛 → $\sum a_n$ 收敛;$a_n\ge b_n$,$\sum b_n$ 发散 → $\sum a_n$ 发散
  • 极限比较法:$\lim\dfrac{a_n}{b_n}=c\in(0,\infty)$ → 同敛散。常取 $b_n=\dfrac{1}{n^p}$
  • 比值法:$\lim\dfrac{a_{n+1}}{a_n}=\rho$,$\rho<1$ 收敛,$\rho>1$ 发散,$\rho=1$ 不确定
  • 阶的估计:$\ln n\ll n^{\epsilon}\ll n\ll a^n$($a>1$),利用这个比较
解题思路
  1. 先看 $a_n\to0$?不满足直接判发散
  2. 含 $n^p$ 类型 → 极限比较法与 $p$ 级数比
  3. 含 $n!$, $a^n$ 等阶乘/指数 → 比值法
  4. 含 $\ln n$ → 利用 $\ln n\ll n^{\epsilon}$ 放缩
$p$ 级数 $\sum\dfrac{1}{n^p}$ 收敛 $\iff p>1$,调和级数 $\sum\dfrac{1}{n}$ 发散。比值法 $\rho=1$ 时失效(如调和级数 $\rho=1$ 但发散),必须换方法。
$\displaystyle\sum_{n=1}^{+\infty}\cos\dfrac{1}{n}$(发散),$\displaystyle\sum_{n=1}^{+\infty}\dfrac{1}{n^3+2n-1}$(收敛)。

(1) $\sum\cos\dfrac{1}{n}$

$\lim_{n\to\infty}\cos\dfrac{1}{n}=\cos0=1\ne0$。通项不趋于零 → 发散

(2) $\sum\dfrac{1}{n^3+2n-1}$

极限比较法,取 $b_n=\dfrac{1}{n^3}$:

$$\lim_{n\to\infty}\frac{1/(n^3+2n-1)}{1/n^3}=\lim_{n\to\infty}\frac{n^3}{n^3+2n-1}=1\in(0,\infty).$$

$\sum\dfrac{1}{n^3}$ 是 $p=3>1$ 的 $p$ 级数,收敛。故原级数收敛

(1) 发散;(2) 收敛。

同类题延伸:判敛题的优先级:(1) 先看通项是否 $\to0$;(2) 不趋于零直接发散;(3) 趋于零时,与 $p$ 级数做极限比较(分母的最高次幂决定 $p$ 值)。$\cos\dfrac{1}{n}\to1$ 这种「看起来趋于零但其实不是」的陷阱,只要记住 $\cos0=1\ne0$ 就不会中招。

$\displaystyle\sum_{n=3}^{+\infty}\sin\dfrac{1}{n^2}$(收敛);$\displaystyle\sum_{n=3}^{+\infty}\dfrac{1}{\ln n}$(发散)。

(1) $\sum\sin\dfrac{1}{n^2}$:等价无穷小 $\sin\dfrac{1}{n^2}\sim\dfrac{1}{n^2}$。

极限比较法:$\lim\dfrac{\sin(1/n^2)}{1/n^2}=1$。$\sum\dfrac{1}{n^2}$ 收敛($p=2>1$),故收敛

(2) $\sum\dfrac{1}{\ln n}$:与调和级数比较。

$n\ge3$ 时 $\ln n\dfrac{1}{n}$。

$\sum\dfrac{1}{n}$ 发散,由比较法,$\sum\dfrac{1}{\ln n}$ 发散

(1) 收敛;(2) 发散。

同类题延伸:$\sin\dfrac{1}{n^p}\sim\dfrac{1}{n^p}$,$\ln(1+\dfrac{1}{n^p})\sim\dfrac{1}{n^p}$——含三角/对数的级数,用等价无穷小化简后再判敛。$\dfrac{1}{\ln n}$ 比 $\dfrac{1}{n}$ 大,所以比调和级数还「差」,必然发散。

$\displaystyle\sum_{n=3}^{+\infty}\dfrac{(\ln n)^3}{n^2}$(收敛);$\displaystyle\sum_{n=1}^{+\infty}\dfrac{3^n\!\cdot n!}{n^n}$(发散)。

(1) $\sum\dfrac{(\ln n)^3}{n^2}$

核心事实:$\forall\epsilon>0$,$(\ln n)^3=o(n^{\epsilon})$(对数增长比任何正幂次都慢)。

取 $\epsilon=0.5$:$(\ln n)^3

$\sum\dfrac{1}{n^{1.5}}$ 收敛($p=1.5>1$),故收敛

(2) $\sum\dfrac{3^n\cdot n!}{n^n}$:含 $n!$ 和 $a^n$,用比值法。

$$\frac{a_{n+1}}{a_n}=\frac{3^{n+1}(n+1)!}{(n+1)^{n+1}}\cdot\frac{n^n}{3^n\cdot n!}=\frac{3(n+1)\cdot n^n}{(n+1)^{n+1}}=\frac{3}{(1+1/n)^n}\to\frac{3}{e}.$$

$\dfrac{3}{e}\approx1.10>1$,比值大于 $1$ → 发散

(1) 收敛;(2) 发散。

同类题延伸:(1) 含 $(\ln n)^k$ 的级数,核心工具是「$\ln n$ 增长比任何 $n^{\epsilon}$ 慢」——可以和任何 $p$ 级数比较($p$ 稍微调小一点)。(2) 含 $n!$ 的级数必用比值法,且会用到 $\lim(1+1/n)^n=e$ 这个经典极限。

证明:$\displaystyle\lim_{n\to\infty}\dfrac{2^n\!\cdot n!}{n^n}=0$。

技巧:要证 $a_n\to0$,只需证 $\sum a_n$ 收敛(收敛级数的通项必趋于零)。

记 $a_n=\dfrac{2^n n!}{n^n}$,用比值法:

$$\frac{a_{n+1}}{a_n}=\frac{2^{n+1}(n+1)!}{(n+1)^{n+1}}\cdot\frac{n^n}{2^n\cdot n!}=\frac{2\cdot n^n}{(n+1)^n}=\frac{2}{(1+1/n)^n}\to\frac{2}{e}.$$

$\dfrac{2}{e}\approx0.74<1$ → $\sum a_n$ 收敛 → $a_n\to0$。$\blacksquare$

$\displaystyle\lim_{n\to\infty}\dfrac{2^n\cdot n!}{n^n}=0$。

同类题延伸:「证明数列极限为零」的常用方法——把数列看作某级数的通项,证明级数收敛。比值法 $\rho<1$ 即可。这比直接用 $\epsilon-N$ 语言证明简单得多。注意对比 4.4(2):$3/e>1$ 发散,而本题 $2/e<1$ 收敛——系数 $2$ vs $3$ 导致结论完全相反。

题型 C

比较法证明题

核心技巧
  • $a_n\to0$ 后 $a_n^2\le a_n$:当 $a_n\in[0,1]$ 时,平方后更小
  • AM-GM 不等式:$ab\le\dfrac{a^2+b^2}{2}$(或 $\dfrac{a_n}{n}\le\dfrac{1}{2}(a_n^2+\dfrac{1}{n^2})$)
  • 夹逼:$0\le c_n-a_n\le b_n-a_n$,$\sum(b_n-a_n)$ 收敛 + $\sum a_n$ 收敛 → $\sum c_n$ 收敛
解题思路
  1. 利用 $a_n\to0$(因为 $\sum a_n$ 收敛),存在 $N$ 使得 $n>N$ 时 $a_n\in[0,1]$
  2. $a_n^2\le a_n$ 直接用比较法
  3. 含两个收敛级数的乘积/混合项 → AM-GM 或直接放缩
  4. $a_n\le c_n\le b_n$ 且 $\sum a_n,\sum b_n$ 收敛 → $\sum c_n$ 收敛
比较法只能用于非负项级数。如果 $a_n$ 可能为负,要先处理绝对值。证明题中「存在 $N$ 使得 $n>N$ 时 $a_n<1$」这步不能省——$a_n<1$ 是 $a_n^2
比较判别法证明题设 $a_n,b_n\ge0$ 且 $\sum a_n$ 收敛,证明:
(1)$\sum a_n^2$ 收敛;
(2)$\sum\dfrac{a_n}{n}$ 收敛;
(3)$\sum\dfrac{a_n}{1+a_n}$ 收敛;
(4)$\sum a_n,\sum b_n$ 绝对收敛 $\Rightarrow$ $\sum a_n b_n$ 收敛;
(5)$\sum a_n,\sum b_n$ 收敛且 $a_n\le c_n\le b_n$ $\Rightarrow$ $\sum c_n$ 收敛。

(1) $\sum a_n$ 收敛 $\Rightarrow a_n\to0$。存在 $N$,$n>N$ 时 $0\le a_n\le1$,故 $a_n^2\le a_n$。由比较法 $\sum a_n^2$ 收敛。$\blacksquare$

(2) AM-GM:$\dfrac{a_n}{n}\le\dfrac{1}{2}\!\left(a_n^2+\dfrac{1}{n^2}\right)$。由 (1) $\sum a_n^2$ 收敛,$\sum\dfrac{1}{n^2}$ 收敛,故 $\sum\dfrac{a_n}{n}$ 收敛。$\blacksquare$

(3) $\dfrac{a_n}{1+a_n}1$),比较法直接得。$\blacksquare$

(4) $|a_nb_n|\le\dfrac{1}{2}(a_n^2+b_n^2)$(AM-GM 对 $|a_n|,|b_n|$ 用)。由 (1) 的同理 $\sum a_n^2,\sum b_n^2$ 收敛,故 $\sum|a_nb_n|$ 收敛 → $\sum a_nb_n$ 收敛。$\blacksquare$

(5) $0\le c_n-a_n\le b_n-a_n$。$\sum(b_n-a_n)=\sum b_n-\sum a_n$ 收敛。由比较法 $\sum(c_n-a_n)$ 收敛。$\sum c_n=\sum(c_n-a_n)+\sum a_n$ 收敛。$\blacksquare$

同类题延伸:比较法证明题的核心套路:(1) 利用 $a_n\to0$ 得到 $a_n\in[0,1]$;(2) 平方/放缩/AM-GM 创造不等式链;(3) 已知收敛级数作为比较对象。AM-GM 不等式 $ab\le\frac{a^2+b^2}{2}$ 是处理「两个级数乘积」的万能工具。

题型 D

交错级数与绝对/条件收敛

核心方法
  • Leibniz 判别法:$\sum(-1)^n b_n$($b_n>0$),若 $b_n$ 单调递减 $\to0$,则收敛
  • 判定流程:(1) 先看 $\sum|a_n|$ 是否收敛 → 绝对收敛;(2) 不绝对收敛但 Leibniz 满足 → 条件收敛
  • 单调性验证:令 $f(x)=b(x)$,求 $f'(x)$ 判断递减区间
解题思路
  1. 先取绝对值,用正项级数方法判断是否绝对收敛
  2. 非绝对收敛时,检查 Leibniz 条件:(a) $b_n\to0$;(b) $b_n$ 单调递减
  3. 单调性用导数 $f'(x)<0$ 或直接比 $b_{n+1}
Leibniz 要求同时满足单调递减和趋于零,缺一不可。判断「绝对收敛 vs 条件收敛」的顺序:先看 $\sum|a_n|$,再看交错。绝对收敛一定收敛,但条件收敛只在交错下收敛——$\sum|a_n|$ 发散。
判断敛散:(1) $\displaystyle\sum_{n=3}^\infty(-1)^n\dfrac{\ln n}{n}$;(2) $\displaystyle\sum_{n=1}^\infty(-1)^n(\sqrt{n+2}-\sqrt n)$。

(1) 令 $f(x)=\dfrac{\ln x}{x}$,$f'(x)=\dfrac{1-\ln x}{x^2}$。$x>e$ 时 $f'<0$,单调递减。

$\lim\dfrac{\ln n}{n}=0$。Leibniz 条件满足 → 收敛。

绝对值 $\sum\dfrac{\ln n}{n}$:$\dfrac{\ln n}{n}\ge\dfrac{1}{n}$($n\ge3$),调和级数发散 → 非绝对收敛。

条件收敛

(2) 有理化:$\sqrt{n+2}-\sqrt{n}=\dfrac{2}{\sqrt{n+2}+\sqrt{n}}$。

分母递增 → 整体递减 $\to0$。Leibniz 收敛。

绝对值 $\sim\dfrac{1}{\sqrt{n}}$,$\sum\dfrac{1}{\sqrt{n}}$ 发散($p=0.5<1$)→ 条件收敛

(1) 条件收敛;(2) 条件收敛。

同类题延伸:交错级数判敛三步走:(1) 取绝对值判断绝对收敛性;(2) 非绝对收敛时验证 Leibniz——单调性用导数;(3) 趋于零一般直接算极限。$\dfrac{\ln n}{n}$ 和 $\dfrac{1}{\sqrt{n}}$ 是条件收敛的经典例子。

判断级数 $\displaystyle\sum_{n=1}^\infty(-1)^n\dfrac{n}{2n^2+1}$ 是绝对收敛、条件收敛或发散?

绝对值:$\dfrac{n}{2n^2+1}\sim\dfrac{1}{2n}$。$\sum\dfrac{1}{2n}$ 发散 → 非绝对收敛。

Leibniz:令 $f(x)=\dfrac{x}{2x^2+1}$,$f'(x)=\dfrac{1-2x^2}{(2x^2+1)^2}$。$x\ge1$ 时 $f'<0$(因为 $1-2x^2<0$),单调递减。

$\lim\dfrac{n}{2n^2+1}=0$。Leibniz 条件满足。

条件收敛。

同类题延伸:$\dfrac{n}{an^2+b}\sim\dfrac{1}{an}$,永远是条件收敛($a>0$)。单调性验证时,$f'(x)$ 的分子是关键——$1-2x^2<0$ 对 $x\ge1$ 成立。

判断 $\displaystyle\sum_{n=1}^{+\infty}\dfrac{\sin\frac{n\pi}{3}}{2n^2+1}$ 是否收敛?

取绝对值

$$\left|\frac{\sin\frac{n\pi}{3}}{2n^2+1}\right|\le\frac{1}{2n^2+1}\le\frac{1}{2n^2}.$$

$\sum\dfrac{1}{2n^2}=\dfrac{1}{2}\sum\dfrac{1}{n^2}$ 收敛($p=2>1$)。

由比较法 $\sum\left|\dfrac{\sin\frac{n\pi}{3}}{2n^2+1}\right|$ 收敛。

绝对收敛。

同类题延伸:$\sin$ 或 $\cos$ 在分子时,直接用 $|\sin|\le1$ 放缩——如果放缩后的级数收敛,就是绝对收敛。这类题不需要分析 $\sin$ 的正负交替,因为绝对收敛直接得出结论。分母是 $n^2$ 级别的,收敛很快。

题型 E

幂级数收敛域

核心方法
  • 求收敛半径:$R=\lim\left|\dfrac{a_n}{a_{n+1}}\right|$ 或 $R=\dfrac{1}{\lim\sqrt[n]{|a_n|}}$
  • 收敛区间:$(x_0-R,\ x_0+R)$,$x_0$ 是中心
  • 端点:代入端点值变成数项级数,单独判敛($p$ 级数/Leibniz 等)
  • 已知收敛点推断:在 $x_1$ 收敛 → $R\ge|x_1-x_0|$;在 $x_1$ 发散 → $R\le|x_1-x_0|$
解题思路
  1. 先确认是 $\sum a_n x^n$ 还是 $\sum a_n(x-x_0)^n$(确定中心)
  2. 比值法求 $R$
  3. 两个端点分别代入,用数项级数判敛法判断
  4. 「已知收敛点」题用 $R\ge$ 或 $R\le$ 不等式推断
收敛域必须包含端点的判断——两个端点要分别检查,可能出现一端收敛一端发散。比值法中 $\lim\left|\dfrac{a_{n+1}}{a_n}\right|=\dfrac{1}{R}$(注意是系数之比,不是 $x^{n+1}/x^n$)。
求下列幂级数的收敛域:
(1)$\displaystyle\sum_{n=1}^{+\infty}(-1)^n\dfrac{2^n}{n+1}x^n$;
(2)$\displaystyle\sum_{n=1}^{+\infty}(-1)^n\dfrac{n}{2^n}(x-1)^n$;
(3)已知 $\sum a_n(x-2)^n$ 在 $x=-3$ 收敛,求 $\sum a_n(x-2)^n$ 的收敛区间。

(1) $a_n=(-1)^n\dfrac{2^n}{n+1}$,中心 $x_0=0$。

比值:$\left|\dfrac{a_{n+1}}{a_n}\right|=\dfrac{2^{n+1}}{n+2}\cdot\dfrac{n+1}{2^n}=\dfrac{2(n+1)}{n+2}\to2$。$R=\dfrac{1}{2}$。

端点 $x=\dfrac{1}{2}$:$\sum(-1)^n\dfrac{2^n}{n+1}\cdot\dfrac{1}{2^n}=\sum\dfrac{(-1)^n}{n+1}$,Leibniz 收敛。

端点 $x=-\dfrac{1}{2}$:$\sum\dfrac{1}{n+1}$,调和级数型,发散。

收敛域 $\left(-\dfrac{1}{2},\ \dfrac{1}{2}\right]$。

(2) $a_n=(-1)^n\dfrac{n}{2^n}$,中心 $x_0=1$。

$R=\lim\dfrac{n/2^n}{(n+1)/2^{n+1}}=\lim\dfrac{2n}{n+1}=2$。收敛区间 $(1-2,1+2)=(-1,3)$。

端点 $x=-1$:$\sum(-1)^n\dfrac{n}{2^n}(-2)^n=\sum n$,发散。

端点 $x=3$:$\sum(-1)^n n$,通项不趋于零,发散。

收敛域 $(-1,3)$。

(3) 中心 $x_0=2$。$x=-3$ 处 $|x-x_0|=5$,级数收敛 → $R\ge5$。

收敛区间至少为 $[2-5,2+5)=(-3,7)$($x=7$ 处不确定)。

收敛区间至少包含 $[-3,7)$,$x=7$ 处无法确定。

同类题延伸:(1) 求收敛域的标准流程:比值法求 $R$ → 两个端点分别代入判敛。(2) 中心不在 $0$ 时,先平移令 $t=x-x_0$。(3) 「已知收敛点推断」题本质是 $R\ge$ 距离的不等式——在远端点收敛说明 $R$ 至少有那么大。

题型 F

和函数与幂级数展开

核心公式
  • $\sum_{n=0}^\infty x^n=\dfrac{1}{1-x}$($|x|<1$)
  • $\sum_{n=1}^\infty nx^n=\dfrac{x}{(1-x)^2}$(逐项求导)
  • $\sum_{n=0}^\infty\dfrac{x^n}{n+1}=-\dfrac{\ln(1-x)}{x}$(逐项积分)
  • $e^x=\sum\dfrac{x^n}{n!}$,$\sin x=\sum\dfrac{(-1)^nx^{2n+1}}{(2n+1)!}$,$\ln(1+x)=\sum\dfrac{(-1)^{n-1}x^n}{n}$
解题思路
  1. 求和函数:把级数转化为已知级数的形式(换元、提取因子、逐项求导/积分)
  2. 展开:(1) 利用已知展开式换元(如 $e^{2x}$ → 把 $2x$ 代入 $e^x$ 的展开);(2) 部分分式拆分后再展开;(3) 展开中心不是 $0$ 时先令 $t=x-x_0$
求和函数时不要忘记收敛域——逐项求导/积分不改变开区间端点的敛散性,但端点需要单独检查。展开题中 $\ln(1+x)$ 的展开中心是 $0$,要展开成 $(x-x_0)$ 的幂级数必须先换元。
求 $\displaystyle\sum_{n=1}^{+\infty}\dfrac{n}{2^n}x^{n+1}$,$\displaystyle\sum_{n=0}^{+\infty}\dfrac{2^n}{n+1}x^n$ 的和函数。

(1) $S_1(x)=\sum_{n=1}^\infty\dfrac{n}{2^n}x^{n+1}=x\sum_{n=1}^\infty n\!\left(\dfrac{x}{2}\right)^n$

利用 $\sum_{n=1}^\infty nz^n=\dfrac{z}{(1-z)^2}$($|z|<1$),令 $z=\dfrac{x}{2}$:

$$S_1(x)=x\cdot\frac{x/2}{(1-x/2)^2}=\frac{x^2/2}{(1-x/2)^2}=\frac{x^2/2}{(2-x)^2/4}=\frac{2x^2}{(2-x)^2},\quad|x|<2.$$

(2) $S_2(x)=\sum_{n=0}^\infty\dfrac{2^n}{n+1}x^n$

利用 $\sum_{n=0}^\infty\dfrac{y^n}{n+1}=-\dfrac{\ln(1-y)}{y}$($|y|<1,y\ne0$),令 $y=2x$:

$$S_2(x)=-\frac{\ln(1-2x)}{2x},\quad|x|<\frac{1}{2},\ x\ne0;\quad S_2(0)=1.$$
$S_1(x)=\dfrac{2x^2}{(2-x)^2}$($|x|<2$);$S_2(x)=-\dfrac{\ln(1-2x)}{2x}$($|x|<\frac{1}{2}$)。

同类题延伸:求和函数的套路:(1) 提取/换元把级数变成 $\sum n z^n$ 或 $\sum\dfrac{z^n}{n+1}$ 等标准形式;(2) 用「已知和函数」或「逐项求导/积分」转化。$\sum nz^n=\dfrac{z}{(1-z)^2}$ 和 $\sum\dfrac{z^n}{n+1}=-\dfrac{\ln(1-z)}{z}$ 是最常用的两个公式,建议记牢。

将下列函数展开成 $x-3$(或 $x$)的幂级数:
(1)$f(x)=e^{2x}$ 展开成 $x-3$ 的幂级数;
(2)$f(x)=x\sin^2 x$ 展开成 $x$ 的幂级数;
(3)$f(x)=\dfrac{1}{x^2+3x+2}$ 展开成 $x-3$ 的幂级数;
(4)$f(x)=\ln(1+x)$ 展开成 $x-3$ 的幂级数。

(1) 令 $t=x-3$,则 $x=3+t$,$2x=6+2t$:

$$e^{2x}=e^{6+2t}=e^6\cdot e^{2t}=e^6\sum_{n=0}^\infty\frac{(2t)^n}{n!}=\sum_{n=0}^\infty\frac{e^6\cdot2^n}{n!}(x-3)^n.$$

全平面收敛($e^z$ 的收敛半径 $\infty$)。

(2) 先化简:$\sin^2x=\dfrac{1-\cos2x}{2}$。

$$x\sin^2x=\frac{x}{2}-\frac{x\cos2x}{2}.$$

$\cos2x=\sum_{n=0}^\infty(-1)^n\dfrac{(2x)^{2n}}{(2n)!}$,故:

$$x\sin^2x=\frac{x}{2}-\frac{x}{2}\sum_{n=0}^\infty(-1)^n\frac{2^{2n}x^{2n}}{(2n)!}=\sum_{n=1}^\infty(-1)^{n+1}\frac{2^{2n-1}}{(2n)!}x^{2n+1}.$$

全平面收敛。

(3) 部分分式:$f=\dfrac{1}{(x+1)(x+2)}=\dfrac{1}{x+1}-\dfrac{1}{x+2}$。令 $t=x-3$:

$$\frac{1}{x+1}=\frac{1}{4+t}=\frac{1}{4}\cdot\frac{1}{1+t/4}=\frac{1}{4}\sum_{n=0}^\infty(-1)^n\frac{t^n}{4^n}=\sum_{n=0}^\infty\frac{(-1)^n}{4^{n+1}}t^n.$$ $$\frac{1}{x+2}=\frac{1}{5+t}=\sum_{n=0}^\infty\frac{(-1)^n}{5^{n+1}}t^n.$$ $$f(x)=\sum_{n=0}^\infty(-1)^n\!\left(\frac{1}{4^{n+1}}-\frac{1}{5^{n+1}}\right)(x-3)^n,\quad|x-3|<4.$$

(4) $\ln(1+x)=\ln(4+(x-3))=\ln4+\ln\!\left(1+\dfrac{x-3}{4}\right)$。

利用 $\ln(1+y)=\sum_{n=1}^\infty\dfrac{(-1)^{n-1}y^n}{n}$,令 $y=\dfrac{x-3}{4}$:

$$\ln(1+x)=\ln4+\sum_{n=1}^\infty\frac{(-1)^{n-1}}{n\cdot4^n}(x-3)^n.$$

收敛域:$|y|<1$ → $|x-3|<4$ → $-1

见各小题。

同类题延伸:幂级数展开四大套路:(1) 换元——$e^{f(x)}$ 把 $f(x)$ 代入已知展开式;(2) 三角恒等式——$\sin^2x,\cos^2x$ 先降幂再展开;(3) 部分分式——有理函数先拆分再分别展开;(4) 对数/反三角——凑成 $\ln(1+u)$ 形式。中心不是 $0$ 时,令 $t=x-x_0$ 统一处理。

常微分方程

Ordinary Differential Equations

可分离变量、齐次、一阶线性、伯努利、二阶可降阶、二阶常系数线性方程(齐次/非齐次)以及特解形式判定。本章共 14 道例题,按 5 类题型组织。

题型 A

可分离变量方程

核心方法
  • 标准形式:$g(y)\,\mathrm dy=f(x)\,\mathrm dx$(左边只含 $y$,右边只含 $x$)
  • 步骤:分离变量 → 两边积分 → 整理
  • 识别特征:$y'=f(x)\cdot g(y)$ 或 $M(x)N(y)\mathrm dx+P(x)Q(y)\mathrm dy=0$
解题思路
  1. 把 $y'$ 写成 $\dfrac{\mathrm dy}{\mathrm dx}$,移项使 $y$ 和 $\mathrm dy$ 在一边,$x$ 和 $\mathrm dx$ 在另一边
  2. 两边积分
  3. $\int\dfrac{1}{g(y)}\mathrm dy$ 时注意 $g(y)=0$ 的常数解
分离变量时除以 $g(y)$,可能丢失 $g(y)=0$ 的解(常数解)。分离后记得检查:$g(y)=0$ 对应的 $y=c$ 是否是方程的解。两边积分后加常数 $C$ 只需加一边。
求解 $\dfrac{\mathrm dy}{\mathrm dx}=\dfrac{2x}{1+x^2}\,y$。

分离变量:$\dfrac{\mathrm dy}{y}=\dfrac{2x}{1+x^2}\mathrm dx$。

两边积分

$$\int\frac{\mathrm dy}{y}=\int\frac{2x}{1+x^2}\mathrm dx\implies\ln|y|=\ln(1+x^2)+C_1.$$

取指数:$|y|=e^{C_1}(1+x^2)$,即 $y=C(1+x^2)$($C=\pm e^{C_1}$,含 $C=0$ 即 $y=0$)。

$y=C(1+x^2)$。

同类题延伸:$y'=f(x)\cdot y$ 型是最简单的可分离变量方程。$\int\dfrac{2x}{1+x^2}\mathrm dx=\ln(1+x^2)$ 是经典积分,记住 $\dfrac{2x}{1+x^2}$ 是 $\ln(1+x^2)$ 的导数。最终常数 $C$ 可正可负可零。

求解 $\dfrac{\mathrm dy}{\mathrm dx}=4x\cdot y^2$。

分离变量:$\dfrac{\mathrm dy}{y^2}=4x\,\mathrm dx$。

两边积分

$$\int y^{-2}\mathrm dy=\int4x\,\mathrm dx\implies-\frac{1}{y}=2x^2+C.$$

解出 $y$:$y=-\dfrac{1}{2x^2+C}$。

检查丢失的解:$y=0$ 代入原方程 $y'=0$,左边 $0$,右边 $0$,是解。但 $y=0$ 不能由通解取某个 $C$ 得到($C=\infty$),所以是奇解。一般写通解即可。

$y=-\dfrac{1}{2x^2+C}$(含奇解 $y=0$)。

同类题延伸:$y'=f(x)\cdot y^2$ 型——分离后左边是 $\int y^{-2}\mathrm dy=-y^{-1}$。如果分离时除以 $y^2$,要检查 $y=0$ 是否为解。这类方程的解有「爆破」现象——$2x^2+C=0$ 时 $y\to\infty$。

题型 B

齐次方程

核心方法
  • 标准形式:$y'=f\!\left(\dfrac{y}{x}\right)$
  • 换元:令 $u=\dfrac{y}{x}$(即 $y=ux$),则 $y'=u+xu'$
  • 化简:$u+xu'=f(u)$ → $xu'=f(u)-u$ → 可分离变量
解题思路
  1. 确认方程是 $y'=f(y/x)$ 形式
  2. 令 $u=y/x$,把方程化为关于 $u$ 和 $x$ 的可分离变量方程
  3. 解出 $u$ 后回代 $u=y/x$
$y'=u+xu'$,不是 $y'=u'$!这是复合函数求导:$\dfrac{\mathrm d(ux)}{\mathrm dx}=u+x\dfrac{\mathrm du}{\mathrm dx}$。回代时 $u=y/x$ 要整理成 $y=...$ 的形式。
齐次求解 $\dfrac{\mathrm dy}{\mathrm dx}=2\dfrac{y}{x}+\!\left(\dfrac{y}{x}\right)^{\!2}$。

令 $u=\dfrac{y}{x}$,$y=ux$,$y'=u+xu'$。代入:

$$u+xu'=2u+u^2\implies xu'=u+u^2=u(1+u).$$

分离变量

$$\frac{\mathrm du}{u(1+u)}=\frac{\mathrm dx}{x}.$$

部分分式:$\dfrac{1}{u(1+u)}=\dfrac{1}{u}-\dfrac{1}{1+u}$。

$$\int\left(\frac{1}{u}-\frac{1}{1+u}\right)\mathrm du=\int\frac{\mathrm dx}{x}\implies\ln|u|-\ln|1+u|=\ln|x|+C_1.$$ $$\ln\left|\frac{u}{1+u}\right|=\ln|x|+C_1\implies\frac{u}{1+u}=Cx.$$

回代 $u=\dfrac{y}{x}$:

$$\frac{y/x}{1+y/x}=\frac{y}{x+y}=Cx\implies y=Cx(x+y)=Cx^2+Cxy.$$

$y(1-Cx)=Cx^2$,即 $y=\dfrac{Cx^2}{1-Cx}$。

$y=\dfrac{Cx^2}{1-Cx}$。

同类题延伸:齐次方程的固定流程:换元 → 分离变量 → 部分分式积分 → 回代。部分分式 $\dfrac{1}{u(1+u)}=\dfrac{1}{u}-\dfrac{1}{1+u}$ 是高频操作。回代后的整理可能需要解 $y$ 的方程——如果很难解,保持隐式形式也可以。

题型 C

一阶线性方程

核心公式
  • 标准形式:$y'+P(x)y=Q(x)$
  • 通解公式:$y=e^{-\int P}\left(\int Qe^{\int P}\mathrm dx+C\right)$
  • 积分因子法:两边乘 $\mu=e^{\int P\mathrm dx}$,左边变成 $(\mu y)'$
  • 含变上限积分:$f(x)=g(x)+\int_a^x f(t)\mathrm dt$ → 两边对 $x$ 求导得微分方程
解题思路
  1. 化成标准形式 $y'+P(x)y=Q(x)$
  2. 计算 $\int P\mathrm dx$(不加常数)
  3. 代入公式或用积分因子法
  4. 如果 $y$ 出现在分母(如 $y'$ 的分母含 $y$),考虑把 $x$ 看成 $y$ 的函数
$\int P\mathrm dx$ 在积分因子中不加常数(加了会被约掉)。公式中 $e^{-\int P}$ 在前面、$e^{\int P}$ 在积分号里——注意正负号。如果方程关于 $y$ 非线性但关于 $x$ 线性(如 $\dfrac{\mathrm dx}{\mathrm dy}+...x=...$),交换角色可能更简单。
一阶线性求解:
(1)$\dfrac{\mathrm dy}{\mathrm dx}-\dfrac{2y}{x}=x^4$;
(2)$\dfrac{\mathrm dy}{\mathrm dx}=\dfrac{y}{-2x+y^3\sin y}$;
(3)$f(x)=x^2-\displaystyle\int_1^x f(t)\,\mathrm dt$,求 $f(x)$。

(1) 标准形式:$y'-\dfrac{2}{x}y=x^4$。$P(x)=-\dfrac{2}{x}$,$Q(x)=x^4$。

$\int P\mathrm dx=-2\ln x=\ln x^{-2}$,积分因子 $\mu=x^{-2}$。

两边乘 $x^{-2}$:$\dfrac{\mathrm d}{\mathrm dx}\!\left(\dfrac{y}{x^2}\right)=x^2$。

$$\frac{y}{x^2}=\frac{x^3}{3}+C\implies y=\frac{x^5}{3}+Cx^2.$$

(2) 关于 $y$ 非线性($y^3\sin y$),但关于 $x$ 是线性的!改写为:

$$\frac{\mathrm dx}{\mathrm dy}=\frac{-2x+y^3\sin y}{y}=-\frac{2}{y}x+y^2\sin y.$$

标准形式:$x'+\dfrac{2}{y}x=y^2\sin y$。$P(y)=\dfrac{2}{y}$,$\int P\mathrm dy=2\ln y=\ln y^2$,积分因子 $\mu=y^2$。

$$\frac{\mathrm d}{\mathrm dy}(y^2x)=y^4\sin y.$$

右边需多次分部积分($\int y^4\sin y\,\mathrm dy$),得:

$$y^2x=-y^4\cos y+4y^3\sin y+12y^2\cos y-24y\sin y-24\cos y+C.$$

(3) 两边对 $x$ 求导($f(x)=x^2-\int_1^x f(t)\mathrm dt$,变上限积分求导):

$$f'(x)=2x-f(x)\implies f'+f=2x.$$

积分因子 $e^x$:$(e^xf)'=2xe^x$。

$$e^xf=2\int xe^x\mathrm dx=2(x-1)e^x+C.$$

$f=2(x-1)+Ce^{-x}$。初值:$f(1)=1^2-\int_1^1f=1$ → $0+C/e=1$ → $C=e$。

(1) $y=\dfrac{x^5}{3}+Cx^2$;(2) 见上;(3) $f(x)=2(x-1)+e^{1-x}$。

同类题延伸:(1) 标准一阶线性直接套公式。(2) 当方程关于 $y$ 非线性但关于 $x$ 线性时,交换角色(把 $x$ 看成 $y$ 的函数)是关键技巧。(3) 含变上限积分的方程——先求导转化为微分方程,再用初值确定常数。初值一般从原方程(令 $x$ 为积分下限)获得。

了解 · 伯努利求解 $\dfrac{\mathrm dy}{\mathrm dx}+2xy=xy^2$。

伯努利方程:$y'+P(x)y=Q(x)y^n$,这里 $n=2$。

换元:$u=\dfrac{1}{y}=y^{-1}$,$u'=-\dfrac{y'}{y^2}$。

原方程两边除以 $y^2$:$\dfrac{y'}{y^2}+2x\cdot\dfrac{1}{y}=x$,即 $-u'+2xu=x$。

$$u'-2xu=-x.$$

积分因子 $e^{-x^2}$:$(e^{-x^2}u)'=-xe^{-x^2}$。

$$e^{-x^2}u=\int-xe^{-x^2}\mathrm dx=\frac{1}{2}e^{-x^2}+C.$$

$u=\dfrac{1}{2}+Ce^{x^2}$,即 $\dfrac{1}{y}=\dfrac{1}{2}+Ce^{x^2}$。

$y=\dfrac{2}{1+2Ce^{x^2}}$。

同类题延伸:伯努利方程 $y'+Py=Qy^n$ 的固定套路:(1) 两边除以 $y^n$;(2) 令 $u=y^{1-n}$,化为一阶线性方程;(3) 用一阶线性公式求解。$n=2$ 时 $u=1/y$。注意 $y=0$ 可能是奇解(但本题 $y=0$ 代入得 $0=0$,确实是解)。

题型 D

二阶可降阶方程

三种类型
  • $y''=f(x)$:直接两次积分
  • $y''=f(x,y')$(不显含 $y$):令 $p=y'$,$y''=p'$,化为 $p'=f(x,p)$(一阶)
  • $y''=f(y,y')$(不显含 $x$):令 $p=y'$,$y''=p\dfrac{\mathrm dp}{\mathrm dy}$,化为 $p\dfrac{\mathrm dp}{\mathrm dy}=f(y,p)$
解题思路
  1. $y''=f(x)$:直接积分两次,每步加一个常数
  2. 不显含 $y$:令 $p=y'$ 降为关于 $x,p$ 的一阶方程
  3. 不显含 $x$:令 $p=y'$ 但用 $y''=p\dfrac{\mathrm dp}{\mathrm dy}$,降为关于 $y,p$ 的一阶方程
不显含 $x$ 和不显含 $y$ 的降阶方式不同!不显含 $y$ 时 $y''=p'$(对 $x$ 求导);不显含 $x$ 时 $y''=p\dfrac{\mathrm dp}{\mathrm dy}$(链式法则)。搞混会得到完全不同的方程。
可降阶求解 $y''=e^x$。

直接两次积分:

第一次:$y'=e^x+C_1$。

第二次:$y=e^x+C_1x+C_2$。

$y=e^x+C_1x+C_2$。

同类题延伸:$y''=f(x)$ 型是最简单的二阶方程——积分两次,每次加一个独立常数,通解有两个常数。如果给初值条件(如 $y(0)=a,y'(0)=b$),可以确定 $C_1,C_2$。

了解求解 $y''=2x\cdot y'$。

不显含 $y$,令 $p=y'$,$y''=p'$:

$$p'=2xp\implies\frac{\mathrm dp}{p}=2x\,\mathrm dx\implies\ln|p|=x^2+C\implies p=C_1e^{x^2}.$$

$y'=C_1e^{x^2}$,积分:$y=C_1\!\int e^{x^2}\mathrm dx+C_2$。

$\int e^{x^2}\mathrm dx$ 不能用初等函数表示(误差函数)。

$y=C_1\!\int e^{x^2}\mathrm dx+C_2$(不可初等表出)。

同类题延伸:有些微分方程的解不能用初等函数表示,这是正常的。考试中如果出现这种情况,写到「积分形式」即可。$e^{x^2},\dfrac{\sin x}{x},\dfrac{1}{\ln x}$ 的原函数都不是初等函数——遇到这类积分不要死算。

了解求解 $y''=2y\cdot y'$。

不显含 $x$,令 $p=y'$,$y''=p\dfrac{\mathrm dp}{\mathrm dy}$:

$$p\frac{\mathrm dp}{\mathrm dy}=2yp\implies\frac{\mathrm dp}{\mathrm dy}=2y\quad(p\ne0).$$

积分:$p=y^2+C_1$,即 $y'=y^2+C_1$。

分离变量:$\displaystyle\int\frac{\mathrm dy}{y^2+C_1}=x+C_2$。

  • $C_1>0$:$\dfrac{1}{\sqrt{C_1}}\arctan\dfrac{y}{\sqrt{C_1}}=x+C_2$
  • $C_1=0$:$-\dfrac{1}{y}=x+C_2$,即 $y=-\dfrac{1}{x+C_2}$
  • $C_1<0$:$\dfrac{1}{2\sqrt{|C_1|}}\ln\left|\dfrac{y-\sqrt{|C_1|}}{y+\sqrt{|C_1|}}\right|=x+C_2$

$p=0$ 的情况:$y'=0$ → $y=$ 常数,代入原方程 $0=2y\cdot0$,恒成立。即 $y=c$ 也是解。

视 $C_1$ 的符号分三种情况(见上),另含常数解 $y=c$。

同类题延伸:不显含 $x$ 的方程用 $y''=p\dfrac{\mathrm dp}{\mathrm dy}$ 降阶。分离 $p$ 时别忘了 $p=0$ 的情况($y'=0$ 即 $y=$ 常数解)。$\int\dfrac{\mathrm dy}{y^2+C_1}$ 根据 $C_1$ 的符号有三种形式——$\arctan$、$-1/y$、$\mathrm{artanh}$,要分情况讨论。

题型 E

二阶常系数线性方程

核心框架
  • 齐次 $y''+py'+qy=0$:特征方程 $r^2+pr+q=0$
    • 两不等实根 $r_1,r_2$:$y=C_1e^{r_1x}+C_2e^{r_2x}$
    • 重根 $r$:$y=(C_1+C_2x)e^{rx}$
    • 共轭复根 $\alpha\pm\beta i$:$y=e^{\alpha x}(C_1\cos\beta x+C_2\sin\beta x)$
  • 非齐次 $y''+py'+qy=f(x)$:通解 = 齐次通解 + 非齐次特解
  • 特解设法(待定系数法):
    • $f(x)=P_n(x)e^{\alpha x}$:设 $y_p=x^kQ_n(x)e^{\alpha x}$,$k=$ $\alpha$ 作为特征根的重数($0,1,2$)
    • $f(x)=e^{\alpha x}[P\cos\beta x+Q\sin\beta x]$:设 $y_p=x^ke^{\alpha x}[A\cos\beta x+B\sin\beta x]$,$k=$ $\alpha+\beta i$ 作为特征根的重数
解题思路
  1. 先解特征方程 $r^2+pr+q=0$
  2. 写齐次通解
  3. 看 $f(x)$ 的形式,设特解(关键是判断 $k$:$\alpha$ 是不是特征根?几重?)
  4. 代入原方程确定系数
特解设法中 $k$ 的取值是最大坑:$\alpha$ 不是特征根 $k=0$,是单根 $k=1$,是重根 $k=2$。漏乘 $x^k$ 会导致代入后系数矛盾。非齐次通解 = 齐次通解 + 一个特解,不要漏掉齐次部分。
设 $y_1,y_2,y_3$ 为 $y''+py'+qy=f(x)$ 的三个线性无关解,求该方程的通解。

理论基础:非齐次方程的通解 = 齐次通解 + 非齐次的一个特解。

$y_2-y_1$ 和 $y_3-y_1$ 满足齐次方程(非齐次解之差满足对应齐次方程),且线性无关。

$y_1$ 是非齐次方程的一个特解。

通解 $y=C_1(y_2-y_1)+C_2(y_3-y_1)+y_1$。

同类题延伸:这是结构性理解题。核心定理:(1) 非齐次方程的两个解之差是齐次方程的解;(2) 齐次方程的两个线性无关解构成基础解系;(3) 任意一个非齐次解 + 齐次通解 = 非齐次通解。二阶方程的基础解系恰好含两个解。

求 $y''+4y'-5y=xe^x$ 的通解。

第一步:特征方程

$r^2+4r-5=0$ → $(r-1)(r+5)=0$ → $r=1,-5$。

齐次通解:$Y=C_1e^x+C_2e^{-5x}$。

第二步:设特解

$f(x)=xe^x$:$P_1(x)=x$(一次多项式),$\alpha=1$。

$\alpha=1$ 是特征方程的单根($k=1$),故设:

$$y_p=x(Ax+B)e^x.$$

第三步:代入确定系数

$y_p=(Ax^2+Bx)e^x$,$y_p'=(2Ax+B)e^x+(Ax^2+Bx)e^x=(Ax^2+(2A+B)x+B)e^x$。

$y_p''=(2Ax+2A+B)e^x+(Ax^2+(2A+B)x+B)e^x=(Ax^2+(4A+B)x+(2A+2B))e^x$。

代入 $y''+4y'-5y=xe^x$:

左边 $=e^x[Ax^2+(4A+B)x+(2A+2B)+4Ax^2+4(2A+B)x+4B-5Ax^2-5Bx]$

$=e^x[(A+4A-5A)x^2+(4A+B+8A+4B-5B)x+(2A+2B+4B)]$

$=e^x[12Ax+(2A+6B)]$。

对比 $xe^x$:$12A=1$ → $A=\dfrac{1}{12}$;$2A+6B=0$ → $B=-\dfrac{1}{36}$。

$$y_p=\left(\frac{x^2}{12}-\frac{x}{36}\right)e^x=\frac{3x^2-x}{36}e^x.$$
$y=C_1e^x+C_2e^{-5x}+\dfrac{3x^2-x}{36}e^x$。

同类题延伸:$f(x)=P_n(x)e^{\alpha x}$ 型特解设法——关键判断 $\alpha$ 是几重特征根。$\alpha$ 不是根 $k=0$(设 $Q_n e^{\alpha x}$);单根 $k=1$(设 $xQ_n e^{\alpha x}$);重根 $k=2$(设 $x^2Q_n e^{\alpha x}$)。$Q_n$ 和 $P_n$ 同次。

求 $y''+4y'-4y=(2x-1)e^{2x}$ 的通解。

特征方程:$r^2+4r-4=0$ → $r=\dfrac{-4\pm\sqrt{32}}{2}=-2\pm2\sqrt2$。

齐次通解:$Y=C_1e^{(-2+2\sqrt2)x}+C_2e^{(-2-2\sqrt2)x}$。

设特解:$f(x)=(2x-1)e^{2x}$,$\alpha=2$。$r=2$ 不是特征根($r=-2\pm2\sqrt2\ne2$),故 $k=0$。

$$y_p=(Ax+B)e^{2x}.$$

代入:$y_p'=2(Ax+B)e^{2x}+Ae^{2x}=(2Ax+A+2B)e^{2x}$。

$y_p''=2Ae^{2x}+2(2Ax+A+2B)e^{2x}=(4Ax+4A+4B)e^{2x}$。

左边 $=e^{2x}[(4Ax+4A+4B)+4(2Ax+A+2B)-4(Ax+B)]$

$=e^{2x}[(4A+8A-4A)x+(4A+4B+4A+8B-4B)]$

$=e^{2x}[8Ax+(8A+8B)]$。

对比 $(2x-1)e^{2x}$:$8A=2$ → $A=\dfrac{1}{4}$;$8A+8B=-1$ → $2+8B=-1$ → $B=-\dfrac{3}{8}$。

$y=C_1e^{(-2+2\sqrt2)x}+C_2e^{(-2-2\sqrt2)x}+\dfrac{2x-3}{8}e^{2x}$。

同类题延伸:本题 $\alpha=2$ 不是特征根,所以 $k=0$,比上题简单——不用多乘 $x$。对比 5.10($\alpha=1$ 是单根,$k=1$)就能感受到 $k$ 取值对计算量的影响。代入确定系数是机械活,耐心展开就好。

特解形式写出下列方程的特解形式:
(1)$y''+3y'-4y=xe^x\cos 2x$;
(2)$y''-2y'+4y=xe^x\cos(\sqrt3\, x)$。

(1) 特征方程 $r^2+3r-4=0$ → $r=1,-4$。

$f(x)=xe^x\cos2x$:$\alpha+\beta i=1+2i$。

$1+2i$ 不是特征根(特征根是实数 $1$ 和 $-4$),故 $k=0$。

$P(x)=x$ 是一次多项式,特解设为:

$$y_p=e^x\bigl[(Ax+B)\cos2x+(Cx+D)\sin2x\bigr].$$

(2) 特征方程 $r^2-2r+4=0$ → $r=1\pm\sqrt3\,i$。

$f(x)=xe^x\cos(\sqrt3\,x)$:$\alpha+\beta i=1+\sqrt3\,i$。

$1+\sqrt3\,i$ 是特征根(单根),$k=1$。

$$y_p=xe^x\bigl[(Ax+B)\cos(\sqrt3\,x)+(Cx+D)\sin(\sqrt3\,x)\bigr].$$
(1) $y_p=e^x[(Ax+B)\cos2x+(Cx+D)\sin2x]$;(2) $y_p=xe^x[(Ax+B)\cos\sqrt3x+(Cx+D)\sin\sqrt3x]$。

同类题延伸:$f(x)=e^{\alpha x}[P\cos\beta x+Q\sin\beta x]$ 型特解设法:(1) 看 $\alpha+\beta i$ 是不是特征根;(2) 不是 $k=0$,是单根 $k=1$;(3) $\cos$ 和 $\sin$ 都要设,系数分别用 $A,B,...$(即使 $P$ 或 $Q$ 为零也要两个都设)。

求 $y''-3y'+2y=6e^x+x^2$ 的特解形式(并给出特解)。

特征方程:$r^2-3r+2=0$ → $r=1,2$。

叠加原理:$f=f_1+f_2=6e^x+x^2$,分别求特解再相加。

对 $f_1=6e^x$:$\alpha=1$ 是特征方程的单根($k=1$)。

$y_{p1}=Axe^x$。$y_{p1}'=A(x+1)e^x$,$y_{p1}''=A(x+2)e^x$。

代入:$A(x+2)e^x-3A(x+1)e^x+2Axe^x=6e^x$。

$A[(x+2)-3(x+1)+2x]e^x=A\cdot(-1)\cdot e^x=6e^x$ → $A=-6$。$y_{p1}=-6xe^x$。

对 $f_2=x^2$:$\alpha=0$ 不是特征根($k=0$)。

$y_{p2}=Bx^2+Cx+D$。$y_{p2}'=2Bx+C$,$y_{p2}''=2B$。

代入:$2B-3(2Bx+C)+2(Bx^2+Cx+D)=x^2$。

$2Bx^2+(-6B+2C)x+(2B-3C+2D)=x^2$。

对比:$2B=1$ → $B=\dfrac{1}{2}$;$-6B+2C=0$ → $C=\dfrac{3}{2}$;$2B-3C+2D=0$ → $1-\dfrac{9}{2}+2D=0$ → $D=\dfrac{7}{4}$。

$y=C_1e^x+C_2e^{2x}-6xe^x+\dfrac{x^2}{2}+\dfrac{3x}{2}+\dfrac{7}{4}$。

同类题延伸:$f(x)=f_1(x)+f_2(x)$ 时用叠加原理——分别对 $f_1,f_2$ 设特解,最后相加。这是处理多项式+指数型混合右端的标准方法。注意每个特解的 $k$ 要分别判断。

已知 $r=1+2i$ 为二阶常系数齐次方程 $y''+py'+qy=0$ 的特征根,求 $p,q$ 的值。

实系数方程的复根成对出现:$r_{1,2}=1\pm2i$。

由 Vieta 定理(特征方程 $r^2+pr+q=0$):

  • $r_1+r_2=(1+2i)+(1-2i)=2=-p$ → $p=-2$
  • $r_1r_2=(1+2i)(1-2i)=1+4=5=q$
$p=-2,\ q=5$。

同类题延伸:「已知特征根求方程」是反向题——用 Vieta 定理。实系数方程的复根必成对($a\pm bi$),所以给一个复根就等于给了两个。对应齐次通解为 $y=e^{ax}(C_1\cos bx+C_2\sin bx)$。