导函数与原函数的性质讨论.doc

目 录

中文摘要 I
英文摘要 II
1 绪论 1
2 导函数的性质 1
2.1 定义 1
2.2 性质 2
2.2.1 导函数的介值性 2
2.2.2 导函数无第一类间断点 6
2.2.3 导函数的极限 10
3 原函数的两个性质 12
3.1 性质一 12
3.2 性质二 13
4 导函数与原函数的关系 14
5 函数性质在导函数与其原函数之间的交互关系 15
5.1 单调性 15
5.2 有界性 16
5.3 奇偶性 16
5.4 周期性 17
5.5 极限 18
5.6 间断点 18
5.7 可微性 19
5.8 极值 19
5.9 凸性 19
5.10 可积性 19
6 函数可积与原函数存在的关系 19
6.1 两个引理 20
6.2 可积函数的原函数的存在性 21
6.2.1 第一类可积函数 21
6.2.2 第二类可积函数 22
6.2.3 第三类可积函数 22
6.2.4 可积函数的变上限积分与原函数的关系 23
6.3 存在原函数的函数的可积性 24
6.4 Dirichlet函数 25
结束语 25
致 谢 26
参考文献 27

导函数与原函数的性质讨论

摘 要

本文首先描述了导函数和原函数的定义。在明确了何为导函数后，重点介绍了导函数的两个特殊的性质：导函数的介值性和导函数的间断点不可为第一类间断点，并给出了相应的证明和相关的应用举例，也根据这两大性质得到了一些相关的推论（表述了函数的相关特征与其原函数是否存在之间的关系），并通过例题展示了这些推论在解题中的重要作用。同样，与导函数相对应的，原函数（即可导函数）由其定义的确定性使得这类函数也具有一些性质，将在文中予以论证。接着，继续讨论了一些函数性质（包括：函数的周期性，奇偶性，单调性，可积性，可微性等）在导函数和其原函数二者之间是否具有交互传递的性质，并对各结论给出相应的例子或证明。最后，根据第一部分介绍的导函数的特性并借助积分，讨论了函数的黎曼积分存在和函数的原函数存在二者之间的关系，并给予必要的证明和举例。

关键词： 导函数；介值性；间断点；原函数；

DISCUSSION OF THE NATURE OF THE DERIVATIVE FUNCTION AND THE ORIGINAL FUNCTION

ABSTRACT

This paper first describes the definitions of the derivative function and the original function．When the definition of the derivative is clear，we focus on the two special properties of the derivative function：the intermediate value of the derivative function and the first class discontinuity points don’t appear on the derivative function．And the corresponding evidences and relevant application examples are shown．We also got some inferences related according to these two properties(which show the relationships between the properties of a function and the existence of the original function)，and through the examples we see how important these inferences are in solving problems．Similarly，the original function(namely the differentiable function) also has some properties which are demonstrated in this paper for its special definition．Then，we continue to discuss some natures of functions (including: periodic，parity，monotonicity，integrability，differentiability and so on) to find out weather there are interactions between the derivative functions and the original functions，and give out the examples or evidences which are need．At last，according to the properties described in the fist part and with the help of integration we discuss the relationships between the functions which can be integrabled and the functions which have the original function in the last part of the paper，and also examples or evidences that are necessary are shown．

Keywords: derivative function；intermediate value；discontinuity points；original function；

