微积分理论在不等式证明中的应用

  • 格式:doc
  • 大小:28.50 KB
  • 文档页数:5

微积分理论在不等式证明中的应用

摘要:根据微积分的相关定理和概念,采用枚举的方式从导数的定义、函数的单调性、微分中值定理、极值理论和凹凸性等方面归纳总结了微积分知识在不等式中证明常用的技巧和方法,彰显了不等式证明的基本思想和方法。

关键词:导数;函数单调性;中值定理;极值;凹凸性

Abstract: according to the related theorem and calculus concept, the enumeration

methods from derivative definition and function of the monotonicity and differential

mean value theorem, extreme value theory and bump of summarizes the calculus

knowledge in inequality proof of commonly used techniques and methods, reveal the

inequality proof the basic ideas and methods.

Keywords: derivative; Functional monotonicity; Mean value theorem; Extreme

value; convexity

1.引言

不等式是高等数学和近代数学分析的重要内容之一,它反映了各变量之间很重要的一种关系。在高等数学中,不等式是证明许多定理与公式的工具。不等式表达了许多微积分问题的结果,而微积分的一些定理和公式又可以导出许多不等式。不等式的求解证明方法很多,本文用微积分的一些定理及性质来说明不等式证明的几种方法与技巧,以便更好地了解各部分内容之间的内在联系,从整体上更好的把握证明不等式的思想方法。

2.微积分在证明不等式中的应用

2.1 用导数的定义证明不等式

从导数、微分、积分定义出发处理不等式,是容易被忽略的,但这种最原始的方法有时又是一种非常有效的证明方法。

导数定义:设函数 在点 的某个邻域内有定义,若极限 存在,则称函数 在

可导,称这极限为函数 在点 的导数,记作 。

证明方法:

(1)找出 ,使得 恰为结论中不等式的一边;(2)利用导数的定义并结合已知条件去研究。

适用范围:

用导数定义证明不等式,此方法得适用范围不广,我们应仔细观察问题中的条件与结论之间的关系.有些不等式符合导数的定义,因此可利用导数的定义将其形式转化,以达到化繁为简的目的。

2.2 利用函数的单调性证明不等式

函数单调性本身就是不等式,此方法的关键是把要证明的不等式归结为某函数,通过对所设辅助函数求导,借助导数符号来判断函数的单调性,从而解决问题。

定理:若函数 在 可导,则 在 内递增(递减)的充要条件是:

.

定理:设函数 在 连续,在 内可导,如果在 内 (或 ),那么 在 上严格单调增加(或严格单调减少).

定理:设函数 在 内可导,若 (或 ),则 在 内严格递增(或严格递减).

上述定理反映了可导函数的一阶导数符号与函数单调性的关系,因此可用一阶导数研究函数在所讨论区间上的单调性.

证明方法:

(1)构造辅助函数 ,取定闭区间 ;

①利用不等式两边之差构造辅助函数(见例2);

②利用不等式两边相同“形式”的特征构造辅助函数(见例3);

③若所证的不等式涉及到幂指数函数,则可通过适当的变形(若取对数)将其化为易于证明的形式,再如前面所讲那样,根据不等式的特点,构造辅助函数(见例4)。

(2)研究 在 上的单调性,从而证明不等式。

实用范围:

利用函数单调性证明不等式,不等式两边的函数必须可导;对所构造的辅助函数 应在某闭区间上连续,开区间内可导,且在闭区间的某端点处 的值为0,然后通过在开区间内 的符号来判断 在闭区间上的单调性。

2.3 利用Lagrange中值定理证明不等式

应用Lagrange中值定理求解极限就是将极限当中符合条件的函数值增量处理为自变量增量与导数之积的形式再进行讨论,此时一定要注意:(1)应用Lagrange中值定理必须符合定理本身的条件,否则可能使结论不成立;(2)在随后的极限的求解中一定要论证ξ的变化趋势。

拉格朗日中值定理:若函数 满足下列条件:(1) 在闭区间 上连续;(2) 在开区间 内可导,则在 内至少存在一点 ,使得 。

