1. 引言
在解题过程中,根据问题的条件结论的特点,通过学者的逆向分析,即根据结果推测一个辅助函数,构造出一个与问题有关的函数,通过对函数特征的考查达到解决问题的目的,这种解决问题的方法叫做构造函数 [1]。
构造函数的方法十分丰富,在本篇文章中我主要针对常见的几种方法进行展开讨论构造函数的方法。
2. 预备知识 [2]
定理一:零点定理
函数
在区间
上连续,且
,则
在区间
内至少存在一点
,使得
。
定理二:费马定理
若
是
的极值点,且
存在。则有
。
定理三:罗尔中值定理
若
在
上连续,在
上可微,且
,则存在一点
,使得
。
定理四:泰勒公式
若
在
存在
阶导数,则有
。
定理五:积分第一中值定理
若
,
在
上连续,
在
不变号,则则存在一点
,使得
。
3. 直接构造辅助函数
对于类型1是
,可以构造辅助函数
;
因为
。具体的常见的应用如下。
类型一:
,构造辅助函数
;
因为
。
类型二:
。构造辅助函数
;
因为
。
类型三:
构造辅助函数
或者
;
因为
,
。
类型四:
,构造辅助函数
;
因为:
。
类型五:
,构造辅助函数
;
因为
。
类型六:
,构造辅助函数
;
因为
。
小结:
对于其它类型构造辅助函数的方法,我们可以设辅助函数为
第一步:将把题中要证明的结果中的
换成
;
第二步:将结论变形,转化为容易积分的形式,利用积分的方法,得出原函数所得的原函数就是我们要求的辅助函数。
例1.1 [3]:
在
上连续,在
上可导,且
,
,同时存在
,
,使得
,证明存在
,满足
。
解:构造函数
,可知
为连续函数,由题中已知条件
,
,
,根据零点定理可知存在
,
,使得
。又因为罗尔中值定理存在
,使得
,即
,故
。
例1.2 [4]:设
在
上连续,在
上可导,
,试证:对任意
,存在
,
。
解题思路:要证明
,证明
成立即可,因此设
,然后利用零点定理和罗尔中值定理定理可证明结论。
4. 利用不等式构造函数法 [1]
构造函数使用最多的方法是利用作减法或作除法这两种方法,在解决数学问题时,对遇到的幂函数、指函数等,采用相关的取对数的方法进行辅助函数的构造,这样可以将问题进行有效的解决。
例题2.1 [3]:设
或
,则有
证明:欲证明上述不等式成立,即证明
,再取对数
,为此,令
。由于
,故只需证明
为严格增函数即可。
,在令
,
,令
,解得
,
,故
在1处取得极小值,即
,所以
,即得证。
5. 利用积分方法构造函数
此种方法也叫逆推法方法,就是先假设结论(某一个函数的导数的形式)成立。然后根据求积分的方法求出其原函数,根据这个原函数,可以将其作为辅助函数。这种方法主要是从已经知导数中推出原函数。由于此类方法比较简答,这里就不举例说明说明了。
注:对于用积分的方法求辅助函数,我们也可以用除了数分介绍的方法外,也可以考虑可用积分因子法(一阶线性常微分方程)。
6. 利用泰勒公式构造函数的方法
这种方法一般被用在导数阶数较多的函数中,一般为二阶导数中最为常见。在这种类型的题中,辅助函数可以用泰勒公式来构造。
例题4.1 [4]:设
在
上有二阶导数,
,证明存在
,使得
解:应用泰勒公式将
分别在
两点展开,注意到
,因此存在
:
,使得
(1)
(2)
用(2)-(1)得:
,因此有
,其中
。原命题及得证。
7. 结论
在本篇文章中我介绍了几种常见的构造辅助函数的方法,并举例进行说明。希望能够加深学者对辅助函数构造方法的理解。但是在数学中往往都是一种题目多种解法,因此对于构造辅助函数的方法并不是仅仅局限于以上几种。希望我们在今后的学习中能不断的探究、学习、积累更多的构造辅助函数的方法。
NOTES
1李扬数学分析强化讲义[Z]. 2021。