II
导函数和原函数的性质讨论
1 绪论
函数，是为我们所掌握的一种常用的数学工具。我们可以用它来对现实世界进行抽象。通过分析、抽象，可以利用数学符号将复杂的现实问题通过系统的函数符号来表示，从而实现对问题的量化的分析、简化，使得我们可以将生活中形形色色看似不同的问题用数学领域的通用方法予以分析、计算，从而极大的有益于我们对实际问题的解决。亦即，我们只需要纯理论的用数学方法来研究“函数”这一抽象的数学工具，通过对函数的性质的研究与探讨，便可以帮助我们解决复杂、多元的现实问题，其重要性显而易见。
通过导数运算我们得到了新的一类函数，即导函数。作为有特殊定义的一类函数，使得我们能够通过对导函数自身的性质特点的分析来研究原函数（相对应导函数而得到的定义）的性质，最常见的是通过导函数的符号来反映原函数的单调性，借此帮助我们画出函数的变化趋势图(反映函数图像的增减趋势)，从而可以帮助我们解决函数的极值（最值），单调性，函数零点（方程根）等一系列问题。另外，作为有特殊定义的一类函数，导函数具有自己的一些明确的性质，比如间断点可以确定不能是第一类间断点，在定义区间上存在介值性。在导函数定义下通过对函数各性质进行分析讨论，得到的一些结论可以在我们解决函数相关问题时起到重要作用。例如，可以利用导函数的介值性来论证函数的零点存在问题，判断原函数是否存在等。
当前，关于导函数的有关性质，以及导函数与原函数二者之间的在函数性质上所反应的交互关系，函数是否可积与函数原函数是否存在二者之间的关系，这些方面都有不少的研究成果和结论，这些结论对于我们在数学分析和相关的数学领域都是有重要意义的。本文作者通过对资料的查阅整理，对现有成果进行学习和分析，较为系统的整理了有关导函数和原函数的性质的相关问题，并对相应结论进行严格的证明，且相应的给出各结论的应用例题或用以支持结论的反例，从而实现对导函数相关内容在解题应用方面的论证，加深对导函数与原函数性质的理解。
2 导函数的性质
2.1 定义
导函数的定义：若函数在区间上处处可导，对，令（对区间端点，仅考虑相应的单侧导数），则称为在区间上的导函数。
原函数的定义：若函数与在区间上都有定义，若，，则称为在区间上的一个原函数。
由以上定义容易看出，在导数的定义下，一个导函数的原函数并不是唯一的，
且同一导函数的任意两个原函数之差为一个常数值。
2.2 性质
2.2.1 导函数的介值性
引理1：设函数在点处有有限导数，如果该导数，那么当取左方充分接近于的数值时就有：，而当取右方充分接近于的数值时就有：。
亦即是说：函数在处增大（减小）。如果所考虑的是单侧导数，例如左导数，那么只有对点左方的数值该命题才有效。
证明：
由导数的定义：，
若,则存在的邻域，使得在其中成立：，
首先设，那么，则由上面的不等式能够得：
，即；
又当时，有：，
则显然有：，即：。
证毕。
定理1（达布定理）：若函数在区间内有有限导数，记，，则函数在区间内必至少一次取得介于与之间的每一个值。
注：导函数的达布定理成立不要求在区间上连续。一般情况下，在上不连续的任意函数不一定能得出该结论，即是说定理1所表述的性质是导函数所特有的。比如：在上不连续，则：对，都不存在，使得。
证明：
首先，设与异号，不妨设，，下面先证在区间
上存在一点c，在这点处为零：
由有限导数的存在知，显然为连续函数，则在区间上某一点处取最大值，且点不与，重合,因为根据引理1，在点的近处（右端），而在点的近处（左端）有，因此，再依Fermat定理，得，下面讨论一般情形：
取介于与之间的任意数,不妨设，做辅助函数，它在区间内是连续的并且有导数。
因为：，而：，故依已证明的结论，有一点存在，在这点处：
，即。
证毕。
利用定理1，我们在解决判断零点的问题时将会很方便，例如：
例1. 设函数在上二次可微，且有界，试证明：存在点，
使得.
证明： 若变号，则由定理1可知，存在，使得 ，
若定号，不妨设，则有反证法如下：
，则为严格单调递增函数，
假设存在，使得，则：
若，则当，且令x时，有：

若，则当，且令x时，有：
，
结论与有界矛盾，故由此得出：必有，
由的任意性知，在上恒为零，显然与为严格单调递增函数矛盾。由此知，我们的假设前提不成立，即定号不成立，故必为第一种情况：在上异号。
证毕。
其实我们可以根据定理1直接得到推论1，在很多解题中推论1应用起来更方便。
推论1：设函数在区间内可导，且，则必存在，使得：。
或者有的题目并不直接要求判断零点，但同样的类似于例1可以直接利用定理1解题。
例2. 设函数在区间上连续，，，试证：至少存在一点，使得：。
证明：为上连续函数，则可看做某函数的导函数。
依题，不妨设,，
则由，，
，
故由保号性可知，存在x1，有：,
存在x2（且），有：,
则由在连续可知，在，之间至少存在一点c，使得：。
证毕。
例3. 设在区间[-1,1]上三次可微，证明存在实数，使得:
。
证明：依泰勒公式：
，
，则：

