SLie的"数学基础"集装箱|Perhaps.Ver1.04
高等数学
ε-δ语言与极限存在
极限的概念与性质
待更
2022年数三一道
利用极限定义证明极限存在
问题 设满足
求证:
证明 根据函数极限定义,原问题转化为:有 当 时,
成立,求证:使得,当时,
其中,对 式,可作如下化简:
所以有:
令,,则:
要使上式成立,有:
其中,,所以:
因此,,使得 成立,证毕
单调有界与海涅定理
单调有界证收敛
在求数列极限之前,我们通常应该先证明数列收敛。否则所求出来极限可能不具备正确性!
【单调有界准则】
【例题/必备题】,试证 收敛(2011年真题)
【证明】单调性:
有界性:
由 单调递减有下界,故 收敛,证毕!
注:本题同样可以利用数列收敛与级数收敛的关系来证明。
事实上,本题源于 1999 年的一道数学真题,关于其具体内容可参阅本文章在积分专栏的《积分与求和的统一》部分。
本题我们证明了该数列收敛。那么它的极限值是多少呢?
事实上我们称其极限值为欧拉-马歇罗尼常数(Euler-Mascheroni constant),用 表示。
【番外】一种逆用牛顿莱布尼茨公式的有界性证明
设 在 上有连续一阶导数,
证明 存在.
二级结论: 看 的单调性
海涅定理
存在的充分必要条件是,对于函数 的定义域内任意数列 ,都有:
海涅定理阐述了以任意数列来遍历 的领域中的所有实数,在一定程度上仍旧是连续逼近,而不是去跳跃性地靠近极限。这就是以离散性去描述连续性。
海涅定理解释了数列极限与函数极限之间的关系,应用海涅定理,我们可以计算函数极限来间接的计算数列极限;反之,可以通过数列极限来判别函数极限是否存在。
例:计算
例:证明 不存在
取. 显然有:
由海涅定理可知,原极限不存在.
🦄压缩映像原理
压缩映像原理
设 且存在常数 使得
- 证明:存在唯一的 ,使得
- 对于 ,定义 ,证明 收敛且
【分析】根据待证结论的形式不难发现,应该构造辅助函数+零点定理来证明。
而想要使用零点定理,需要 连续,因此我们需要先证明函数连续。
【证明】
第一步:证明连续性
第二步:证明 ξ 的存在性
令
① 当 时,取 即可
② 当 时,取 即可
③ 当 时,由零点定理可得 使得
第三步:证明 ξ 的唯一性
利用反证法: 假设 都是 的根,且 ,所以有:
显然矛盾,故 ξ 唯一.
第四步:证明极限存在
注意到:
显然 ,因此由夹逼准则可得:
压缩映像的推广形式 设 为可导函数, 为常数且 ,若 ,则由 产生的数列一定收敛于 的根
【证明】由拉格朗日中值定理,可得:
从而由夹逼准则可得结论,证毕.
利用压缩映像原理,可以快速“秒杀”一类数列收敛及其极限值的问题。
例:已知 ,求
解:根据已知条件,显然 有:
由夹逼准则可得, .
事实上,本题相当于把压缩映像原理的推广形式再证明了一遍。这也是考研答题时,为了步骤分而直接利用压缩映像原理的正确解法。上述步骤中的结果 4 则是提前通过:
直接得到的。即是先求出极限结果,再反过来验证,所以利用压缩映像原理求解也被其他考研辅导书描述为“先斩后奏法”。
本题直接利用压缩映像原理说明的写法:
令,由:
可得,数列必收敛,且收敛于使得 成立的.
上述内容仅仅只是压缩映像原理在一元函数中的推导。事实上该原理属于不动点定理的一种:巴拿赫不动点定理。具体内容可参阅本站文章:
※极限相关的概念问题与易错点
极限相关的概念易错点
💦不存在
当 以 的方式趋于0 时,因为分母为0没有定义,所以原极限不存在。
💦 设 则下列选项中,哪些是正确的?
- 若 ,则
- 若 ,则 存在
- 若 ,则 存在
答案
举反例.
当函数 是常函数时:
- 对于 1. , 2. 其对应的函数均无定义,则极限不存在。
- 对于 3. 由于 在 0 处的连续性未知,顾不一定成立。
- 对于 5. 直接说明 在 0 处不连续,因此不成立。
💦设有数列,以下结论正确的是?
- 若,则必有 或
- 若,则必有 或
- 若 有界,则必有 均有界
- 若 无界,则必有 无界 或 无界
答案
举反例.
对于1. 设.
从而 但是 时 不存在对于2. 设
对于3. 有界,而 在 无界
💦 设函数在内有界且可导
求证:当 存在时,必有.
取材自 2002研究生考试🔔数一真题
答案
证明 记,利用反证法.
若,则 使得 时, 成立。
即:
在区间上,由 拉格朗日中值定理 知:
所以
与题设“在有界”矛盾。
同理可证时同样矛盾,因此:.
无穷小与泰勒展开式
常见等价无穷小与泰勒公式
常见等价无穷小与泰勒公式
选择题技巧:利用奇偶性快速辨别展开式系数,见武忠祥强化课
- 如果,则有
- 如果,则有
综合以上二者,还可以得到:
- 如果,则有
- 如果 ,则有
求解高阶无穷小问题
极限求解方法概述
等价无穷思想与泰勒求极限
等价无穷小与泰勒
见 上一节
等价无穷大
“奥特曼大法”
黎曼级数及其余项的等价
在 情况下:
- 当 时,
- 当 时,
- 当 时, 收敛,特别地,在 时,有
我们
https://www.bilibili.com/video/BV1hN4y1F79E
https://zhuanlan.zhihu.com/p/115256300
洛必达法则及其推广形式
洛必达法则| L’Hospital
https://www.bilibili.com/video/BV1gp4y197wb
广义洛必达
带变限积分分式的极限问题
一道很容易想到洛必达,但实际上得不到结果的问题,如下:
已知,求.
【解析】利用导数的定义:
显然该极限的形式满足 型,可以尝试洛必达。于是就有:
然而这个方法是错误的。我们应该清楚,洛必达法则是一个后验法则。也就是说,洛必达之后的极限存在能够反推原极限存在,但是反过来,如果洛必达之后的极限震荡或是不存在(无穷大的情况除外),那么,我们得不到任何结论。
也就是说,此时原极限存在与否是不知道的,不能因为洛之后不存在就反推原极限不存在。同理,即使原极限存在,你也不能下结论洛之后的极限存在。
所以,本题应该另寻他法。
事实上,我们可以通过”转换研究对象“的思想,改造这道题。虽然我们对原极限束手无策,但是如果能换一个变限积分的话,再洛或许就能有奇效了。而对一个变限积分什么办法可以把它转换为另一个变限积分呢?答案是分部积分。
然后你会发现,即使如此,此变限积分在 时甚至是无界震荡的!
所以,我们分部积分还需要再变通。
夹逼准则与定积分定义求极限
夹逼准则
在考研数学中,夹逼准则的使用常常结合着拉格朗日中值定理、定积分定义求极限的方法一起使用。而夹逼准则本身的定义和使用方法较为简单,此处略过。
为了方便记录一些解题技巧,此处放上常见 放缩/不等式 结论用于速查。
常见 放缩/不等式 结论:
定积分定义求极限
基本理论见 本文章积分专题中《积分与求和的统一》一栏
一般情况下,考研数学中并不会给出“完美”的积分定义形式让考生求积分,而是结合一定的放缩法,借助夹逼准则来出题。因此,下面我们将介绍一些可用于应对这类问题的技巧。
作差法夹逼出结果
看似等价无穷小的形式
写出佩亚诺余项,证明余项之和为零。https://www.bilibili.com/video/BV1vz4y1k7xn
若,考察
其他特殊性技巧与结论总结
利用中值定理求极限
二重积分中值定理的应用
逆用等价无穷小
例题1
答案
方法一: 逆用等价无穷小.
方法二:配凑法.
方法三:泰勒硬展.
例题2 …
级数收敛反推项函数极限
【例题】求.
解:对于无穷级数,利用比值判别法:
因此该无穷级数收敛,从而其一般项极限为0,即.
三角函数巧用 nπ
例题1
例题2
不难发现,这类含三角函数的数列极限问题,可以利用 的方式进行处理。如例题1除了利用等价无穷小外,还可以:
化长链为短链
经典例题
Tip:右乘一个 利用二倍角公式
答案:
高级定理的化简之路
施笃兹定理|O’stolz定理
内容
相关例题
例题1
例题2
例题3
例题4
答案
利用 O’stolz 定理。
斯特林公式| Stirling’s approximation
斯特林公式给出了计算阶乘 的近似值的数学公式。即:
更进一步地,有:
Stirling 公式在实际工程应用上具有重要价值,甚至在算法设计中时间复杂度的阶数判断也起到作用。
例题
本题选自 武忠祥每日一题 2022.6.5
答案
解:
\begin{aligned}I&=\lim_{n\to\infty}(2\pi n)^{-\frac 1 {2n}}\frac e n\sum_{k=1}^n\frac k {n+\ln k}\\&=e\lim_{n\to\infty}\frac 1 n\sum_{k=1}^n\frac k {n+\ln k}\;,\quad(2\pi n)^{-1/2n}=\exp\{-\frac 1 {2n}\ln(2\pi n)\}\to1,\;n\to\infty\\\\\because&\;0\leq \ln k\leq \ln n\\\\\therefore&\frac k{n+\ln n}\leq \frac k{n+\ln k}\leq \frac k n\\\\\therefore&\;e\frac {\sum_\limits{k=1}^n k} {n(n+\ln n)}\leq I\leq e\frac {\sum_\limits{k=1}^n k} {n^2}\Rightarrow I=\frac e 2.\quad(\sum_{k=1}^nk=\frac{n(n+1)}{2})\end{aligned}【注】本题同样可以直接先做如下处理:
从而化简原式,避免了 Stirling 公式 的使用。
一元函数及其微分学
连续、间断与渐近线
曲线的渐近线及其求解问题
曲线的渐近线
如果存在直线 使得当、 (包括正负无穷)时,曲线 上的任意动点 到直线 的距离 则称直线 为曲线 的渐近线。
- 若 则 直线 为曲线的铅直渐近线;
- 若 则 直线 为曲线的水平渐近线;
- 若 是曲线的渐近线,称此直线为其斜渐近线;
- 无穷远处的一侧最多只会存在水平渐近线或斜渐近线的一种。
对于斜渐近线 我们有结论:
此外,只考虑斜渐近线的可能,我们还有另一种稍微快捷一点的计算方法,这依托于我们对无穷小和泰勒公式的理解。
斜渐近线与等价无穷小
如果 可以通过泰勒展开写为 的形式(),则该曲线的斜渐近线就是. 其中,.
例题 求曲线 的斜渐近线方程。(2020年)
【解】因为求斜渐近线要求,而我们熟悉的等价无穷小都属于 的情况。由此我们时常需要将无穷小量 化为 的形式。把 看作一个整体处理。
由此可得,该曲线的斜渐近线方程为.
隐函数确定的曲线的渐近线
例题 设曲线由 确定,求其斜渐近线方程。
【解】根据斜渐近线的公式,将原方程凑出待求极限的形式。
- 求斜率. 将 看作一个整体。对原方程两边同时除以,得:
令 ,得:.
- 求截距. 将 看作一个整体。对原方程利用立法和公式:
令 ,得:.
从而,该曲线的斜渐近线方程为:.
反函数相关的问题
反函数的积分(一道图像题)
反函数的导数(包括二阶导)
函数的平均值
导数定义及常用导数表
反函数的导数
参数确定的一元函数的导数 dy/dx=dy/dt/(dx/dt)
导数极限定理
区间内均有定义的导函数无可去、跳跃和无穷间断点。
不能忘记前提条件!参考:导函数的间断点问题
基本概念结论与反例全收录
基本概念结论与反例全收录
【注】可能用到的函数:
- 狄利特雷函数(Dirichlet function)
其中, 为整数。事实上, 还可以写成:
其中, 为有理数集.
- 魏尔斯特拉斯函数(Weierstrass function)
其中,, 为正奇数,使得,满足该条件的最小.
- Volterra 函数
处处可导,导函数有界,但导函数不可积(黎曼可积)
在某点连续
若 在 处连续
- 在 的邻域内有定义
- 在 的邻域内连续【反例: 只在 处连续】
- 在 处可导 【反例:处处连续但处处不可导的函数 魏尔特斯拉函数】
在某邻域内连续
若 在 的某邻域 内连续
- 在 有定义
- 在 处处连续
- 在 处可导【反例: 魏尔特斯拉函数】
在去心邻域内连续
若 在 的去心邻域 内连续
- 在 有定义
- 在 处处连续
- 在 处可导【反例: 魏尔特斯拉函数】
- 在 处极限存在【 分别连续,但左右极限未必相等】
在某点可导
若 在 处导数存在
- 在 处有定义
- 在 处连续
- 在 处光滑
- 在 邻域内连续
- 在 邻域内可导
- 在 处可导
关于 (4,5)的反例如下:
高阶导数的求解问题
高阶导数的求解问题
在考研范围内,求解高阶导数问题(通常是求)的这类问题一般的求解方法有:
找规律法、数学归纳法、泰勒级数 、莱布尼茨求导公式等方法。
下面将通过例题一一介绍相关方法。
泰勒级数法
【例题1】 已知,求
泰勒展开法
泰勒公式法(优先选择) 利用 长除法 对本 多项式函数 进行处理:
于是有:
与泰勒展开式进行对比,显然有:
因此:
数学归纳法
另解 数学归纳法
易归纳得:
因此有:
莱布尼茨求导公式
设函数 有 阶导函数,则:
- 在求解高阶导数问题式,通常我们需要构造两个函数相乘且其中一个函数是幂函数的情况,以希望借助幂函数在有限次求导结果变为0的这个性质化简答案,得到线性递推关系。
【例题2】 设, 其中 在 的某邻域内有 阶连续导数,试求.
【例题3】 已知,求(李永乐《660题》)
分析与求解
解 显然有:
而:
显然本题如果继续用泰勒进行处理,会十分麻烦,难以总结出确切的规律,并且总结的过程中已然用到了 数学归纳法 因此,不如考虑直接归纳。
可归纳出。
而令并带入上述各式,有
于是问题转化为求解数列的通项公式。
中值定理证明问题
中值定理全收录
介值定理/零点定理
设函数 在闭区间 上连续,并且,则 ,使得:
该定理被称为介值定理(Intermediate Value Theorem),事实上应该是连续函数的介值定理。
如果取,显然有 异号,也即是.
于是可得出零点定理:
设函数 在闭区间 上连续,并且,则 ,使得:
费马引理
若 在点 处可导且取得极值,则必有.
事实上,该定理就是可导函数取得极值的必要条件.
罗尔定理
设函数 在 上连续,在 内可导且 ,则 使得:
罗尔定理其实就是特殊的拉格朗日中值定理.
拉格朗日中值定理
设函数 在 上连续,在 内可导,则 使得:
也可以写作:.
因此该定理也被称为 有限增量定理/公式。
拉格朗日中值定理其实就是 时的柯西中值定理,也是特殊的泰勒中值定理.
柯西中值定理
设函数 在 上连续,在 内可导且,则 使得:
泰勒中值定理
如果函数 在含有 的某个开区间 内具有直到 阶的导数,则对任一 有:
其中, 或 使得:
积分中值定理
积分第一中值定理
如果函数 在闭区间 上连续,则 使得:
二重积分的中值定理
如果函数 在有界闭区域 上连续,则在 ,使得:
推广形式
如果函数 在闭区间 上连续,且 在 上不变号,则 使得:
注意,无论是积分中值定理还是其推广形式,都指出存在的 是在闭区间 内的。这是因为证明之成立的原理是介值定理。但事实上,积分中值定理可以改写在开区间,即 ,此时需要借助 拉格朗日中值定理 加以说明。
如 设,由拉格朗日中值定理,有:
即.
※达布定理及其导出结论
达布定理及其导出结论
在介值定理中,我们强调如果函数 在闭区间连续,那么介于其两个端点值之间的任意一个实数值,我们都能够在区间内找到这样的一个点 使得.
这说明,定义在闭区间上的连续函数满足介值性质。
而达布定理想要说明的是,定义在闭区间上的导函数满足介值性质。
达布定理 设函数 在闭区间 上可导,并且,则 ,使得:
其中 介于 之间。
不难发现,达布定理一定程度上弱化了介值定理。达布定理指出,如果一个函数A是另一个函数B的导函数,那么即使函数A不连续,也满足介值性质。
达布定理的证明
令,其中 介于 之间。
则
不妨设,于是有:
可见,因此由最大最小值定理知, 使得 。
再由 在 可导,可得 连续,根据费马引理,得.
参考介值定理与零点定理的关系,我们根据达布定理也能得到相应的导数零点定理。
🔔导数零点定理
设函数 在闭区间 上可导,并且,则 ,使得:.
♾️推论
区间内均有定义的导函数不存在第一类间断点。若存在,就表示区间内任意一点的导数值不可能取导左导数极限与右导数极限之间的某个值,这与达布定理矛盾。
更加具体的证明参考:关于导函数间断点的探讨
方程的根与函数零点问题
方程的根与函数零点问题
常用的辅助函数构造法
积分因子法
积分因子法即利用指数函数的辅助函数构造方法。
拓展:构造二元辅助函数的证明题
乘积求导法则逆用
- 型 可推广到
- 型
设 二阶可导,且,求证
微分方程构造法
辅助多项式法
常数 K 值法
当题目要求证明的 formula 形如 时,通常可以利用 常数K值法解决. (其中 是关于 的常数,)
具体步骤如下:
- 令
- 构造辅助函数(去分母),显然,若辅助函数能使得,则可利用多次罗尔定理得到新的 formula
- 对新的 formula 利用拉格朗日、泰勒展开、达布定理甚至再用一次罗尔定理 等方法,想方设法 引入 及其 阶导
- 化简式子证明
- 证毕
经典例题
问题 在 具有连续导数,其中
(1) 证明:至少存在一点,使得.
(2) 证明:至少存在一点,使得.
答案
- 构造. 则,从而
- 构造. 则,
从而; 于是
问题 设函数 在闭区间 上具有一阶导数,且。
证明:,使得
答案
令,由泰勒中值定理,有:
取,则有:
证毕.
真假双中值证明问题的求解
双中值证明问题
中值 θ 的极限问题
中值 θ 的极限
在各类中值定理的表述中,我们通常有写. 而这里的 可以改写为:
例如:设 在 有 阶连续导数,则对于任意 有:
在理解上述概念后,我们通常需要考察当 时, 的极限问题,对于上述泰勒公式的表达,则是考察 时的极限。
【例题1】已知,求.
由于表达式已知,我们可以直接由已知条件得:
从而,有:
从该例题中不难发现, 通常是 的函数,而求 的极限问题通常我们需要将其剥离出来,这里正好我们知道 的表达式,所以可以直接将其分离。
【例题2】已知函数 具有 阶连续导数,且有:
,其中,并且. 证明.
证明:重新对 在 处进行泰勒展开到 项(因为已知有这么多阶可导)
又对 泰勒展开(为了剥离出待求参数)
将 (2) 式代入已知原式,即有:
将该结果与 (1) 式对比可得:
证毕!
解题模板 从上述例题中,我们不难总结出对于此类问题的解法。
通常题目给定的等式是泰勒展开或拉格朗日 “不完全” 的情况。
如 【例题2】 中已知 n+1 阶可导,但是给定等式却只展到 n 阶。
此时,我们需要自行对其进行展开,利用带佩亚诺余项的方式得到新的等式。
然后再利用泰勒展开式将含 项的式子展开,以达到剥离出参数的目的,余项同样是佩亚诺余项。
最终联立以上式子,即可得到关于 的等式,最后再结合已知条件移项求极限即可。
事实上,本问题还可以利用带拉格朗日余项的方法进行求解,基本思路其实是相通的。
实操参看:求中值θ的极限|▷考研竞赛凯哥
不等式证明问题
常见的不等式结论
在考研数学、竞赛数学中,对于不等式证明的考察常常是一大难点,这类问题需要考生充分发挥数学思维能力,借助放缩、各类抽象函数的定理等方式进行构造。
这类题常常没有唯一的解题思路,需要考生的不断 刷题 日积月累,形成数学思维。
下面,我将总结出数学中,常见的不等式证明结论与具体的证明方法,以供参考。
其他不等式,如下列这些不等式对解题非常有帮助,因此我们将穿插在具体的题型中给出并适当证明。
- 不等式
- 不等式
- 流行积分不等式
- 不等式
- 不等式
- 不等式
- 不等式
- 不等式
利用泰勒/函数凹凸性证明微分不等式
琴生不等式| Jensen
函数凹凸性的性质
函数 在区间 有二阶导数,且 ,则 证明:
证明:将函数在 处展开,有:
显然,当 时,问题1得证。
下面证明问题2. 取 ,依次取 可得到方程:
两式相加即可得到结论。
该性质具有十分有用的几何意义,即:凹函数的切线在曲线下方,割线在曲线上方。

