[理学]合情推理.ppt

　研究积分 直接用部分分式法，要巧妙地取值来确定待定系数： (84+24) /17 (63+21) /15 (45+18) /13 (30+15) /11 (18+12) /9 (9+9) /7 (3+6) /5 (0+3) /3 S3/S2 24 21 18 15 12 9 6 3 an 84 63 45 30 18 9 3 0 bn 6 7 8 5 4 3 2 1 n 尝试完成上述找规律的过程，猜测 S3 的求和公式。 　　还有另外的发现途径么？获得更多的信息： 1296 784 441 225 100 36 9 1 S3 204 140 91 55 30 14 5 1 S2 21 28 36 15 10 6 3 1 S1 　　观察，广泛的观察…… 今天的考查题（任选一）： 　　你能从不同于前面的视角找到规律么？猜测 S3 的求和公式并用数学归纳法证明之。 按对象的构成方法进行分析，常常 也有益于普遍规律的发现。 回忆笛卡儿－欧拉公式： 　　这些数据的数量关系比较隐蔽，当时“看出”笛卡儿－欧拉公式并非易事。 　　不过，如果我们能辅之以“生成”的考虑，那么上述公式的得出就是十分自然的了。 　　所谓“生成”是指如何由较简单的事物构造出较复杂的事物，例如这里的多面体。 　　如果在原有的多面体之外增加一个顶点，并将它与附近的一个面的各顶点依次相连接，这样就可得到一个新的较复杂的多面体。 　　观察顶点数、棱数、面数的变化…… 　　结论：在“生成”的过程中，（凸）多面体的顶点数与面数的改变量的和等于其棱数的改变量。 　　也就是说， 　　V+F-E=常数。 　今天的考查题（任选一）： 按照“生成”的观点研究平面上 n 条处于一般位置（即既没有两线平行，也没有三线共点）的直线把平面分割成多少个部分？ 第四章 合情推理（三） 波利亚数学启发法导引 dffangy@163.com Telmathmeth@126.com 000 000 000 4.3 猜想与证明 类比与化归 归纳法与数学归纳法 猜测的方法与论证的方法 　　猜测是发现结论的方法，证明是检验和论证结论是否正确的方法。两者之间有着自然的联系。本节分三目展开： 类比与化归 类比与化归的关系 　　类比是由已知到未知，化归则是由未知到已知。 　　在实际的数学研究中，这两者往往是相互依赖、相互渗透的。 　　类比往往为化归的实现指明了方向，而化归则为类比所得出的猜测提供了必要的证明。 　　在这个意义上，化归与类比构成了一个矛盾的两个方面。 　　　　　　　　　　　　　　　 求长方体体对角线 l 的长度。 设长方体的长、宽、高分别为 a, b, c, 尝试运用空间与平面类比的方法猜出可能的结论，进而证明你的猜想是否正确。 类比 化归为长方形对角线问题 联系的观点 　　从哲学的层面来看，类比法与化归法具有更为明显的共性。 　　它们所强调的都是事物之间的联系，即要求我们用相互联系的观点，而不要用孤立的眼光来看待问题。既要善于从已知猜想到未知，又要善于把未知转化为已知从而给出证明。 　　从方法论的角度，可以提出如下四个原则： 　　第一，应当注意分析其他有关问题。 　　正如笛卡尔所指出的，当一个问题出现时，我们应当能够及时地观察一下，是否首先考察某些别的问题会带来好处，并想一下有哪些别的问题，以及按什么顺序去考察它们。 　　应尝试引进和利用辅助问题去解决原来的问题。 　　可通过与辅助问题的类比引出可能的解答或解题方法（这属于“发现”的范畴）；亦应积极探讨能否通过向辅助问题的化归最终解决眼前的问题（这属于“论证”的范畴）。 　　第二，引进辅助问题的指导性意见： 　　由未知到已知、由难到易、由繁到简、由一般到特殊的化归；平面与空间、数与形、有限与无限的类比。 　　更一般的建议： 　　1）从未知成分出发：你曾经遇到过具有相同类型的未知成分的问题吗？ 　　2）从已知成分出发：你曾经遇到过具有相同类型的已知成分的问题吗？ 　　第二，引进辅助问题的指导性意见： 　　由未知到已知、由难到易、由繁到简、由一般到特殊的化归；平面与空间、数与形、有限与无限的类比。 　　更一般的建议： 　　3）从问题的类型出发：你曾经遇到过相同类型的问题吗？那些问题曾经是怎样解决的呢？ 　　你曾经遇到过与此相关（更为特殊或更为一般）的问题吗？那些问题曾经是怎样解决的呢？ 　　第三，对所已取得的成果作进一步的推广，指导性意见：由特殊到一般、由平面到空间、由有限到无限。 　　更一般的建议： 　　1）能否得出更强或更多的结果？ 　　2）能否在较弱的条件下得出同样的结果？ 　　3）能否由所得结果出发提出新的猜想？ 　　4）能否据此重新判断先前