则由定理1可知，存在，使得：
，则有结论：
。
证毕。
例4. 设在上存在连续的二阶导数，且，证明：至少存在一点，使得：。
证明：设，则由泰勒公式可得：

，

，
，
则由定理1知，存在实数，使得：
，于是有
证毕。
例5. 设在区间上连续，在内有二阶连续导数，试证：区间上至少存在一点，使得：。
证明：将，分别在点泰勒展开，有:
，
，
上面两式相加得，
,
则：，
若，则取，若，则由定理1：
与之间必存在一点，满足:,故：
。
证毕。
2.2.2 导函数无第一类间断点
定理2：若在上处处可导，且记，则对于，有：在点若不连续，则必为的第二类间断点。
注：对于函数的间断点，将左、右极限皆存在的间断点称为第一类间断点，至少有一侧极限不存在的间断点称为函数的第二类间断点
下面给出导函数无第一类间断点的证明 ：
证明：
（1） 假设导函数在上存在第一类间断点，则由导函数定义有：

，
同理有=，
则得到：==，显然与为第一类间断点矛盾，
所以，导函数在区间上不存在第一类间断点。
（2）我们还可以继续证明，若为的第二类间断点，则只能为第二类间
断点中的振荡情形：
若是的无穷间断点，则不妨设，，则有：
取正实数，使得，由知：存在正实数，
当时，有（1）式成立：
（1）
由=A，根据导数的定义有：，则显然存在正实数，使得：对于正数=1有：
当时，恒成立，则由中值定理得：
存在满足：
，从而有：
（2）
显然满足：，则由（1）知有下式成立：
（3）
显然（2）与（3）矛盾，故假设不成立，
所以，导函数的间断点不能是无穷间断点。
若为的第二类间断点，则只能为第二类间断点中的振荡情形。
证毕。
由上述证明过程可知，导函数在其定义域内的任意点，要么连续，要么在该导
数值上下振荡（导函数的值不可能“跳跃”，所谓跳跃，通常是指左、右极限的
差值不为零，而当导函数的左、右极限不存在时，根据介值性，显然导数值对其两侧
的值具有拉动作用）。
即有：若在区间上处处可导，记，则对，有：要
么在点连续，要么在附近振荡。
注：当提到这里所述的导函数间断点特性时，一定是以导函数在定义域内处处存在为前提的，例如：，当时，；当时，，则便是的第一类间断点，这与我们的结论是不矛盾的，因为，该函数在x=0点不可导，即导函数在该点无定义。
定理3：设函数在区间内可导，则对内任意一点至少存在两个点列{}和{}，其中，，，使得：

证明：
取点列{}（），使：，则对每一个，存在使得：，且，
令n，左端为增量比极限，等于，而显然有：，
由此便得到{}，有：，使得，
同理可证{}的存在性。
证毕。
定理3对定理2做了适当的补充，说明了当是导函数的振荡间断点时，振荡必然要向回归，而不可能远离导数值振荡。那么，如果振荡发生在导数值两侧（即存在第二类间断点），导函数将无数次的“达到”该导数值。
利用导函数没有第一类间断点这一性质，可以间接说明导函数的连续性等状态：
例6. 若在内可导，导函数在内单调，则：在内连续。
证明：为单调函数，则在上任意一点，的左、右极限存在，则上任意一点不可能是的第二类间断点，于是由定理2知：
上任意一点皆是的连续点，
即在内连续。
证毕。
例7. 设函数在上处处可导，导函数，其中，均为单调函数，并且，试证：存在常数，对于，有：。
证明：对，由，皆是单调函数可知：
，在的单侧极限皆存在，则，
在x0的单侧极限皆存在，故由定理2知：
点不是导函数的间断点，
由任意性知，在上为连续函数，闭区间上连续函数必可取到最小值，记为：，由题知，故取满足：，即为所求。
证毕。
例8. 证明：不存在一个以为导函数的原函数。
证明：由，知
为的第一类间断点，则由定理2知:
不是零点邻域上的导函数。
证毕。
例9. 求证：在点处不可导。

