泰勒公式与拉格朗日中值定理在证明不等式中的简单应用

  • 格式:doc
  • 大小:428.72 KB
  • 文档页数:6

1 高三数学培优资料(10)教师版 泰勒公式与拉格朗日中值定理在证明不等式中的简单应用 泰勒公式是高等数学中的重点,也是一个难点,它贯穿于高等数学的始终。泰

勒公式的重点就在于使用一个n次多项式()npx,去逼近一个已知的函数fx,而且这种逼近有很好的性质:()npx与fx在x点具有相同的直到阶n的导数]31[.所以泰勒公式能很好的集中体现高等数学中的“逼近”这一思想精髓。泰勒公式的难点就在于它的理论性比较强,一般很难接受,更不用说应用了。但泰勒公式无论在科研领域还是在证明、计算应用等方面,它都起着很重要的作用.运用泰勒公式,对不等式问题进行分析、构造、转化、放缩是解决不等式证明问题的常用方法与基本思想.本文拟在前面文献研究的基础上通过举例归纳,总结泰勒公式在证明不等式中的应用方法. 泰勒公式知识:设函数fx在点0x处的某邻域内具有1n阶导数,则对该邻域内异于0x的任意点x,在0x与x之间至少存在一点,使得: fx=0fx+0'fx0(x-x)+0f''x2!02(x-x)++ 0nfxn!0n(x-x)+nRx,

其中nRx(1)(1)!nfn10)(nxx称为余项,上式称为n阶泰勒公式; 若0x0,则上述的泰勒公式称为麦克劳林公式, 即fx= 0f+0'fx+02!f''2x++0!nfnnx+0()nx. 利用泰勒公式证明不等式:若函数)(xf在含有0x的某区间有定义,

并且有直到)1(n阶的各阶导数,又在点0x处有n阶的导数)(0)(xfn,则有公式

)()(!)()(!2)()(!1)()()()(00)(200000xRxxnxfxxxfxxxfxfxfnnn 在上述公式中若0)(xRn(或0)(xRn),则可得 )(00)(200000)(!)()(!2)()(!1)()()(nnxxnxfxxxfxxxfxfxf

或)(00)(200000)(!)()(!2)()(!1)()()(nnxxnxfxxxfxxxfxfxf 2

1、 证明: ).11(,32)1ln(32xxxxx 证明 设)11)1ln()(xxxf ( 则)(xf在0x处有带有拉格朗日余项三阶泰勒公式 )11()1(432)1ln(4432 xxxxx

0)1(444x  32)1ln(32xxxx 由以上证明可知,用泰勒公式证明不等式,首先构造函数,选取适当的点0x

在0x处展开,然后判断余项)(xRn的正负,从而证明不等式. 对于欲证不等式中含有初等函数、三角函数、超越函数与幂函数结合的证明问题,要充分利用泰勒公式在00x时的麦克劳林展开式,选取适当的基本函数麦克劳林的的展开式,对题目进行分析、取材、构造利用. 2、 证明不等式:316xx≤sinx. 2、不等式左边是三次二项式的初等函数,右边是三角函数,两边无明显的大小关系 。这时我们可用sinx在00x的二阶麦克劳林公式表示出来,然后进行比较判断两者的大小关系。 证明 31()sin6fxxxx,(0)0f,21'()cos12fxxx,'(0)0f,''()sinfxxx,

''(0)0f,'''()cos1fxx,'''()cos1f 当3n时,()fx的泰勒展式为:331()000(1cos)()3!fxxxox ()fx331(1cos)()6xxox≥0 (x≥0, 

≤x,0<<1)所以x≥0,,有 316xx≤sinx. 在含有无理函数与幂函数结合的不等式证明问题中,它们之间没有明显的大小关系。如果用常规方法(放缩法、比较法,代换法等),我们很难比较它们之间的大小关系,但这时用泰勒公式却能轻易解答. 3、 证明不等式:2128xx<1x,(x>0). 对于此题,若我们对不等式两边同时平方,虽可以去掉根号,但x的次数却 3

提高了2次,这还是难以比较他们之间的大小关系,但若用泰勒公式却可以轻易解答.

证明 设()1fxx,则(0)1f,121'()(1)2fxx,1'(0)2f, 321''()(1)4fxx,1''(0)4f,523

'''()(1)8fxx

代入0x=0的二阶泰勒公式,有1x=1+2x- 28x+5331(1)16xx (0<<1) ∵ x>0, ∴ 531(1)16x3x>0 所以 2128xx<1x(x>0). 在不等式的证明问题中,若题目中出现了一阶导数、二阶导数、初等函数、三角函数或超越函数等与幂函数结合时,可优先考虑泰勒公式在0x=0时的麦克劳林表达式。当然能做好此类题的前提条件是要对一些基本函数的麦克劳林表达式熟悉. 微分)(Lagrange中值定理: 若)(xf满足以下条件: (1) )(xf在闭区间],[ba内连续 (2) )(xf在开区间),(ba上可导 则 abafbffba)()()(),( 4、 若)()(1,011yxpyyxyxpypxypppp则 分析 因为,0xy则原不等式等价于11pppppxyxyxpy )1(p.令ptxf)(,则我们容易联想到Lagrange中值定理yxyfxfyxf)()())(('. 证明 设pttf)(,显然],[)(xytf在满足Lagrange中值定理的条件 则 ,)()()(),(yxyfxffxy 即yxyxpppp=1

111,),(ppppxppyxyxy 

)()(11yxpyyxyxpypppp 4

5、已知函数xxxxf1)1ln()(, 的极小值求)()1(xf; abbaba1lnln,0,2求证:)若(

2)1()(),1)()1(5xxxfxf

,的定义域为(函数、

.0)0()(0fxfx取得极小值时,函数易得当 (2))0(1ln,1)1ln(11xxxxxxxx可得时,)知,当由( )0(11lnxxx即,因为bababalnlnln,0, 所以abba1ln。故得证 (也可用Lagrange中值定理来证) 6、已知函数的最大值;求函数xxfxgxxf)1()()1(,ln)(

22)(2)()(02baabaafbfba时,求证:)当(

解:xxxxfxg)1ln()1()(),1((x

xxxxg1111)( 0)(,0,0)(,01xgxxgx时当当

0.)(0为取得最大值,且最大值时,故当xgx )0(1ln),0(1ln),1()1ln(12xxxxxxxxx得)知)由((

babbababax1ln,得令

0)())(()()(2))(()(2222222222babbaabbabababbaabbaababab

2222)(2)()(.)(2baabaafbfbaababab故所以

评注:本题得到不等式)1()1ln(xxx与不等式)1)(1ln(1xxxx 构成经典不等式,即)1()1ln(1xxxxx. 7、已知2ln)()2(2)()(0,0,ln)(abbagbgagbaxxxg求证:设 解析:)2ln(22lnln)2(2)()(bababbaabagbgag

babbbaaa2ln2ln 由经典不等式),01()1ln(xxxx且 及021,02,0bbaaabba得 5

因此,2)21ln(2ln2lnaabaabababaa ,2)21ln(2ln2lnaabbbabbabab

故022)2()2(2ln2lnabbabbabaabababbbaaa

又2ln2ln)(2ln2ln2ln2ln,22abbababbabbbbaababbbaaabbabaa 综上所述,得2ln)()2(2)()(0abbagbgag .)()1.(1ln)(8的最大值求、已知xfxxxf ),2()1(2)12)(1(ln33ln22ln2*222222Nnnnnnnn求证:

(1)略(2))0(11ln)0(01ln1xxxxxxx,)知由( 所以22222322211311211ln33ln22lnnnn

))1(1431321()1()13121()1(222nnnnn )1(2)12)(1()1121()1(nnnnn),2(*Nnn 9、求证:)()211()811)(411)(211(*2222Nnen要证明原不等式,就要证明1)]211()411)(211ln[(222n

即1)211ln()411ln()211ln(222

n

构造函数)0()()(,1,0,)1ln()(2fxfxfxxxxf递减,故易得 则有xx)1ln(2。故有nn21814121)211ln()411ln()211ln(222

得证,1211)211(21n。 10、)1ln()(2xxxf. 3)(0)1(xxfx时,求证:当; )1(2145131211)1()2(3313*nnnkfNnnk时,求证:当

解:)1()1(3)(,)1ln()()()1(23323xxxxhxxxxxfxh则令 易得3)(,0)0()(),0()(xxfhxhxh所以上单调递减,在