拉格朗日中值定理证明中辅助函数构造及应用

分类号

编号

本科生毕业论文（设计）

题目拉格朗日中值定理证明中的辅助函数的构造及应用

作者姓名常正军

专业数学与应用数学

学号 2 9 1 0 1 0 1 0 2

研究类型数学应用方向

指导教师李明图

提交日期 2 0 1 3 - 3 - 1 5

论文原创性声明

本人郑重声明：所呈交毕业论文，是本人在指导教师的指导下，独立进行研究工作所取得的成果。除文中已经注明引用的内容外，本论文不包含任何其他人或集体已经发表或撰写过的作品成果。对本文的研究做出重要贡献的个人和集体，均已在文中以明确方式标明。本人完全意识到本声明的法律结果由本人承担。

论文作者签名：年月日

摘要拉格朗日中值定理是微积分学三大基本定理中的主要定理，它在微积分中占据极其重要的地位，有着广泛地应用。关于它的证明，绝大多数教科书采用作辅助函数的方法，然后利用罗尔中值定理的结论证明拉格朗日中值定理来证明。罗尔中值定理是其的特殊形式，而柯西中值定理是其的推广形式，鉴于微分中值定理的广泛地应用，笔者将从以下几个不同的角度探讨拉格朗日中值定理中辅助函数的构造，以及几个方面的应用加以举例。

关键词：拉格朗日中值定理辅助函数的构造证明及应用

Abstract Lagrange mean value theorem is the main theorem of calculus three basic theorem, It occupies an important status and role in the calculus, has wide application. Proof of it, the vast majority of textbooks by using the method of auxiliary function, and then use the conclusion of Rolle's theorem to prove the Lagrange mean value theorem. Rolle mean value theorem is a special form of it, and Cauchy's theorem is extended form of it, given the widely application of the differential mean value theorem. This paper will discuss the construction of auxiliary function of the Lagrange mean value theorem from several following different angles, and several applications for example.

Keyword: Lagrange mean value theorem The construction of auxiliary function Proof and Application

目录

1 定理的叙述 (1)

1.1罗尔(Rolle)中值定理 (1)

1.2拉格朗日(Larange)中值定理 (1)

2 拉格朗日中值定理证明中辅助函数的构造方法 (1)

2.1借助于数形结合的思想构建辅助函数 (1)

2.2用行列式构造辅助函数 (2)

2.3借助闭区间套构造性证明拉格朗日中值定理 (3)

2.4借助待定系数法构造辅助函数 (4)

2.5借助定积分构造辅助函数 (5)

2.6借助不定积分构造辅助函数 (5)

2.7借助坐标轴旋转变换构建辅助函数 (6)

3 拉格朗日中值定理的应用 (8)

3.1拉格朗日中值定理在等式证明中的应用 (8)

3.2拉格朗日中值定理在不等式证明中的应用 (9)

错误!未定义书签。3.3拉格朗日中值定理在研究函数性态中的应用 (10)

3.4拉格朗日中值定理在极限和导数方面的应用 (11)

3.5拉格朗日中值定理在方程根的存在性方面的应用 (12)

4参考文献 (13)

5致谢 (14)

拉格朗日中值定理证明中的辅助函数的及应用

1 定理的叙述

1.1罗尔(Rolle)中值定理 若函数)(x f 满足：

(1)在闭区间[]b a ,上连续； (2)在开区间()b a ,内可导；

(3))()(b f a f =，

则在()b a ,内至少存在一点ξ，使得()ξ'

f

1.2拉格朗日(Larange)中值定理 若函数)(x f 满足：

(1)在闭区间[]b a ,上连续； (2)在开区间()b a ,内可导；

则在()b a ,内至少存在一点ξ，使得

()ξ'f =()()a

b a f b f -- 2 2.1借助于数形结合的思想构建辅助函数

拉格朗日中值定理的条件与罗尔中值定理的条件相比较，不难发现它们

相差的是函()x f y =在[]b a ,上两端点的函数值)()(b f a f =.为此，可以构建一个新的函数()x F （()x F 要满足的条件：()x F 与)(x f 有关），即把问题转化为满足罗尔定理的条件，然后利用罗尔定理所得到的结论来证明拉格朗日定理.根据Rolle 定理的几何意义，

()()a

b a f b f --是曲线()x f y =在[]b a ,上两端点

图1

图2

A ()()()()b f b

B a f a ,,,连线AB 的斜率，则弦AB 方程为：

()()()()a x a

b a f b f a f y ---=

- 用曲线()x f y =的纵坐标之差作辅助函数： ()()()()()()()a x a

b a f b f a f x f y x f x F AB -----=-= （1） 即符合Rolle 定理()()b F x F =的条件. 证明：作辅助函数

()()()()()()a x a

b a f b f a f x f x F -----=

显然()()0==b F a F ,且()x F 满足罗尔中值定理的另两个条件.故至少存在一点()b a ,∈ξ，使得

()()()()0''=---

=a

b a f b f f F ξξ 移项后及得 ()()()a

b a f b f f --=ξ' 另外，也可以用原点与曲线()x f y =在[]b a ,上两端点的连线AB 平行的直线OL 代替弦AB ，而直线OL 的方程为()()x a

b a f b f y --=

. 因此,用曲线()x f y =的纵坐标与直线OL 的总坐标之差，得到另一辅助函数：

()()()()()x a

b a f b f x f y x f x F OL ---

=-= （2） 可以验证()x F 在[]b a ,上满足罗尔中值定理条件，具体证明同上. 2.2 用行列式构造辅助函数

行列式不仅是高等代数中最基本工具，具有很强的操作性. 而且在数学

分析中叶也很广泛地应用. 这样就有机的将一个函数用行列式表示出来了，大大简化了数学分析繁杂的证明过程. 证明：构造辅助函数