加权琴生不等式
上面我们介绍的性质是琴生不等式的特殊形式,事实上该不等式还有对应的加权版本:
证明方法同样可以泰勒展开并联立方程组,当然还有构造辅助函数证明等。
同样地,该结论可以继续推广:
经典例题
一旦出现有 形式的“系数之和为一”这种情况出现,最先想到凹凸性/泰勒展开。
例题2 证明
本题在求解时,很容易想到利用拉格朗日中值定理对绝对值内的左边进行处理。
而引入 之后,又不得不再次使用“拉中”,从而连续的两次拉中使得精度不够。因此,应该使用泰勒。
【证明】将 在 处展开:
代入原式,得:
证毕。
杨氏不等式| Young
设 则有:
证明:两边取对数,再适当变形可得:
令,为凹函数,取 利用琴生不等式即可证明。
利用中值定理证明不等式
两边拉格朗日型
如果已知条件中出现对抽象函数 的单调性的描述,通常可将待证不等式通过移项+拉中的方法处理。从而得出两个隶属于不同区间的中值 .
进而将待证结论化为证明 的形式,最后利用单调性解决。
【例题1】利用本节思想证明带权琴生不等式
证明:根据题意,要证
即证:
由于 所以 在 上单调递增。
又,故原不等式得证!
【例题2】 设 在 单调递增,证明.
证明:根据题意,要证
即证:
由于 在 单调递增,,故证毕!
本题可将 写为变量 构造变限积分求导解决
柯西中值放缩型
当不等式中含有反三角函数、对数函数等复合而成的函数时,如果出现了乘积,将会使得构造函数求导时导函数十分难以求解。
因此,我们可以将其化为除法形式,利用柯西中值定理将一次求导就能直接简化的函数简化(就如前面说的反三角函数等)。而通常我们需要找到特殊的临界点以定出 的区间。
【例题1】 证明
证明:利用柯西中值定理
注:函数 显然单调递减
【例题2】 证明流行积分不等式
流行积分不等式
设 在 有一阶连续导数,,证明:
证明:根据题意,显然 不恒为0,于是待证结论可化为:
令,于是有:
令,于是有:
证毕!
本题可将积分上限 变为 构造变限积分求导解决
【推广】设 在 有一阶连续导数,,则:
含多阶导数已知条件证明函数不等式
含多阶导数已知条件的不等式
经典例题 已知 二阶可导
且有:
证明
【证明】由
令,则有,从而
即
又由
令,则有,从而
即
证毕
解题模板
此类问题的标志一般是:给定 在 处的初始条件,再给出关于 的多个导函数组成的多项式的不等式关系,最后要求证明关于 本身的不等式。
求解本问题的方法通常是将导函数的不等式利用【中值定理证明问题】的辅助函数构造方法建立辅助函数,然后对其求导(通常结果 单调),利用 的关系(初始条件)得到一个新的导函数不等式关系,实现对原条件的降阶。如此这般套娃下去,直到降阶到辅助函数只与 本身有关时,通常就证明完毕!
举一反三 已知,试证当 时,
事实上本问题看要证的结论就可以推测是泰勒公式相关的问题,其具体方法如下:
对 由麦克劳林公式得:
要证原不等式成立,只需证 即可。
利用求解中值定理证明问题的思想,考虑 这类问题时,我们通常左右两边同时加或减 作为中间变量,移项得到
从而构造辅助函数。
此处同理,我们构造 后不难得出 恒成立,从而
即 恒成立。此时我们把原问题的条件 降阶了!!
类似地,再令,就得到
即,结合原条件,就有
所以,证毕!
🎲事实上,本题如果没有考虑到利用泰勒公式,仍然可以使用上面的模板进行求解。
具体做法参阅:一道复习全书的改编不等式经典题|▷考研竞赛凯哥
变限积分与泰勒展开证明积分不等式
不断化简的函数构造之路
【经典例题】证明
阿达马不等式| Hadamard
设 为在 上连续的凹函数,则有:
实际上,阿达马不等式可以看作琴生不等式的积分形式,该结论找出了凹函数不等式结论的中间项。
中间的这一项称为积分平均值。
积分平均值加强结论
设 在 上有,证明:
【证明】由凹函数性质,可得不等式
取 ,两边同时积分即可得到结论。
不难发现,取 即可证明阿达马不等式的左边。
不仅如此,本结论还是很多积分不等式问题的题源。
带定积分项的证明
- 构造变限积分函数再泰勒展开
- 对被积函数进行泰勒展开
※利用柯西不等式直接证明积分不等式
柯西不等式| Cauchy
▷ 二维形式:
▷ 积分形式:
若 在 连续(可弱化为可积),则:
其中,等号成立的条件是 线性相关。
证明:对于任意实函数和实数,总有 恒成立。
两边积分再展开,得:
对于关于 的二次函数要大于等于零,当且仅当其判别式 Δ小于或等于0,即:
证毕。
事实上,柯西不等式还可以通过二重积分、定积分的定义,以及前面我们学过的构造函数利用单调性的方法证明(取 为自变量),此处不再展开。
【例题1:给出两个积分乘积的情况】证明
利用区间再现的导出结论:[0→π]∫xf(sinx)dx=[0→π]/2∫πf(sinx)dx、[0→π/2]∫f(cosx)dx=0→π/2∫f(sinx)dx 得:
【例题2:给出积分的平方的情况】 在 连续,,证明:
【例题3:给出一项函数平方的积分,需要自己配凑另一项的情况】 在 连续,,证明
直接将已知条件作为需要的另一项:
取等条件为,解此微分方程得:.
又 恒成立,与已知条件(积分为1)矛盾。
故取不到等号。证毕!
🦄【例题4:逆用莱布尼茨公式+柯西不等式】 在 存在连续导函数,且有,试证
由,逆用莱布尼茨公式得:
两边平方即可引入柯西不等式的积分平方项:
证毕!
🦄【例题5:对上一题缩小精度】 在 存在连续导函数,且有,试证
证明:将区间拆分为 两边分别放缩:
闵可夫斯基不等式| Minkowski
※利用切比雪夫不等式直接证明积分不等式
切比雪夫不等式| Chebyshev
证明张宇1000题,变下限积分
https://zhuanlan.zhihu.com/p/437399536
※利用无穷级数证明不等式
例题收件箱
问题,求证
答案
积分概念及其相关性质
积分的定义与性质
一元函数 在 上的定积分:
其中,, 是将区间 任意分割为 个小区间后的第 个区间,同时亦以 表示该小区间的长度。
显然,定积分要求积分区间有限且被积函数有界。
定积分的相关性质
比较定理
主要推论: 其中要求.
✨若在 的任意子区间 上总有,则当 时,恒有.
原函数存在定理
若 在 上连续,则变上限积分函数 是 在 上的一个原函数。将下限 换成任意一个定值 得到的积分函数仍然是一个原函数。
若 在 上有第一类间断点,则 在 上不存在原函数。(这与在导函数专栏中我们讨论的导函数间断点问题相呼应)
🦄 存在有原函数不是初等函数,或者无法用初等函数表示的情况,下面这些最典型的例子应适当记忆:
牛顿-莱布尼茨公式
若 在 上连续, 是 在 上的原函数,则:
可以证明得出推论:
- 若 只在开区间 连续,则原定积分
- 若 在 除去某个点 连续,则原定积分
周期函数的积分
以 为周期的周期函数 若在 上可积,则:
- 函数 也是以 为周期的周期函数
- 若 在 上连续,且 收敛,则 也是以 为周期的周期函数。
关于 (3) 的证明:
积分与求和的统一
积分与求和的统一
积分定义求极限
将 中的 利用均匀选取的方法确定。从而可以得到如下情形:
更加特殊地,对上式取,我们就有:
这是考研数学中常见的极限形式。遇见这类题型时,如果能成功化简为上述形式,且定积分好求时,极限问题就迎刃而解了。
形式统一比大小
事实上,积分就是求和,求和就是积分,而积分对应连续量、求和对应离散量。二者既是对立的又是统一的,并且在一定条件下可以相互转化。
当我们在求解问题时,遇见既有积分项又有求和项的问题时,通常我们需要将其化为统一的形式。
例:设 在 连续,
试证
【分析】为了完成积分与求和的统一,我们利用积分的可加性将积分项进行求和化:
当然,求和符号的上下限应该与求和项保持一致。另一方面,我们再将求和项的通项积分化:
于是,待证不等式的左式(Left Hand Side)为:
注:本题所给的已知条件实则被称之为 Lipschiz 条件。
对于一个函数 如果对于点 的某一邻域内的任意两点 和 满足不等式
这里 是一个常数。则称这个不等式是利普希茨条件(Lipschitz condition), 是利普希茨常数(Lipschitz constant), 是关于 的利普希茨函数。
对于积分求和的统一相关的不等式,不仅可以用于不等式的证明,还可以直接利用于和求和项有关的极限求解上(借助夹逼准则)。
事实上,本文在夹逼准则专栏给处的各类常用不等式中,也直接把这一类的不等式关系列举了出来,考生应当熟悉掌握。
重要题源
例:设 在 单调递减, 且连续,
试证明,数列 收敛.(1999年真题)
【方法一】证明数列收敛,常规方法是通过证明数列单调有界。而单调有界的实质就是不等式,再结合通项的形式是求和项与积分项同时出现的情况,我们考虑进行拆分。
从而 单调递减有下界,由此数列收敛。
【方法二】利用数列收敛与级数收敛的关系,有:
从而考虑下面的一般项:
其中,. 下面再来考虑无穷级数
显然是收敛的,于是根据比较判别法,一般项为 的无穷级数也收敛,进而原数列收敛.
可积性问题与变限积分
函数在区间上的可积性
必要条件 若 在 上可积,则 在 上有界
充分条件 若 在 上满足下列条件中的一种,则 在 上可积。
- 在 上连续;
- 在 上有界且只有有限个间断点;
- 在 上单调.
其他结论 记,则有:
- 若 可积,则 连续;
- 若 连续,则 可导;
- 若 仅有有限个可去间断点,其余点均连续 ,则 仍然可导;
- 若 存在跳跃间断点,则 不可导,因为在 处左右导数不相等;
关于变限积分的周期性和牛顿莱布尼茨公式等相关性质见上一节。
反常积分的敛散性判别
反常积分的敛散性
常见的广义积分
比较判别法
设 在 连续,且,则:
- 若 收敛,则 收敛;
- 若 发散,则 发散.
由上述比较原理,可衍生出其极限形式:
- 设 在 连续且非负,若,则有:
- 当 时,即 时, 同敛散;
- 当 时,若 收敛,则 收敛;
- 当 时,若 发散,则 发散.
对于瑕积分,也有类似的结论。
- 设 在 连续,取,若,则有:
- 当 时,即 时, 同敛散;
- 当 时,则 收敛;
- 当 时,则 发散.
其中,我们常常通过“等价无穷小/大”的方法(根本原理是其极限形式的第一种情况)将一个较为复杂的反常积分的敛散性等同于较为简单的反常积分的敛散性。
一般情况下,我们更愿意把后者化为常见的反常积分形式,从而直接判断。
解题步骤与例题
- 找到可能的瑕点以作拆分(在积分区间内被积函数没有定义的点,包括无穷远点)
- 找到等价量利用判别法进行同敛散判断(通常是等价无穷小量和等价无穷大量)
- 难以找到同敛散等价量时,考虑构造合适的 利用瑕积分的判别结论
【例题1. 2010年真题】设 均为正整数,则反常积分 的收敛性是否与 有关,如果是请给出满足收敛的条件。
【分析】找到瑕点. 于是将原积分拆为两个积分,分别进行判断。
- 对于区间 有:. 由于 均为正整数,所以 恒成立,由 积分的结论可知,此部分收敛;
- 对于区间,令 ,则有:
且 在 的积分收敛。
综上所述,原反常积分收敛,与 的取值无关。
不定积分计算手册
基本积分表与常见恒等式
拓展:分部积分表格法
分部积分表格法
例题 求
步骤
- 将被积函数以乘号进行分割 并 绘制两行表格
- 将可以连续多次积分的一项放入第二行,可以连续求导最终求导为0的一项放入第一行
- 依次对上下两式求导和求积,如图所示,直到上一项导数为0
- 将表格从左到右交叉相乘,系数交错取
- 最终合并,得到结果(别忘了)


于是得到结果:
证明和推导
于是,可总结出如下表格:
有理函数积分
有理函数不定积分
对于有理函数积分,通常我们可以将其划归为求解真分式积分,而真分式又可以通过分式分解化为有限个简单的有理函数积分。
因此,我们的基本目标是对裂项方法、简单积分求解进行处理。
最后,我们再来讨论一些通过凑微分、换元的其他类方法。
- 利用立方差公式进行变形化简
- 利用部分分式分解进行拆项化简
- 利用完全平方公式进行配方化简
- 利用上下同除的恒等变换凑微分
- 基于三角函数恒等式进行三角换元
部分分式分解
对于分式有理函数 如果分母 有根,则可将其进行分解。根据根的不同而不同。
当根均为单实根时,有,此时:
当根存在重实根时,有,此时:
当根存在共轭复根时,将此项写作,则有:
对系数的求解有多种方法,其中最简单的即是将拆分后的结果乘回去,利用待定系数法定出系数,这种方法我们不再阐述。下面引入复变函数中常用的留数法定系数。
- 有单根时,我们有,其中 是所有分解项中,第 项的分子系数。
- 有 r重根 时,我们有
其中, 是重根 的分解项中第 项的分子系数。
注:上面使用留数法时,并未限定必须是实根,即当根为复数时留数法规则不变,同样适用。我们只需求解之后再通分化为实数形式即可。
简单有理数积分
- 型(略)
- 型
对于这类积分,我们通常的处理办法是:改造分子使其以分母中的二次函数的导函数形式现身,进而将积分拆分,最后逐个击破。
对分母进行配方:
从而,拆分之后的第一项积分可以直接利用第一类简单积分求得,第二项可以通过三角换元求得。
根据分母改造分子型
问题
【分析】利用立方和公式将分母分解,然后根据分母凑分子:
值得注意的是,通过凑分子拆开之后,需要把 的分母再还原回最初的模样,此时即可发现 可通过凑微分直接解决。
问题.
【分析】本题分母极具迷惑性,很容易想到利用立方和公式对分母分解,最后利用常规方法裂项定系数求解。但事实上本题可以上下同时乘以 凑 降次。
问题.
【分析】根据分母将分子凑出,于是:
同➗法凑微分型
【例题1】
分析:求解该问题当然可以用有理函数通用解法利用四次方和公式进行拆项。但是本题还有一种更加巧妙的凑微分方法。即上下同时➗:
然而由于同时➗,所以导致原本在 处有定义的被积函数的积分(原函数)变得没有定义了。因此不能将结果直接得出。我们应该补充定义,使得 在 处连续!
【例题2】 . 事实上,求解方法如法炮制,一模一样!(本题可以不用补充定义)
事实上,根据”例题1“和”例题2“,我们可以更进一步推广得到对于形如这样的任意四次函数积分: 都能同时除以 处理。
【例题3】. 由”例题1“和”例题2“可得:
可以更进一步推广得到对于 都能这样处理。
【例题4】
利用立方和公式将分母分解,然后根据分母凑分子:
其中 就是”例题3“的推广, 我们仿造上一节的分解并还原的思路,把分母还原回去之后,又可以凑微分 . 最后本题迎刃而解!
【例题6】,. (换元法)
奥斯特罗格拉茨基方法
三角有理函数积分
三角有理函数积分
定义以 表示将函数 经过有限次的四则运算得到的二元函数。我们称 为三角有理函数。
理论上,任意三角有理函数都能通过 万能公式 将其化为有理函数,从而规避三角函数问题,直接求有理函数积分即可。
当然,并非转化之后的有理函数积分就易于求解。因此,我们还应该具体问题具体分析,深入挖掘每一类题巧妙的解法!
万能公式换元法
令 ,得:
问题. (答案:)
注:当被积函数中的三角函数项的次数太高时,不建议使用万能公式求解,因为转换后得到的有理函数次数会更高,难以求解!
化简分母法
- 分母为 型
- 通过同时乘以共轭表达式进行化简.
- 由倍角公式: 缩分母.
- 分母为 型
- 利用辅助角公式: .
- 同时乘以共轭表达式进行化简.
同乘共轭表达式举例:.
奇偶性凑微分
- 若,即三角有理函数 关于 为奇函数,则应该想办法用 凑.
- 若,即三角有理函数 关于 为奇函数,则应该想办法用 凑.
- 若,即三角有理函数 关于 对称,则应该想办法用 凑.
问题.
【分析】验证得出被积函数满足关于 cos(x) 为奇函数,从而为了凑微分,上下同时乘以一个 cos(x) .
问题.
【分析】验证得出被积函数满足关于 sin(x) 为奇函数,从而为了凑微分,上下同时乘以一个 sin(x) .
令 则有:
再裂项并回代即可。
问题.
【分析】验证得出被积函数满足关于 sin(x),cos(x) 对称,从而为了凑微分,上下同时除以一个 :
令 问题就化为求解有理函数积分 :
注:事实上本题尚未结束。我们给出的情况是 时的积分结果。本题实际上理应分三种情况分类讨论才能得到完整答案。
♾️问题.
【分析】验证得出被积函数满足关于 cos(x) 为奇函数,从而为了凑微分,上下同时乘以一个 cos(x) :
【另解】本题还可以通过分部积分+积分重现的方法快速求解:
类似的思想可以指导我们计算 的递推公式。
♾️问题.
【分析】验证得出被积函数满足关于 sin(x),cos(x) 对称,从而凑微分:
上下同时 :
【另解】本题可以利用倍角公式不断降阶化简。
类似的思想可以指导我们计算 的递推公式。我们有:
- 当 有奇数时,直接凑微分;
- 当 均为偶数时,反复利用倍角公式降阶。
组合性凑微分
对于形如 的三角函数积分,都可以通过将分子 凑成: 的形式。从而有:
其中,利用待定系数法可将 求出。
不断降阶化简
- 尝试使用 、 诱导公式、万能公式、倍角公式、积化和差、和差化积 等三角函数公式不断对高次项降阶,从而化为我们熟悉的低阶形式再积分。
如:
♾️问题.
含三角函数的不定积分求解思路:
- 尝试找寻整块可分部积分的特殊函数
❤三角有理式
简单无理函数积分的求解
简单无理函数积分
所谓简单无理函数积分通常是指在被积函数中含有形如 或 这样的根式的积分。这类积分通常我们直接利用换元法处理。
- 对于第三种根式,我们通过配方的方法将其化为 的一种,然后使用三角换元解决。这将在后文中阐述。
事实上,即使是形如 的根式也可以直接换元!!
问题. (答案略)
♾️问题. (同济《高等数学》课后习题)
三角换元及其取值范围
在求解简单无理函数积分时,我们指出对于含根号下二次函数的情况应该利用三角换元。事实上,即使没有根号对于出现这种形式的式子也应该考虑是否可以使用三角换元使其变得更加简单。
下面我们先给出三角换元的具体情况:

对于 类的换元,由于其可能取负数,因此在根号下换元时应当考虑正负情况以分类讨论。
问题 计算不定积分
解法一 利用三角函数换元:
分母根号项可以进行配方
令,则
解法二 构造巧妙的换元方式:
令. 这种换元方法巧妙之处在于,将根号项换元为带 的式子,而非纯 的式子。
此时两边取平方时可以将含有 项抵消。
于是得到:,从而:
特殊无理积分的倒代换
当被积函数分母的最高次数高于分子最高次数时,可以考虑做倒代换。
对于形如 其中 的积分,有一种特殊换元方法,即直接令 !
💦问题. 本题同样可以利用常规思路,对根号下的二次函数配方,然后利用三角换元。而如果我们令 则有:
后续直接利用公式即可!
巧用分部积分解决不定积分
分部积分的注意事项
谁怕谁先上
多个不同类型的初等函数乘积出现在被积函数中时,我们通常需要把最害怕被求导的一项想方设法让他被求导。因此,我们需要将除它之外的函数凑到后面。
下面我们总结出常见的可整块函数一起被凑的结论。(不含)
- 快速甄别可整块分部积分的常见函数:
🦄要凑就凑巧
在分部积分时,我们可以通过多次凑微分、对凑出来的微分加项减项、利用 的特性等方法使得分部之后的结果更简洁。
❤️ 加个常数未雨绸缪凑微分
♾️问题.
不难发现,对数函数与反三角函数求导之后的结果将会变得简单。为此,我们需要把 凑到后面。而凑的过程中,我们发现余下的函数求导会导致分母出现 ,所以我们不妨凑的时候直接凑 :
利用分部积分,得到:
而后两个积分,第一个也可以继续凑 ,第二个直接分部积分即可。
❤️ 分母高次方凑微分
♾️问题 (答案)
❤️ 相关的凑微分
- 当被积函数是 的函数时,通常可以凑:
- 一类 题源:
问题. 不难发现,上下同时乘以 之后,分子正好就是 的导函数。于是可以整体换元。
❤️ 强行凑微分
♾️问题.
首先我们考虑到,因此,我们考虑求 求导。
如果结果正好和分子匹配那将皆大欢喜,否则如果我们可以改造分子强行凑微分。
接下来继续分部积分即可!!
♾️问题.
切勿操之过急
在前面求解无理函数积分时,我们提出了换元的思想。而在换元过程中,我们未必需要把微分结果表出。
如:,一般情况下我们会直接得出 然后继续计算。
而有的时候,如果我们仅仅写作 之后再计算过程中分部积分,则反而更利于计算。
总而言之,在遇到既需要换元又需要分部的题目时,我们先换元然后酌情分部。
♾️问题.
【分析】首先被积函数出现根式,我们整体换元:
从而有:
不难发现,我们如果将 写开,式子将十分复杂反而不利于我们遵循“谁怕谁先上”原则。
🦄积分抵消的来源
一般地,当一个题目出现拆项+分部积分实现积分抵消的效果时,其实际上来源于:
即被积函数中有指数函数。当然,也有例外,但基本规律都是求导法则。
对于这类问题,一般的求解思路是将积分拆成两项,然后分别(或者只变动一边)进行分部积分,使得分部积分后还原出可抵消的积分项,从而实现化简。
问题
【分析】直接利用型构造函数方法处理:
♾️问题
【分析】对于这个题而言,由于没有明显的可拆项,所以我们回顾这类问题的源头,既然会引入被积函数会引入 的导数,所以我们应该要想到把 引入,从而想到应该出现,再结合已给定的 进行改造。
♾️问题
【分析】如果直接拆项将难以解决问题。我们应当将分母降次再拆分。
♾️问题
【分析】参考之前的思路,我们为了对分母降次,对分子进行 操作。之后再打开平方和公式,将分母高阶项定住,对分母低阶项进行分部积分。
值得注意的是,本题对低阶项分部积分的时候如果不改写凑出来的微分()将抵消不了结果。
【答案】
🦄复杂因子求导出奇迹
在前面的“要凑就凑巧”一节中,我们给出了以 的出题模板。事实上,这类出题方法可以不局限于指数函数。有:
如果是抽象函数,乍一看会十分简单。但是如果代入具体的函数,复杂程度就会增加。
如下面几道题:
问题
【分析】不难发现,本题在前面的“积分抵消的来源”一节中也出现过。现在我们利用这类的思想解决它。首先将分母提出一个 于是有:
如果我们对 求导,会惊奇地发现其结果正好是,于是本题直接凑微分即可解决。
显然,本题就是将模板中取:.
♾️问题
【分析】分母提出一个 即可!
组合积分法+钓鱼积分题
定积分计算手册
定积分奇偶性公式
区间再现导出结论汇总
区间再现导出结论汇总
【区间再现公式】
事实上,所谓的区间再现公式只不过是一个定积分的换元法,而熟记这个公式可以不需换元即可看出代换后的效果.
下面我们将给出区间再现常用的导出结论,这在求解定积分时可快速写出结果.
结论1
证明:
结论2
证明:
结论3
证明:
结论4 设函数 连续,且满足,则有:
Wallis公式(点火公式)
华里士公式| Wallis
此外特别地,通过 换元,还可以得到:
转化为二重积分求定积分
转化为二重积分求解定积分
常有一类一元函数定积分问题,其被积函数本身对应的不定积分或者说原函数是无法用初等函数表示的,或者即使能表示也十分复杂。这时我们明确我们的目标是求定积分而非不定积分,所以应该充分考虑到被积函数的形式,将其进行转化。
常用的方法有:
- 转化为二重积分,并结合交换积分次序的方法简化计算
- 将被积函数的一部分写成无穷级数的方式,利用无穷级数的符号可交换性处理
- 对整个定积分引入参数,通过含参积分求导得到原积分关于 的函数关系,最后求解
问题 设 是在 上满足 的连续正值函数,求其在该区间下的平均值。
待更
利用无穷级数求定积分
无穷级数求解定积分
待更
※利用含参积分求导解定积分
含参积分求导解定积分
待更
伽马函数和常见积分结论
伽马函数与泊松积分
考察 反常积分.
该积分叫做 欧拉-泊松积分,是十分经典也十分重要的积分结果,在概率论中也常有使用。
在前面⌈利用二重积分计算定积分⌋部分,我们给出了其中一种证明方法。事实上该积分的计算方法还有多种,详见拓展知识。
泊松积分是伽马函数 在 处取得的结果。下面我们来介绍伽马函数的相关定义与性质。
伽马函数 定义 关于变量 的函数.
- 显然有
- 当 时,
- 可以证明:
- 反复利用上述递推公式,有:
- 有 余元公式:
- 根据余元公式,令 再适当换元即可得到泊松积分
参考:
常见积分结论
- 欧拉积分(Euler)
- 泊松积分(Euler-Poisson)
- 菲涅尔积分(Fresnel)
- 狄利克雷积分(Dirichlet)
例题收集
问题 求定积分.
答案
本题蕴含了 区间再现、奇偶性公式、点火公式等方法技巧,是一道很经典的例题。
问题 求定积分.
答案
解 不定积分无法直接求,于是考虑对被积函数进行变换:
于是:
另解 |思路来源|Youtube
在处理被积函数中,发现因为的出现,我们很难进行求解。而在回忆各类与有关的导函数时,我们注意到如下规则:
这里,事实上是对求导,而作为一个.此处我们换一种思考,将其变换为如下形式,并且对求导,就能搞出一个出来了。
于是,可构造函数:
显然有.
又:
于是:
于是
问题 在实数集上的单调递增可微函数 满足:
(1)
(2)若的反函数是,对于任意有.
如果,(互质),求的值。
问题 设,计算定积分.
问题 设,求.
问题 计算反常积分
提示:令 做区间再现,使得原式复现
双线性变换方法
积分学的运用
几种常见曲线的表达式与图示
一元函数积分学的几何运用
在定积分的定义阐述中,我们利用曲边梯形面积进行分析和处理。这也揭示了极限与微元在求解具体问题时的方法论。根据这类知识(统称为 微元分析法),我们可以用来求解其他问题。包括:平面面积、曲线弧长甚至是物理学上的应用。
对平面面积的应用我们此处适当略过。只需注意,对于直角坐标系取微元时,我们视其为长条矩形,对于极坐标,视其为长条等腰三角形。
下面我们将介绍平面曲线的弧长,以及弧微分。这对我们之后要学的曲线积分有极大帮助!
平面曲线的弧长
设曲线弧由参数方程 给出,且函数有连续导数。在 中任取一区间 的小弧段,则其长度近似于弦长:.
于是有:
- 若可以显式表示曲线 则有:,这也被称为 弧微分。
极坐标方程也可以推导得出:
平面曲线的曲率
平面曲线的曲率 及其曲率圆半径 表达式如下:
旋转体体积
绕 轴
绕 轴
🦄 绕 旋转
其中, 是任意一个区域内的点 到直线 的距离:
旋转面的侧面积
利用微元分析法,将每一份微元都视为圆台的侧面积。
若 为直线段,长,端点 的纵坐标分别为 则有圆台侧面积大小:
于是可得不同情况下的侧面积。
特别地,曲线 绕 轴旋转得到的侧面积,有:
下面我们将以上几种几何运用整理得到的表展示如下:

🦄 古尔丁定理
待更
问题 设曲线和轴围成的区域为,绕轴旋转得到旋转体体积为.
(Ⅰ)求;
(Ⅱ)求极限
解 有:,令,得:
于是:
一元函数积分学的物理运用
抽水做功问题:
空间解析几何
向量的乘积及其几何运用
向量的乘积
设 为两个向量,不妨设其维数均为 3. 则这两个向量即为三维空间中的任意两个向量
我们以常用的右手坐标系为准,将所得 坐标系的三个两两垂直的基向量 记为.
从而可用 坐标 的形式表示这两个向量。下面给出其矩阵向量表示和坐标向量表示的对应关系:
可见,向量 是通过对应维度的基向量线性组合而成。
- 数量积
向量的数量积也称为向量的内积或点积,记为 或. 规定:
其中, 是两个向量之间的夹角;
表示对向量 取模,也即是 的二范数,也是 与坐标原点 的欧氏距离。
利用坐标计算的话,还有. 即对应元素相乘的累加。
在几何运用上,我们可以通过数量积来判断两个向量 的夹角 的大小:
特别地,有:
根据三角形的几何关系,还可以导出另一个右移结论:
在 上的投影:
- 向量积
向量的向量积也称为向量的外积或叉积,记为. 规定:
求解上式一般对第一行按行展开即可。
其结果还可以进一步写成:
将最后结果中左边的三阶矩阵称为 向量 的叉乘反对称矩阵.
与内积结果是一个数不同,外积结果仍为一个向量。
此外,还有外积的模满足:
通过外积得到的向量也具有其空间几何上的意义:
记 是与 都垂直,且方向沿着 满足右手定则的向量。
换句话说, 向量 是 由 所确定的平面 的法向量。
更进一步,我们可以根据外积的模的特性,用于计算点到直线的距离:
其中, 是直线的方向向量, 是由目标点 指向直线上的一点 构成的向量。
向量积的运算不满足交换律,但是有:. 负号在向量中表示方向相反。
不难发现,根据向量积的几何意义,交换次序之后得到的就是与原法向量方向相反的另一个法向量,因此结果自然只相差一个负号。
- 混合积
规定 是三个向量 的混合积。
显然,在数值上混合积的大小就是列向量组 的行列式的值。因此,其各种特性与行列式的性质相同,可移步至本文章线性代数部分进行探究。
在几何运用上,混合积可用于判断三个向量是否共面,共面可推出混合积为0.
即:
不仅如此,混合积的绝对值还可以用来表示以 为棱的六面体的体积!
平面、直线、平面束与公垂线
平面方程
| 名称 | 方程形式 | 说明 |
|---|---|---|
| 一般式 | 是平面法向量 | |
| 点法式 | 法向量同上,且是平面上一点 | |
| 截距式 | 均不为0,分别是在轴上的截距 |
利用混合积的知识,还可以通过如下方式确定一个平面:
- 已知平面 上一个点
- 已知与 平行的两个不共线(线性无关)的向量
- 如果 (2) 不成立,但是还知道平面 上另外两个点,则可以通过两两组合得到条件 (2)
那么,平面上任意一个点 与 构成的向量与已知的两个向量必共面,从而可确定平面的方程为:
直线方程
| 名称 | 方程形式 | 说明 |
|---|---|---|
| 一般式/交面式 | 直线由两个不平行的平面的交线构成,其方向向量可通过外积求得 | |
| 点向式/对称式 | 是直线上一点,直线方向向量为 | |
| 参数式 | 令点向式=t可得 |
平面束方程
过一条直线 的全体平面构成一个平面束。在根据各种几何关系求解一个平面方程时,往往可以通过平面束方程来建立联系,从而求出具体的平面方程。
平面束方程表示为:
其中, 是不同时为零的任意常数.
公垂线方程 🦄🦄
设直线 分别过 点 ,其方向向量分别是.
则,如果两直线异面,那么它们所过定点构成的向量 与方向向量 三者必不公面,即有:
根据混合积的几何运用, 即是以三者为棱构成的六面体体积。根据几何关系可以判断出,该六面体如果以 为底面积,那么它的高就是公垂线的长度 。于是:
此外,公垂线 的方向向量 ,根据几何关系,有 构成的平面 和 构成的平面 的交线正是公垂线!
从而根据平面方程的混合积构造法,可得到公垂线 的方程如下:
空间曲面与曲线
常见曲面

旋转曲面
- 空间曲线表示
若两曲面 交成曲线,则曲线 可通过这两个曲面方程构成的方程组表示,这种表示法称为曲线的一般式或交面式(与直线方程是类似的)。
- 空间曲线的投影
将空间曲线 的一般式消去,得到,则 在 平面上的投影曲线方程可表示为:
- 旋转曲面 🦄🦄
如果将空间曲线 绕一直线 旋转而形成一个曲面,那么空间曲线 ,即 母线 上一点 和 旋转曲面上任意一点 满足:
- , 是直线 的方向向量;
- , 是直线 上一点.
即是旋转曲面上的任意一点 都满足上述约束条件。因此我们可以通过联立构建方程组,将全体满足上式的 “锁定”出来。
于是,旋转曲面的方程为:
特别地,当我们只考察 曲线绕 轴旋转 的旋转曲面时,其方向向量不妨取,直线上的参考点不妨取坐标原点. 于是有:
继而得到:.
其中, 是由方程组 消去 得到的。
切平面与法线
注:该部分内容涉及到多元函数的偏导相关内容,具体定义和含义参见下一节.
若空间曲面,其中 是曲面上一点,则 在 点的切平面方程 为:
曲面在该点处的法线方程为.
其中,要求函数 在点 处的偏导数不全为零,即:
切线与法平面
如果是由参数方程确定了空间曲线,则有:
如果空间曲线 ,则其切线方程为:
这是很显然的,因为曲线由两个曲面相交得来,那么两个曲面的切平面相交即可得到曲线的切线。而我们可以利用前面的知识,将 交面式方程 转化为 点向式方程。
这是从数值上来理解,而接下来我们将解释点向式方程中这个方向向量,即切向量的由来:
切向量的确定逻辑是:曲面 在 点的梯度方向 与 曲面 在同一点处的梯度方向 叉乘 得来。即切向量是一个同时垂直于两个曲面梯度方向的方向。
以上公式为了书写方便,其中的偏导数都是指在指定点 处的偏导数(是具体数值),而非偏导函数。
多元函数微分学
极限与连续性
二元函数的极限与连续
🦄 设函数 在区域 内有定义,点 或为边界上的一点。
若 在点 满足 时都有:
则有 或 或
多元函数极限存在 要求 函数变量从任何方向,以任意路径趋于指定点时,其极限均存在且值相等。
这是显然的,一元函数在一维空间中的路径只有 ,而二元函数在平面中的路径更多,如果找到一条极限不存在,即可推出整个极限不存在。
若 则称 在 处连续。
如果在 上的每一个点都连续,称 在 上连续。
- 若函数在 处不连续,则该点称为 的间断点,对于二元函数,间断点的全体集合可以是一条曲线,我们不讨论间断点的分类.
- 与一元函数类似,在有界闭区域连续的二元函数,也有:有界性、最大值最小值定理、介值定理。
偏导数、可微性与全微分
二元函数偏导数
偏导数的本质是一元函数的导数.
函数 在点 处对 的偏导数 有定义:
对于点处的混合偏导,有:
👉🏻若 在 上每一个点都有偏导数,那么其偏导数也是关于 的函数,我们称作 偏导函数,仍然简称为 偏导数。
👉🏻求对 的偏导函数时,只需暂时将 看作常数,用一元函数求导方式处理即可。
定理 设 与 在点 处连续,则它们的值与求导先后次序无关。即:.
事实上二元函数的偏导数记号颇多,如 本文不再做过多介绍~
二元函数全微分
设 在点 的某领域内有定义,分别给 以增量,得到
称为 在 处的全增量。如果全增量可以写成:
其中, 与 都无关,.
则称 在 处可微,将下式称为函数 的全微分:
- 可微的必要条件 若函数 在 处可微,则 均存在,且有.
- 可微的充分条件 若函数 在 处的两个一阶偏导数 都连续,则 在该点可微.
最终得到如下关系图:
🦄证明可微的充分条件
证明极限不存在与求极限
证明极限不存在
对于二元函数的极限问题,由于其极限存在的条件苛刻,因此从路径选取的角度上就可以将一类函数的极限判断为不存在。
- 按某条路径求极限,其结果发散
- 按多条不同路径求极限,得到的结果不唯一
- 以某个参数 的函数假定 的关系,从这个路径上求极限,结果与 有关(这是第2条的一般化表示)
分母可以为零型
对于分式二元函数,如果分母存在等于0的情况,我们可以构造一种类似于泰勒展开的路径证明其极限不存在。
如: ,分母为,当且仅当 时,函数没有定义.
此时,我们可以取 如 这样的路径求极限。不难得出此时极限不存在,进而得以证明二元函数的极限不存在。
特别注意的是,如果极限是 ,则极限存在且为0.
这是因为:
前者有界,后者无穷小,因此结果是0.
此时不能取 的原因是,当 时,, 这与 矛盾.
这里用到一个结论,无穷小的正负只与其最低阶的符号有关,如.
【注】 不同教材对 极限的定义 有所不同,例如有些定义中,指出因为分母为0无定义,所以立即推极限不存在。
而一般情况下我们并不采用这种定义方法,当一个极限问题给出时,我们默认在定义域内讨论其极限的存在性。
极坐标变换
👉🏻对于分式二元函数,如果函数形式可以通过极坐标变换化为较为简单的形式,那么可以加以利用从而证明其极限不存在。
如:
作极坐标变换,则原式化为 ,极限值随 变化而变化,因此极限不存在。
更进一步地,我们可以得到如下结论:
【注】这里能够得出 时极限为0,是因为 此处 是可分离的,且关于 的函数是一个无穷小量( 在非直线路径的情况下也是 的函数),关于 的函数是有界的,因此可以这样处理。并不是所有题都能这样做。
下面讨论一个进阶结论,及其结果:
其中, 为正偶数. 则:
👉🏻其他常用的选择路径: , 等.
👉🏻对于分式二元函数,一般情况下,我们可以对分母通过重要不等式 对极限放缩从而利用夹逼准则。而取等号的条件是,所以我们还可以利用取等号的条件选择路径.
常用二元函数极限求法
👉🏻 均值不等式放缩法
👉🏻 极坐标变换法
经典反例与做题技巧
连续与偏导的经典反例
♾️ 二元函数连续但不一定可偏导 如 圆锥面:
♾️ 二元函数可偏导但不一定连续
该函数在 处可偏导且偏导数为0,但是并不连续。证明如下:
而取路径 路径判断连续性:
与 有关,因此极限不存在,即在 处不连续.
事实上,此处的极限还可以利用上面推导出来的结论,由 从而得出极限不存在
♾️ 混合偏导不一定相等
计算 时的一阶偏导:
令 得,同理得.
根据混合偏导的定义,得:
而 二者并不相等!!
♾️ 可微不一定偏导数连续
计算点的偏导数
在求一个点的偏导数的时候,因为偏导数本质是一元函数的导数,因此我们可以直接将非变量的值直接代入再进行求解。见下例:
设,求 的值
解 。这比先求出 再代值更加快捷!
。
比起用上一种方法(直接令 再求 的偏导再然后再代值),这个方法直接回归定义,反而还极大化简了式子!
二元函数在某点处可微
- 利用可微的必要条件可以证明不可微,即证明 在点 处不连续或不可偏导
- 利用可微的充分条件可以证明可微,即证明 在 处连续
- 🦄利用可微的定义:
要证 只需证 成立。其中,.
进而可以分为以下步骤进行:- 考察 是否存在,如果不存在就不可微,否则继续;
- 考察 是不是 的高阶无穷小,成立即可微,否则不可微。
第二步的考察方法通常为计算下列极限是否成立:
基于可微定义的类题
(2007年)二元函数 在点 可微的充分条件 是:
- 且
答案
选项(1)只能得出连续,推不出可微
选项(2)只能得出偏导数存在且为0推不出kew
选项(4)表示的意思是在固定某一变量为0时,一个偏导数在处连续,这与偏导数连续是不一样的。偏导数是关于 的二元函数,偏导数连续的符号表示应为:
选项(3)是正确的.
回顾全微分的定义,要求的是存在常数 使得,因此选项(3)给出的是 的情况.
(2012年)设连续二元函数 满足,求.
答案
由于极限存在且为0,不妨直接取分子恒为0,即,从而秒杀本题.
下面从微分定义介绍完整解法.
由函数连续且极限存在,易知分子的极限存在且为0,即.
从而.
于是:
从而有,因此:
(2012年)若 在 处连续,则下列选项正确的是:
- 若 存在,则 在 处可微
- 若 存在,则 在 处可微
- 若 在 处可微,则 存在
- 若 在 处可微,则 存在
答案
对于选项(3)(4),不妨令,显然极限不存在,结论不成立
对于选项(1)(2),可以利用如下的无穷小极限性质:
若 存在,则 或.
因此,当分母变得比 低阶时,假设变为了,则显然对应极限仍然存在,且为0;反之,当分母阶数升高时,则极限可能不存在。
总而言之,固定分子时,分母越低阶越好。
本题要求证明可微,而根据前提条件,知,从而凑微分定义时,需要以 做分母的极限为0。
根据上述性质,如果选项(2)的极限存在,那么选项(2)的分母降阶为我们所需的 时,极限一定存在其为0。
因此本题选(2)
多元函数为常数的条件
已知偏导数求二元函数
该类问题可以转化为求一元函数微分方程的问题,即:
类似地可得到偏 的结果。再结合其他已知条件即可解出原函数.
在考研中通常不会单独考察这类指知识,而是结合后面的极值问题一并考察。不仅如此,有可能涉及变量替换而混淆做题者的思维,下面给出一例题:
【例题】 已知二元可微函数 满足 ,且 ,设 求:
- 的表达式;
- 求 的表达式,并求其极值.
【分析】本问题并没有直接给出 的偏导函数,而是给出两个偏导函数之间的恒等关系,似乎无法入手。并且做变量替换的目的也并不清晰。好在第一问的做法比较清晰,我们可以走一步看一步。
自此,我们似乎发现问题的题眼,虽然已知偏导数的恒等关系不能反求原函数,但是如果做适当的变量替换,我们可以将其变换为其中一个变量的偏导数。于是,我们就可以用第一问的结果做积分反求原函数了!
这时我们发现,还有已知条件没用上,想来必然是用于给我们确定 的。
最终,我们再将变量代回,即可得到原函数。
最后得到极值。
多元复合函数求导与泰勒公式
多元复合函数求导法则
全导数 设 在对应点 处可微。在复合函数 在 可导,有:
链式法则 设 在点 处有偏导数,而对于 在对应点可微。则 对 的偏导数为:
一阶全微分形式不变性 对于 有:
这是显然的,因为对于可微二元函数 其全微分就是如此。而如果将该结果与上面的 链式法则 结论联立,即可得到:
隐函数存在定理
隐函数存在定理 如果二元方程 满足以下条件:
- 函数 在点 某领域有连续偏导数;
- ;
则方程 在点 某领域恒能唯一确定一个连续函数,满足,并且有连续导数,且:
该结论可推广到三元函数,用方程 确定一个函数:
更进一步地,如果有 确定的隐函数 则可以通过两边分别对 或 求偏导,得到方程组(这里仅以对 为例):
该过程利用了线性代数中的克莱姆法则,其中的 又称 雅可比(Jacobian)行列式.
关于隐函数问题的求解,重在理解其求解思路(如两边求偏导),而不是硬套公式。
计算前,首先要明确函数关系:哪些是自变量哪些是因变量. 一般来说,有几个方程就确定几个因变量。
明确变量之间的关系后,推荐使用两边求全微分再搭配链式法则的方法求偏导。
还有一类题型要求判断通过关于 的恒等式判断是否可以据此确定具有连续导数的隐函数。
此时,我们通常降恒等式移项,构造 ,通过验证 对应的 来判断是否存在隐函数 。同理,验证 对应的分母 判断存在 与否。
例题 设 求
答案
解:根据题意,此处应该把 视为自变量, 为因变量。再由 知 应该是 的隐函数。目前未知数是 方程个数为 2 ,于是可确定 也是自变量。
对两个方程求全微分:
从而,有
联立两式,消去 项,取题目所需的 . 得:
二元函数的泰勒公式
设 在点 的某领域 有直到 阶连续偏导数,则:
其中的 为余项,称 称为 佩亚诺余项。
另外,式中还有:
该记号针对偏微分时有其特殊含义,应区别于普通的幂次。
※ 多元k次齐次函数的性质及运用
定义 若 元函数 满足
就称函数 为 元 次齐次函数.
例如:
k次齐次函数的性质
【性质1】 二元 次齐次函数 可以化为 的形式,反之亦然.
证明:因为,令 则:
记,则必要性证明完毕.
下面证明充分性,若,则:
证毕.
【性质2】 设 次齐次函数 一阶连续可偏导,求证,反之亦然.
证明:已知,两边对 求导,得:
从而:
令 则证明必要性.
下面证明充分性.
已知,做变量替换: 得:
显然左式是 对 求导再乘 ,即:
解此微分方程:
令 解出,从而有:,证毕.
此结论可拓展到 元函数.
若,一个 元 次齐次函数 满足:
该定理被称作 欧拉定理 !!
【常用技巧】 对一个二元 次齐次函数 做极坐标变换,可利用齐次函数的性质进行化简解题. 此时有:
例如:设 是定义在区域 上的有界函数,且为 次齐次函数,证明.
此问题通过极坐标变换就可轻松证明。
【经典例题1】 设 是具有二阶连续偏导数的 1 次齐次函数,证明
解:由欧拉定理,,两边分别对 求偏导,得:
当 时,显然结论成立,即
当 时,由于 二阶偏导连续,所以此时也应该有 ,否则 这个路径下二元函数 存在间断点,与题设矛盾。
综上所述,.
【经典例题2】 证明函数 是二元零次齐次函数的充要条件是
证明:由 对 求导再令 (即欧拉定理的推导过程)即可证明必要性。
下面尝试不用前面的推导,转而采用极坐标变换的方法来证明此问题的充分性。
同时乘除 利用条件得到:
即是 ,说明 与 无关,仅与 有关,即是.
通过齐次函数的【性质1】可得该函数为 零次齐次函数,证毕.
【经典例题3】 设在 内 的一阶偏导连续, 都有.
证明对 内任意分段光滑有向简单闭曲线 都有.
证明:要证 只需证 (格林公式)
其中, 为 上任意的曲面,并且被积函数连续因此要使等式成立,必有:
由欧拉定理可得此结论,从而原命题证毕.
根据充要条件,本问题的逆命题同样成立.
多元函数的极值与最优化
多元函数的极值问题
如果 的某个领域 使得 那么称 在 处取得极大值,极小值类似。称 为极值点。(注:当且仅当在 处取等)
- 如果有 则称 点 为 的驻点。
- 若 在点 处有偏导,且在 处取得极值,那么
- 若 在点 处偏导无定义,也有可能存在极值点,如 在 处是极小值,同时也是最小值
- ♾️具有偏导数的极值点一定是驻点,但驻点不一定是极值点。 反例如下:
经典反例:https://www.zhihu.com/question/20516102/answer/15353495
设 在点 的某领域内连续且有一阶及二阶偏导数,且在该点处有:
,则:
- 时,在该点取得极值,且 取得极小值, 取得极大值;
- 时,该点不是极值点;
- 时,无法判断,需要另作讨论.
注:该结论为二元函数有极值点的充分条件,而非充要条件,并且只适用于二元函数!
♾️利用脱帽法判断极值点
🦄拉格朗日乘子法|Lagrange Multiplier
函数 在条件 的约束下的最值问题,可通过引入比例因子 构建拉格朗日函数,将有约束问题化为无约束问题。
即:
而求解 Lagrangian Function 的最值问题,则可通过偏导数为零求得.
本内容涉及到了应用数学中最优化问题的重要分支,在数学建模、机器学习等方面有着重要运用。
本站也针对最优化问题发布了多篇文章(如KKT条件 等)。
🦄方向导数、梯度、散度与旋度
方向导数与梯度|Gradient
在给出方向导数的定义和公式前,我们先来思考偏导数的几何意义。
我们可以类比一元函数,从一元函数的导数的意义出发,进而得到偏导数的几何意义如下:

可见,偏导数描述了函数值沿着 轴 或 轴的变化情况。这事实上并不通用,因为现实中某个量变化的方向是有着多可能性的,即我们需要找寻沿着任意一个指定方向上函数值的变化情况。
经过我们对 空间解析几何 的学习,我们可以考虑用一个方向向量表示一个空间的方向,在 坐标系下,可以以该方向相对 轴的夹角 作为指标,用维度是2的向量表示之,不妨设为:.
更进一步地,我们考察函数 沿着该方向的变化率.
考虑增量,从而得到:
这个特征我们就称为方向导数,即函数 沿着 方向上的“导数”,记为.
如果函数 在 处可微的话,那么很幸运,我们还可以利用全微分对结果进行化简。
该结论同样可以推广到多元.
【注】 如果方向导数在 360 度都存在也不能推出 关于 的偏导数存在!
只有方向导数关于 轴的正方向和负方向的方向导数均存在且互为相反数时,才能推出偏导数存在!
例如 在 处的方向导数处处为1,但在此处偏导数不存在。
在 平面下,我们之前定义的方向余弦,即 存在一定的取值,使得方向导数取得最值。即我们现在想要考察函数值变化最快的方向。
我们将方向导数写为向量形式,有:
我们就称 由偏导数组成的向量 为 梯度(grad)。记为. 有:
其中, 称为 梯度算子,哈密顿算子,也叫 Nabla 算子.
显然,方向导数就是梯度与指定方向的内积大小,从而我们可以利用内积的知识更进一步地进行描述。
如果指定方向向量为单位向量,指定方向与梯度方向的夹角记为 ,那么方向导数的最值明显是在 时取得。进而我们得出结论:梯度方向是函数值变化最快的方向。其正方向是增加最快的方向,反方向则是减小最快的方向。
以上结论同样可推广到多维空间。
因为梯度有着如此含义,所以在考虑函数的最优化问题时,也有着 梯度下降法 这样迭代逼近函数最值的算法。关于梯度下降算法详见本站文章:
🦄散度与旋度|Divergence & Curl
我们看到,梯度其实是哈密顿算子对标量函数的点乘。
而对于矢量函数 ,通常我们将其在空间中指示为 向量场,不妨设:
对向量场与哈密顿算子求内积,则得到的是一个标量,称其为 散度(Divergence)。
散度是描述空气从周围汇合到某一处或从某一处散开来程度的量。它可用于表征空间各点矢量场发散的强弱程度 .
物理上,散度的意义是场的有源性。
- ,该点有散发通量的正源(发散源);
- ,该点有吸收通量的负源(洞或汇);
- ,该点无源。
高斯公式 为我们给出了 散度 与 通量 的关系:
通量是单位时间内通过某个曲面的量,散度是通量的强度。
旋度(Curl, Rotation) 是哈密顿算子对矢量函数的外积,结果仍然是一个向量。
旋度是矢量分析中的一个矢量算子,可以表示三维矢量场对某一点附近的微元造成的旋转程度。该向量提供了向量场在这一点的旋转性质。
斯托克斯公式 为我们给出了 旋度 与 环流量 的关系:
环流量是单位时间内环绕的某个曲线的量,旋度是环流量强度。
拉普拉斯算子|Laplace Operator 是 维欧几里得空间中的二阶微分算子,定义为 梯度的散度。
详见本站文章:
多元函数积分学
各类多元函数积分的定义
多元函数积分的定义
二重积分
在 平面的有界闭区域上一二元函数 的二重积分:
其中,, 是 中一小区域 的直径, 是将区域 任意分割为 个区域后的第 个区域,同时亦以 表示该小区域的面积. 在直角坐标系中用平行于坐标轴的直线网划分 使得 时,可用 代替上式中的.
当 存在时,就称 在 上可积.
若 在 上连续,则 在 上可积,即存在二重积分.
定积分中的 可正可负,下限大于或小于上限都可以,而二重积分中的 必须为正,因此将其化为累次积分时必须注意上下限!
几何意义 当 时, 表示以区域 为底,曲面 为顶,侧面是以 的边界为准线,母线平行于 轴的柱面的曲顶柱体的体积。
特别地,记底面区域 的面积为 ,则有:.
三重积分
与二重积分类似,我们如下定义三重积分:
设 在空间有界闭区域 上有界,任意分割 成 个 (也用于表示体积)。则三重积分定义为在 上各取一点 作和的极限:
其中,,是 中直径的最大值,且极限值与 的分法,点 的取法无关.
记 为空间闭区域 的体积,则:.
对弧长的曲线积分
定义 平面上分段光滑曲线 上函数 的第一类曲线积分:
其中, 表示 第 个 小段的弧长, 称为被积函数, 称为积分弧段.
对坐标的曲线积分
定义 设 是定义在 平面上有向分段光滑线段 上的向量函数,则定义第二类曲线积分形式为:
对面积的曲面积分
定义 在分段光滑曲面 上的第一类曲面积分的形式为:
注:曲面 光滑
即是曲面上各点有连续变化的切平面;
即是在 上有连续偏导数.
对坐标的曲面积分
定义 设 是定义在 空间上有向分片光滑曲面 上的向量函数,则定义第二类曲面积分形式为:
式中的 分别表示有向曲面面积元素在三个坐标平面上的投影面积微元.
注:对双侧曲面,称取定法向量的曲面为有向曲面,通常由法向量的指向决定曲面的侧。
- 封闭曲面:外侧→法向量朝外;内测→法向量朝内
- 曲面 :上侧→法向量与 轴成锐角;下侧→成钝角
- …
两类曲线/曲面积分的关系
设 为分段光滑曲线,则有:
式中, 是曲线弧 沿 到 方向的切线的方向余弦.
设 为分块光滑曲面,则有:
式中, 是曲面 在点 处法向量的方向余弦.
两类曲线/曲面积分的重要不同点就是第一类与方向无关。如果曲线 是平面上同一条光滑曲线取相反方向,曲面 是空间中同一块光滑曲面取相反侧,则有:
多元函数积分的转化求解
多元函数积分化定积分
下面出现公式基本只涉及了在 平面的投影,实际处理中,可以灵活选取投影面,其核心思想不变!
二重积分化累次积分
在直角坐标系下,如果被积区域 可以表示为如下方式:
| 表示方式 | 图示 |
|---|---|
![]() | |
![]() |
那么,可以得出二重积分可分别转化为下面两种二次积分:
在极坐标系下,可通过极坐标变换 将二重积分化为针对极坐标上一点 的二重积分,通过微元思想得出. 从而有:
与直角坐标类似,如果被积区域 可以在极坐标系下利用 或 的方式表示,那么可以进一步将其化为累次积分,此处不再赘述.
三重积分化累次积分
在 空间坐标系下,若有界闭区域 可以表示为如下方式:
| 表示名称 | 图示 | 求解方法 |
|---|---|---|
| 曲顶曲底柱形长条区域 | ![]() | 先一后二 |
| 截面已知区域 | ![]() | 先二后一 |
- 曲顶曲底柱形长条区域
其中, 是 闭区域 在 平面上的投影区域.
于是,可先将 视作常数,对 在 上积分得到,再将其作为被积函数求关于 的二重积分,用这种方法可以化简三重积分。即:
这种计算方法常被称作 先一后二法.
- 截面已知区域
即被积区域可表示为介于平面 之间,且过 轴上区间 中任一点 作垂直于 轴的平面截 于平面.
于是,可先将 视作常数,计算区域 的二重积分,再在 上计算定积分。即:
特别地,当 的面积已知为 ,被积函数只与 有关时,有:
这种计算方法常被称作 先二后一法.
对于柱坐标变换,可将其视为被积空间区域在 平面上的投影面取极坐标变换的变换。
因此,无论是上面提到的先一后二,或是先二后一,都能把其中的“二”的部分转化为极坐标处理:
下面考虑球坐标系下求解三重积分的问题.
式中各含义如下图所示,而微元体积的结论这里不做推导已直接给出。