证明：依题，当时有
，则有，
显然，是的第一类间断点，
则可知：在点导数不存在。
证毕。
2.2.3 导函数的极限
定理4：设函数在区间上连续，且当时，存在有限导数，如果存在极限,那么，在点的右导数为，即。
证明：
由拉格朗日中值定理有，当时下式恒成立：
（1）
其中，，则易见，当时由于的有界性，趋于，则（1）式的右端趋于极限，即左端亦趋近于，由此便证明了在点的右导数为，同理亦可证在点的左导数情况。
证毕。
由定理4及其证明，我们可以直接得到推论2如下:
推论2：设函数在区间连续，在及内可导，若导函数在处存在极限，值为，则函数在点可导，且。
证明：
根据定理4，分别讨论区间和可得：，
故函数在点可导，且。
证毕。
这一推论为我们在求导数，尤其是讨论分段函数分段点的导数问题等应用中提供了方便：
例10. 证明函数在点处可导，并求
证明：当时，有：，可得：
，故由推论2可知，
在点可导，且。
证毕。
例11. 设函数，求。
解：在各开区间分别求导有：
当时，，
当时，，
则在处不可导，否则的导函数在可表为：
，显然，这时为的第一类间断点，由定理2知这是不可能的，故，
，在点无定义。
例12. 设 ，试确定的值，使函数处处可导。
解：依题可得时，有：=，可导，
时，有：=，可导，
则根据推论2可知，要处处可导即是要求：
成立，
则代入公式可解得：。
证毕。
类似的有：
例13. 设函数，在点连续且可导，求，的值。
解：该题与例12完全类似，关键在于判断导函数在点的左、右两侧极限相等。
由例12，例13可以看出，借由推论2来解类似题目要比我们直接按定义通过增量比来判断左、右导数的解法要简便的多。
3 原函数的两个性质
由2.1给出的定义知，为区间上的原函数即表明在区间上处处可导，对于这样的函数，这里总结了两个性质如下：
3.1 性质一
定理5：设与在闭区间上连续，且在开区间内可导，在闭区间上严格单调且恒不为零，那么对，存在，使得下面两式之一成立：
或，
。
证明：
设：
，则在连续，记：，
则有与，即：
与， （1）
不妨设在闭区间上严格单调递增且恒不为零，即：
，
则（1）式可变为：
， （2）
， （3）
（2）+（3）整理得：
（4）
根据连续函数介值性有：存在，使得下式成立：
（5）
即是欲证结论的等价形式。
证毕。
3.2 性质二
定理6：设与在闭区间上连续，在开区间内可导，在闭区间上严格单调且恒不为零，则存在，，满足，使得下式成立：。
证明：
对由定理5知，当成立时，
若，取，中较小的为，较大的为，则命题得证，否则：
对由定理5知，当成立时，
且，或，即：，或
，或当成立时，
由的任意性知此三种情形均有：
，（为常数）
在内恒成立，则只要任取，且，
代入上式所得相减即得到：。
证毕。
4 导函数与原函数的关系
根据第2节的几个定理我们可以得到如下三个推论：
推论3：设在区间上处处可导，记，若在点的极限存在，则在点连续。
证明：
由定理2的证明可知导函数在某点极限存在且有定义，则该极限
值必与函数值相等，即在该点连续.
证毕。
推论4：若在区间上不具有介值性，则在上不存在原函数。
证明：由定理1直接可证得。
推论5：若函数在区间上存在第一类间断点或无穷间断点，那么必有：区间上不存在函数，使得：。
证明：由定理2直接可证得。

