高数中需要掌握证明过程的定理
高数重要定理(高数上下)
4.如果欲证等式，则再应用介值定理即可证明；如果欲证不等式，
则继续取绝对值放大、缩小即可证明.
1．水平渐近线
若 xli→m∞ f (x)= A ( 或 xl→im+∞ f (x)= A或 xl→im−∞ f (x)= A),则 y = A是曲线
y= f (x)的一条水平渐近线．
2．垂直（竖直、铅直）渐近线
g(x) (3) 已知lim f (x)g(x)= A，lim f (x)=∞，
则limg(x)=0.
1.连续函数的和，差，积，商（分母不为零）及复合仍连续. 2.初等函数在其定义区间内处处连续. 3.闭区间上连续函数的性质
(1)最值性:若 f (x)在[a,b]上连续, 则 f (x)在[a,b]上必有最大值
（1）高阶：若lim α ( x) = 0，记为α ( x) = ο[β ( x)]; β ( x)
（2）低阶：若lim α ( x) = ∞，记为β ( x) = ο[α ( x)]; β ( x)
（3）同阶： 若lim α ( x) = C ≠ 0,记为α ( x) = O[β ( x)]; β ( x)
(ln
x).
(4) ∫ f (
x)
dx x
=
2∫
f
(
x)d(
x ).
(5) ∫ f (cos x)sin xdx = −∫ f (cos x) d (cos x).
(6)
∫
f
⎛ ⎜⎝
1 x
⎞ ⎟⎠
dx x2
=
−∫
f
⎛ ⎜⎝
1 x
⎞⎟⎠d
⎛ ⎜⎝
1 x
⎞⎟⎠.
定积分的性质：
(1)
a
高数三大定理
高数三大定理1.拉格朗日中值定理拉格朗日中值定理是微积分中的重要定理之一。
它的基本思想是将函数的导数与函数在两个不同点上的函数值联系起来，从而推导出在这两个点之间存在一个点，使得函数在这个点的导数等于函数在这两个点上的函数值的斜率，即斜率相等。
数学符号表示为：设$f(x)$在区间$[a,b]$内连续，且在区间$(a,b)$内可导，则存在$c\in(a,b)$，使得：$$f(b)-f(a)=f'(c)(b-a)$$其中$c$的取值在$a$和$b$之间。
2.柯西中值定理与拉格朗日中值定理相似，柯西中值定理是另一个在微积分中常见的定理。
假设$f(x)$和$g(x)$在区间$[a,b]$内均连续，在区间$(a,b)$内均可导，且$g'(x)\neq0$，则存在$c\in(a,b)$使得：$$\frac{f(b)-f(a)}{g(b)-g(a)}=\frac{f'(c)}{g'(c)}$$柯西中值定理的意义在于，它通过某种方式将两个不同的函数$f(x)$和$g(x)$关联起来，进而描述它们在某个点上的关系。
这个定理在解析几何和微积分中的应用非常广泛。
3.泰勒定理泰勒定理是微积分学中非常基础的定理，它告诉我们在某个点附近，任何光滑函数都可以用它在该点的导数和高阶导数来近似表示。
具体而言，设$f(x)$在$x=a$处具有$n+1$阶导数，则对于$a$的充分小的邻域$U(a)$，存在常数$c_0,c_1,\cdots,c_n$，使得：$$f(x)=f(a)+f'(a)(x-a)+\frac{f''(a)}{2!}(x-a)^2+\cdots+\frac{f^{(n)}(a)}{n!}(x-a)^n+c_n(x-a)^{n+1}$$其中$c_n=\frac{f^{(n+1)}(\xi)}{(n+1)!}$，其中$\xi$是$a$和$x$的某个值。
泰勒定理是微积分中的重要工具，它在物理学、工程学和自然科学上具有广泛的应用。
考研高等数学有哪些重要定理证明
考研高等数学有哪些重要定理证明考研高等数学有哪些重要定理证明考生们在进行考研高等数学的复习阶段时，有很多重要定理证明需要去掌握。
店铺为大家精心准备了考研高等数学定理证明的复习指导，欢迎大家前来阅读。
考研高等数学重要的定理证明高数定理证明之微分中值定理:这一部分内容比较丰富，包括费马引理、罗尔定理、拉格朗日定理、柯西定理和泰勒中值定理。
除泰勒中值定理外，其它定理要求会证。
费马引理的条件有两个：1.f'(x0)存在2.f(x0)为f(x)的极值，结论为f'(x0)=0。
考虑函数在一点的导数，用什么方法?自然想到导数定义。
我们可以按照导数定义写出f'(x0)的极限形式。
往下如何推理?关键要看第二个条件怎么用。
“f(x0)为f(x)的极值”翻译成数学语言即f(x)-f(x0)<0(或>0)，对x0的某去心邻域成立。
结合导数定义式中函数部分表达式，不难想到考虑函数部分的正负号。
若能得出函数部分的符号，如何得到极限值的符号呢?极限的保号性是个桥梁。
费马引理中的“引理”包含着引出其它定理之意。
那么它引出的定理就是我们下面要讨论的罗尔定理。
若在微分中值定理这部分推举一个考频最高的，那罗尔定理当之无愧。
该定理的条件和结论想必各位都比较熟悉。
条件有三：“闭区间连续”、“开区间可导”和“端值相等”，结论是在开区间存在一点(即所谓的中值)，使得函数在该点的导数为0。
该定理的证明不好理解，需认真体会：条件怎么用?如何和结论建立联系?当然，我们现在讨论该定理的证明是“马后炮”式的：已经有了证明过程，我们看看怎么去理解掌握。
如果在罗尔生活的时代，证出该定理，那可是十足的创新，是要流芳百世的。
闲言少叙，言归正传。
既然我们讨论费马引理的作用是要引出罗尔定理，那么罗尔定理的证明过程中就要用到费马引理。
我们对比这两个定理的结论，不难发现是一致的：都是函数在一点的导数为0。
话说到这，可能有同学要说：罗尔定理的证明并不难呀，由费马引理得结论不就行了。
数学高数定理定义总结
数学高数定理定义总结高数定理是数学分析中的重要定理之一，它统一了微积分的各个概念和工具，形成了系统完备的理论体系。
高数定理包括极限定理、连续性定理、导数与微分定理、积分定理等。
首先是极限定理。
极限是研究函数变化趋势的重要工具，极限定理给出了计算极限的有用方法。
其中包括夹逼准则、单调有界数列的极限、函数极限的保号性等等。
这些定理可以用来证明一些重要的极限，如正弦函数的极限、指数函数的极限等。
其次是连续性定理。
连续性是函数的一个重要特性，连续性定理给出了一些充分条件和必要条件。
其中包括闭区间上连续函数的性质、有界函数的连续性、连续函数的保号性等等。
这些定理可以用来证明一些重要的连续函数，如多项式函数的连续性、指数函数的连续性等。
导数与微分定理是高阶微积分理论的核心内容，它们给出了函数的变化率和微分的相关性质。
其中包括导数的定义和性质、微分的定义和性质、函数递增和递减的判定方法等等。
这些定理可以用来证明一些重要的导数和微分公式，如常数函数的导数、幂函数的导数等。
积分定理是微积分中的另一个重要分支，它研究的是函数的区间上的积累性质。
其中包括不定积分的基本定理、定积分的基本定理、微积分基本定理等等。
这些定理可以用来计算一些重要的积分，如多项式函数的不定积分、定积分的性质等。
高数定理的最终目标是建立一个完整的微积分体系，使得我们能够更好地理解和处理实际问题。
在应用中，高数定理可以用来解决诸如曲线的弧长、区域的面积、体积、质心等问题。
同时，高数定理还在其他学科领域发挥重要作用，如物理学中的运动学、力学等。
总之，高数定理是微积分理论的核心内容，它们给出了一些重要的概念和工具，为我们理解函数和计算变化率提供了重要的基础。
通过深入学习和应用高数定理，我们可以提高数学思维能力和问题解决能力，为其他学科领域的研究和应用提供有力支持。
高数中值定理总结典型例题
高数中值定理总结典型例题一、罗尔定理罗尔定理：如果函数f(x)在闭区间[a,b]上连续，在开区间(a,b)内可导，且f(a)=f(b)，则至少存在一点c∈(a,b)，使得f′(c)=0。
典型例题：设f(x)=x3−3x+2，在区间[1,2]上应用罗尔定理。
解答：1.验证f(x)在[1,2]上连续，在(1,2)内可导。
f(x)=x3−3x+2是多项式函数，在R上连续且可导。
2.计算f(1)和f(2)。
f(1)=13−3×1+2=0f(2)=23−3×2+2=4（注意：虽然f(1)=f(2)，但此步骤是为了展示如何应用定理的验证过程。
实际上，为了应用罗尔定理，我们需要找到一个包含x=1的区间，使得在该区间两端函数值相等。
但在这个例子中，我们直接考虑f(x)在x=1处的性质，并注意到f′(1)=0，这实际上是一个特例，因为罗尔定理的严格条件并未完全满足。
然而，为了教学目的，我们可以假设存在一个包含x=1且满足罗尔定理条件的小区间，或者直接观察f′(x)在x=1处的值。
）3.求导并找到导数为0的点。
f′(x)=3x2−3令f′(x)=0，解得x=±1。
在区间(1,2)内，只有x=1（虽然不在开区间内，但在此我们仅作为示例说明求导过程，并注意到x=1是临界点）。
注意：实际上，在这个例子中，由于f(1)=0且f′(1)=0，x=1是函数的一个零点也是一个驻点（即导数为零的点）。
虽然罗尔定理不能直接应用于这个区间，但我们可以观察到在x=1附近函数的行为符合罗尔定理的直观意义：函数在这一点附近先减后增（或先增后减），因此存在一点使得切线水平（即导数为零）。
二、拉格朗日中值定理拉格朗日中值定理：如果函数f(x)在闭区间[a,b]上连续，在开区间(a,b)内可导，那么在开区间(a,b)内至少存在一点c，使得f′(c)=b−af(b)−f(a)典型例题：证明：对于任意两个正数a和b（a=b），有2a+b>ab解答：1.定义函数f(x)=x。
高数十大定理
高数十大定理高数的十大定理包括有界性、最值定理、零点定理、费马定理、罗尔定理、拉格朗日中值定理、柯西中值定理、泰勒定理(泰勒公式)、积分中值定理(平均值定理)、微分中值定理等。
具体来说：1. 有界性：是指给定一个数集和一个常数M，存在一个确定的点，使得数集中的所有数都可以在某个区间上被这个点所限制，即数集中的所有数都不会超过这个常数M。
2. 最值定理：是指在实数集中，每一个函数都有一个最大值和一个最小值，即函数在某个区间内的最大值和最小值。
3. 零点定理：是指如果函数在区间[a,b]的两端取值异号，即f(a)⋅f(b)<0，那么在区间(a,b)内至少存在一个使f(x)=0的点。
4. 费马定理：是指对于实数n，如果有n个正整数a1,a2,...,an满足a1⋅a2...an=p(p为质数)，那么对于任何正整数n，a1,a2,...,an都是p的倍数。
5. 罗尔定理：是指如果函数f(x)在区间[a,b]上连续，在区间(a,b)内可导，且f(a)=f(b)，那么在区间(a,b)内至少存在一个点ξ，使得f'(ξ)=0。
6. 拉格朗日中值定理：是指如果函数f(x)在区间[a,b]上连续，在区间(a,b)内可导，那么在区间(a,b)内至少存在一个点ξ，使得f'(ξ)=(f(b)-f(a))/(b-a)。
7. 柯西中值定理：是指如果函数f(x)和g(x)在区间[a,b]上连续，在区间(a,b)内可导，且g'(x)≠0，那么在区间(a,b)内至少存在一个点ξ，使得f'(ξ)=(f(b)-f(a))/(g(b)-g(a))。
8. 泰勒定理（泰勒公式）：是指如果函数f(x)在区间[a,b]上存在n阶导数，那么对于任何x∈[a,b]，都存在一个以x为中心的极小值点ξ，使得f(x)=f(ξ)+f'(ξ)(x-ξ)+f''(ξ)(x-ξ)^2/2!+...+f^(n)(ξ)(x-ξ)^n/n!+...。
25个高数定理证明
a
0
=
2
a 0
f ( x)dx，若f ( x)是偶函数
0 ， 若f ( x)是偶函数
17 .设f(x)是以T为周期的连续函数，
证明对a,
a+T
f(x)dx =
T
f(x)dx =
a
0
T
2 -T
f(x)dx
2
18.设D是由y=f ( x)( f 0), x a, b和x a, x b, y 0
14.设yoz坐标面内的曲线L的方程为 F（y, z）=0，求其绕z轴旋转一周所得到 的旋转曲面的方程为F（ x2+y2 , z）=0
15.设单连通区域D内P，Q 连续， y x
且满足 P Q，证明曲线积分 y x
L Pdx Qdy在D内与路径无关
16.设f ( x)在a, a上连续，
证明 a f ( x)dx a f ( x) f ( x) dx
3、 利用最大值，最小值证明不等式.
如，当x 0, )时，e x (1 x) 1
4、 常值不等式的证明转化成函数的单调性， 或函数不等式. 如，比较e ， e的大小
二、等式的证明思路
1、如果结论是不带导数的等式，一般用零点定理考虑 如，F（x0）=0
2、已知结论中含导数： （A）是一个点的导数，如f（ ）=0，用罗尔定理考虑 （B）是二个点的导数，如f（ ）+g（ ）=0，用两次拉 格朗日中值定理或一 次 拉 格 朗 日 中 值 定 理， 一次柯西中值定理
3、 如果结论是函数值与某点的二阶导数的等式，
要用泰勒公式考虑.
如，结论是f
(b)
2
f
a
2
b
(b a)2 f (a)
高数中需要掌握证明过程的定理(一).
高数中的重要定理与公式及其证明（一）考研数学中最让考生头疼的当属证明题，而征服证明题的第一关就是教材上种类繁多的定理证明。
如果本着严谨的对待数学的态度，一切定理的推导过程都是应该掌握的。
但考研数学毕竟不是数学系的考试，很多时候要求没有那么高。
而有些定理的证明又过于复杂，硬要要求自己掌握的话很多时候可能是又费时又费力，最后还弄得自己一头雾水。
因此，在这方面可以有所取舍。
应深受大家敬佩的静水深流力邀，也为了方便各位师弟师妹复习，不才凭借自己对考研数学的一点了解，总结了高数上册中需要掌握证明过程的公式定理。
这些证明过程，或是直接的考点，或是蕴含了重要的解题思想方法，从长远来看都是应当熟练掌握的。
由于水平有限，总结不是很全面，但大家在复习之初，先掌握这些公式定理证明过程是必要的。
1）常用的极限0ln(1)lim 1x x x →+=，01lim 1x x e x →-=，01lim ln x x a a x →-=，0(1)1lim a x x a x →+-=，201cos 1lim 2x x x →-= 【点评】：这几个公式大家在计算极限的过程中都再熟悉不过了，但有没有人想过它们的由来呢？事实上，这几个公式都是两个重要极限1lim(1)xx x e →+=与0sin lim1x xx →=的推论，它们的推导过程中也蕴含了计算极限中一些很基本的方法技巧。
证明： 0ln(1)lim 1x x x →+=：由极限10lim(1)x x x e →+=两边同时取对数即得0ln(1)lim 1x x x→+=。
01lim 1x x e x →-=：在等式0ln(1)lim 1x x x→+=中，令ln(1)x t +=，则1t x e =-。
由于极限过程是0x →，此时也有0t →，因此有0lim11tt te →=-。
极限的值与取极限的符号是无关的，因此我们可以吧式中的t 换成x ，再取倒数即得01lim1x x e x→-=。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
高数中的重要定理与公式及其证明（一）考研数学中最让考生头疼的当属证明题，而征服证明题的第一关就是教材上种类繁多的定理证明。
如果本着严谨的对待数学的态度，一切定理的推导过程都是应该掌握的。
但考研数学毕竟不是数学系的考试，很多时候要求没有那么高。
而有些定理的证明又过于复杂，硬要要求自己掌握的话很多时候可能是又费时又费力，最后还弄得自己一头雾水。
因此，在这方面可以有所取舍。
应深受大家敬佩的静水深流力邀，也为了方便各位师弟师妹复习，不才凭借自己对考研数学的一点了解，总结了高数上册中需要掌握证明过程的公式定理。
这些证明过程，或是直接的考点，或是蕴含了重要的解题思想方法，从长远来看都是应当熟练掌握的。
由于水平有限，总结不是很全面，但大家在复习之初，先掌握这些公式定理证明过程是必要的。
1）常用的极限0ln(1)lim 1x x x →+=，01lim 1x x e x →-=，01lim ln x x a a x →-=，0(1)1lim a x x a x→+-=，201cos 1lim 2x x x →-= 【点评】：这几个公式大家在计算极限的过程中都再熟悉不过了，但有没有人想过它们的由来呢？事实上，这几个公式都是两个重要极限1lim (1)xx x e →+=与0sin lim1x xx →=的推论，它们的推导过程中也蕴含了计算极限中一些很基本的方法技巧。
证明： 0ln(1)lim 1x x x →+=：由极限10lim(1)x x x e →+=两边同时取对数即得0ln(1)lim 1x x x→+=。
01lim 1x x e x→-=：在等式0ln(1)lim1x x x →+=中，令ln(1)x t +=，则1t x e =-。
由于极限过程是0x →，此时也有0t →，因此有0lim11t t te →=-。
极限的值与取极限的符号是无关的，因此我们可以吧式中的t 换成x ，再取倒数即得01lim1x x e x→-=。
01lim ln x x a a x →-=：利用对数恒等式得ln 0011lim lim x x a x x a e x x →→--=，再利用第二个极限可得ln ln 0011limln lim ln ln x a x a x x e e a a x x a →→--==。
因此有01lim ln x x a a x→-=。
0(1)1lim a x x a x→+-=：利用对数恒等式得 ln(1)ln(1)ln(1)00000(1)111ln(1)1ln(1)lim lim lim lim lim ln(1)ln(1)a a x a x a x x x x x x x e e x e x a a a x x a x x a x x +++→→→→→+---+-+====++上式中同时用到了第一个和第二个极限。
201cos 1lim 2x x x →-=：利用倍角公式得22220002sin sin1cos 1122lim lim lim 222x x x x x x x x x →→→⎛⎫ ⎪-=== ⎪ ⎪⎝⎭。
2）导数与微分的四则运算法则'''''''''22(), d()(), d()(), d()(0)u v u v u v du dv uv u v uv uv vdu udvu vu uv u vdu udv v v v v v ±=±±=±=+=+--==≠【点评】：这几个求导公式大家用得也很多，它们的证明需要用到导数的定义。
而导数的证明也恰恰是很多考生的薄弱点，通过这几个公式可以强化相关的概念，避免到复习后期成为自己的知识漏洞。
具体的证明过程教材上有，这里就不赘述了。
3）链式法则设(),()y f u u x ϕ==，如果()x ϕ在x 处可导，且()f u 在对应的()u x ϕ=处可导，则复合函数(())y f x ϕ=在x 处可导可导，且有：[]'''(())()()dy dy du f x f u x dx du dxϕϕ==或【点评】：同上。
4）反函数求导法则设函数()y f x =在点x 的某领域内连续，在点0x 处可导且'()0f x ≠，并令其反函数为()x g y =，且0x 所对应的y 的值为0y ，则有：'0''00111()()(())dx g y dy f x f g y dydx===或 【点评】：同上。
5）常见函数的导数()'1x xααα-=，()'sin cos x x =，()'cos sin x x =-，()'1ln x x =，()'1log ln a x x a=， ()'x xe e =，()'ln x x a e a =【点评】：这些求导公式大家都很熟悉，但很少有人想过它们的由来。
实际上，掌握这几个公式的证明过程，不但可以帮助我们强化导数的定义这个薄弱点，对极限的计算也是很好的练习。
现选取其中典型予以证明。
证明：()'1x x ααα-=：导数的定义是'0()()()lim x f x x f x f x x∆→+∆-=∆，代入该公式得 ()'1100(1)1(1)1()lim lim x x x x x x x x x x x x x x xxααααααααα--∆→∆→∆∆+-+-+∆-====∆∆。
最后一步用到了极限0(1)1lima x x a x →+-=。
注意，这里的推导过程仅适用于0x ≠的情形。
0x =的情形需要另行推导，这种情况很简单，留给大家。
()'sin cos x x =：利用导数定义()'0sin()sin sin lim x x x x x x ∆→+∆-=∆，由和差化积公式得002cos()sinsin()sin 22lim lim cos x x x xx x x x x x x ∆→∆→∆∆++∆-==∆∆。
()'cos sin x x =-的证明类似。
()'1ln x x =：利用导数定义()'00ln(1)ln()ln 1ln lim lim x x x x x x x x x x x∆→∆→∆++∆-===∆∆。
()'1log ln a x x a =的证明类似（利用换底公式ln log ln a x x a=）。
()'x xe e=：利用导数定义()()'001lim lim x x x xx x x x x e e e ee e x x+∆∆∆→∆→--===∆∆。
()'ln x x a e a =的证明类似（利用对数恒等式ln x x a a e =）。
6）定积分比较定理如果在区间[,]a b 上恒有()0f x ≥，则有()0ba f x dx ≥⎰推论：ⅰ如果在区间[,]a b 上恒有()()f x g x ≥，则有()()b baaf x dxg x dx ≥⎰⎰；ⅱ设M m 和是函数()f x 在区间[,]a b 上的最大值与最小值，则有：()()()bam b a f x dx M b a -≤≤-⎰【点评】：定积分比较定理在解题时应用比较广，定积分中值定理也是它的推论。
掌握其证明过程，对理解及应用该定理很有帮助。
具体的证明过程教材上有。
7）定积分中值定理设函数()f x 在区间[,]a b 上连续，则在积分区间[,]a b 上至少存在一点ξ使得下式成立：()()()baf x dx f b a ξ=-⎰【点评】：微积分的两大中值定理之一，定积分比较定理和闭区间上连续函数的推论，在证明题中有重要的作用。
考研真题中更是有直接用到该定理证明方法的题目，重要性不严而喻。
具体证明过程见教材。
8）变上限积分求导定理如果函数()f x 在区间[,]a b 上连续，则积分上限的函数()()xa x f x dx Φ=⎰在[,]ab 上可导，并且它的导数是'()()(),xa d x f x dx f x a xb dx Φ==≤≤⎰设函数()()()()u x v x F x f t dt =⎰，则有'''()(())()(())()F x f u x u x f v x v x =-。
【点评】：不说了，考试直接就考过该定理的证明。
具体证明过程见教材。
9）牛顿-莱布尼兹公式如果函数()f x 在区间[,]a b 上连续，则有()()()ba f x dx Fb F a =-⎰，其中()F x 是()f x 的原函数。
【点评】：微积分中最核心的定理，计算定积分的基础，变上限积分求导定理的推论。
具体证明过程见教材。
设函数()f x 在点0x 的某领域0()U x 内有定义，并且在0x 处可导，如果对任意的0()x U x ∈，有00()()()()f x f x f x f x ≤≥或，那么'0()0f x =【点评】：费马引理是罗尔定理的基础，其证明过程中用到了极限的保号性，是很重要的思想方法。
具体证明过程见教材。
11）罗尔定理： 如果函数()f x 满足（1）在闭区间[,]a b 上连续； （2）在开区间(,)a b 上可导（3）在区间端点处的函数值相等，即()()f a f b =那么在(,)a b 内至少存在一点()a b ξξ<<，使得'()0f ξ=。
【点评】：罗尔定理，拉格朗日中值定理，柯西中值定理是一脉相承的三大定理；它们从形式上看是由特殊到一般，后面的定理包含前面的定理，但实际上却是相互蕴含，可以相互推导的。
这几个定理的证明方法也就是与中值有关的证明题主要的证明方法。
中值定理的证明是高数中的难点，一定要多加注意。
具体证明过程见教材。
12）拉格朗日中值定理： 如果函数()f x 满足（1）在闭区间[,]a b 上连续； （2）在开区间(,)a b 上可导那么在(,)a b 内至少存在一点()a b ξξ<<，使得'()()()f b f a f b aξ-=-。
【点评】：同上。
13）柯西中值定理： 如果函数()f x 和()g x 满足 （1）在闭区间[,]a b 上连续； （2）在开区间(,)a b 上可导那么在(,)a b 内至少存在一点()a b ξξ<<，使得''()()()()()()f f b f a g g b g a ξξ-=-。
【点评】：同上。
设函数()f x 在[,]a b 上连续，在(,)a b 上可导。