因此,我们得到在球坐标下三重积分表示为:
曲线积分化定积分
其中, ,且要求 在 有连续导数且不全为0. 不难发现,式中的根式即是对平面曲线弧的弧微分 在参数方程下的结论.
易知,当曲线 可以表示为 时,可以进一步写出:
当曲线可由极坐标方程给出,即 时,亦可根据弧微分的结论,换元得到:
对于第二类曲线积分,给出曲线的参数方程表示(参数 的取值与曲线方向有关)后,可以直接有:
曲面积分化重积分
其中,积分曲面 , 为曲面在 平面的投影。
下面简单阐述一下曲面微元面积 是如何转化的. 对于曲面元 在点 处的单位法向量. 从而 在 平面的投影为:
※ 如果积分曲面的表达式更加一般,由曲线 与坐标轴围成,那么:
其中,.
对于 第二类曲面积分 记 为定向曲面在 平面的投影,则:
其中, 的选取与 法向量 的方向有关,如果法向量方向与 轴成锐角,则上式第一个等式取正,否则取负,其他式子同理。
通过这种转化,可以将第二类曲面积分问题转化为求三个二重积分之和的问题.
特别地,如果积分曲面可由显式函数 表示, 为曲面在 平面的投影,那么有:
法向量指向上侧取正.
事实上该结论是由 第二类曲面积分→第一类曲面积分→二重积分 演变而来.
拓展:重积分的坐标变换
二重积分的坐标变换
设 在 平面的闭区域 上连续,若变换
将 平面上的闭区域 变为 平面上的,且:
- 在 上具有一阶连续偏导数;
- 在 上雅可比式不为0;
- 变换 是一一对应的.
则有:
上式被称为 二重积分换元公式. 三重积分也类似。
下面我们来讨论简单情况,即只考虑平移变换情况下对二重积分的化简作用。
考虑变换,显然有,因此:
其中, 是将被积区域 平移后得到的,这使得可充分利用几何意义、对称性等方式对新的重积分进行化简,从而简化计算.
类似地,我们可以推导出将椭圆变换为圆,将椭球变换为球以化简复杂计算的结论。
以“椭球变球”为例,有着如下结论:
其中,对该变换得到的雅可比式为:。
利用对称性进行简化计算
对称性对积分化简的作用
在二重积分情形下
设 在 上连续. 若 关于 轴对称,则
- 当 对 为奇函数时,
- 当 对 为偶函数时,,其中
- 若 关于 轴,关于原点对称,情况类似
考虑 关于 对称的情况,即,则有:
这个性质被称为 重积分的 轮换对称性 .
在三重积分情形下
设 在 连续. 若 关于 平面对称,则
- 当 对 为奇函数时,
- 当 对 为偶函数时,,其中
- 若 关于 平面对称,情况类似
在第一类曲线/曲面积分情形下 也有类似的结论,但第二类则不尽相同。
在第二类曲线积分情形下
设 为平面上分段光滑的定向曲线, 连续. 若 关于 轴对称,则:
其中, 是 在右半平面的部分.
若 关于 平面 对称,则:
在第二类曲面积分情形下
设 为分块光滑定向曲面, 在 上连续. 若 关于 平面对称,且上部分记为 ,则:
多元函数积分学的基本公式
多元函数积分学的基本公式
设 为平面区域,如果 内任一闭曲线所围成的部分都属于 ,则称 为平面单连通区域(不含孔的区域),否则为 复连通区域(含有孔的区域)。
设 是平面区域 的边界,若观测者沿着某个方向观察时, 内的部分总在其左侧,这样的方向我们规定是 的正向。
于是对于复连通区域而言,就有外边界正向逆时针,内边界正向顺时针。
格林公式
设平面上的有界闭区域 由分段光滑曲线 围成,函数 在 上有 一阶连续偏导数,则有:
上式叫作 格林公式。对于复连通区域,只需把其余边界对正向求第二类曲线积分进行累加即可。
特别地,对于 的面积,我们有:
在利用格林公式求解曲线积分时,一定要注意以下几个问题:
- 如果积分路径 不为封闭曲线,但化为二重积分好求时,可以考虑补一个或多个分段曲线 使得 构成闭曲线,然后计算此路径下的曲线积分。之后再单独计算 反方向下的曲线积分,利用可加性就可得到原路径下的积分结果。
- 如果函数 在区域内存在奇点,则必须用第(1)点提到的方法挖去奇点(可能区域因此变为复连通区域),然后再利用可加性处理。
高斯公式
设空间中的有界闭区域 由分段光滑曲面 围成,函数 在 上有 一阶连续偏导数,则有:
此处的 是 取外侧(外法向)
在利用格林公式求解曲线积分时,也有和格林公式求解曲线积分类似思想的补曲面构造闭合区域的思想,此处不再赘述。
斯托克斯公式
设 为光滑有向闭曲线, 是以 为边界的分块光滑有向曲面, 的正向与 的侧符合右手定则(右手四指按 方向绕行时,大拇指所指的方向就是 的正向法向),对应曲面的法向量为. 若函数 在包含 的一个空间区域内有一阶连续偏导数,则有:
注:使用斯托克斯公式后可将曲线积分转化为曲面积分,而这个曲面积分还可以再叠加高斯公式+补面进行化简。更进一步地,其实相当于对于曲面的选取是灵活的。
曲线积分与路径无关问题
设 是平面上的一个区域, 的任意两条连接 的分段光滑线段,若:
恒成立,则称曲线积分 在 内与路径无关。
根据上述定义,可以导出如下结论(证明见同济版《高等数学 第7版 下册》Page 211):
曲线积分在 内与路径无关
对 内任意光滑封闭曲线 都有
在 内存在函数 使得
此外,结合格林公式,若 是单连通区域(复连通不行),且有 即可得知,此时的曲线积分的结果与积分路径无关,只与起点和终点有关,从而可以随意设立更好求的积分路径进行求解。
更进一步地,结合格林公式挖去奇点的思路,还可以得出若对于挖去奇点的连通域,若有 且围绕奇点 的新分段光滑闭曲线 能使曲线积分结果为0,此时的曲线积分的结果与积分路径无关,只与起点和终点有关。
求 Pdx+Qdy 的原函数问题
求 Pdx+Qdy 的原函数
方法一 不定积分法
由 两边对 积分(此时将 视为常数即可)可得:
再由 由此反解出,再利用一元函数不定积分解出 即可。(此时又视 为常数)
方法二 特殊路径积分法
首先判断目标积分是否在单连通域内满足 ,若是则说明与积分路径无关。
从而我们选取合适的定点 作为起点,以动点 作为终点,再选取合适的路径求此积分(通常为便于计算的折线):
如果是复连通区域,则需要采取挖点的方式,单独计算围绕起点的某个路径下的积分是否为0,如果是则在该区域内存在原函数,否则原函数不存在。
方法三 凑微分法
顾名思义,是根据求导法则倒推的一种观察法。特别地,应当熟悉商的微分公式:
下面给出一实例加以说明。已知:
求 使得。
【方法一】由 对 积分,得,接下来再由
得出
整理可得,原函数
【方法二】不难验证 在全平面恒成立。取起点为,对于 的路径,取,于是:
【方法三】不难看出,从而有:
多元函数积分学的物理应用
物理学应用
质心与转动惯量
以空间立体 为例,设其体密度为 则:
对于质量连续均匀分布的物体,其针对某转轴的转动惯量.
式中, 是质量元 到转轴的垂直距离.
于是,我们可以针对空间直角坐标系列出空间立体 的绕不同轴旋转的转动惯量:
引力计算
设质点 的质量分别为. 则 对 的引力为:
其中,, 为引力常数.
进而得到空间立体 对 外一点 的引力(以 方向的分力给出示例):
功的计算
质点在常力 作用下从 点沿直线运动到 点,则力做的功为:
质点在变力 作用下从 点沿曲线 移动到 点,则力做的功为:
求解上式时,可考虑通过判断偏微分相等→积分结果与路径无关 从而简化计算。
特别地,应该尝试是否能通过凑全微分直接求出原函数。
由曲线积分求功时,首先要求出变力 的表达式.
已知 和其方向 (不一定是单位向量),则.
流量计算
流体在空间中流动,流速 为常向量,则单位时间内流过指定平面上区域 的体积流量,即流体体积,简称流量,为:
其中, 是定向平面的单位法向量, 是两向量夹角, 是 的面积。
若流速,则:
微分方程的求解
一阶常微分方程常见类型
一阶常微分方程常见类型
可分离变量的微分方程
通过两边同时积分得到该微分方程的 解。(如果出现分母可能为0的情况,需要进行验证)
齐次方程
求解时,通过换元 化为其他微分方程的形式,从而再利用对应方法进行求解
一阶线性微分方程
如果 则称该微分方程 齐次,否则即为 非齐次。
对于一阶齐次线性微分方程,我们可以利用 分离变量法 求得其通解如下:
该结论应当熟记。下面我们给出该齐次线性方程对应的非齐次方程的通解:
该结论也应当牢记在心,可作为结论直接在解题时使用。
此通解的推导过程用到了 常数变易法。其具体推导过程见下:
常数变易法推导微分方程通解
将 一阶齐次线性微分方程的通解中的常数 视为关于 的函数,继续进行求解。即:
伯努利(Bernoulli)方程
将上式两边除以,得到:
进而,令,有,从而:
于是就化为了 一阶线性微分方程 的形式。
全微分方程
将一阶微分方程写成
若存在二元(单值)函数 使得:
则称该微分方程为 全微分方程。若 不同时为0,则通解即为(隐式通解)
拥有此种形式的微分方程是全微分方程的充要条件是
其中, 是 具有一阶连续偏导数的平面单连通域。
此类微分方程的求解方法,其实主要是对多元函数 的求解方法,见本文多元函数专栏。
二阶及高阶微分方程
可降阶的二阶方程
- 型
- 通解:
- 可推广至
- 型
- 特点:不含显
- 求解:令,从而,化为一阶常微分方程
- 型
- 特点:不含显
- 求解:令,从而,化为以 为自变量的微分方程
例题 求 的特解.
答案
解 令.
原微分方程化为:
两端同时除以,有,从而令,得到:
由,再分离变量得:
事实上,在将原微分方程化为: 后,还可以凑微分得出另一种解法,即:
在上面的例题中,给出了关于 凑微分 的思维方式,这在快速解题过程中很有益处,虽然本题并不明显,但是考生应当掌握。
此外,通过该例题还可以发现,尽早代入初始条件定出常数,可以在下一步积分时避免常数不确定的麻烦,十分有用。
二阶线性微分方程
二阶线性微分方程的一般形式为:
与一阶线性微分方程相同,当 时,称其为 二阶线性齐次微分方程。
如果式中的 均为常数,则称其为 二阶常系数线性微分方程。
关于高阶线性微分方程的解的构造将在下一节详细介绍。这里仅给出二阶常系数线性微分方程的求解方法,以便查阅。
我们将二阶常系数齐次线性微分方程及其特征方程给出:
可以证明 是齐次线性方程的通解。
于是求解这类问题可以转化为研究一元二次方程问题,从而得到下表:
| 说明 | ||
|---|---|---|
| 通解 | ||
| ,二重根 | 通解 | |
| 为共轭复数 | 通解 |
其中,
推广到高阶,我们有:
- 为 重实根,则通解为:
- 是 重共轭复根(此时特征方程的根一共有 个),则通解为:
有了齐次的通解,接下来我们可以根据解的结构,考虑非齐次的通解,即
讨论以下几种类型:
- 型
其中, 表示关于 的 次多项式。其特解为:
- 型
其中, 分别表示关于 的 次和 次多项式。其特解为:
特解中 指示 是否为特征根,是则取,否则取0。
而 表示 的 次多项式,其中,.
注: 事实上第二种类型就是将第一种类型推广到复数。即.
借助欧拉公式: 展开得来。
相关技巧与欧拉方程
特殊问题的求解技巧
♾️自变量因变量互换
在求解微分方程时,还需跳脱出惯性思维,考虑互换 的情况。将原微分方程化为形如:
的形式,灵活求解。
不仅如此,很多时候如果遇见了不属于前面所介绍的形式时,还需考虑自行挖掘题目中的换元关系。
♾️含有变限积分的方程
求解此类方程一般的做法就是对等式两边同时求导,化为求解常微分方程。
值得注意的是,以积分方程给出的题,往往其 初始条件 已经蕴含其中,考生应当自行挖掘。
♾️已知通解反求微分方程问题
已知通解,一般可将通解两边对 求导,视 为 的函数:
将其与通解联立,消去任意常数 即可得到微分方程。
如果含有 个任意常数,则可求 次导,得到关于 的方程组以进行消元。
🦄欧拉(Euler)方程
一般变系数的微分方程都不宜求解,而一些特殊的变系数微分方程可以通过变量代换转化为常系数微分方程。欧拉方程就是这样一种微分方程形式。其一般形式为:
做变换,将自变量换成,用记号 表示对 的求导运算.
称 为微分算子,对应地,有
则有:
于是就可将其化为常系数微分方程进行求解了。
好题发现
问题 设 在 上有定义,.
求。
答案
已知条件并未给出 对任意 都可导。因此不能通过两边求导的方式化为微分方程进行求解。
考虑从 存在入手,先设法求,进而利用导数的定义寻找化为微分方程的途径。
解 当 时,有:
解此微分方程,得到:,再由 得.
从而解得所求函数:
问题 求 的通解
答案
解 原微分方程可化为:
不妨令,则可进一步化为:
这是一个 关于 的伯努利方程。从而可以做如下变换进行求解:
即通解为:.
问题 设曲线 的极坐标方程为, 是 上任意一点, 是 的一定点。
若 极径 与曲线 所围成的 曲边扇形 面积值等于 上 两点间弧长的一半,求曲线 的极坐标方程。(取材自《 2023李正元数学复习全书 》)
答案
※微分算子法及其应用
🦄微分算子法
在上面欧拉方程的求解中,我们引入了微分算子的概念,以此简化在换元过程中复杂的转化问题。事实上,微分算子不仅可以用于简化欧拉方程的计算,还可以对二元常系数线性微分方程求特解的问题有着奇效。
对于:
引入微分算子,得.
我们令 ,称其为算子多项式,就有:
对于算子多项式,有着诸多性质可便于我们反解出特解,我们可以像之前一样,对不同的几种 类型分别利用算子多项式处理.
- 逆算子位移原理
其中, 可以是复数,而 是关于 的实函数。
通过该原理,我们可以推导出许多结论,这将在后续各种 类型中得出。
注: 表示对 一次积分
- 型
对于二阶常系数非齐次线性微分方程,若 是关于 的 次多项式,则有:
我们将分式 展开成泰勒级数直到 项(因为超过 阶,则 的高阶导数的结果均为0),或利用多项式除法直到列出的商到 次。最后再逐一计算。
例题:求 的特解。
- 型
其中,重根的情况可以利用移位定理,也可以用上式中的求 阶导的方法。事实上后者正是由前者推导得来的。
例题:求 的特解。
- 型
利用逆算子位移原理,将 项左移到算子左边,从而问题化为 型。
例题:求 的特解。
- 型
此类问题可充分利用欧拉公式: 直接把问题化为前面的类型。
微分算子法对复数同样适用!
此外,还有对于三角函数,和 型类似的,可利用如下结论( 同理):
一定要注意,此结论中的分母是关于 这个整体的多项式函数。否则该公式不适用!!
👉🏻特别地,对于 型,其中 为关于 的实函数,还有:
例题:求 的特解。
- 型
熟悉以上各类问题之后,剩下的问题都可以转化为上面的类型。如下面这道题:
例题:求 的特解。
式中, 表示取虚部,对应地, 表示取实部。
下面继续讨论虚部中的内容如何处理:
于是有:,从而:
- 型
类似地,利用欧拉公式将三角函数与 结合,然后利用位移原理处理。
例题:求 的特解。
先考虑复数情况的微分方程:
最后再对其取实部,即为所求:
参考:
线性微分方程解的结构
线性微分方程解的结构
叠加原理 设非齐次微分方程的右端 是两个函数之和(如下)
而 分别是下列方程的特解
则, 就是原方程的特解。
解的性质
- 如果 是二阶齐次线性微分方程的两个特解,则其线性组合也是该方程的解
- ✨ 如果 是二阶非齐次线性微分方程的两个特解,则其差 是该方程对应的齐次方程的解
- 如果 是二阶非齐次线性微分方程的特解, 是其对应的齐次方程的任意特解,则二者之和 也是原非齐次线性微分方程的解。
解的结构
如果 是二阶齐次线性微分方程的两个线性无关的特解,而 是对应非齐次方程的特解。则该二阶非齐次线性微分方程的通解为:
🎲 这些结论均可以推广到高阶线性微分方程中,并且与线性代数中线性方程组的解的性质十分类似,可以类比记忆。关于线性代数的部分可参考本文相关部分!
※解微分方程过程中是否省略绝对值问题
解微分方程时的绝对值
在求解微分方程时,特别是可分离变量型和一阶线性微分方程,通常会涉及到两边积分的情况。而由 可知,积分时会引入绝对值。
但是在各类参考书的参考答案中,缺乏对绝对值的讨论,甚至有些过程直接省略了绝对值直接得到答案。所以,我们接下来将引入幂函数的拓展,以及对两类方程求解时如何讨论绝对值问题做一个总结。
实数范围内的幂函数
对于幂函数,有:
- 当 时, 都有 有意义;
- 当 时,若 ( 和 均为整数且互质),或 为无理数时, 在实数范围内无意义。如: 等
可分离变量型的判定
结论:对于可分离变量微分方程,方程中没有无理常数因子的时候,可以直接不加绝对值。
如:. 加上绝对值并通过分类讨论将正负含于常数中的结果,与直接无视绝对值的耍赖做法,结果一样。
而 则不同。其正确做法如下:
若采用不加绝对值的耍赖法,则只能得到 ,缩小了 的取值范围。
一阶常系数线性型的判定
结论:当 中没有无理常数因子,也没有偶数的分母时, 积分中如果出现了对数函数 ,可以直接不写绝对值.
如:. 加上绝对值并通过分类讨论将正负含于常数中的结果,与直接无视绝对值的耍赖做法,结果一样。
而 则不同。其正确做法如下:
级数敛散性判别
概念、性质与常见的重要级数
定义
如果常数项级数 的部分和数列 的极限存在,则称该级数收敛,否则就发散。
称极限值 为级数的 和, 为级数的余项
基本性质
对于常数项级数 ,其一般项 满足:
如果 级数 收敛,则.
注意,该结论是级数收敛的必要条件,而非充分条件。
即 收敛
但是反过来,如果 发散.
常见的重要级数
- 几何级数:,当 时收敛,此时,反之发散
- p 级数:,当 时收敛,反之发散
- ,当 或 时收敛, 或 时发散
问题 判断级数 的敛散性.
证明过程
当 时,与 运用比值判别法:
从而,当 时,级数收敛;当 时,级数发散.
当 时,分两种情况。
- 时,原级数的一般项变为了,则原级数发散;
- 时,引入函数 ,该函数在为正值且单调递减,从而有:
综上所述,当 或 时收敛, 或 时发散.
常用的各类判别方法
比较判别法
对于正项级数,设,若 收敛,则 收敛;若 发散,则 发散.
由上述比较原理,可衍生出其极限形式:
- 设,若,则有:
- 当 时,即 时, 同敛散;
- 当 时,即 时, 收敛可推出 收敛;
- 当 时,即, 也就是 时, 发散可推出 发散.
特别地,与 级数比较,即如果,
- 若,则级数收敛;
- 若,则级数发散.
比值判别法(达朗贝尔判别法)|D’Alembert’s test
正项级数(Positive Series)的发散与收敛(Divergence and Convergence)还有一种判别方法叫做比值判别法,又叫检比法,达朗贝尔判别法,D’Alembert’s test.
其内容如下:
根值判别法
与比值判别法类似地,我们还有根值判别法:
《 李正元复习全书 》中给出了一个很有用的结论:
该结论可以结合根值判别法充分利用在求级数敛散性,乃至函数项级数的收敛域问题上。
积分判别法
如果 且 为单调下降的正值函数,使得对于正项级数 有,则:
莱布尼茨判别法|Leibniz Theorem
若,则称 为交错级数。
区别于上述三种只针对正项级数的判别方法,Leibniz Theorem给出了交错级数的敛散性判别:
如果交错级数 满足下列条件:
(I);
(II).
则该交错级数收敛,且其和.
绝对收敛和条件收敛
下面讨论 为任意项的级数。
- 绝对收敛|absolutely convergent:对于,如果级数 收敛则称其绝对收敛。
- 条件收敛|conditionally convergent:如果级数 收敛但是 发散,则称其条件收敛。
此外还有以下结论:
- 绝对收敛的级数一定收敛:
- 条件收敛的级数其全部正项(或负项)构成的级数一定发散:
Tips:
- 如果由比值或根值判别法得出 发散,则 必发散
- 绝对收敛级数 + 条件收敛级数 = 条件收敛级数
拓展:对数判别法
待更
🦄常数项级数的审敛与选择题考点
常数项级数的审敛通用步骤
Step1. 先判断常数项级数的类型:正项级数、交错级数、任意项级数
Step2. 如果是正项级数,首先考察,否则 转到 Step4
Step3. 根据 特点,选择合适的判别法:
- 含 或 的乘积,通常选择比值判别法;
- 含以 为指数幂因子的项,通常选择根值判别法;
- 含形如 ( 可以不是整数),通常选择 比较判别法;
- 一般项可以利用已知的正项单调减函数 表示,并且函数敛散性可判断时,选择积分判别法;
- 以上方法行不通时,根据定义判断 是否有上界.
Step4. 如果是交错级数,利用莱布尼茨判别法判断敛散性。若不满足条件,或不是交错级数,转 Step5
Step5. 根据 Step2 和 Step3 判断一般项为 的级数的敛散性,如果收敛,则原级数绝对收敛,否则其根据比值/根值判别法计算得到,则原级数发散,若不然,转 Step6
Step6. 讨论 的敛散性,以及其他能判断敛散性的方法,如加括号构造新级数等.
对于 Step6,有如下实用的结论:
上面的 也可以换成,结论依然成立。
证明也很简单,当极限为0,极限存在并且为 时, 的极限就是 的极限,仍为。因此,原级数收敛。
类似地,两两加括号、奇偶变换都能转化为 的形式,从而进行敛散性判别。
对一般项的各类操作
- 如果由比值或根值判别法得出 发散,则 必发散
- 收敛+收敛=收敛;发散+收敛=发散;发散+发散=?
- 绝对+绝对=绝对;条件+绝对=条件;条件+条件=?
- 💦一般项加绝对值会提高发散的可能性
- 💦正项级数变为交错级数会提高收敛的可能性
- 💦加括号会提高收敛的可能性
- 💦提高一般项的阶数会提高收敛的可能性
其中,4~7 所给出的内容可以帮助我们判断级数审敛选择题的正确与否,从而构筑反例。
加括号类反例
- 收敛, 也收敛
- 收敛, 可能发散,如 使得后者变为
- 收敛,当且仅当 时, 收敛
- 收敛,则取 时, 发散
乘积类反例
- 发散, 不一定发散,当 时必收敛
- 收敛, 不一定收敛,当二者都是交错级数时,乘积得到的正项可能不收敛,比如当 时必发散
- 若存在常数 存在,则 或 因此, 收敛
- 反过来,若 收敛,不能反推 存在。因为 级数的收敛与发散没有分界线,没有一种标尺分辨级数的收敛和发散(除非限定是 级数)。当然,对于该问题还可以举反例:.
奇偶类反例
- 收敛,则 均收敛,且收敛于同一个值
- 收敛,但 可能发散(拎出收敛级数的奇数项、偶数项)
- 均收敛,则 收敛(收+收=收)
- 均收敛,则 不一定收敛(已知条件不一定收敛于同一值。反例:)
最大最小类反例
若 收敛,则 不一定收敛
取反例: 此时,
二者均发散。
敛散性无法判断
【经典例题】设级数 在 处条件收敛,则 在 处的敛散性:
只能视 的情况确定。
保号性证明敛散性
收敛半径与收敛域的求解
收敛半径与收敛域
对于幂级数,我们可以令 将其化简为的形式进行求解,二者收敛半径下同,收敛域相差.
收敛域 是由所有的收敛点构成的集合,而收敛点如 是指:使得常数项级数 收敛的点,并且 需要满足.
收敛半径 是幂级数级数收敛与发散的临界点与零点的距离.
即有
下面给出幂级数的收敛半径与收敛域的求解步骤:
- 使用比值法或根值法计算收敛半径;
- 当 时,讨论 处 的敛散性;
- 根据第 2 步确定收敛域.
注意 上面给出的只是幂级数的求解方略,因此该方法的适用条件必须是幂级数。
对于其他类的函数项级数则需要回到级数审敛法的一般思路。
例如: 就需要作变量替换 化为幂级数,抑或直接对这个级数整体进行分析,甚至可能需要对 分类讨论(如),从而得到收敛域.
含三角函数的级数审敛
通过 的方法提取出形如 项,将原问题化为 交错级数 的问题。充分利用放缩方法,通过比较判别法证明敛散性。
问题 设 是单调递增且有界的正数数列,试判断级数 的敛散性.
答案
解 由题意可知:
从而,原级数的部分和 为:
因为 有界,不妨设,则有:
即 也有界,可得 的极限存在,即原级数收敛.
问题 判断 的敛散性
答案
注:本题常在各大论坛套以求极限的形式进行出题钓鱼。即要求计算:
而事实上,这个极限虽然我们上面能证明收敛,却得不到具体值。
不过如果将之改为如下形式,就可以做了。
求解方法为左乘一个 逐步利用平方差公式进行化简。
❤️根据本题的求解不难总结出,对于无穷乘积,我们有推论:
无穷乘积 与 无穷级数 同敛散
对于其他无穷乘积的内容,可参阅下列文章进行扩展:https://www.docin.com/p-2011398918.html
和函数问题
和函数的性质
和函数的连续性 在收敛域 上的和函数 必连续,所以其在收敛区间端点处的极限存在。若不存在,则说明收敛域不包含该点。
逐项求导公式 如果和函数 在 可导,则有如下公式,且收敛半径仍为
逐项积分公式 如果和函数 在收敛域 上连续,则有如下公式,且收敛半径不变
注意
- 逐项求 次导后级数下标变成了 ;
- 逐项求导后的级数在 处可能发散;
- 若原级数在 发散,则其逐项求导后的级数在此处一定发散;
- 若原级数在 发散,则其逐项积分后的级数在此处也有可能收敛.
牛顿-莱布尼茨公式的正确运用
对于有些不便求幂级数展开的函数,可以先对其求导,再对其导数进行展开,之后再利用逐项积分的方式还原。
值得注意的是,这个“积回去”的过程实质是牛顿-莱布尼茨公式的运用,从而正确的写法是:
特别地,当 时,我们有:.
很多时候往往有 ,但这并不具备一般性,做题时理应特别关注,避免忽略计算.
有些辅导教材甚至对这个部分有一些错误的解释,如规定有:
然后要求做题者代入0对常数项 C 进行计算从而得出结果。
虽然结果是对的,但是概念上是完全错误的!!!
和函数的求解技巧
对于和函数的求解,通常我们需要将所求级数进行代数运算,特别地,要充分利用以下几种方式进行拆分或化简,尽量将原式化为我们熟知的形式(即常见泰勒级数形式):
- 合并整体换元
- 加项再减项化简
- 乘项再除项化简
- 分母有理化
- 部分分式分解
- 先求导再积分,先积分再求导
❤️ 一类换元技巧:
❤️ 一种常见的已知幂级数复合结论:
其中,对于级数的展开要特别注意 的收敛区间。有的时候,我们可以通过先求得收敛区间,根据收敛区间的形式指导我们如何对式子进行化简。
类似地,对于函数的幂级数展开也同样利用上述思想进行化简和求解。
此外,对于常数项级数的和的求解有如下策略供参考:
- 直接计算部分和的极限;
- 转化为求幂级数和函数在 处的函数值问题;
- 借助傅里叶级数展开式求解,具体见下一个板块.
与阶乘和双阶乘有关的和函数
阶乘变换的和函数→解微分方程
纵观我们已经所学过的各种常用的泰勒级数展开式,分母都没有例如 这类对阶乘做变换的式子。如.
不难发现,如果对其求一次导,就可以化为,这与原式有着密不可分的关系。
因此,这类需要借助求导找关系得出结果的和函数问题,常常可以转化为一个 微分方程问题。
【例题1】求
【解】省略收敛域的验证,对其依次求导以寻求关系:
不难发现,当求到二阶导时,我们发现和函数的形式出现了轮回。从而我们可以得到微分方程:.
这是一个二阶常系数齐次线性微分方程。其特征方程为: ,所以我们得到:
再由已知条件 定出。最终得到.
【例题2】求
【解】省略收敛域的验证,对其依次求导以寻求关系:
不难发现,当求到二阶导时,我们发现和函数的形式把 遍历了一遍。从而我们可以得到微分方程:.
显然有特解:
再解此微分方程的齐次解,最后代入初始条件,最终得到:
事实上,对于【例题2】,如果我们求导到三阶,就能得到微分方程,但这并非考研范围内能处理的微分方程,因此并没有这样处理。
如果硬是要求该微分方程,可以得到特征方程:,解得.
进而设,从而求出结果。
其实对于【例题1】,也可以用类似【例题2】的“累加前几次求导结果”的方法,得出.
【例题3】求
【解】省略收敛域的验证,对其依次求导以寻求关系:
到此我们发现, 的系数分子分母项数不平衡了,因此继续求导反而会将问题复杂化,我们不妨寻求已知式子的关系。
由于 都是偶数项, 都是奇数项,考虑对 升阶并求导,这就发现了二者之间的关系:
最后解此微分方程,并结合,得:
或许你已经注意到,本题的结果正是我们在本文高阶导数的求解专栏中出现的难题。
所以,我们可以既而利用泰勒展开公式与幂级数一一对应的性质将结果给出。
动手试一试 求幂级数 的和
答案
设如下函数项幂级数的和函数:
现对其逐项求导,得
即,又,从而解此微分方程得到:
构造本身和函数方程的问题
双求和变换的和函数→解方程
【例题】求
斐波那契数列
🦄柯西乘积
下面,我们利用柯西乘积公式对上面的例题进行求解:
傅里叶级数
Dirichlet收敛定理
设函数 在区间 满足:
i. 连续,或只有有限个间断点,且都是第一类间断点;
ii. 只有有限个极值点.
则 在 上的傅里叶级数收敛,此时有:
上述定理被称为狄利克雷收敛定理,是傅里叶级数收敛的充分条件。
其中,有:
函数奇偶延拓
傅里叶级数指出能对任何周期函数进行傅里叶级数展开,而对于非周期函数可以通过对其进行奇延拓或者偶延拓的方式,将其看作周期函数再继续级数展开。
特别地,奇函数的傅里叶级数只由正弦函数组成,即为正弦级数,此时,
类似的,偶函数的傅里叶级数是余弦级数,,
式中,因为没有判断收敛性,所以用“”。
问题 设.
证明:当时,收敛,并求其和函数.
答案
- 先证明收敛性. 由比值判别法:
得:收敛,且收敛半径.
- 再求数列通项.
由, 知
所以
- 最后求解和函数.
问题 将 在 处展开成幂级数。
答案
线性代数
行列式的相关性质
行列式的定义和性质
完全展开式
基本性质
- 第一类初等变换| 交换两行(或两列) 行列式的值变号
- 第三类初等变换| 某行(列) 倍加到另一行(列) 不改变行列式的值
- 对一行或一列可分解,例如:
- 如果一个行(列)向量是另一个行(列)向量的倍数,则行列式值为0 (此时矩阵的秩有)
代数余子式
把阶行列式的第行第列划去后得到的阶行列式称为位元素的余子式,记作.
称为元素的 代数余子式。有:
- (对某一行或某一列展开的)行列式的值 = 该行(列)各元素与其代数余子式的乘积之和
以第一行为例,则:
第行(列)的各元素与第行(列)对应元素的代数余子式乘积之和 = 0 ()
事实上,这相当于求第行(列)对应元素完全替换为 第行(列) 之后形成的行列式的值。
结合基本性质6可知,结果为0.
同时我们还可以得到下面这个推论……✨ = 将行列式的第行所有元素替换为之后形成的新行列式的值。
克拉默法则
在线性方程组的未知数个数等于方程个数,即其系数矩阵为阶方阵时:
是方程组 有唯一解的充分必要条件。解为:
式中,是把的第个列向量替换成常数列向量之后所得的行列式的值。
此外还有: 是方程组 只有零解的充分必要条件
求解上述方程组的解时,还有一种更方便也更常用的方法:
✨求方程组 的解时,可对增广矩阵做初等行变换,使得化为单位矩阵
则就是解。
✨类似地,如果是方程组,可以对两边转置,得到 :
注意,此时才是解。
行列式的计算
特殊行列式的计算
矩阵及其可逆性
矩阵乘法和初等矩阵
矩阵乘法
- 转置律:
- 单位律:
- 当 A, B 都是同阶方阵时:
- 矩阵乘法无交换律,即一般情况下。
- 矩阵乘法无消去律,即一般情况下:
- (无右消去律)
- (无左消去律)
- 方幂运算中,
- 关于同一个方阵的多项式的乘积可交换:
- ✨常用的方幂公式:
- 同阶的两个对角矩阵的乘积就是对角元素对应相乘后得到的新对角矩阵
初等矩阵
对单位矩阵做一次初等行(列)变换所得到的矩阵就是 初等矩阵
三类初等矩阵就对应三类初等变换:
- :交换 E 的 i, j 两行(列)所得到的矩阵。
- :用非0数 c 乘 E 的第 i 行(列)所得到的矩阵。
- :把 E 第 j 行(列)的 c 倍加到第 i 行(列)所得到的矩阵。
对矩阵做一次初等行变换,相当于对该矩阵左乘一个相应的初等矩阵;
对矩阵做一次初等列变换,相当于对该矩阵右乘一个相应的初等矩阵。
伴随矩阵和可逆矩阵
可逆矩阵
定义 设 是 阶矩阵,如果存在 阶矩阵,使得,则称 为可逆矩阵, 是 的逆矩阵,并且唯一,记作.
♾️判别 阶矩阵 可逆 0不是A的特征值 有唯一解 只有零解
性质
♾️
该结论可用于很多矩阵表达式是否可逆的证明上,方便快捷
即:初等矩阵都是可逆矩阵,且其逆仍是初等矩阵
♾️ 分块对角矩阵的逆
♾️计算
- 初等变换法:
- 伴随矩阵法:
- 对角矩阵的逆也是对角矩阵,且对角线元素取倒数
伴随矩阵
定义 设是阶矩阵,记是位元素的代数余子式,规定 的伴随矩阵为:
♾️基本公式
♾️由此基本公式+分块矩阵的行列式与逆的公式可推导出:分块伴随矩阵的结果
性质
- ✨
若已知 阶非零实矩阵 有: ,则有 且.
【证明】首先由 得
再由对应元素相等得 其中, 为对应的代数余子式
于是:
从而确定
再由,证毕.
抽象矩阵的可逆证明与计算
配多项式凑定义
已知,且有 求 的问题,一般要回归可逆的定义,对原式进行配凑,期望由,进而得出结果。
(当然,除了配凑也可以利用多项式除法/长除法求出)
【例题1】设 为 阶非零矩阵,且,试讨论 的可逆性。
解:两边同时加上,利用立法和公式得:,同理借助立方差公式可得另一个情况。
♾️另解:由 ,代入本题,有: 的全体特征值都满足。因此, 对应的特征值只能是0,即它的所有特征值均为0。
因此, 对应的特征值全为 0+1=1, 的特征值全为 1-0=1。
因此, ,所以 可逆,另一情况同理。
【例题2】 设 是三维列向量,,求.
♾️ 分析:遇见两个列向量中 同时出现时,应当敏锐察觉到其特征值、秩等信息(这将在本文 “秩一矩阵” 专栏详细阐述),此外还应该考虑出现乘积复现。即想办法凑出 。
解:
即.
从而本问题转化为我们熟悉的配多项式型问题。
恒等式变形推导
已知,且有矩阵 与 的一个或多个已知恒等式条件,求特殊表达式的逆或行列式的问题。这种题一般要充分利用可逆条件,对原式进行恒等式变形,期望能够将待求表达式由已知表达式表示。
这类题的求解我们可以归结为“想办法提公因式”。但下面我将提供一种取巧的方法就是“化矩为数”法。
【例题1】 设 为 阶矩阵,且,求 。
♾️ 分析:为了得到结果,我们应该想办法让 用 表示出来,而且还是乘积形式,因为矩阵相加的行列式并没有公式。
解:【提公因式法】将待求表达式左边提出一个,右边提出一个:
从而得到.
解:【化矩为数法】问题转化成已知:,求.
从而得到:
之后再代回即可。
【例题2】 已知矩阵,且,求 。
采用化矩为数法,有:,求.
于是,.
不难发现,我们在求解过程中出现了 “通分” 操作,而这在矩阵里相当于把 分解为两个互逆矩阵相乘。这也是提公因式法的精髓所在。
因此,我们在真正写步骤的时候可以根据化矩为数法对应的矩阵形式写回去。
乘积可交换的证明
乘积可交换问题,一般是要求证明矩阵 满足.
这类问题一般通过已知条件构造形如 的式子解决。事实上这与我们求矩阵可逆的配凑法是一脉相承的。
根据可逆矩阵的可交换性,我们可以通过将我们构造的 交换,得到:
去括号再与原式作比较即可得到 AB的交换问题。
【例题1】 证明当出现如下情况时,有
证明:利用配凑法。
(1)由 更进一步进行配凑,
有:
从而: 证毕。
(2)由 进行交换,
有: 与原式对比即可得到:,证毕。
【例题2】 设 是 阶可逆矩阵,有 (张宇八套卷)
试证下列结论:
- ;
- 与 有完全相同的特征向量;
- 与 是否相似?请说明理由。
证明:由 代入已知条件,得:
利用 ⌈例题1⌋ 的思想,两边同时乘以 A 的行列式,有:
将其交换,得:
从而有.
下面证明 与 有完全相同的特征向量。
由第(1)问可知, ,即 不会是 的特征值。
下面设 的任意特征值为 的特征向量为 ,则:。代入 得:
即 也是 的特征向量。
同理可以证明 的任意特征向量也都是 的。因此 与 有完全相同的特征向量。
与 不一定相似。有一反例:
而 的特征值全为1, 的特征值全为 -1,显然二者不相似。
齐次方程只有零解证明
🦄问题 设 是 阶实反对称矩阵,证明 可逆. (李正元复习全书)
反对称矩阵|Skew-symmetric Matrix 的定义:
设,若满足,则是反对称矩阵。
因为是一个抽象矩阵,利用行列式证明较为困难,因此考虑通过只有零解 证明
答案
证明 设是一个维实向量,要证明结论成立只需证明满足时,。
于是,对上式两边同时左乘,得:
易知,这一项的结果是一个数,而是一个数。因此:
联立上式,有,又因为是实向量,所以等式成立时只有.
如果令,则
要使得等式成立,当且仅当成立,即实向量为零向量。
证毕.
线性关系与秩
线性相关性与秩的概念
线性表示
设是一个维向量组(I)。
- 如果 维向量 可以用 (I) 线性表示,说明存在数组 使得:
如果令向量,上式可以转化为: 有解。
如果 维向量组 记作 (II) 可以用 (I) 线性表示,说明 (II) 中任意一个向量 都能被 (I) 线性表示。
进一步地,存在矩阵 C 使得: 。C 不一定是唯一的,C 唯一的充要条件是 (I) 线性无关。传递性 如果可以用线性表示, 又能用线性表示,那么就能用线性表示。
等价性 如果 能用 线性表示,并且 又能用线性表示,那么就说他们等价。
记作:
等价关系也有传递性。
线性相关性
如果向量组 中任何一个向量都不能用其他个向量线性表示,那么称该向量组线性无关,否则就 线性相关。
定义 如果存在 不全为0 的一组数使得
则说明 线性相关。如果要使等式成立,必须全为零,则 线性无关.
定理1 令,则:
线性相关(无关)有非零解(无非零解)
定理2 如果线性无关,则:
线性相关(无关)(不)可以用线性表示
定理3 如果 可以用线性表示,则:
表示方式唯一线性无关
定理4 向量组整体线性无关 向量组部分无关;向量组部分相关 向量组整体相关
定理5 如果线性无关,将其维度 延长到 ,则这个新的向量组 也线性无关 (即:本身无关,延长也无关)
定理6 如果 是两两正交的非零向量,则该向量组一定线性无关
相同的线性关系
若向量组 (I) 与 (II) 向量个数相同,且二者均线性无关或二者内部有相同的线性表示关系,则称他们有相同的线性关系。
当且仅当: 同解时, 的列向量组有相同的线性关系。
🎲Tips🎲
- 如果向量组只有一个向量,并且该向量组线性有关,说明该向量是零向量
- 如果一个向量组中含有零向量,则该向量组必定线性有关
- 向量个数 大于向量维度 时,向量组必线性有关
向量组的秩
设是一个维向量组(I)。
如果 (I) 有线性无关的部分组,那么定义 (I) 的秩就是其线性无关部分组中,包含的向量个数的最大值,这个向量个数最大的线性无关部分组则称为该向量组的最大无关组。
如果没有线性无关部分组(此时向量组内所有向量全为零向量)记秩为0.
根据定义,显然有:
向量组等价
- 向量组等价 如果 能用 线性表示,并且 又能用线性表示,那么就说他们等价。
记作:
注意:向量个数不一定相等
注:下面各式的 (I) 和 (II) 表示两个向量组.
- 若 (I) 可由 (II) 表示,则(即,被表示的秩不大)
- 若 (I) 可由 (II) 表示,但 (II) 不可由 (I) 表示,则
- 若 (I) 可由 (II) 表示,且 (II) 也可由 (I) 表示,即 (I) 和 (II) 等价时,则有:
注:这个性质是证明两个向量组等价的常用方法,也是两个向量组等价充要条件 - 若 (I) 可由 (II) 表示,且 (I) 中向量个数大于 (II) 中向量个数,则 (I) 必定线性相关 (即,以少表多,多必相关)
对于矩阵 若存在可逆阵 和可逆阵 使得 则 等价于矩阵,二者同形。
- 如果两个矩阵能够用初等变换相互转换,说明两个矩阵等价
- 矩阵等价的充要条件是他们类型相同且秩相等,即行数列数对应相等并且秩相等
- 向量组等价不一定推出矩阵等价,因为不一定同形
- 矩阵等价不一定推出向量组等价,向量组是针对列向量或行向量,矩阵是针对整体
请注意,矩阵等价不等同于向量组等价!!!
矩阵的秩及相关不等式
矩阵的秩
定义 矩阵的秩 就是矩阵非零子式的最高阶数,也是其对应行(列)向量的秩。
🎲 n阶矩阵A满秩 r(A)=n A的行(列)向量组无关 |A|≠0 A可逆
🎲 矩阵秩的计算时,可以行列初等变换交替使用
矩阵秩的性质
- A可逆时,;B可逆时,
- ♾️A列满秩(A可以不是方阵)时,;B 行满秩时,
- 如果,那么 (其中 是 的列数 的行数)
- Sylvester 不等式: 。可见它是性质 8 的一般形式(其中 是 的列数 的行数)
- 其中, 是矩阵 的阶数,而不能任意取
更多秩的不等式及其证明:https://blog.csdn.net/Infinity_07/article/details/109624414
若 是 矩阵, 。则:存在 阶可逆阵 使得
试想,行满秩的长条“平躺”矩阵我们可以通过列变换将其相关的部分全部堆叠到左边
分块矩阵的秩
伴随矩阵的秩
抽象向量组相关性证明
相关性证明问题
- 当题目给出一个向量组线性无关时,通常会要求判断其线性组合之后的向量组是否线性无关。例如下面这道题:
例题 已知 为 3 维列向量,则:
“对 有 和 无关” 是 “ 无关” 的什么条件?(2014年)
解:若 线性无关,则有:
记为,显然 矩阵列满秩,而对于 矩阵由 “本身无关,延长必无关”可得,,于是 即 也列满秩,故“对 有 和 无关” 。
必要性得证。
而当 无关 时,显然满足“对 有 和 无关” ,但是 线性相关。
综上所述,前者为后者的必要不充分条件。
通过上述例子,我们可以总结出对于这类问题,除了直接利用定义法证明外,我们还可以逆用矩阵乘法,将问题转化为矩阵的秩的问题。
- 当题目只给出某种线性关系,以及诸如向量 这样的有限个条件时,通常要求证明其中的向量组线性无关,此时我们应该考虑回归定义,利用定义法,有时还需结合反证法进行证明。
例题 设为 阶方阵, 为 维列向量, , ,证明: 线性无关。
证明:设存在 有:
由,从而对上式两端同时乘以 得:
同理,同时左乘 之后有,以此类推,得到:
证毕!
该结论可以证明:若 阶方阵 有 ,则必有. 这是因为,如果,就可以推出 这个 个向量线性无关。这与“ 维列向量组最多只有 个线性无关向量”矛盾。
正因如此,有 的解必是 的解,反过来,不难推出 的解必是 的解. 二者同解,即可推出我们矩阵秩的性质10:
- 当题目中涉及正交向量时,一定充分利用正交结果为0的特性进行证明。(相当于并没有像上面这类题一样给出已知条件,但其实隐含了条件)
例题 设 维列向量 无关, 也无关,且对,均有 和 正交. 证明: 线性无关.()
证明:设
根据题意,对等式两边同时对 作内积,从而有:
即 为零向量,所以。代入原式,得:
因为 线性无关,所以 ,证毕!
该结论可以拓展到多个向量组。
如果向量组 (Ⅰ) 线性无关,向量组 (Ⅱ) 线性无关,并且 (Ⅰ) (Ⅱ) 相互正交,则两个向量组拼接起来的新向量组也线性无关,当且仅当向量个数小于或等于维数。
该结论可以用于证明:
秩的相关计算及其最大无关组
计算秩与最大无关组
将向量组作为列向量组构造出矩阵。
对其进行 初等行变换 化为阶梯形的矩阵 B,则 B 的非0行数就是向量组的秩。
B 的各台角所在的列号对应的部分组就是一个最大无关组。
根据 B 中其他列的元素值可以得出 对应列号的向量如何用最大无关组的向量线性表示。
示例:
正交矩阵与向量空间
正交矩阵与向量空间
正交矩阵
定义 如果一个阶实矩阵 满足 ,则称其为正交矩阵。
♾️有: 是正交矩阵 的行(列)向量组是单位正交向量组
是正交矩阵 的实特征值只可能是
是正交矩阵
是正交矩阵 也是正交阵
是正交矩阵 也是正交阵
- 单位正交向量组:如果向量组中每个向量两两正交,则称该向量组为单位正交向量组
- 正交:如果,则说和正交
- 称为两个实向量的内积
- 定义实向量的长度为
- 单位向量:长度为1的向量。
- 如果不是零向量,则是单位向量,该操作称为的单位化
关于正交矩阵的行列式,通常我们要反复逆用 以及进行化简。
问题 设 是实反对称矩阵,证明: 是正交矩阵.
🔔选自 《大学生数学竞赛线代版》陈启浩
答案
这道题再次拿实反对称矩阵出题,希望你还记得它的性质。
证明:要证 是正交矩阵 只需证:
而:
注: 是可交换的!
问题 设 为 3 阶正交矩阵,且满足,证明:
答案
分析待证结论,结合伴随矩阵的秩可以将问题转化为证明 不满秩,即证.
又 为正交阵,因此 ,而 ,当且仅当二者的行列式互为相反数,不妨设,于是:
证毕!
施密特正交化
施密特正交化是把线性无关的向量组改造为单位正交向量组的方法。
以 3 个线性无关的向量组 为例。有:
此时得到的 就是和 等价的正交非零向量组。
接下来对其单位化:
则 就是和 等价的单位正交向量组。
向量空间
记 为由全部 维实向量构成的集合,其中规定了加法和数乘两种线性运算,称其为维向量空间 。
设 是 的一个子集,如果 中任意一组元素的任意线性组合都在 中,则称 是 的一个子空间。
若 是 的一个非0子空间,称 的秩为 维数,记作. 称 排了次序的极大无关组为 的 基。
中的每一个元素 都能用其 基 线性表示:
系数 组成的向量 就是关于这一组基的坐标。
如果某个子空间的 基是单位正交向量组,则称其为 规范正交基。
于是,两个向量的内积就等于他们在规范正交基中坐标的内积。
设 某个子空间的其中两个基分别为:
显然,后者能够用前者线性表示,前者也能够用后者线性表示。我们还可以说这两组基都是等价的。
从而,我们可以构造可逆矩阵,使得:.
称为 为从 空间中的基 到 的 过渡矩阵
🎲两个 规范正交基 之间的过渡矩阵 是 正交矩阵
线性方程组的解
方程组解的情况与通解的构造
解的情况
对于一般方程组,记方程的个数为,未知数的个数为,(即 )有:
- 无解;
- 有唯一解;
- 有无穷多解;
- 方程的的个数 是 的上界;
- 当 时,方程组一定有解;
- 当 时,若有解那也一定不是唯一解。
对于齐次方程组,有: 只有零解,此时矩阵列满秩。
- ♾️推论:当 列满秩时, 在矩阵乘法中有左消去律:
通解的构造
齐次线性方程组
- 若 是齐次方程组 的解,则它们的任意线性组合也是该方程组的解。
- 若 有非零解,则它的解集 是无穷集,称 的最大无关组为 的基础解系。
- 若 是 的基础解系,则 也是它的解 能用 线性表出。
- 由 (3) 可知, 的通解为:若 ,其中 为任意实数。
- 设 有 个未知数,则,即基础解系的个数。
- ♾️由 (5) 可知,若,则。
非齐次线性方程组
- 的两个解 之差 一定是 的解,即。
- 若 是 的一个解, 是 的一个解,则 也是 的解。
- 对 (1) 推广:若 是非齐次方程组 的解,则
- 当 时, 也是 的解;
- 当 时, 是齐次方程组 的解.
- 对 (2) 推广: 的通解是,其中, 是对应齐次方程组 的基础解系, 是非齐次方程组的一个特解。
- 由 (4) 知,非齐次方程组的解集的秩为.
下面给出一道对抽象线性方程组通解求解的例题。虽然看似题中给出了实际的方程组,但是因为参数众多,所以直接求出各个参数并不现实,应该用抽象方程组的思路求解。

