数学合集
🌱 🦤 main for review and practice of Latex 🦤 🌱
快捷导航
高等数学
函数极限连续
函数概念
两个基本要素
- 定义域
- 对应规则
复合函数
- 内层值域交外层定义域不等于空集
反函数
- x, y 一一对应
函数性态
单调性
- 判定
- 反例:
奇偶性
- 判定
- 注意: 连续的奇函数其原函数都是偶函数
- 连续的偶函数其原函数之一是奇函数
周期性
- 判定
- 可导的周期函数其导函数为周期函数
- 周期函数的原函数是周期函数的充要条件是其在一个周期上的积分为零
- 注意: 周期函数的原函数不一定是周期函数
有界性
- 判定
极限
极限概念
- 数列极限可转化为函数极限从而进行计算
- 极限与该点函数值无关
- 趋向而不等于
- 经典错误
- 在它的去心邻域内总存在没有定义的点
极限性质
- 局部有界性
- 保号性 -> 保序性
极限存在准则
- 夹逼准则
- 单调有界数列必有极限
- 存在 + 存在 = 不存在
- 不存在 + 不存在 = 不一定
无穷小
- 有限个无穷小的和仍是无穷小
- 有限个无穷小的积仍是无穷小
- 无穷小量与有界量的积仍是无穷小
- 低阶无穷小 + 高阶无穷小 ~ 低阶无穷小
无穷大
- 无穷大: 都很大
- 无界变量: 有很大
常用基本极限
连续
间断点
- 第一类间断点: 左右极限都存在
- 可去间断点
- 跳跃间断点
- 第二类间断点: 左右极限中至少一个不存在
- 无穷间断点
- 震荡间断点
连续函数的性质
- 初等函数在其定义区间内处处连续
- 定义区间不唯一, 定义域唯一
- 有界性
- 最值性
- 介值性
一元函数微分学
导数与微分
极值和拐点
- 极值点, 驻点, 拐点
极 值 点 驻 点 可 导 的 极 值 点 驻 点 拐 点 凹 凸 性 改 变 的 点 驻 点 极 值 点 拐 点
- 极值的一个必要, 三个充分
- 一个必要:
可导函数在该点取得极值的必要条件是该点导数等于0- 第一充分: f(x)在去心邻域可导, 其导数在两侧异号, 存在极值
- 第二充分: f(x)一阶导等于0, 二阶导不等于0
- 第三充分: f(x)所有
n-1阶导等于0,n阶导不等于0, n为偶数, 有极值, n为奇数, 无极值
- 拐点的判定: 一个必要, 三个充分
- 将极值点的必要条件和充分条件中的
导数阶数提高一阶便是拐点的一个必要条件和三个充分条件
渐进线
- 水平渐近线: 2条?
- 垂直渐近线
- 斜渐近线: 2条?
- 斜渐近线
曲率
- 描述弯曲程度
曲 率 半 径
方程的根
- 存在性
- 零点定理
- 罗尔定理
- 个数
- 单调性
- 罗尔定理的推论: 若在区间上f(x)的
n阶导不等于0, 则在该区间上最多有n个实根
一元函数积分学
- f(x)连续是指:
- f(x)存在原函数是指:
- f(x)可积是指:
存 在
- f(x)连续, 可积, 有界, 有原函数之间的关系
有 原 函 数 连 续 可 积 有 界 - 可积与存在原函数没有直接关系
有 第 一 类 间 断 点 没 有 原 函 数 连 续 有 界 且 只 有 有 限 个 间 断 点 可 积
- 此外,
与 的 关 系 连 续 可 导 可 积 连 续
原函数的存在性
连 续 有 原 函 数 有 第 一 类 间 断 点 没 有 原 函 数
定积分的存在性
连 续 可 积 连 续 有 界 且 只 有 有 限 个 间 断 点 可 积 连 续 仅 有 有 限 个 第 一 类 间 断 点 可 积
f(x)与其变上限积分函数的关系
记 的 变 上 限 积 分 函 数 为 连 续 连 续 可 导 且 存 在 可 去 间 断 点 连 续 可 导 且 存 在 跳 跃 间 断 点 连 续 不 可 导
反常积分
瑕 点 反 常 收 敛 无 穷 反 常 收 敛
定积分的应用
平 面 域 的 面 积 旋 转 体 的 体 积 直 线 不 穿 过 旋 转 体 其 中 已 知 横 截 面 面 积 的 体 积 曲 线 弧 长 旋 转 体 侧 面 积
细 棒 的 质 心 板 的 质 心
高数总结
泰勒公式
- 奇函数只有奇次项, 偶函数只有偶次项
- 等式两边一直求导, 可以求
n阶导数求 极 限 的 过 程 广 义 上 可 以 看 作 同 阶 同 阶 高 阶 低 阶 低 阶 高 阶 其 中 同 阶 同 阶 常 数 高 阶 低 阶 低 阶 高 阶 不 确 定 不 难 得 出 低 阶 高 阶 低 阶 使 用 泰 勒 公 式 的 前 提 是 在 的 邻 域 内 有 阶 导 数
泰勒公式与等价无穷小- 把高阶无穷小去掉,
=换成~既是等价无穷小的表达式, 按需调整余项为多少阶的高阶无穷小例 如 某 些 函 数 的 有 些 次 项 为 比 如 也 可 以 写 为
泰勒公式与拉格朗日中值定理取 令 即 拉 格 朗 日 中 值 定 理 的 形 式 - 也就是拉格朗日中值定理是函数根据泰勒公式
一阶展开的结果
那么可以知道, 在加减时使用等价代换不一定是正确的, 因为使用等价无穷小时所忽略后面的高阶无穷小, 有可能比上分母的极限不为0- 此时使用等价代换与泰勒展开的结果是一样的 :
- 此时使用等价代换与泰勒展开的结果是不一样的:
然 而 实 际 上 为 - 原因在于:
而 不 确 定 虽 然 这 是 显 然 的 常 数 或
同理, 拉格朗日中值定理处理某些极限也是不一定正确的
简单的
有关三角函数与反三角函数
注意到下面的等价代换, 显然这是换元可得的
有关可用二项式定理的函数
显然, 这是先求导后积分可得的
函数概念的理解
一元函数
在 处 连 续 在 处 连 续 在 的 某 领 域 内 连 续
- 经典例子
为 有 理 数 为 无 理 数
使 得 当 时 使 得 当 时 单 调 增
- 经典例子
- 可导但导数不存在:
可 导 存 在 - 可导但导数不连续(导数都不存在了, 那导数怎么可能连续):
可 导 连 续
- 经典例子
- f(x) n 阶可导, 最多可洛
n-1次- f(x) n 阶连续可导, 最多可洛
n次
存 在 在 处 连 续 都 存 在 在 处 连 续 存 在 在 处 连 续 都 存 在 在 处 连 续
- 经典例子
连 续 有 原 函 数 可 积 有 原 函 数 有 界 连 续 连 续 有 界 且 只 有 有 限 个 间 断 点 连 续 且 只 有 有 限 个 第 一 类 间 断 点 可 导 存 在 可 去 间 断 点 存 在 跳 跃 间 断 点 有 第 一 类 间 断 点 不 是 的 原 函 数 没 有 原 函 数
多元函数
- 多元函数与一元函数在可导, 可微, 连续之间关系的差别
在 点 处 连 续 在 点 处 两 个 偏 导 数 存 在 在 点 处 可 微 在 点 处 连 续 在 点 处 两 个 偏 导 数 连 续 在 点 处 可 微 - 二元函数
连续, 可(偏)导, 可微与一元函数有差别的原因在于二元函数可偏导只能保证沿x, y方向, 不能保证沿该邻域的任意方向; 那么如果偏导数连续, 也就是偏导数在该点的某个邻域内存在, 于是偏导数在这邻域内有定义, 而这个偏导数在该点连续因为: 可 微 偏 导 数 连 续 可 微 可 偏 导 但 是 导 数 不 一 定 存 在 进 而 偏 导 数 不 一 定 连 续
存 在 在 点 处 连 续 在 点 处 可 微
使 得 在 点 处 可 微
在 邻 域 内 有 二 阶 连 续 偏 导 数 又 令 有 极 值 极 小 值 极 大 值 无 极 值 不 一 定 有 极 值 用 定 义 判 断
下面通过线性代数推导该结论
在 极 值 点 二 阶 展 开
为 极 值 点 为 驻 点
得
即 又
二 阶 混 合 偏 导 数 连 续
对 于
不 妨 设 正 定 为 极 小 值
同 理 时 负 定 为 极 大 值
对 于
不 定 不 是 极 值
对 于
有 可 能 是 极 值 点
若 是 鞍 点 显 然 不 是 极 值 点 考 虑 其 中 满 足 同 时 是 极 值 点
微分方程
一 阶 线 性 微 分 方 程 通 解
二 阶 常 系 数 齐 次 线 性 微 分 方 程 特 征 方 程
二 阶 常 系 数 非 齐 次 线 性 微 分 方 程 令 若 是 特 征 方 程 的 几 重 根 就 取 几 令 其 中 是 特 征 方 程 含 根 或 的 重 复 次 数
下 面 介 绍 如 何 通 过 线 性 代 数 推 导 出 的 解
求 导 是 线 性 运 算 且
记 微 分 算 子 为 对 的 求 导 运 算 显 然 有 即 的 特 征 值 为 特 征 向 量 为
注 意 的 为 线 性 算 子 而 的 为 线 性 变 换
把 微 分 方 程 化 为 矩 阵 与 向 量 相 乘 形 式
令 则 显 然 的 特 征 值 为 特 征 向 量 为
现 在 问 题 转 化 为 的 求 解 问 题 也 就 是 求 的 所 有 特 征 值 为 的 特 征 向 量
由 解 出 分 别 讨 论 解 的 情 况
若
的 基 础 解 系 为 通 解 为
若
显 然 满 足 除 此 之 外 也 满 足
基 础 解 系 为 通 解 为
若
由 可 得
从 而 的 基 础 解 系 为 通 解 为
对 于 在 求 解 其 对 应 时 同 理
或 求 特 解 时
若 或 不 是 特 征 方 程 的 根
也 就 代 表 或 向 量 在 做 线 性 变 换 时 没 有 被 压 缩
若 或 是 特 征 方 程 的 单 根
也 就 代 表 或 向 量 在 做 线 性 变 换 时 被 压 缩 到 了 点 从 而 求 特 解 时 需 多 乘
若 或 是 特 征 方 程 的 二 重 根
也 就 代 表 或 向 量 在 做 线 性 变 换 时 被 压 缩 到 了 点 从 而 求 特 解 时 需 多 乘
以 此 类 推 重 根 代 表 求 次 导 第 一 次 不 出 现 或
求极限
- 分左、右极限求极限
- 分段函数在分界点处的极限
- 有时先求分段函数表达式, 再求极限
- 先用等价无穷小看看是什么形式
- 通分, 分母有理化, 取对数(结果别漏了
e), 取指数(结果别漏了e), 夹逼准则, 定积分
- 泰勒公式, 等价无穷小, 拉格朗日中值定理
- 例如n项和的极限
- 变化部分是主体次量级,用夹逼原理
- 变化部分与主体同量级,用定积分定义
- 分子分母都有变化部分, 把分子或分母的变化部分放缩掉
- 夹不出来和定不出来的时候,
,试试再夹试 试 乘 类 似 右 边 的 式 子
- 注意数列的极限转化成函数的极限, 不要漏了转化的步骤
- 注意取对数取指数, 最后的结果别漏了
e
- 数列有极限有三种趋向方式: 有上界的趋向, 有下界的趋向, 震荡的趋向
若 数 列 单 调 此 时 再 判 断 是 否 有 界 单 调 有 界 数 列 必 有 极 限 若 数 列 不 单 调 此 时 采 用 其 中 均 为 常 数
函数与其导数及介值的联系
函数与其一阶导数
- 最值定理与费马引理:
在 闭 区 间 上 连 续 的 函 数 在 该 区 间 上 有 界 一 定 能 取 得 它 的 最 值 并 且 在 处 可 导
- 罗尔定理:
在 闭 区 间 上 连 续 开 区 间 内 可 导 , 使 得
- 拉格朗日中值定理:
在 闭 区 间 上 连 续 , 在 开 区 间 内 可 导 , 使 得
- 柯西中值定理:
在 闭 区 间 上 连 续 , 在 开 区 间 内 可 导 , 使 得
- 积分中值定理:
其 中 其 中 为 积 分 域 的 面 积 其 中 不 变 号
遇 到 双 中 值 若 不 要 求 在 区 间 使 用 拉 格 朗 日 中 值 定 理 和 柯 西 中 值 定 理 遇 到 双 中 值 若 要 求 把 区 间 分 为 两 个 子 区 间 分 别 在 子 区 间 使 用 拉 格 朗 日 中 值 定 理
函数与其偏导
函数与其高阶导数
- 泰勒中值定理:
介 于 与 之 间 上 述 是 在 时 的 展 开 形 式 那 么 也 可 以 在 处 展 开 即 介 于 与 之 间
- 多次分部积分
函数与其介值
- 零点定理:
在 闭 区 间 上 连 续 且 则 在 开 区 间 内 至 少 存 在 一 点 使
- 介值定理:
在 闭 区 间 上 连 续 且 在 这 区 间 的 端 点 取 不 同 的 函 数 值 即 则 对 于 与 之 间 的 任 意 一 个 数 在 开 区 间 内 至 少 存 在 一 点 使 得
高数常用结论
__main__
若 则 构 造
可 导 可 导 可 导 可 导
令 则 若 令 若 令 若 令
极限相关的若
二次结论在 处 连 续 在 处 可 导
在 处 连 续 当 在 处 可 导 在 处 可 导 当 在 处 可 导
若 对 任 意 有 则 称 函 数 是 次 齐 次 函 数 若 可 微 则 是 次 齐 次 函 数
三 角 形 面 积 其 中
全微分方程的全 微 分 方 程 不 一 定 是 一 个 全 微 分 方 程 判 定 方 法 解 法 偏 积 分 凑 微 分 线 积 分
线性代数
逆序数
因
余子式和代数余子式
余 子 式 代 数 余 子 式
n阶矩阵运算
| 转置相关 | 伴随相关 | 可逆相关 | 行列式相关 |
|---|---|---|---|
特征值与特征向量
| A | A+kE | ||||
|---|---|---|---|---|---|
特殊矩阵性质
对 称 矩 阵 反 对 称 矩 阵 正 交 矩 阵
schmidt正交化
线代总结
方程组的解
为 行 列 矩 阵 若 解 若 解 只 有 解
为 行 列 矩 阵 有 解 唯 一 解 解 无 解
常用结论
二 次 型 的 秩
- 任何一个二次型都存在某个坐标变换, 使其化为标准型
- 实对称矩阵必可相似对角化, 实对称矩阵都存在某个正交变换, 使其化为标准型, 此时合同且相似
- 正定二次型的矩阵称为正定矩阵, 显然也是对称矩阵
向量组
部 分 相 关 整 体 相 关 低 维 无 关 高 维 无 关 多 由 少 不 等 表 示 多 必 相 关 线 性 无 关 任 意 不 全 为 的 一 组 数 恒 有
等价相似合同
矩 阵 等 价 其 中 均 可 逆
向 量 组 等 价 向 量 组 可 以 互 相 线 性 表 出 向 量 组 可 由 向 量 组 线 性 表 出 且
矩 阵 相 似 使 得 判 断 相 似 阶 实 对 称 矩 阵
有 个 线 性 无 关 的 特 征 向 量 重 特 征 值 有 个 无 关 的 特 征 向 量 有 个 不 同 的 特 征 值
阶 实 对 称 矩 阵 合 同 可 逆 矩 阵 使 得 同 号
二次型
正 定 二 次 型 顺 序 主 子 式 全 大 于
数学归纳法
若 先 证 明 时 成 立 设 时 成 立 证 明 时 成 立 若 先 证 明 和 时 成 立 假 设 时 成 立 证 明 时 成 立
不常用结论
三对角行列式
秩为1的矩阵
- 秩为1的矩阵, 特征值为: 迹, 0, 0, …
三阶实对称矩阵
对 于 三 阶 实 对 称 矩 阵 即
本博客所有文章除特别声明外,均采用 CC BY-NC-SA 4.0 许可协议。转载请注明来自 admin🌸!



