1
高等数学研究点滴
1.5.1.2 2.1.2 基本定理(证明)及推论
2.1.2 基本定理(证明)及推论

上面的问题可归结为:是否存在ξ0(或θ0)使,于是给出如下定理.

定理2.1.1 设f(x)在含x0的某区间内有直到(n+2)阶导数,若,则一定存在ξ0和ξ使f(x)的Taylor公式的余项

成立.

证明 因

将f(n+1)(x)在以x,x0为端点的区间上应用Lagrange中值定理便得

,所以,故此,

将式(2-2)代入式(2-1)得

于是当x0=0时可得到如下推论:

推论2.1.1 设f(x)在含有x=0的某区间内有直到(n+2)阶导数,若,则一定存在0<θ0<1和0<θ<1使f(x)的Maclaurin公式的余项

成立.所以,sin x、cos x亦可分别写成

其中