例14. 设，求证：在上可导，但是的第二类间断点。
证明：当时，由导数运算法则知：
当时，有：
故在点可导，
而，
但，不存在，从而极限不存在，为第二类间断点。
证毕。
5 函数性质在导函数与其原函数之间的交互关系
这一小节，将讨论函数的一些基本性质、属性，在导函数和其对应的原函数之间的交互关系，这些结论对于我们在解题，和对函数性质的快速分析上有重要作用。在整个第5节中我们假设前提：函数在所讨论区间上处处可导，且有，那么关于各性质我们有如下结论：
5.1 单调性：（i）为凸的或凹的单调函数时，必单调；
（ii）为不变号的单调函数时，必单调；
（iii）单调性在二者之间不传递。
证明：
（i）由函数凹、凸的特性可知，当确定为凸（或凹）函数时，不论单调性如何，都将得到：为单调递减（或递增）函数，即必单调；
（ii）不妨设0，亦即是0，则不论单调与否，为区间上的单调增函数，非正时同理可证；
（iii）单调性不能互相传递，有例题如下：
例15. 设（C为常数）。则有：
不是上的单调函数，是上的单调递增函数。
例16. 设=，。则有：
不是上的单调函数，=是上的单调递增函数。
5.2 有界性：（i）在无界时，必无界；
（ii）在无界时，不一定无界；
（iii）有界性在二者之间不传递。
证明：
（i）设存在常数使得,对，有：，
取，则对，有：，
其中是介于与之间的值，又：，
故有：，
显然与在无界矛盾，则无界；
（ii），（iii）给出反例以支持结论：
例17. 设。则有：
有界，=在上无界。
例18. 设=，。则有：
有界，在无界。
5.3 奇偶性：（i）为奇（偶）函数时，为偶（奇）函数；
（ii）为奇（偶）函数时，可以表为一个偶（奇）函数与一常数之和。
证明：
（i）设为偶函数，则=，由复合函数求导：
，即=，为奇函数，
同理可证为奇的情况；
（ii）设为偶函数，则=，即=，
两边积分有：，得:
，同理可证为奇的情况。
例19. 是奇函数，则是偶函数。
例20. 复合函数与在相应区间上可导，导函数，对于来说，奇偶性相同，则复合函数的导函数是偶函数；若，对于来说，奇偶性相异，则复合函数的导函数是奇函数。
证明：依题，对复合函数关于进行求导得：
，已知，关于奇偶性相同，则：
两个奇（偶）函数之积为偶函数，故是偶函数；
同理可证奇偶性相异的情况。
证毕。
5.4 周期性：（i）是周期为的函数时，也是周期为的函数；
（ii）若为可积的周期为的函数，且，则也
是周期为的函数；
（iii）若为上的非常值周期函数，为仅有有限个第二类间断点的周期函数（个数为零时即是连续函数），则与的基本周期必相同。

证明：
（i）已知，则两边求导有：，即：
，即：是周期为的函数；
（ii）已知为可积函数，则可令:
，
故是周期为的函数，又：，
则也是周期为的函数；
（iii）已知是非常值的周期函数，则不妨设的基本周期为，
只有有限个第二类间断点，则不妨设的基本周期为，
那么由前可知，一定是的周期，故，为正整数，且，

于是有：，故，即也是的周期，
则，又前已证，所以必有：。
证毕。
5.5 极限：（i）在点有极限，则：在点未必有极限；
（ii）在点有极限，则：在点必有极限。
证明：
（ii）的结论由导数定义是显见的，关于（i）有例题如下：
例21. 设：
，则，
显然在点，极限存在，无极限。
5.6 间断点：无间断点，可能无间断点，可能有第二类间断点。
证明：见定理2。
5.7 可微性：必可微，不一定可微。
证明：
由定义知，结论显然成立。例17中在上可微，不可微（为间断点）。
5.8 极值：极值在与之间不相互传递。
例22. 设，则有：
是的极小值点，但在处无极值。
例23. 设，则有：
在点取极小值，=在点无极值。
5.9 凸性：凸性在与之间不相互传递。
例24. 设，则有：
在上，具有凸性，=4x3不具凸性。

