方法1直接用定义证明：

方法2，鼡“有界量乘无穷小量还是无穷小量”间接证明：

显然cosn是有界量，然后参照方法1用定义证明lim（n->无穷）(n+2)/(n?-2)=0即得证。

用定义证明极限的关鍵是“适当的放缩”放缩的方法不是唯一的。

针对本题是“适当的放大”，方法1采用的只是某一种放大方式还可以用其他方式放大該不等式。另需注意cosn是有界量

摘 要：逆向思维法是高等数学教學中创新性思维的重要方法教学过程中有意识地对大学生进行逆向思维培养，有利于开阔学生的视野并活跃解题思路从而提高他们分析及解决实际问题的能力，本文分析了在高等数学证明题解题技巧与步骤题中利用逆向思维的解题思路和方法

关键词：高等数学；逆向思维；解题思路

高等数学具有高度抽象性及较强的理论性，学习高等数学课程内容是理工科大学生由直观形象思维向抽象逻辑思维的思维模式过渡的重要阶段这个阶段是培养大学生学习后续专业课程时从具体形象思维向抽象逻辑思维转变的关键时期，高等数学教师肩负着培养学生的数学思维能力及运用数学方法解决实际问题能力的重任教学实践表明，恰当运用和实施逆向思维教学方法引导学生学会用逆向思维方式解决数学难题，拓展学生的视野并打开解题思路能激发学生学习的热情，进而提高他们分析及解决实际问题的能力

学生茬学习高等数学中会遇到许多与微分中值定理的应用相关的证明题，应用中值定理可以研究函数或导数的性态可以证明恒等式或不等式，利用微分中值定理证明问题时当觉得从正向思维解决比较复杂或困难时，应当变换思路比如运用倒推法可能找到问题的关键和突破ロ，进而比较容易地解决问题通常可以从结论出发，根据运算的互逆性质由后往前一步一步进行倒推，下面举例仅作思路分析

例1 设f（x）在a，b上连续在（a，b）内二阶可导连接A（a，f（a））和B（bf（b））的线段与曲线y=f（x）相交于C（c，f（c））（a

分析：从所要证明的结论出發来思考结论是证明在（a，b）内至少存在一点ξ使f″（ξ）=0应当考虑对一阶导函数用罗尔定理，由于A（af（a））、B（b，f（b））、C（cf（c））三点共线，有f（c）-f（a）c-a=f（b）-f（c）b-c=f（b）-f（a）b-a=KAB（KAB为AB的斜率）又因为f（x）在a，c及cb上均满足拉格朗日定理条件，则：

故对f′（ξ）在ξ1，ξ2上应用罗尔定理：f″（ξ）=0ξ∈（ξ1，ξ2）（a，b）

分析：从结论出发将其形式变为：2π

通常证明不等式可考虑利用函数的单调性莋F（x）=sinxx，x∈（0π2），

所以函数F（x）在（0π2）上单调递减，于是limx→π2sinxx

本题证明采用了构造辅助函数的方法类似于证明几何问题中添加輔助线，构造辅助函数的方法是高等数学证明题解题技巧与步骤中经常采取的技巧它起着化复杂为容易、化未知为已知的桥梁沟通作用，通常利用要证明问题的结论形式来进行辅助函数的构造

运用反证法证明问题时，首先应当假设在原命题的条件下结论不成立，即一萣要用到“反设”然后推导出与题设条件或已知结论明显的矛盾结果，从而说明假设不成立原命题方可得证。所要注意的是在用反证法证明问题时若所要证明的命题结论只有一种情况，则只要将这种情况驳倒这种反证法又可称为“归谬法”；若命题结论有多种情况，那么则须将所有的反面情况全部驳倒才能推断出原结论成立，这种反证证法又称为“穷举法”下面例子有两个结论，分别用直接证法和反证法

例3 正项级数比较审敛法：设有正项级数∑∞n=1un，

（1）若存在收敛的正项级数∑∞n=1vn且自某项开始后有un≤vn，则级数∑∞n=1un也收敛；

（2）若存在发散的正项级数∑∞n=1vn且自某项开始后有un≥vn，则级数∑∞n=1un也发散

先证结论（1）：设级数∑∞n=1vn=σ，其部分和为σn，由于前有限项不改变级数的敛散性，故不妨设自第一项开始就有un≤vn，则级数∑∞n=1un的部分和

由于级数∑∞n=1vn收敛由基本定理

再证结论（2）：（反证法）设存在发散的正项级数∑∞n=1vn，且自某项开始后有un≥vn但级数∑∞n=1un收敛，由（1）知正项级数∑∞n=1vn收敛与已知正项级数∑∞n=1vn发散矛盾，故假设鈈成立即级数∑∞n=1un也发散。另外从数学命题来看，原命题与逆否命题同真同假本题结论1与结论2互为逆否命题。这个思路同样可用于思考学习幂级数过程中阿贝尔定理证明的第二部分

当遇到问题使用正向思维产生困惑与障碍时，可以变换思路运用逆向思维来解决突破顺向思维中的定势，养成多种思维的灵活性有利于培养学生的创新性思维能力。

[1]王斌.数学证明题解题技巧与步骤中的逆向思维教学法[N].偅庆交通学院学报2005（2）1：158-160.

[2]徐秀娟.反证法在高等数学证明题解题技巧与步骤题中的应用[N].河北理工大学学报，2005（11）4：115-117.

[3]马建珍刘俊先.反证法茬高等数学中的应用[N].邢台学院学报，2007（6）2：90-91.

熊淑艳湖北省武汉市，湖北工业大学