构造辅助函数法在微积分证明中的教学研究.pdf

2016年第 5期 商丘职业技术学院学报 Vo1．15，NO．5 第 15卷 (总第 86期) JOURNALOFSHANGQIUV0cATIONALANDTECHNICALCOLLEGE Oct．。2O16 文章编号 ：1671—8127(2016)05～0014—05 构造辅助函数法在微积分证明中的教学研究 余新宏 ，吴 坚 (安徽农业大学 经济技术学院，安徽 合肥 230011) 摘 要 ：在微积分知识学习时，通常在证明某个问题 的结论时，通过 已有 的条件无法直接推导所证 的结论 ，这 时可以尝试运用构造函数法，根据命题中的条件 ，将结论变换，从而构造出一个辅助函数，再运用有关的定理结论 推导出命题的结论，从而能对命题的证明起到事半功倍的效果．构造函数法是一种重要的数学方法，其构造方法思 路也是多种多样 的，文章通过构造函数法在一些著名的定理，公式 以及经典例题 的运用 ，尝试找出如何构造辅助函 数的几种方法 ，并通过这些方法在一些具体实例中的运用 ，归纳出构造函数法的一些思路． 关键词 ：构造函数法 ；微积分 ；等式；微分中值定理 中图分类号 ：O172 文献标识码 ：A 0 引言 在微积分学习时，经常会遇到对已知求证 的命题知识较熟悉 ，但又不知如何运用已学知识来解题．这时 可想方设法构造出一个将抽象的关系转为相对直观的辅助 函数 ，起到事半功倍 的效果．构造函数法口]3 ， 顾名思义就是按固定的模式经过有限的步骤能够定义的概念 ，能够实现的方法．构造 的辅助 函数 ，是能在 已 知命题的约束条件下，达到论证某种结论 的正确性．本文将通过对微积分中经典的定理 以及公式 的证明进 行分析，验证 ，总结出构造函数法在微积分领域中运用的思路及构造辅助函数的一类方法 ，并结合实际例题 将这种思路的运用加以阐述． 1 构造辅助函数法在微分经典定理的运用 在微分 中的一些经典定理证 明教学中，借助构造 函数法是一个重要的思路 ，但辅助函数的构造首先需满 足某个已证定理的条件 ，再解决问题．比如Roll定理证 明，是因构造 出了满足 Fermat引理 的函数 ，从而推导 出了结果 ；再如 lagrange中值定理；Cauchy定理则都是构造出了满足 Roll定理条件的辅助函数 ，来推导 出 了论证的结果．在实际教学中，构造 函数法 的思想是非常发散的，故对微分定理的证 明，辅助 函数的构造也 十分多样化，这种多态化的思想要求教师在实际教学中，要善于启发学生，根据命题条件和所学过 的知识，构 造出满足题意的辅助函数来． 建立在微分中值定理为基础的各种中值问题求解中，这类 问题的常见形式是 ：设函数 (z)在 [a，b]上 连续 ，在 (n，b)上可导 ，且满足某些附加条件 ，求证找到一点 z。(b)，使得某个含有 z。的等式成立． 处理此类问题 ，重点在于如何构造出能满足 Roll，lagrange和 Cauchy定理条件的辅助函数．在微分 中 值定理教学过程中发现，微分中值定理是 Roll中值定理的引申，Roll中值定理的结论又为一个导数形式，那 么就可利用微分运算的逆运算——积分来构造辅助 函数 ，即满足 Roll中值定理条件 的原函数 ，进而达到解 决微分中值的问题． 2 构造辅助 函数法在 newton—leibniz公式中的运用 newt。n—leniz~／ff(z)z—F(z)l：证明过程中，构造了积分上限函数G(z)一(￡)，使其满 足G ()=_厂(z)，正是构造TA个积分上限辅助函数 ，才十分巧妙地证明了积分运算中著名的公式． 收稿 日期 ：2016—07—08 基金项 目：安徽省教育教学研究项 目“高职院校数学教学模式有效性研究”(项 目编号 ：2013jyxm497)；安徽省高校 自然科学研究重点项 目 (项 目编号 ：KJ2016A246) 作者简介 ：余新宏(1982一 )，男 ，安徽阜 阳人 ，安徽农业大学经济技术学院讲师 ，硕士 ，主要从事数理统计研究 。 · 14 · 第 5期 余新宏 ，吴 坚：构造辅助函数法在微积分证 明中的教学研究 3 构造辅助函数法在证 明等式中的应用 借助辅助函数 ，