编号：08005110137 南阳师范学院 2012 届毕业生毕业论文（设计）题 目： 微积分学中辅助函数的构造 完 成 人： 司玉会 班 级： 2008-01 学 制： 4 年 专 业： 数学与应用数学 指导教师： 葛玉丽 完成日期： 2012-03-31 目 录摘要(1)0 引言(1)1 构造辅助函数的原则(1)1.1 将未知化为已知(2)1.2 将复杂化为简单(2)1.3 利用几何特征(3)2 构造辅助函数的方法探讨(3)2.1 常数变易法(3)2.1.1 罗尔定理应用举例(3)2.1.2 构造辅助函数证明积分不等式(4)2.2 原函数法(4)2.3 微分方程法(6)2.4 积分法(6)2.5 函数增量法(7)2.6 参数变易法(7)3 构造辅助函数在微分中值定理证明中的应用分析(8)3.1 辅助函数构造在拉格朗日定理中应用(8)3.1.1 应用举例(9)4 结束语(10)参考文献(10)Abstract(11)第 1 页 (共 11 页)微积分学中辅助函数的构造作 者：司玉会指导教师：葛玉丽摘要：构造辅助函数是数学分析中解决问题的重要方法，在解决实际问题中有广泛应用通过研究微积分学中辅助函数构造法，构造与问题相关的辅助函数，从而得出欲证明的结论本文介绍了构造辅助函数的概念及其重要性，分析了构造辅助函数的原则，归纳了构造辅助函数的几种方法，并研究了构造辅助函数在微积分学中的重要作用和应用.关键词：原函数法； 辅助函数；常数变易法；函数增量法0 引言当某些数学问题使用通常办法按定势思维去考虑而很难奏效时，可根据题设条件和结论特征、性质展开联想，进而构造出解决问题的特殊模式构造辅助函数辅助函数构造法是数学分析中一个重要的思想方法，在数学分析中具有广泛的应用构造辅助函数是把复杂问题转化为已知的容易解决问题的一种方法，在解题时，常表现为不对问题本身求解，而是构造一个与问题有关的辅助问题进行求解1-2微积分学中辅助函数的构造是在一定条件下利用微积分中值定理求解数学问题的方法通过查阅现有的大量资料发现，现在国内外对微积分学中辅助函数构造法的研究比较多，其中有一部分研究的是辅助函数构造法的思路3，但大部分研究的是辅助函数的构造在微积分学解题中的应用4通过构造辅助函数，可以解决数学分析中众多难题，尤其是在微积分学证明题中应用颇广，且可达到事半功倍的效果1 构造辅助函数的原则第 2 页 (共 11 页)辅助函数的构造是有一定的规律的.当某些数学问题使用通常的方法按定势思维去考虑很难奏效时，可根据题设条件和结论的特征,性质展开联想，进而构造出解决问题的特殊模式，这就是构造辅助函数解题的一般思路.1.1 将未知化为已知在一元微积分学中许多定理的证明都是在分析所给命题的条件、结论的基础上构造一个函数将要证的问题转化为可利用的已知结论来完成的. 比如, 柯西中值定理的证明就是通过对几何图形的分析, 构造辅助函数转化为利用已知( )( )( )( )( ) ( )( )( )( )f bf axf xf aF xF aF bF a的罗尔定理加以证明; 在牛顿- 莱布尼兹公式的证明中也是构造辅助函数利用积分上限函数的性质得到证明的.( )( )xaxf t dt( )x1.2 将复杂化为简单一些命题较为复杂, 直接构造辅助函数往往较困难, 可通过恒等变形, 由复杂转化为简单, 从中探索辅助函数的构造, 以达到解决问题的目的, 这种通过巧妙的数学变换, 将一般化为特殊, 将复杂问题化为简单问题的论证思想, 是一元微积分学中的重要而常用的数学思维体现.例 1 设函数， 都在上连续, 在内可导, 且( )f x( )g x , a b, a b. 证明在开区间内存在一点 , 使得 ( )0,( ) ( )( ) ( )g xf a g bg a f b, a b ( ) ( )( ) ( )fgfg分析 将证明的结论变形为, 直接思考哪( ) ( )( ) ( )0fgfg个函数求导后为,发现不易找到这个函数.进一( ) ( )( ) ( )0fgfg步考虑除以一个非零因子，不难发现所证结论可变形为.因此, 找到了辅助函数.对2( )( ) ( )( ) ( )0( )( )f xfx g xf x g x g xgx( )( )( )f xxg x第 3 页 (共 11 页)此函数在 上应用罗尔定理即得要证的结论. , a b证明 作辅助函数 因为，都在上连续，在( )( )( )f xxg x( )f x( )g x , a b内可导, 且 ., a b( )0,( ) ( )( ) ( )g xf a g bg a f b所以在上连续，在内可导，并且，( )( )( )f xxg x , a b, a b( )0x，所以( )( ) ( )( )f af b g af b( )( )ab有罗尔定理知存在一点 ，使得即( )0 2( )( ) ( )( ) ( )( )0( )( )ffgfg gg 所以 ( ) ( )( ) ( )fgfg1.3 利用几何特征利用几何图形直观形象的特点构造辅助函数. 在各种版本的“高等数学” 和“数学分析”的书中, 微分中值定理的证明大多是利用对几何图形的分析,探索辅助函数的构造, 然后加以证明的.2 构造辅助函数的方法探讨2.12.1 常数变易法常数变易法的思想就是，将于证明题中的某个常量用变量代替而构成辅助函数，对辅助函数进行讨论，使欲证明题得到证明.2.1.1 罗尔定理应用举例在微分学等式证明中，我们通过引入辅助函数来证明，而辅助函数构造是关键，一般情况下可以用常数变易发来构造辅助函数.例 2 函数在区间上可微，证明在区间内至少存在( )f x, a b, a b一点 ，使得( )( )( )( )bf baf affba证明 记，我们来证明( )( )bf baf akba( )( )kff第 4 页 (共 11 页)因为，将此式中数 用变量 代替，构成辅助( )( )()0bf baf ak babx函数显然，( )( )( )()F xxf xaf ak xa( )( )( )()0F aaf aaf ak aa则，在在区间上连续，在区间 内可导，且( )F x, a b, a b，有罗尔定理知，至少存在一点，使得( )( )0F aF b( , )a b即 ( )0F( )( )( )0Fffk，( )( )( )0Fffk.( )( )( )( )bf baf affba 由上面这些例子看出, 一般说来在微分学中凡联系到区间端点的值与导数中间值的式子都可以用常数变易法加以证明.常数变易法在证明积分恒等式也是有效的.2.1.2 构造辅助函数证明积分不等式例 3 设时，,证明axb( )0,( )0fxfx.( ) ( )( )2babaf x dxf af b证明 需证即可. ( )( )( )02babaf af bf x dx把常量 换作变量 ，引入函数bt, ( ) ( )( )( )2tataF tf af tf x dx()atb 所以 1( ) ( )( )( )( )22taF tf af tftf t1 ( )( )( )22taf af tft当时，由拉格朗日中值定理， 所ta( )( )( )()f af tfta ()at以 又因为，所以是单调递增的，( )( )( )2taF tftf( )0fx ( )fx有，所以，注意到 所以 当时，有( )( )0ftf( )0F t ( )0F a ta即 ( )0F b ( ) ( )( )2babaf x dxf af b2.22.2 原函数法在利用微分中值定理求解介值(或零点) 问题时, 欲证明的结论往往是某个函数的导函数的零点, 因此可通过不定积分反求出原函第 5 页 (共 11 页)数作为辅助函数.其步骤为: (1) 将欲证结论中的 换成x(2) 通过恒等变形, 将结论化为易积分的形式. (3) 用观察法或凑微分等方法求出原函数,为简便起见,可将积分常数取为零.(4) 移项, 使等式一边为零, 则等式的另一边即为所需的辅助函数.例 4 设在上连续，在内可导，则在内至少存( )f x , a b, a b, a b在一点 使 222f bf afba分析 要证明，即证至少存在一点， 222f bf afba, a b使，用 替换 得，积 2220f bf afbax 2220f bf afxxba分后得辅助函数 2 22f bf aF xf xxba证明 作辅助函数 2 22f bf aF xf xxba则在上连续，在内可导，且 F x , a b, a b 22 2 222