例25. 设，则有：
在上，具有凸性，=x3不具凸性。
5.10 可积性：（i）可积，则：必可积；
（ii）可积，则：不一定可积。
证明：
（i）因为可导，则必连续，那么必可积（见6.2.2）；
（ii）例17表明，在上连续，故可积，但在上为无界函数，故不可积。
6 函数可积与原函数存在的关系
在论文的第二节中给出了导函数的定义，我们知道，对于区间上任一处处可导
函数求导，所得即是该区间上的一个导函数。那么对于任意给定的一个函数，在满足什么样的条件时可以看做是导函数（即在区间上存在原函数）是我们这一节需要讨论的内容（只有确定为导函数后，前面所述的有关导函数的性质才能使用）。
函数通过求导得到导函数，相应的，在微积分中，定义了求导的逆运算:积分。那么，函数可积时是否一定存在原函数，原函数存在的函数（即可做导函数）又是否一定可积，将在这一节进行讨论并给出一些结论。
注：本节所提到的积分皆是指黎曼积分。
6.1 首先介绍两个引理
关于定积分有著名的牛顿-莱布尼茨公式：
Newton-Leibniz公式：设在上连续，是的任意一个原函数，即：
，，那么。
将牛-莱公式的条件进一步弱化，我们来证明如下定理：
引理2：设在上可积，是的任意一个原函数，那么。
证明：
设是的任一分法：：,记，其中，则：，
又在上可导，
则由拉格朗日中值定理知，存在，使
，从而，
，又在[a，b]上可积，
而上式右端恰为在上属于分法的一个积分和，
故当时，有：
.
证毕。
引理3：若为区间上的单调函数，则在存在单侧极限。
这一节分为可积函数的原函数存在性和原函数存在函数的可积性两部分来论述。
6.2 可积函数的原函数的存在性
我们讨论如下三类常见的黎曼可积函数类型。为方便起见，分别将它们称作：第一类可积函数，第二类可积函数，第三类可积函数：
第一类可积函数：若在上有界且间断点个数有限，则在上可积；
第二类可积函数：若在上连续，则在上可积；
第三类可积函数：若在上单调，则在上可积。
按照上述的定义，我们有相关的结论如下：
6.2.1 第一类可积函数
对于第一类可积函数，依据其间断点的不同类型有：
（i）若的间断点是第一类间断点，则的原函数必不存在；
（ii）若的间断点是第二类间断点，则的原函数可能存在，可能不存在。
证明：
（i）由定理2，推论5，皆可直接得出有一类间断点时原函数不存在；
（ii）例26和例27说明了当间断点是第二类间断点时原函数存在的不确定性：
例26. 设，则有：
因在上有界，且仅有一个第二类间断点，因此在
上可积，令，则有：
在上成立，即在上存在原函数。
例27 设，则有：
因在上有界，且仅有一个第一类间断点和一个第二类间断点，从而在上可积，但由推论5知，由于第一类间断点存在，则在区间上不存在原函数。
6.2.2 第二类可积函数
第二类可积函数的原函数必存在。且有基本定理如下：
定理7：若在上连续，则函数在上可导，且。
证明：
显然，于是：
，
由积分第一中值定理知，在与之间必存在一点，使：
，则，
对上式两端取极限，于是，
又介于与之间，所以这时必定有：，于是：
，故。
证毕。
6.2.3 第三类可积函数
对于第三类可积函数，依据其是否连续有：
（i）若在上连续，则在上必存在原函数；
（ii）若在不连续，则在上必不存在原函数。
证明：
（i）由6.2.2可得该结论；
（ii）由引理3知，若不连续则间断点必为第一类间断点，
则根据推论5：在上必不存在原函数。
前面我们已经证明，如果在上连续，那么在上一定是可积的；而如果在上不连续，那么一般来讲，即使在上存在原函数，也不一定在上可积，例如：
例28. 设：，则有：
记，显然即是在（-1,1）上的原函数，
但因在[-1,1]上无界，故：在[-1,1]上不可积。
6.2.4 可积函数的变上限积分与原函数的关系
若在上可积，则变上限积分（即使处处可导）不一定是其
原函数。
例29. 区间[0,1]上的黎曼函数：
，则有：
（i）的所有不连续点做成的集是零测度集，因此在[0,1] 上可积；
（ii）已证得在[0,1]上可积，则可求得：
，故在[0,1]上处处可导，有：，
显然，在稠密集Q\{0,1}上有：，故不是的原函数。
注：例29的证明中，在证得黎曼函数在区间[0,1]上的可积性后，亦可由：在区间
[0,1]上任一非零有理点皆是的第一类间断点，直接根据定理2得出结论：
在[0,1]上的原函数不存在。
定理8：若在上可积，且存在一个原函数，那么变上限积分
一定是的一个原函数。
证明：
由Newton-Leibniz公式知：，
把上限b看做变量则有：，可见：
变上限积分与的原函数只差一个常数，显然：
是的一个原函数。
证毕。
6.3 存在原函数的函数的可积性
定理9：设在上可导，则在上可积的充要条件是：存在上的可积函数，使得：。
证明：
必要性：令=，则显然成立。
充分性：由于在上可积，则对有分法：，使得：，其中，
下证，对于分法还有：成立，
只需证对皆有：：
对，取，使得：，则，
，
因为在[a，b]可积，则在[a，b]上有界，于是在上有上、下确界。
记：，，
则当时有，令足够小，使得：，
那么由定积分不等式可得:
或，
，则：
不论是正或负，皆有，令有：
，，由此可得：，从而：
，
故：在上可积.
证毕。
6.4 Dirichlet函数
最后我们讨论Dirichlet函数是否可积和原函数是否存在，以此例补充说明函数可积与原函数存在之间是不具有必然的相互确定关系的。
例30.

