关于数学证明方法与算法实现关系的一些探讨.pdfVIP

第 26卷增刊 1 大 学 数 学 Vo1．26，Sup l 2010年 10月 CoLLEGE MATHEMATICS 0ct．2010 关于数学证明方法与算法实现关系的一些探讨 宋士仓 ， 李 镇 (郑州大学 数学系，郑州 450001) [摘 要]从数学证明和程序设计的角度 ，分析 比较了数学命题定理证 明中常用 的数学归纳法、递推算法、 递归算法、反证法等数学方法．讨论了它们在理论证明、算法实现方面的联系和优缺点，提 出教学中的一些建议． [关键词]数学证 明方法 ；算法实现 ；程序设计 [中图分类号]Ol3。0244 [文献标识码]c [文章编号]1672—1454(2010)~ ]1—0105—04 数学证明方法很多，常用的构造性证 明、反证法、数学归纳法等，还可能是几种证明方法的结合．证明 的过程往往是推导计算的过程，有时伴有推理．从程序设计算法实现 的角度看 ，有些算法能够实现 ，有些算 法不容易或不可能实现．数学证明方法和程序设计有着密切关系 ，注意它们之间的联系对于学好数学、用 好数学 ，判断证明方法 的好坏是很有帮助的．在高等数学教学 中渗透这种思想 ，对提高学生数学素质是非 常有益的．本文拟对一些常用方法进行讨论． 1 递推方法与数学归纳法 递推思想、归纳法技巧是数学理论证明中常用 的方法和手段 ，在一些 问题的证明中是非常有效的，如 线性代数中的Schmit正交化过程、数值分析中的一般 Hermite插值节点基函数的构造 ．同学们做作业时 常常用归纳法证明一些命题，这些命题是怎样来的，却很少关心．给学生做的归纳法证明题往往是前人通 过递推方法或别的途径得出的结论．将递推或猜测出的结论给出严格证明是得到一个命题所必须的．作为 数学素质的培养 ，在平时的教学中应体现出来．现举两个例子说明这种方法在高等数学教学 中的应用． 如Fibonacci数列 1，1，2，3，5，8，13，…的通项公式 = = = 1( )一1( ) c一 是根据求解由递推式子确定的差分方程 fo一 1， fl一 1， 一 -， l+ 2 (一 2，3，…) 定出来的，同学们刚看到这个式子时觉得不可思议 ，谁这么伟大，得出如此通项公式．告诉同学们学过后续 课程后是很容易得到的结果，到时你也可以构造出类似的通项公式让别人用归纳法证 明．通过这种教学环 节激发同学们学习的积极性 再如特殊和式—∑i的求和公式问题．大多教科书嘲上在引入定积分定义时都从计算I 出人手，将 i=—1 J 0 区间[0，1]等分成 n份，以右端点处的高度近似代替小曲边梯形的高度 ，作和近似代替曲边三角形的面积， 求极限得到面积的准确值 ，然后再加上别的例子引入定积分概念．在这个例子的推导中用到一个关键的和 式 z一 ±二_ ． 刚接触这个式子，教师可能会说用归纳法可以证明，同学们会问是谁发现了 0 r 1 r 1 — 这个公式呢?按照这种方法，I (Lr，甚至Ixkda：能否用类似的方法计算呢?问题的关键是求出∑i 的表达式．我们可以试推如下． 1O6 大 学 数 学 第 26卷 已知壹志一 (+1)，可解出一2志一，这一步很关键，把自然数的高次幂表示成低次幂的和． 利用交换求和次序技巧， ∑(2∑走一)===2∑∑尼一∑i一2∑(，z一是+1)k一∑i i一 1 女一 1 一 l i一 i一 1 1 i 1 一 一 2∑走+2(n+1)∑ 一∑