微积分学中辅助函数的造.docVIP

编号：毕业论文（设计） 题 目 完 成 人： 班 级： 学 制： 年 专 业： 指导教师： 完成日期： 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.1将未知化为已知 在一元微积分学中许多定理的证明都是在分析所给命题的条件、结论的基础上构造一个函数将要证的问题转化为可利用的已知结论来完成的. 比如, 柯西中值定理的证明就是通过对几何图形的分析, 构造辅助函数转化为利用已知的罗尔定理加以证明; 在牛顿- 莱布尼兹公式的证明中也是构造辅助函数利用积分上限函数的性质得到证明的. 1.2 将复杂化为简单 一些命题较为复杂, 直接构造辅助函数往往较困难, 可通过恒等变形, 由复杂转化为简单, 从中探索辅助函数的构造, 以达到解决问题的目的, 这种通过巧妙的数学变换, 将一般化为特殊, 将复杂问题化为简单问题的论证思想, 是一元微积分学中的重要而常用的数学思维体现. 例 1 设函数， 都在上连续, 在内可导, 且. 证明在开区间内存在一点, 使得 　　　　 ． 分析 将证明的结论变形为, 直接思考哪个函数求导后为,发现不易找到这个函数.进一步考虑除以一个非零因子，不难发现所证结论可变形为.因此, 找到了辅助函数.对此函数在 上应用罗尔定理即得要证的结论. 证明 作辅助函数 因为，都在上连续，在内可导, 且　. 所以在上连续，在内可导，并且，，所以． 有罗尔定理知存在一点，使得即． 所以　　　　　　　． 1.3 利用几何特征 利用几何图形直观形象的特点构造辅助函数. 在各种版本的“高等数学” 和“数学分析”的书中, 微分中值定理的证明大多是利用对几何图形的分析,探索辅助函数的构造, 然后加以证明的. 2 构造辅助函数的方法探讨 2.1常数变易法 常数变易法的思想就是，将于证明题中的某个常量用变量代替而构成辅助函数，对辅助函数进行讨论，使欲证明题得到证明. 2.1.1 罗尔定理应用举例 在微分学等式证明中，我们通过引入辅助函数来证明，而辅助函数构造是关键，一般情况下可以用常数变易发来构造辅助函数. 例2函数在区间上可微，证明在区间内至少存在一点，使得． 证明 记，我们来证明 因为，将此式中数用变量代替，构成辅助函数显然， 则，在在区间上连续，在区间 内可导，且，有罗尔定理知，至少存在一点，使得即　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　 ． 　　　　　　 ， 　　　　　　 . 由上面这些例子看出, 一般说来在微分学中凡联系到区间端点的值与导数中间值的式子都可以用常数变易法加以证明.常数变易法在证明积分恒等式也是有效的. 2.1.2 构造辅助函数证明积分不等式 例3 设时，,证明 . 证明 需证即可. 把常量换作变量，引入函数 , 所以 当时，由拉格朗日中值定理， 所以 又因为，所以是单调递增的，有，所以，注意到 所以 当时，有即 2.2 原函数