数学分析定义定理推理一览表.docxVIP

定义 1 给定两个非负实数 其中 a0 ,b0 为非负整数， ak ,bk k 1,2, L 为整数，若有 则称 x 与 y 相等，记为 x y . 定义 2 定义 3 绝对值得一些性质 定义 4 区间和邻域 定义 5 有界的定义 定义 6 确界的定义 定理 1 定理一 确界原理 定理 2 推广的确界原理 任一非空数集必有上、下确界（正常的或非正常的） . 函数的概念 定义 1 函数的四则运算 初等函数 定义 2 几个重要的等式（不等式） 数列极限 定义 1 收敛数列的性质 定义1设 an 为数列， nk 为正整数集 N + 的无限子集，且 n1 n2 L nk L ， 则数列 a , a ,L , a ,L 称为数列 an 的一个子列，简记为 a . n n n k n 1 2 k 平凡子列：数列 an 本身以及去掉有限项后得到的子列. 非平凡子列：不是平凡子列的子列. 数列 an 与它的任一平凡子列同为收敛或发散，且在收敛时有相同的极限 . 定理 2.9 数列 an 收敛的充要条件是： an 的任何非平凡子列都收敛 . 定理二 （单调有界定理）在实数系中，有界的单调数列必有极限 . 函数极限 定义 函数极限的性质 无穷小量阶的比较（定义见下页末） 函数极限存在的条件 两个重要极限 常见的几个等价无穷小量 函数的连续 区间上的连续函数 连续函数的性质 导数和微分 定义 2 单侧导数 导函数 导数的几何意义 求导法则 反函数的导数 复合函数的导数 基本求导法则 基本初等函数导数公式 参变量函数的导数 高阶导数 定义略 微分 定义 1 定理 5.10 可微函数 若函数在定义区间上每一点都可微， 则称函数为可微函数 . 微分的运算法则 高阶微分 微分中值定理 泰 勒 公 式  对于一般函数 f ，设它在点 x0存在直到 n阶的导数 . 由这些导数构造一个 r次多项式 Tn x f x0 f x0 f x0 2 L 1! x x0 x x0 2! f n x0 x x0 n .称为函数 f 在点 x0处的泰勒多项式， n! Tn x 的各项系数 f k x0 L , n 称为泰勒系数 . k ! k 1,2, 由上面多项式系 数的讨论，易知 f x 与其泰勒多项式 Tn x 在点 x0有相 同的函数值和相同至 阶倒数值，即 k k L n f x0 Tn x0 , k 0,1,2, , n. 若函数 f 在点 x0存在直到 n阶导数 , 则有 f x =Tn x o x x0 n ,即 定理 6.8 f x =f x0 f x0 x f x0 2 1! x0 2! x x0L f n x0 x x0 n o n 泰勒公式 n! x x0 又称为带有佩亚诺型余项 o x x0 n 的泰勒公式 . 当 x0 0时，称为带有佩亚诺型余项的麦克劳林公式 . 泰勒定理 若函数 f 在 a, b 存在直到 n阶的连续导函数 , 在 a, b 内存在 n 1 阶导函数，则对任意给定的 x, x0 a,b , 定理 6.9 至少存在一点 a, b , 使得 f x =f x0 f x0 x x0 f x0 2 L 1! 2! x x0 f n x0 x x0 nf n 1 x n 1 n! n 1 ! x0 . 带有拉格朗日余项的泰勒公式 当 x0 0, 得到的泰勒公式 f 0 f 0 f n f x =f x x 2 0 n 0 1! 2! L n! x f n 1 x n 1 1 . x 0 n 1 ! 称为带有拉格朗日余项的麦克劳林公式 . 函数的极值与最值 通过比较 f 在所有稳定点、不可导点和区间端点上的函数值才能得到最大值或最小值 . 函数的凸性与拐点 函数图像的讨论 作函数图像的一般程序 1.求函数的定义域； 2.考察函数的奇偶性、周期性； 3.求函数的某些特殊点，如与两个坐标轴的交点，不连续点，不 可导点等； 4.确定函数的单调区间，极值点，凸性区间以及拐点； 5.考察渐近线； 6.综合以上结果画出函数图像 . 设闭区间 a,b 上有 n 1个点，依次为 a x0 x1 x2 L xn 1 xn b, 定义 1 它们把 a,b 分成 n个小区间 i xi 1, xi , i 1,2,L , n. 这些分点或这些闭子区间构成对 a, b 的一个分割，记为 ， , xn 1, xn 或 0 , 1, ， n 1 , n ， T = x0 , x1, x2 L 2 L , 小区间 i的长度为 xi xi xi 1,并记 T = max