推理2.6-大胆猜想--小心求证--善待归纳法.doc

《推理2.6-大胆猜想--小心求证--善待归纳法.doc》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、2.6大胆猜想小心求证善待归纳法猜想是数学家创造发明的法宝，也是数学学习中的一个重要思想方法.你所看到的构思奇妙的数学定理、简明精巧的数学公式，大多数是先由数学家猜想得到结论，然后经过证明确认为真的.正如波利亚所说：“数学家的创造性工作成果是论证推理，即证明；但是这个证明是通过合情推理，通过猜想而发现的.”如果没有猜想，纯洁梦幻的数学巨轮将搁浅海滩；如果没有猜想，巍峨瑰丽的数学大厦将不复存在.在数学猜想中，归纳、类比是获得猜想的两个重要的方法．波利亚说：“猜想是合情推理的最普遍、最重要的一种，归纳也好，类比也好，都包含着猜想的成分.”法国数学家、天文学家拉普拉斯也说过：“在数学里

2、，发现真理的主要工具就是归纳和类比.”数学解题与数学发现一样，通常都是在通过归纳、类比等探测性方法进行探测的基础上，获得对有关问题的结论或解决方法的猜想，然后再设法证明或否定猜想，进而达到解决问题的目的．一．枚举归纳猜想归纳猜想是通过对特例进行观察与综合以发现一般规律的渠道.它是由特殊向一般的推理，它所得出的结论是或然的，但这种方法的重要性不容忽视，正如数学王子高斯所强调的：“用归纳法可萌发出极漂亮的新的真理”.枚举归纳是不完全归纳的一种.枚举归纳是以对某些对象的重复验证作为归纳根据的，前面提到的找规律大都是枚举归纳.这种归纳可以发现问题，但可靠性有一定问题.比如，17世纪，法国

3、数学家费马曾得到一个后人以其名字命名的定理：如果p为素数，a为任意自然数，那么ap-a是p的倍数.上述定理的逆命题是否成立呢？费马之后，研究者数不胜数.德国数学家莱布尼兹就曾提出：如果p不是素数，那么2p-2就不是p的倍数.因此，在莱布尼兹看来，费马定理的逆命题是成立的：如果ap-a是p的倍数，那么p必为素数.无独有偶，我国清代数学家李善兰也通过不完全归纳得到了类似的结论.不幸的是，数学家萨吕斯发现了反例，彻底否定了莱布尼兹和李善兰的猜想：尽管2341-2，是341的倍数，但341=11×31却是一个合数！后来人们又相继发现了更多的反例：561，645，1105，1387，172

4、9，1905，2407，…….因此，由不完全归纳得到的结论有时往往并不正确，必须给予严格的逻辑证明.正是由于归纳法的重要性和结论的或然性，波利亚提出要有科学的“归纳的态度”，他特别提出了下述三原则：第一，“理智上的勇气”：我们应当随时准备修正我们的任何一个猜测或信仰.第二，“理智上的诚实”：把事实摆在优先地位，如果有一种理由非使我们改变信念不可，我们就应当改变这一信念.坚持自己那个显然与经验相抵触的猜想，就因为它正是我的猜想而坚持它，那将是不诚实的.第三，“明智的克制”：如果没有某种充分的理由，我们不应当轻率地改变一个信念.“不轻信任何事情，只探索那些值得探索的问题”.著名数学家

5、克莱因也说过：“最初建立某一个假设的人所做的归纳工作，跟最初证明这个假设的人所做的演绎法的工作，当然具有同样的价值，因为这个和那个是同样必要的.”就是说，我们可以大胆的猜想，但是必须谨慎小心的证明.下面，我们举例说明归纳—猜想—证明的全过程.例求出所有公差为8，且由三个素数组成的等差数列.解：观察素数数列：2,3,5,7,11,13,17,19,23,29,…….我们从头开始，一个一个的检验，发现公差为8的三个素数唯有3，11，19.由于素数列是无穷数列，此外还会有其他的公差为8的三个素数成等差数列吗？直觉告诉我们，可能没有了.这是猜想，需要证明.显然，符合要求的三个素数一定都是

6、奇数.若首项为2n+1，则此数列的三项为2n+1，2n+9，2n+17(nN×).以下讨论n被3除的所有可能情况：当n=3k时，2n+9=6k+3=3(2k+3)，为非素数；当n=3k+1时，2n+1=6k+3=3(2k+1)，除k=0以外，2n+1为非素数.当n=3k+2时，2n+17=6k+21=3(2k+7)，为非素数.所以，只有当k=0，即n=3k+1=1时，所设三项2n+1=3，2n+9=11，2n+17=19都是素数.也就证明了除3，11，19外，没有其他公差为8的三个素数成等差数列了.这里的演绎证明采用分类讨论，是完全归纳法.二.因果归纳猜想因果归纳猜想是先观察现象

7、再进一步分析现象背后一类事物中部分对象内在的因果关系，并以这些因果关系作为猜想前提的不完全归纳猜想.例平面上有n条直线，最多能把平面分割成多少个区域?解：要使区域分割成最多，那么就要求n条直线中没有两条平行，也没有三条经过同一点.设平面上n条直线，最多能把平面分割成f(n)个区域.我们还是从枚举开始，画图试验，可以发现：f(1)=2，f(2)=4，f(3)=7，f(4)=11，…….我们再进一步观察，发现f(2)-f(1)=2，f(3)-f(2)=3，f(4)-f(3)=4，继续