有些时候,系数矩阵的秩往往要通过其通解的结构看出,其次,抽象方程组的特解和通解还需要根据已知的线性条件进行配凑判断。所以应该充分抓紧并利用所给条件。

公共解和同解问题
方程组公共解
已知 的表达式,求公共解.
直接联立两个方程组,即求 的通解,该通解即为公共解。
已知 的表达式,只知道 的通解(若为),求公共解.
公共解在满足 的通解 条件下,还有约束条件,由此解出 还需满足的其他等量关系,最后代回原通解中即可得到公共解。
只知道 的通解(若为),求公共解.
公共解使得 成立,由此需要确定此时的 的取值,即有:
记作 ,因此只需求出 的通解得到具体的 的取值或等量关系后,代回原式即可。
对于非齐次方程组 的公共解问题
类似地,如果只知道两个非齐次方程组的通解,也可以直接令,移向得:
记为 。有公共解说明矩阵 有非零解,当且仅当 ,由此可以得出关于 的等量关系,从而代回原式得出公共解。
方程组的同解
- 同解 有相同或等价的基础解系
- 同解 (基础解系的个数相等,注意此处是单箭头)
- 的解是 的解 与 同解
- ♾️ 同解 即 的 行向量组等价
- ♾️由 结论(3,4) 可知,当 的解是 的解(或相反)并且 时,它们同解
由结论 (2) 可知,当我们想证明列数相同的两个矩阵 和 的秩相等时,可以尝试去证明 和 是同解方程组。
我们有: 与 同解; 与 同解。(后者的证明之前我们已给出,前者的证明见下一栏)
方程组同解的相关证明见:http://www.doc88.com/p-0542618799889.html
非齐次方程组的同解问题
非齐次线性方程组 同解 当且仅当 对应的齐次方程组 同解(“三秩相同”) 并且 有公共解。得出的公共解即为二者公用的非齐次特解。
转置、伴随阵相关的同解问题
转置相关的同解
对于转置矩阵,有一个依据概念即可证明的经典例题:
证明:方程组 与 同解
- 先证明 的解是 的解。
将 两边左乘 可. - 再证明 的解是 的解。
将 两边左乘 可 当且仅当.
该结论根据方程组同解的充要条件,顺便证明了矩阵秩的性质:.
伴随矩阵的齐次方程组
对于,我们可以通过重要公式 进行判断。
当 有非零解时,此时有。从而得到,将 按列分块:
从而, 的每一列都是 的解。
由于,根据伴随矩阵的秩公式,可以得出.
我若伴随矩阵的秩为零,则伴随矩阵为零矩阵,讨论其对应齐次方程组的解没有什么意义,因此我们考虑伴随矩阵的秩为 1 的情况。而此时只有.
更进一步地,伴随矩阵的齐次方程组基础解系的个数为. 结合上述分析,我们可以得出:
的基础解系就是 的最大无关组(内含 的 列线性无关的列向量)。
线性方程组与平面空间关系
线性方程组与平面空间关系
设三维空间中的三个平面方程分别如下:
自然,我们可以在代数上以线性方程组的形式看待它们。
记对应的系数矩阵为,增广矩阵为。
不难得出,系数矩阵 的一个行向量为其对应平面的法向量,平面相交意味着平面对应的法向量不成比例,即系数矩阵行向量线性无关,由此得到系数矩阵非零行的情况,即系数矩阵秩的情况。
根据线性方程组的解的情况,结合空间平面的关系,我们可以得出:
- 方程组有解,即,即三个平面有(公共点)交点,或有公共交线,或直接重叠。
- 方程组无解,即,即三个平面平行,或任意两个平面有交线。
根据方程组解的情况,划分为以上两种类型之后,我们还根据秩的关系具体划分:
- 说明几个平面相交
- 说明几个平面互异
- 若三个平面相交于一点,则
- 若至少有两个平面相交于一线,则
- 若三平面平行,则
- 方程组无解时,
最终,我们可以得到如下的分类图:

线性方程组与直线空间关系
问题 已知平面上三条直线的方程为:
求证 这三条直线交于一点的 充分必要条件 是. (2003 数一)
答案
证明 三条直线交于一点,即 方程组:
有 唯一解。
如果记系数矩阵为,增广矩阵为,则原问题可转化为 证明(未知数为x,y 共两个).因为矩阵存在明显的倍数关系,我们可以将A, B改写成下列形式:
- 必要性
因为, 所以对于的矩阵来说,一定有. 即:
而要使,显然并不成立(否则,或者另一个角度上来看,此时三条直线的解析式相同,本质属于同一条直线,就不会只相交于一个点,而是无数个点)。
于是得到.
- 充分性
当时,有,从而有
因此,要证明原命题只需再证明即可。
用反证法.
如果,那么的两个列向量一定线性相关(对应成比例)。不妨设比例系数为.
则有:,从而得到.
而均不能为0(否则,或者另一个角度上来看,此时方程组是一个恒等式,就不能用于表达一条直线的解析式了),从而得到.
于是,就有,结合得到,矛盾。
综上, 三条直线交于一点
证毕
特征值与特征向量
定义与性质
定义
- 定义 对于 阶方阵 ,如果存在非零向量 和一个数,使得:
则称,是 的一个特征值, 是 的一个特征向量。
对上式变形,容易得到。于是我们可以得出结论:
- 是 齐次方程组 的一个非零解。进而得到下面一系列的结论:
- 是 的特征值
- ✨ 不是 的特征值,该结论是上一个结论的逆否,并且我们可以充分利用这个结论来证明矩阵可逆。要证明 可逆,只需证 不是 的特征值即可。
⚠️ 特征值全为0的矩阵不一定就是零矩阵,反例如下:
另外,我们称 是 的 特征多项式,显然特征值就是它特征多项式的根。
进而我们得到计算矩阵的特征值和特征向量的一般方法:
- 计算特征多项式
- 求特征多项式的根 (共有个根,其中包含有重根乃至虚数的可能)
- 代入齐次方程组,解出非零解.
定理与性质
- 定理1 如果 是 的特征向量, 是特征值,则:
- 也是多项式 的特征向量,特征值为
- 如果 可逆,则,并且 也是 的特征向量,特征值分别为
- 具体见下一节《与A相关的矩阵的特征值对应》中给出的表格
- 特别地, 的特征值为。该结论可用于快速求解特殊矩阵的特征值
- ♾️推论 如果,则 的全体特征值 都满足.
- ▷注:根据推论,我们可以根据多项式确定所有满足的 的取值,即在未知特征值的情况下,我们可以确保特征值可以在哪些值里面去取得。
- 定理2 设 是 阶方阵 的全体特征值,则:
其中,称为的迹(trace)
定理3 设 是 阶方阵 的特征值,则它的重数
该定理还有一个更加学术性的说法:特征值的几何重数不大于代数重数,本文出现的只带有“重数”的概念均属于代数重数。代数重数: 特征多项式的根的重数;
几何重数: 特征矩阵 零空间的维数.
对于这部分的证明需要运用到 矩阵论 中 Jordan矩阵相似性的相关知识。
定理4 如果的一组特征向量 的特征值两两不同,则由这些特征向量组成的向量组线性无关
定理5 如果 阶矩阵 的秩,则 的特征值为.
推论 对于 维列向量 有:的特征值为
相关证明见秩一矩阵板块
- 定理6 实对称矩阵的特征值一定是实数,实反对称矩阵的特征值一定是零或纯虚数!
- 定理7 设 是 的特征多项式,则 (哈密顿凯莱定理)
与 A 相关的矩阵的特征值对应
在矩阵特征值的性质时,我们给出了关于对 做变换的一系列特征值及特征向量的对应关系。这里我们铺开来,具体如下表所示:
我们指出,在 可逆,即 的特征值中不含零时, 就可以做分母,从而得出伴随矩阵的特征值。
几何意义
详见本站文章:
伴随矩阵的特征值
事实上,即使存在 的特征值为零,我们也可以得出伴随矩阵的特征值。
引入变量,有,此时, 对应于 的特征值为:
即, 关于 的特征向量为 时, 关于 的特征值是 除 以外所有特征值的乘积。
特别地,当 为三阶方阵时,有:
上述结论的另一种常见证明涉及到矩阵论中的若当标准型,此处不给出。
相关内容:伴随矩阵的特征值| CSDN
🦄特别地,当 为三阶非零矩阵,且仅存在单重特征值 时,根据上述定理, 必含有二重特征值 和一个非零特征值。
由于阶数是三,所以 的非零特征值 ,其中 是矩阵 的代数余子式。
转置矩阵的特征值
在上表中,我们并没有列出 A 转置的特征值情况。但事实上,二者的特征值是相同的,不过特征向量却完全没有联系。这是因为:
但是 与 的解却没有联系。
🦄解决抽象矩阵问题的技巧数则
转换抽象矩阵的研究对象
若已知 线性无关,且有,则可将给定等式写为矩阵乘法的形式。
令 则有,其中 是由 组成的矩阵 .
最终就能得到。建立得到抽象/未知矩阵 与矩阵 的桥梁。
类似地,若已知 线性无关,通常会给出 与之的线性关系,这样的问题同样也有类似的处理办法:令 找 即可。
秩一矩阵的性质与解结构
秩一矩阵的性质
设矩阵 为 阶方阵,且 ,这样的矩阵就是秩一矩阵。
分解定理 秩一矩阵可以被分解为两个列向量的乘积,即: 维列向量 使得. 并且,不难发现,还有.
我们有如下定理:
- 秩一矩阵 的特征值为:
- 迹不为零的秩一矩阵一定可以相似对角化
- 秩一矩阵的高次幂有: (可利用分解定理推出)
🔔定理1 的证明 由 知,秩一矩阵对应的特征值满足:
解得 .
从而 的特征值的取值仅限这两种。
一方面,对 两边右乘 得: 。可见秩一矩阵的迹恰好就是一个特征值,且对应的特征向量为.
另一方面,由于 故 必然也是 的特征值。又 故 基础解系的个数 ,即秩一矩阵属于零的特征向量有 个,由于矩阵几何重数不大于代数重数,所以 为 0 的特征值的个数至少为.
结合以上两点,则有秩一矩阵 的特征值为:
证毕!
🔔定理2 的证明 由定理1知,秩一矩阵在 时有 重零特征值,从定理1的证明中我们知道,此时矩阵的几何重数等于代数重数,故可相似对角化。而 时,零特征值有 重,大于 对应零的 个特征向量的数目,从而此时不能相似对角化。
秩一矩阵与二次型
相似与相似对角化
相似及其对角化
相似矩阵
定义 设 是两个 阶矩阵,如果存在 阶可逆矩阵 ,使得 ,则称 与 相似,记作:。
与等价类似,相似矩阵也具有对称性和传递性。
即:,
- 定理 当,且 时:
- ,且. 为多项式函数
- 可逆时,也一定可逆,并且
- ✨ 是 的特征向量 是 的特征向量
- 和 的特征值完全相同。注意,特征值完全相同不能推出A和B相似,除非A, B 都可以相似对角化
注:上述定理几乎都是必要条件,只有在 A,B相似时才成立(除了 ,这是充要的)。
例如: 它们的特征多项式、特征值、迹、秩以及行列式都完全相同,但是却并不相似!
相似对角化
定义 如果一个矩阵相似于一个对角矩阵,则称该矩阵可以 相似对角化 (简称:可对角化)
令可逆矩阵,显然因为可逆所以 P 的列向量组之间线性无关。
如果可对角化,则说明,其中表示一个对角矩阵,即:
不难看出,有
因此可以得到判断矩阵能否可以相似对角化的方法。
对角化的判别
阶矩阵 可对角化 矩阵 有 个线性无关的特征向量
阶矩阵 可对角化的每个特征值的重数
阶矩阵 有 可相似对角化
阶矩阵 有 个互不相同的特征值 可相似对角化(注意是单箭头)
阶矩阵 是实对称矩阵 可相似对角化(注意是单箭头)
♾️若 ,则 可相似对角化(注意是单箭头)
实对称矩阵对角化
- 定理 如果 是 阶实对称矩阵,则:
- 的特征值都是实数
- 相似于 实对角矩阵
- 的不同特征值对应的特征向量之间相互正交
- 存在正交矩阵,使得
- 上述结论的逆命题也成立:
如果对于实矩阵 有( 是正交阵),则 为实对称矩阵
🎲求形如 的 正交基础解系 时,可以先求出其中一个解 ,然后利用正交性,对第二个解 设未知数使得。该方法避免了施密特正交化的过程,更方便。
相似对角化证明
证明 与 相似
待更
问题 设 是 阶矩阵,数 . 证明下列三个断言相互等价:
- 相似于对角阵,并且特征值满足
答案
如果 不是 的特征值,则 可逆,从而:
由(1)可得,.
由(2)可得,.
由(3)可得,,所以 是唯一特征值。而因为可对角化,所以重数,与(2)一样,能够得到.
同理, 不是 的特征值时,三者均能得到同样的结论:.
即此时三个断言互相等价。
下面考虑 均是 的特征值的情况:
由
又由.
所以,.
记 的重数分别为。则:
由特征值个数为 ,所以:.
所以,说明 的特征值只有,所以满足.
此外,因为上式的 “”全部取“”,所以
所以, 可以相似对角化。
因为 特征值满足,所以 的特征值只有。
设 是与 相似的对角矩阵,则 对角上的元素只有.
于是
从而
证毕.
证明 对于 阶方阵 有 ,证明 可相似对角化
确定特征值的可取值有哪些:.
分析重数:由
而由
夹逼可得,
关于特征值0的线性无关的特征向量个数是;
关于特征值1的无关特征向量个数是 .
二者之和正好为 ,是阶数。
故, 的几何重数等于代数重数,即无关特征向量个数等于特征值重数,故可对角化。
注:该证明其实是前面我们给出的对角化判别中最后一个的特例。对其证明也是与此处类似的。之所以要求 自然就是构造反向不等式时能够出现 的秩。
两矩阵相似与否的证明问题
证明矩阵不相似
- 利用必要条件
- 比如因为“若 ,则: ; ; ; ”,那么我们就可以通过 、 等来说明 和 不相似——这种思想在选择题中很常见;
- 利用相似的传递性
- 若我们能证明出 能相似对角化,但 不能相似对角化,则 和 一定不相似.
- 利用特征向量个数
- 若两个矩阵相似,则不仅特征值相同,且重特征值对应的线性无关特征向量个数也相同. 所以,我们可以 利用这一点去证明两个矩阵不相似. 比如,当我们发现 时,说明 和 的特征多项式相同,故 的特征值、行列式、秩、 迹全部都对应相等,很难判断出是否相似. 此时我们可以判断每一个特征值 对应的 和 . 若存在某个 ,使得 ,则说明 和 一定不相似(其实这也算是利用了结论“若 , 则 ”的逆否命题)
三阶实对称矩阵的重根特征向量
正交性求重根特征向量
一道综合性好题
待更
矩阵对角化的各类变形问题
同时对角化问题
若 使得,即找到可逆变换 将二次型 作标准化(一般通过配方法)。
那么,利用单位正交矩阵 作如下处理时,结果不变:
取,则 也是一个使得 得以标准化的可逆矩阵。
另一边,我们需要使得 在相同的变换下转为规范形,即. 有:
若令 ,则对 作正交变换使其对角化就相当于找到单位正交矩阵.
总结一下就是,对 作标准化得到 ,对 作规范化得到,则 即为一个可逆矩阵,使得 同时对角化。
待更
矩阵相似“开方”问题
矩阵与伴随一起对角化
二次型
二次型与变量替换
二次型的定义
定义 关于 个变量 的齐二次多项式函数 称作 元二次型,其一般形式如下:
称其中含有 的项为 平方项,称含有 的项为 交叉项。
二次型可以用矩阵乘法的形式表示:
注意 二次型的矩阵 是对称矩阵,这是和二次型相互决定的。
变量替换
引进新的变量 使得原变量 可以用新变量的齐一次线性函数表示,即:
然后将其代入 从而得到关于新变量的二次型.
该过程称之为 对二次型 作 线性变量替换。
如果 可逆,则称为 可逆线性变量替换。此时有:
即 二次型 的矩阵.
矩阵合同与惯性指数
矩阵合同
定义 对于两个 阶实矩阵,如果存在可逆阵 使得,则称 与 合同
记作.
一定要注意,在矩阵合同的定义中,我们并没有要求两个矩阵都是实对称矩阵。即,非对称矩阵也可以相互合同!
显然,根据上面我们对变量替换的推导,可以得出:
若 对称矩阵 与 合同 它们的二次型可通过 可逆线性变量变换 进行相互转化
此外,还有:对称矩阵相似(特征值相同)→ 对称矩阵合同
因此,要想求使得 的矩阵 只需将 实对称矩阵 的特征向量正交单位化,拼成 即可。
对于非对称矩阵 确定的二次型,不难将其化为我们熟悉的形式,其中 为实对称阵,且必有:
可以举出各种反例证明, 之间除了上述等式关系外,再无其他关系(如秩是否相等,是否相似、合同等)
🦄有结论: 其中,我们记,是反对称阵.
证明方法直接由 代入即可。(注:反对称矩阵对角元素全0)
由此可知,判断矩阵不合同可以通过判断其对应的对称矩阵不合同得出.
由于,对称矩阵 对应的反对称阵必为零矩阵,而非对称矩阵 对应的反对称阵 ,所以必有.
即:对称阵与非对称阵必定不合同!!
更多相关内容可参考:非对称矩阵合同判断方法|心一学长
综上所述,如果我们想要判断非实对称矩阵是否不合同,只需验证 不合同即可。但是反过来,即使 我们却不能反推 !!!
要想证明 只能从定义出发。如下面这道题:
已知,请判断 是否相似,是否合同。
【解】经计算, 的特征值均为: 各特征值互不相同,因此。
下面验证合同关系。
不难发现, 可以通过有限次行列变换化为:
将 的第一行和第三行交换,再将 的第一列与第三列交换即可。
即有:
满足合同定义,故。
惯性指数
惯性定理:一个二次型 虽然标准化结果不唯一,但是它们的平方项系数中,正的个数和负的个数由 唯一确定。因此 的规范型在形式上唯一,称其为 规范形
我们称平方项系数(矩阵的特征值)中正的个数为 正惯性指数,负的个数为 负惯性指数。
正负惯性指数之和 = 的秩
有:两个二次型有相同的规范形 对应的两个实对称阵合同 它们的正(负)特征值个数都相同
二次型的标准化与规范化
标准化与规范化
- 实二次型 系数和变量都限定为实数的二次型
- 标准二次型 交叉项的系数都为0,即矩阵是对角矩阵的二次型
- 规范二次型 形如 的二次型,其矩阵是规范对角矩阵:
它由阶数 和正负惯性指数 决定。
- 标准化 通过可逆线性变量替换把给定二次型化为标准二次型(构造可逆阵 使得 为对角阵)
- 规范化 通过可逆线性变量替换把给定二次型化为规范二次型(构造可逆阵 使得 为规范对角阵)
变换方法
- 正交变化法 只能用于标准化,构造方法与实对称阵的相似对角化类似,略
- 配方法
- 选定一个系数非0的平方项,将其与含有 的交叉项整合并配方。剩下的式子则可以看作新一组二次型,用同样的方法配方,直到所有项配方完成;
- 引进变量 对上一步中配方的每一项进行替换。(个数少于 时要保证替换可逆);
- 写出用新变量表示 的一次线性变换函数以及变换矩阵。
- 注:如果第一步没有平方项,可以先构造一次变量替换(未必已经标准化),然后将新的二次型进行处理即可。
一道经典例题:只能配方不能正交变换
问题 已知矩阵,求作一个 3 阶可逆矩阵 使得 为对角阵.
答案
很容易想到的做法是:根据实对称阵的特点,企图利用矩阵的特征值和特征向量构造一个正交矩阵,使得,并且对角阵元素是特征值。
然而实际上这道题的矩阵 的特征值难以求解。
作,会得到:。
该方程只能通过一元三次方程的求根公式暴力求解,或者利用 牛顿-拉弗森方法| Newton-Raphson method 求出近似解。
借助 MATLAB 计算得到的结果为:.
如果再利用这个近似解去求特征向量,显然无法得到正确的答案。
由此不考虑该做法。
注意到问题只要求有可逆阵,而并没有要求 是正交阵,因此我们可以利用二次型与矩阵的对应关系对本题进行求解。
矩阵 对应的二次型为:
对其进行配方:.
于是可作线性变量替换:
则原二次型化为:.
变换公式即为:
于是所求变换矩阵为:
利用配方法快速求解惯性指数
利用秩快速求解惯性指数
正定矩阵的概念与性质
正定矩阵
当 不全为0时,如果恒有,则称二次型 为正定二次型.
正定二次型对应的矩阵就是 正定矩阵. 与正定矩阵 合同 的实对称矩阵 也 正定.
有:实对称矩阵 正定
当 维列向量 时,恒有
正惯性指数等于阶数
的特征值都是正数
的所有顺序主子式均大于0
合同于单位阵,与 合同的实对称矩阵 也正定
存在可逆阵 使得
- 顺序主子式:把实对称阵左上角的 阶子矩阵的行列式称为其 阶 顺序主子式.
由此可以总结出判断矩阵正定的一般方法:顺序主子式法、特征值法、定义法等.
问题 设 都是 实矩阵,其中. 证明 是正定矩阵
答案
令,则,所以 元齐次线性方程组 没有非零解。
从而对于一个 维非零列向量 有. 则 不全为零向量。
于是,对于实对称矩阵 有:
根据正定矩阵的定义知, 为正定矩阵。
问题 证明对任何 实矩阵 的负惯性指数为 0. 如果 , 则 是正定矩阵。
答案
证明 设 是 (是实对称矩阵)的一个特征值, 是属于它的一个特征向量(因此 非零)。
从而,.
所以 恒成立。
因此, 的负惯性指数为 0 ,其特征值都是非负实数。
又由 知, 没有非零解。即对任何非零列向量 都有.
于是。
从而得到 为正定矩阵,证毕.
二次型的非零解、最值问题
二次型的非零解
二次型的不等式
设实二次型 中,二次型矩阵 的特征值为,且
证明:对任意三维实列向量 ,有:
且 在 的情况下,最大值是,最小值是.
选自《张宇线性代数 9 讲》
瑞利商和瑞利定理
实对称矩阵规避正交化
规避斯密特正交化
待更
※谱分解定理
谱分解定理
矩阵的高次幂
求解矩阵的高次幂问题
相似对角化法
哈密顿-凯莱定理| Hamilton-Cayley
若 是 的特征多项式,则
数学归纳法
主对角线及其下方元素全为零,循环矩阵
幂零矩阵
https://blog.csdn.net/weixin_35505731/article/details/104541127
牛顿二项展开法
秩一矩阵分解法
初等矩阵变换法
概率论
随机事件和概率
基本公式
- 乘法公式
- 全概率公式
- 贝叶斯公式
伯努利公式
独立性的性质
A 与 B 相互独立
无论事件 B 发生与否,A 发生的概率不变与任意事件独立
A, B, C 两两独立 A, B, C 相互独立
伯努利试验|Bernoulli experiment
如果在两个或多个试验中与各试验相联系的事件之间相互独立,且同一事件在各个试验中出现的概率相同,则称这些试验是 独立重复试验。
如果某独立重复试验只有两种对立结果,则称其为 伯努利试验。
将一个伯努利试验重复 n 次,则称这样的试验模型为 n 重伯努利概型。
设在每次试验中,,则在 重伯努利试验中的事件 发生 次的概率为:
上述公式称为 伯努利公式,也是二项概率公式。
如果 是 重伯努利概型中,事件 发生的次数,则说 服从于参数为的二项分布,记作.
问题 重复独立掷两个均匀的骰子。求问两个骰子的点数之和为 4 的结果出现在 点数之和为 7 的结果之前的概率。
答案
给出如下事件标记:
| 事件标记 | 事件内容 | 事件的概率 | 备注 |
|---|---|---|---|
点数和4 出现在 点数和7 之前 | 待求 | - | |
第一次试验出现了点数和4 | 总样本数,“点数和4”的可能为 | ||
第一次试验出现了点数和7 | 略 | ||
第一次试验没有出现 点数和4 与 点数和7 | 略 |
于是,有:
由全概率公式,得:
问题 一条自动生产线连续生产 件产品不出故障的概率为 假设产品的优质品率为,且各个产品之间的优质性相互独立。
- 计算该生产线从头开始连续无故障地生产了 件优质品 的概率;
- 若已知无故障生产了 件优质品,求该过程中生产了 件产品的概率.
答案
给出如下事件标记:
| 事件标记 | 事件内容 | 备注 |
|---|---|---|
| 生产线无故障连续生产了 件产品 | 构成了完备的事件组 | |
| 生产线无故障连续生产了 件优质品 | 的个数与 的个数相关,即 相关 |
显然, 的情况,即该过程中,总的优质品个数超过总的生产个数的情况并不存在。即:
利用全概率公式,得
对于问题 2 ,显然当产品数 时,概率为0.
下面考虑 的情况:
随机变量和分布
分布函数
定义 设 是一个随机变量,则 的分布函数 满足:.
分布函数的性质
- | 单调非减函数
- | 分布函数右连续
其中,前3条是一个函数是分布函数的充分必要条件。考试时,可用于判断某个函数是否为分布函数。
离散型随机变量
离散型随机变量 只能取有限或无穷可列个值,通常可以用表格的形式给出其概率分布或分布律。表格的内容由随机变量的取值 和其概率 构成。
离散型随机变量的分布律满足.
其分布函数有:
对于已知分布律求分布函数的题目,需要将 分成若干个小区间,除了第一个小区间外,其他区间均采用 左闭右开 的写法。此外,切记 中又是左开右闭,做题时应该明确等于号的位置,以免求错。
连续型随机变量
如果存在非负可积函数 使得,则称其对应的随机变量 是连续型随机变量。而函数 称为 的概率密度函数。
概率密度函数具有如下性质:
- , 是连续型随机变量 所取的任意定值
- 如果 在 处连续,则有
其中,前 2 条是一个函数是概率密度函数的充分必要条件,考试时,可用于判断某个函数是否为概率密度函数。
此外,由函数 可积可以确定一个分布函数,且 必连续,并且改变 在区间内有限个点的函数值,其积分大小不变,即在该区间内取值的概率不发生改变。
常见离散型随机变量
- 0-1分布(两点分布):,是 情况下的二项分布。
- 二项分布:
- 几何分布:,描述连续独立重复 次试验后首次成功的概率。
- 超几何分布:
参数为 均为正数,且.
- 泊松分布:
其中,,则称 服从于参数为 的泊松分布,记作:.
泊松定理 若随机变量,则当 充分小,而 充分大,且 适中时, 近似服从于泊松分布,即:
实际运用中,当 即可使用上式进行近似,不过 应该尽量地大,否则近似效果不佳。
常见连续型随机变量
- 均匀分布: 表示随机变量 在区间 上服从均匀分布,在该区间内的任意子区间取值的概率只与其长度有关。即.
- 指数分布:. 具有“无记忆性”,即
正态分布|Normal distribution
若随机变量 的概率密度为:
其中, 均为常数,且,则称 服从于参数为 的正态分布,记为.
其分布函数为:
特别地,当 时,称 服从 标准正态分布,记为. 我们将其对应的概率密度和分布函数分别记为.
事实上,根据函数的平移伸缩变换,可以将普通的正态分布用标准正态分布表示。即:
此外,如果利用函数分析的方法对正态分布的概率密度函数分析,还可以得到以下结论:
- 关于 对称,即对
- 为 的驻点
- 处的曲线 有拐点
- 曲线 以 轴为渐近线
既然正态分布(也叫高斯分布|Gaussian distribution)的函数是概率密度函数,那么它一定满足概率密度的必要条件:.
下面我们根据这个结论看看标准正态分布的概率密度:
即是:
这个公式就是 欧拉泊松积分。是一个十分常用的定积分结论,其不定积分是不能用初等函数表示的。
而这个积分的证明我们也在本文章高等数学的Part给出。
随机变量的函数也是随机变量
随机变量的函数
对于随机变量 其函数 也是随机变量。对 的概率密度以及分布函数的求解,往往可以借助已知的 来计算。
- 离散型
已知 ,则有. 特别的,在函数 不是一一映射的情况下,有:
- 连续型
连续型有两种思路。
第一种是直接根据定义,求出 的分布函数:
然后再对其求导得到概率密度。
第二种则对函数有要求,需要在函数 严格单调 的情况下,设其反函数为,从而有概率密度:
其中, 是 在 可能取值的区间上的值域。
特别地,我们有:随机变量 是 的分布函数(连续)时,即 时, 服从于均匀分布。
推导如下:
多维随机变量及联合分布
联合分布函数与边缘分布函数
设 是二维随机变量, 称为该二维随机变量的联合分布函数。
联合分布函数的性质
- ,且关于每一自变量均单调不减
- 分别是 的右连续函数
- 随机点 落在矩形域 上的概率为:
特别地,对于第 5 点,如果恒有,即区域 的面积大于0,那么:
也应该恒成立。这一点可作为联合分布函数的重要性质,对于判断一个二元函数是否为联合发布函数十分有用。
例如 并不是分布函数。
虽然可以证明 满足单调不减,右连续 等等性质。但是:
从而可以说明它本非分布函数。
- 边缘分布函数
设二维随机变量 的分布函数为。
分别称 为关于 和 的边缘分布函数。
有:
一般地,由 的分布函数可以确定其对应的边缘分布函数,反正则不然。由边缘分布函数并不能反过来确定分布函数。
只有当 相互独立时,可以由边缘分布得到联合发布。
| 对比项 | 离散型 | 连续型 |
|---|---|---|
| 表现形式 | 联合概率分布, 表格 | 联合概率密度, 满足 |
| 特征 | ||
| 分布函数 | 分段函数, 与一维离散类似 | 当 在 处连续时, |
| 边缘概率 | ||
| 条件概率 |
上表中给出了离散型和连续型涉及到概率分布的计算时所运用到的公式。其中,边缘概率和条件概率分别都只举了一例,另一例可类比得出。
在求条件概率密度时应当注意 定义域,确保作为条件的边缘概率密度大于0,因此要去除边缘概率为0的点。
由连续型条件概率密度(此处以在条件 下 的条件概率密度 为例)可得出对应的条件分布函数:
此外,对于条件密度函数,也有和乘法公式类似的结论:
二维独立性
有:,即:
则称 随机变量 相互独立.
- 充要条件
- 离散型: 即
- 连续型:,其中 是连续点
- 性质
- 若随机变量 相互独立,则它们的函数 也相互独立
- 若 相互独立,那么 关于 的条件分布就是其无条件分布(边缘概率分布)
装箱问题与几何相关的概率问题
经典例题之装箱问题
示例题:求边缘密度和条件密度
二维随机分布与变量函数的分布
二维连续型随机分布
- 均匀分布
其中, 是平面上一有界区域 的面积.
- 二维正态分布 记为:
其中,为 的相关系数,即
有如下性质:
- 相互独立
二维随机变量函数的分布
对于离散型二维随机变量的函数,其分布较为简单,只需逐一列出即可,因此此处直接略过。
我们将重点放在二维连续型随机变量的函数中来。
设二维连续型随机变量 有联合概率密度。随机变量函数可作如下几种分类:
- 当 二元连续可微时, 仍是连续型随机变量。其概率密度的计算方法是:
- 先计算
- 对分布函数求导得到概率密度
- 当 是离散型随机变量时,有:
更加特别地,如果 中, 是离散型 而 是连续型。则一般对离散型变量 的各种可能取值用 全概率公式 展开。即:
上表格.
| 随机变量函数 | 概率分布/密度 | 备注 |
|---|---|---|
| 相互独立时, | ||
| - | ||
| - | ||
| 独立时,可推广到 维 | ||
| 同上 |
上表仅列举了一般情况,均可以从原理出发推导而来,也建议考生多尝试从原理进行推导,以便应对上表中没有的随机变量函数。
此外,上述结论在当 独立时,还可以进一步化为边缘密度函数的乘积形式。
注:第一行中的符号 * 表示的是卷积,第三行的 abs(·) 表示绝对值。
其他重要结论
在 相互独立时,其二项分布、泊松分布、正态分布和卡方分布有:
上述结果对 个相互独立同分布的随机变量也成立。
随机变量的数字特征
数学期望与方差
数学期望与方差
- 对离散型随机变量 ,若 无穷级数 绝对收敛,则称其和为 的数学期望 或 均值。记作.
- 对连续型随机变量,其概率密度为,若 反常积分 绝对收敛,则称其值为 的数学期望.
- 若反常积分或无穷级数并不绝对收敛,则称该随机变量的数学期望不存在。
当离散变量的取值 取极限时,即 时
其概率大小为.
从而,
- 考虑随机变量 的函数:
- 离散型:(同样要求绝对收敛)
- 连续型: (同样要求绝对收敛)
- 二维随机变量 及其函数 可同样类比,此处略过.
💦下面总结一些常用公式:
- , 是常数;
- , 是常数;
- ;
- 相互独立 不相关;
- .
- 若 存在,则称其为随机变量 的方差,记作.
- 方差的算术平方根 称为 的标准差(或均方差),记作.
- 称 为 的标准化随机变量,有.
该结论应当熟记。
💦下面总结一些常用公式:
- , 是常数;
- , 是常数;
- .
常见一元随机变量的数字特征:
| 分布 | 数学期望 | 方差 |
|---|---|---|
| 二项分布 | ||
| 泊松分布 | ||
| 几何分布 | ||
| 指数分布 | ||
| 均匀分布 | ||
| 正态分布 |
之所以前面一直强调期望存在,以及很多题目中都给出期望存在的前提条件,自然是因为存在没有期望和方差的概率分布。例如:柯西分布。
(物理学家也将之称为洛伦兹分布或者 Breit-Wigner 分布)
对于随机变量 ,取 时,有:
可以自行验证其不存在数学期望、方差、高阶矩。
协方差与相关系数
协方差与相关系数
- 二维随机变量 有 存在,则称其为 的协方差,记为.
- 在上述基础上若有 均存在,则定义 的相关系数:
- 相关性质:
- 当 时,称 随机变量 不相关
💦下面总结一些常用公式:
- ;
- ;
- ;
- ;
- 相互独立 ,反之不一定成立.
- 🦄二维正态分布中 不相关能反推出独立
- 🦄0-1分布中 不相关能反推出独立
事实上,相关系数 是用于衡量以 近似 的好坏程度的。
以均方误差 作为目标函数,将问题化为最优化问题。该凸函数可通过偏导数为0求得其最小值。
最终得到:
- 设 是二维随机变量,现定义其关于矩的数字特征如下表:
| 数字特征 | 表达式 | 备注 |
|---|---|---|
| 阶原点矩 | 简称: 阶矩,数学期望就是其一阶矩 | |
| 阶中心矩 | 方差 就是其二阶中心矩 | |
| 阶混合矩 | - | |
| 阶混合中心距 | 协方差 就是二阶混合中心距 |
※重期望及其相关应用
重期望与条件期望
待更
大数定律与中心极限定理
概念速览
依概率收敛
设 是一个随机变量序列, 是一个常数,若,有:
则称该 随机变量序列依概率收敛于,记作:
设,又设函数 在点 处连续,则:
切比雪夫不等式
设随机变量 存在数学期望 和方差 ,则,有:
切比雪夫不等式给出了随机变量分布未知,但期望和方差已知时事件 的概率界限。
切比雪夫大数定律
设 相互独立,且. 若 使得 对任意 都成立,即是这一随机变量序列的方差有公共上界,则:
伯努利大数定律
设 是 次伯努利试验中,事件 发生的次数,每次 发生的概率都是,则有:
这表明伯努利试验次数 很大时,事件发生次数/试验次数,即频数依概率趋于事件发生的概率。
辛钦大数定律
设 相互独立同分布,且,则有:
这表明独立同分布的随机变量序列的平均值依概率趋于其数学期望。
列维-林德伯格定理
独立同分布的中心极限定理 设 相互独立同分布,且,则有:
其中, 是标准正态分布的分布函数.
该定理表明当 很大时,独立同分布随机变量的和.
棣莫弗-拉普拉斯定理
也就是 中心极限定理。它描述二项分布以正态分布为其极限分布 。
设随机变量 ,则有:
该定理表明当 很大时,服从于参数为 的二项分布的随机变量.
利用 中心极限定理 进行估计一般比用 切比雪夫不等式 要好得多
数理统计基础
总体、样本和统计量
在数理统计中:
总体 表示所研究对象的某项数量指标 取值的全体,总体 中的每一个元素称为 个体。
样本 全称为 简单随机样本,是与总体同分布的 个相互独立的随机变量 ,其中 称为样本容量。
设 分别是 的观测值,则称 为样本值,又称为总体 的 个独立观测值。
样本 的联合分布函数、联合概率密度、概率分布:
统计量
统计量是样本 的函数:.
统计量不依赖任何未知参数,作为随机样本的函数,统计量也是随机变量.
样本的 数字特征 是最常用的统计量.
- 样本均值
- 样本方差
- 样本标准差
- 样本 阶原点矩
- 样本 阶中心矩
注:
如果总体 具有数学期望 和方差 (无论总体服从于什么分布),则总有:
常见的抽样分布
统计量的分布也称为抽样分布. 而抽样分布可能含有未知参数,即当样本函数含位置参数但是其分布又不依赖于该参数时,可以将这种样本函数的分布也称为抽样分布。
卡方分布
卡方分布( 分布)是一种非负连续型随机变量的分布,其密度函数 的图像位于第一象限,峰值向左偏,峰值随着自由度 的增大向右移动,如下图所示。