证明：
显然在任意区间上不可积，又:在任意区间不具有介值性，
则于任意区间上原函数也不存在。
证毕。
注：这也指出，要注意Newton-Leibniz公式的运用条件，即：函数可积和原函数存在要同时成立。
结束语
本论文以导函数为核心，尽可能全面的总结、讨论了导函数的几个不同于一般函数的较为特殊的性质，分析了函数的一些基本属性、性质在导函数及其原函数之间的传递情况，以及函数可积与原函数存在之间的关系。通过对这些问题的探讨、总结，得出了一些相关的结论、定理。文中的例题也可以看出，这些结论对于更好的认识和理解导函数的相关问题，以及解决数学分析中的很多相关问题都有重要作用。
致　 谢

经过两个多月的时间，我终于完成了这篇论文。首先我要向给予我莫大的关心帮助与悉心指导的李自强老师表示衷心的感谢。
本论文是在河南工程学院理学院的李自强老师的悉心指导下完成的。李老师作为一名优秀的，经验丰富的教师，具有丰富的学术理论知识，从论文的选题到整个写作过程中给予了我很大的帮助。
在整个论文的写作过程中，李老师给予我耐心的指导与帮助，同时也对我提出了严格的要求，引导我不断开阔思路，思考问题，并不厌其烦的为我解答在论文写作过程中遇到的问题，为我指点迷津，精心点拨。李老师渊博的知识，严谨的治学态度和敏捷的思维，给我留下了深刻的印象，不仅让我在学术知识上受益匪浅，也必将在我今后的工作生活中产生积极的影响。再一次向李老师表示衷心的感谢并致以崇高的敬意。
四年的大学生活即将结束，这四年里，我收获了很多，学到了很多，不论是知识水平还是为人做事，都得到了极大的提高与进步。这些都离不开每一位尊敬的老师给予我的谆谆教导和鼓励帮助，在此我要向各位师长致以深深的谢意。
不仅各位师长，在学习生活中，亲爱的同学们也不断的给予我帮助和鼓励，让我得以更好的生活与学习，请大家接受我诚挚的谢意。
此外，向我的父亲母亲致谢，感谢你们的理解与支持。
最后，衷心的感谢百忙之中评阅论文，参加答辩的各位老师。

参考文献

[1]黄基廷.导函数的若干性质[J].河池学院学报. 2004.(4).49-51
[2]刘玉莲.傅沛仁.数学分析讲义(第三版)[M].北京:高等教育出版社.1992
[3]黄玉民.李成章.数学分析(第一版)[M].北京:科学出版社.1995
[4]裴礼文.数学分析中的典型问题与方法[M].北京:高等教育出版社.1993
[5]华东师范大学数学系.数学分析(第三版)[M].北京:高等教育出版社.2001
[6]裴礼文.数学分析中的典型问题与方法(第二版)[M].北京：高等教育出版社.2006．
[7]海红.导函数性质及其应用[J].武警学院学报.2009.25(8):94-96
[8]张申媛.关于函数可积性与原函数存在性问题[J].中国科技信息.2011.(1):32-33
[9]华东师范大学数学系.数学分析(第三版)[M].北京:高等教育出版社.2001
[10]同济大学应用数学系.高等数学[M].北京:高等教育出版社.2002
[11]B.A卓里奇俄罗斯数学教材选译•数学分析(第1卷)(第4版)[M].北京:高等教育出版社
[12]常庚哲.史济怀.数学分析教程[M].南京:江苏教育出版社.1998
[13]刘玉涟.数学分析习题讲义(上册)[M].北京：高等教育出版社.2005
[14]任亲谋.数学分析习题讲义(下册)[M].陕西:陕西师范大学出版社.2005
[15]朱文辉.导函数的特殊性质[J].南通职业大学学报.2003.17(3):64-66
[16]Bernard R Gelbaum.Counterexamples in analysis[M].San Francisco:Holden-Day Inc.1964
[17]Walter.Rudin. principles of mathematical analysis[M].北京:机械工业出版社.2004
[18]Richard A.Brualdi.Introductory Combinatorics[M].北京:机械工业出版社.2009
[19]Oliver D.Kellogg.On the derivatives of harmonic functions on the boundary [J]. Transactions of the American Mathematical Society.1931.33(2):486-510
[