1701016254
1701016255
1701016256
（3）假设g（x）处处不为0，则；
1701016257
1701016258
1701016259
（4）假设f（u），g（x）都可导，且g（x）的取值都在f（u）的定义域中，则可定义复合函数f（g（x）），其导函数是，
1701016260
1701016261
1701016262
其中表示对f（u）关于自变量u的求导。
1701016263
1701016264
上述性质都是从导数的定义推出，具体的推算步骤在此省略。利用这些基本性质，可以容易地计算许多函数的导函数，包括以下一些最基本的导数。
1701016265
1701016266
导数简表：一些基本初等函数的导函数
1701016267
1701016268
1701016269
1701016270
1701016271
前已提及，利用导函数可以研究函数性质。在应用过程中需要借助微分中值定理。以下介绍最常见的拉格朗日微分中值定理。
1701016272
1701016273
定理 设f（x）在[a，b]上点点都有导数，那么在（a，b）中存在一点ξ，使得
1701016274
1701016275
f (b)-f (a)=f′(ξ)(b-a).
1701016276
1701016277
这是非常深刻的结果。等式左边依赖于固定两点a，b，是整体性的，而右边是在一点ξ处的导数，乃是局部性质。由于我们把局部性质研究透了，整体性质就可以借助局部性质得到深化。
1701016278
1701016279
这是典型的纯粹存在性定理，即微分中值定理中的ξ肯定存在于a，b之间，但不确切知道在哪一点。我们用图5.7.1，对此定理做一些说明。将定理的结论改写为
1701016280
1701016281
1701016282
1701016283
1701016284
等式的左端正是由点（a，f（a））和点（b，f（b））两点连线的斜率。定理断言，在[a，b]中必有一点ξ，函数图像在该点处的斜率f′（ξ）恰与该连线的斜率相等。从图5.7.1上看，这是合理的。严格的证明从略。
1701016285
1701016286
如果已经知道f′（x）在区间[a，b]上恒大于0（或小于0），将微分中值定理用于函数f（x），立刻可知其单调增加（或减少）。
1701016287
1701016288
任给[a，b]上两点x1，x2，x1＜x2，由微分中值定理，以及f′（ξ）恒大于0，我们就有
1701016289
1701016290
1701016291
1701016292
1701016293
▲ 图5.7.1 微分中值定理图示
1701016294
1701016295
f(x2)-f(x1)=f′(ξ)(x2-x1)＞0.
1701016296
1701016297
因此f（x2）＞f（x1），即f（x）在[a，b]上单调增加。
1701016298
1701016299
这个结论告诉我们：区间上增减——整体性质，每点可导——局部性质，微分中值定理把两者连接起来了。
1701016300
1701016301
1701016302
1701016303