典型的卡方分布对应的统计量为:
其中,样本均相互独立,且都服从于标准正态分布.
我们称统计量 服从于自由度为 的卡方分布,记作.
- 分位点
对于给定的,如果满足:
则称 为 分布的 分位点。
- ♾️性质
- 卡方分布的数学期望,方差
- 卡方分布具有可加性:. 其中, 分别服从自由度为 的卡方分布
根据卡方分布的概率密度函数,我们可以得出,若随机变量 则它也有 。即服从于 的指数分布
t 分布
t 分布 是一种连续型随机变量的分布,其密度函数 的图像关于 轴对称,形状与标准正态分布类似.
典型的 t 分布对应的统计量为:
其中, 相互独立,且.
我们称统计量 服从于自由度为 的 t 分布,记作.
- 分位点
对于给定的,如果满足:
则称 为 分布的 分位点。
由图像对称性可知,对于分位点有:.
- ♾️性质
- t 分布的概率密度函数为偶函数,且:. 即 当 足够大时,t 分布近似于标准正态分布,但对于较小的 差距较大
- 若 则,且
- 分布就是柯西分布,若,二者相互独立,则 也服从于 柯西分布
F 分布
F 分布 是一种非负连续型随机变量的分布,其密度函数 的图像与 分布类似.
典型的 F 分布对应的统计量为:
其中, 相互独立,且.
我们称统计量 服从于自由度为 的 F 分布,记作.
- 分位点
对于给定的,如果满足:
则称 为 分布的 分位点。
- ♾️性质
- 如果,则:.
- .
样本均值与方差的分布
样本均值的分布
样本方差的分布
两个重要结论
▷求证
样本方差与卡方分布的自由度
其中表示一个标准正态分布变量。
下面利用 “一组相互独立的标准正态随机变量经过正交变换后仍然是相互独立的标准正态随机变量”的性质作定量考察。
构造一个正交矩阵,对 做正交变换,即.
其中,,于是有:
令正交阵 的第一行,其他行不用处理,只需可以配合使得 正交即可。于是可以得到:
从而:
实际上只有 个独立的自由变量。
定性的分析,对于 来说,这是一个 阶二次型 ,如果我们简单地对其作变量替换,使,就不难发现,存在约束条件,即该变量替换是不可逆的,这也说明替换后的二次型矩阵的秩不为。
而如果我们采用配方的方式对 重新进行替换,就只能将原式化为 个平方之和。
这就是为什么样本方差相关的自由度是(对应二次型矩阵的秩为)
参考:1. 《概率论与数理统计》.浙江大学.第四版
2. 样本标准差与自由度 n-1 卡方分布关系的证明|CSDN
3. 概率中自由度真理理解?n-1怎么来的?|心一学长
▷求证 服从于正态分布的样本方差与样本均值相互独立
参考:为什么样本方差和样本均值是相互独立的,如何理解? - 知乎 https://www.zhihu.com/question/60963502/answer/2304102337
参数估计与假设检验
参数估计
参数点估计
在数理统计一章中,我们已经学习到了统计量这一概念,统计量是不依赖于任何未知参数,是样本 的函数。
而假设总体 的分布形式已知,但仍然含有未知参数 ;抑或总体的某数字特征(如数学期望或方差)存在但未知时,借助 样本 对未知参数给出一个估计值的这种参数估计问题就称为 点估计问题。
显然,参数 的估计是样本 的函数,即,称其为 估计量.
它的观测值 称为 估计值,作为 的近似值.
矩估计法
- 计算总体 的前 阶原点矩:
- 令 样本矩 = 总体矩,即:
- 由上述式子可得到 个包含 个未知参数的方程,整个方程组称为矩法方程。求解该方程即可得到:
最大似然估计法
如果已知连续型随机变量总体 的概率密度函数 ,其中 为待估参数 可能的取值范围,那么 来自该总体的样本 的联合密度函数为 的函数,即:
称其为 样本的似然函数,若存在 使得似然函数取得最大值,则称其为 的最大似然估计值,对应的 为最大似然估计量。有:
当 可微时,可利用如下公式解得估计值:
注:一般我们对其取对数进行化简,即采用 作为目标优化函数)
注:求导的目的是为了找到 取何值时,似然函数能达到最大值,所以,如果做题时发现求导结果不为零时,一定要记得最初的目的,通过考察函数的单调性来找出最大值点,从而得到估计值。
最大似然估计不变性 若存在一一映射的函数使得,则 的最大似然估计.
估计量的评选标准
- 无偏性 若参数 的估计量 的数学期望存在且 ,则称 为 的无偏估计量
- 有效性 若 都是未知参数 的无偏估计量,那么当 时,称 比 有效
- 一致性(相合性) 若 时,参数 的估计量 依概率收敛于 ,则称之为 一致估计量(或 相合估计量)
🔔即若 则称 是 的一致估计量。
设 独立同分布,则:
- ,即 是 的无偏估计量。但是 未必是 的无偏估计量
- 由辛钦大数定律, 依概率收敛于, 依概率收敛于. 进而可推导出. 即 是 的一致估计量
参数区间估计
区间估计就是用统计量作为端点形成的某个随机区间来刻画总体未知参数所在的范围
置信区间
若总体 的分布函数 含有一个未知参数,对于给定值,若由来自总体样本 确定的两个统计量 ,有:
则称随机区间 是 置信水平/置信度为 的置信区间。
单侧置信区间从略.
假设检验的基本概念
假设检验的基本概念
- 假设检验问题 在总体分布函数未知或只知形式不知参数时,提出某种关于其分布函数或参数的假设,并抽取样本构造合适的统计量,再根据样本对所提假设进行接受或拒绝,这样的问题称为 假设检验问题
- 检验法 借助于样本值来判断接受或拒绝假设的法则
- 原假设与备择假设 称需要着重考察的假设为 原假设,常记为(原假设一般需要包括等于号),与之对立的假设称为备择假设或对立假设,记为
- 检验统计量 如果基于某一个统计量的观测值来确定接受 与否时,这一统计量被称为 检验统计量
- 拒绝域与临界点 检验统计量的观测值落在某个区域时就拒绝,则该区域就称 拒绝域,拒绝域的边界点称为 临界点
- 假设检验的两类错误 实际为真但拒绝之的错误称为“弃真”;反之,实际为假却接受之的错误称为“取伪”
- 显著性水平 在作检验时,要求犯第一类错误(弃真)的概率 , 称为检验的显著性水平,通常取 0.1、0.05、0.01、0.005 等
简单假设 被定义为 “该假设成立,总体分布就完全确定” 。
例如,若 服从于泊松分布,作原假设,则该假设是简单假设。因为泊松分布的数学期望与方差都是参数 ,一旦 确定,整个分布就完全确定。
但是,若 服从于正态分布,作原假设 ,则该假设就不是简单假设
假设检验的一般步骤
- 提出所要检验的原假设 与备择假设;
- 选择检验的统计量(通常根据参数的已知与未知情况选取),并在 成立下求出其分布;
- 给定显著性水平,在 成立下确定临界值和拒绝域,即:
- 由样本值确定统计量的值,并判断该值是否落在拒绝域内,以此判断对原假设拒绝与接受.