拉格朗日中值定理反映了函数或函数增量和可导函数的一阶导数符号之间的关系。

证明方法:

①辅助函数 ,并确定 施用拉格朗日中值定理的区间 ;

②对 在 上施用拉格朗日中值定理;

③利用 与 的关系,对拉格朗日公式进行加强不等式。

适用范围:当所证的不等式中含有函数值与一阶导数,或函数增量与一阶导数时,可用拉格朗日中值定理来证明。

2.4 利用极值理论证明不等式

证明方法根据极值的充分条件定理。

定理:(极值的第一充分条件)设 在 连续,在 内可导,(i)若当 时, ,当 时, ,则 在 取得极大值;(ii) 若当 时, ,当 时, ,则 在 取得极小值。

定理(极值的第二充分条件)设 在的某领域 内一阶可导,在 处二阶可导,且 , ,(i)若 ,则 在 取得极大值;(ii)若 ,则 在 取得极小值。

极值和最值是两个不同的概念.极值仅是在某点的邻域内考虑,而最值是在某个区间上考虑。若函数在一个区间的内部取得最值,则此最值也是极值。极值的充分条件定理反映了可导函数的一阶导数符号或二阶导数在可疑点上的导数符号与函数极值的关系。

证明方法

(1)构造辅助函数 ,并取定区间。

①当不等式两边均含有未知数时,可利用不等式两边之差构造辅助函数;

②当不等式两边含有相同的“形式”时,可利用此形式构造辅助函数;

③当不等式形如 (或 )( 为常数)时,可设 为辅助函数。

(2)求出 在所设区间上的极值与最大、最小值.

①极值求法:(1)求出可疑点,即稳定点与不可导的连续点;(2)按极值充分条件判定可疑点是否为极值点.

②最大、最小值的求法:(1)闭区间 上连续函数的最大、最小值的求法:先求出可疑点,再将可疑点处的函数值与端点 处的函数值比较,最大者为最大值,最小者为最小值.(2)开区间 内可导函数的最大值、最小值的求法:若 在

内可导,且有唯一的极值点,则此极值点即为最大值点或最小值点。

适用范围:(1)所设函数 在某闭区间上连续,开区间内可导,但在所讨论的区间上不是单调函数时;(2)只能证不严格的不等式而不能证出严格的不等式。

2.5 利用凹凸性证明不等式

证明方法根据凹凸函数定义及其定理和詹森不等式。

定义:设 为定义在区间I上的函数,若对于I上任意两点 和实数 ,总有 ,则称 为I上的凸函数,若总有 ,则称 为I上的凹函数.

定理:设 为I上的二阶可导函数,则 为I上的凸函数(或凹函数)的充要条件是在I上 。

命题:(詹森不等式)若 在 上为凸函数,对任意的 且 ,则.该命题可用数学归纳法证明。

函数的凹凸性定理反映了二阶可导函数的二阶导数符号与凹凸函数之间的关系。

证明方法:

①定义证明法:将不等式写成定义的形式,构造辅助函数 ,并讨论 在所给区间上的凹凸性.

②詹森不等式法:对一些函数值的不等式,构造凸函数,应用詹森不等式能快速证此类不等式.

适用范围:

当不等式可写成凹凸函数定义的形式或对一些函数值和且能够构造凸函数的不等式。

3.总结

微积分是人类智慧最伟大的成就之一,是数学上的伟大创造,它现在广泛影响着生产技术和科学的发展。如今,微积分已是广大科学工作者以及技术人员不可缺少的工具。以上我们通过举例,归纳总结了微积分的若干概念、定理、性质等内容在不等式证明这一方面的应用。在学习微积分的过程中,我们可以利用它来解决一些初等数学的问题,将初等数学和高等数学的有关内容衔接起来,从而在整体上更好地理解有关数学知识。

参考文献

[1]同济大学.高等数学[M].上海:同济大学出版社,2003.147-149

[2]宣立新.高等数学[M].北京:高等教育出版社,1999.116-117

注:文章内所有公式及图表请用PDF形式查看。