福建师范大学数学与计算机科学学院数学课程与教学论课件第四章第三节 数学证明教学及其典型案例分析.ppt

数学证明教学及其典型案例分析 数学推理与证明 一、形式逻辑的基本规律 1、同一律 同一律是指在同一思维过程中，使用的概念和判断必须保持同一性，亦即确定性.它的公式是“是”或“→”. 2、矛盾律 矛盾律是指在同一思维过程中，对同一对象的两个互相矛盾的判断不能同真，其中至少有一个是假的.它的公式是“不是”或“”. 3、排中律 排中律是指在同一思维过程中，对同一对象的肯定判断和否定判断，这两个相矛盾的判断必有一个是真的，它的公式是“或者是，或者是”或“”. 4、充足理由律 充足理由律是指在思维过程中，任何一个真实的判断必须有充足的理由，它的公式是“所以有，是因为有”或“”. 二、数学中的推理 1、演绎推理 演绎推理是由一般到特殊的推理，即是由一般原理推出特殊事物判断的思维形式. 2、归纳推理 归纳推理是由个别的或特殊的事物所作的判断，扩大为同类一般事物的判断的一种推理形式. 3、类比推理 类比推理是根据两个对象的某些属性相同或相似，推出它们的其他属性也可能相同或相似的思维形式. 三、数学中的证明 1、证明的结构和规则 数学证明由论题、论据和论证三要素组成. （1）论题要明确 （2）论题应当始终同一 （3）论据要真实 （4）论据不能靠论题来证明 （5）论据必需能推出论题 2、数学证明的方法 （1）按是否直接证明命题，数学证明可分为直接证法和间接证法. ①直接证法 ②间接证法 (I)反证法 (II)同一法 （2）按思维过程的顺序，数学证明可分为综合法和分析法. 所谓分析法，就是从结论出发，逆溯其成立的条件，再就这些条件分析研究，看它的成立又需要什么条件，继续逐步逆溯，直至达到已知条件为止，简称“执果索因”. 而综合法正好与之相反，它是从题设出发，以已确立的定义、定理、公理为依据，逐步推理，直到获得要证明的结论，简称“由因导果”. 通常用分析法寻找解题思路，用综合法叙述解题过程. （3）按证明过程所用推理形式，数学证明可分为演绎法和归纳法. 用演绎推理的方法进行证明，称为演绎法.演绎法是从一般到特殊的推理形式，一般通过三段论的形式来实现. 用归纳推理的方法进行证明，称为归纳法.归纳法是由特殊到一般的推理形式.归纳法按照它的概括对象的范围不同，分为完全归纳法和不完全归纳法两类. 数学证明中有一种特殊的完全归纳法，即数学归纳法. 数学证明学习的心理分析 一、数学证明学习的心理机制 从记忆网络激活扩展模式来看，证明的机制就是学生在论题的刺激下，记忆网络中某些知识被激活，并且不断地沿着接线向外扩展，依次激活相应的知识.学生对被激活的知识进行选择、组织，经过推理，又激活了新的知识，并扩展开来.这样不断地继续下去，直到命题的前提和结论出现了通道，建立起了严密的推理关系为止. 在数学命题证明的过程中，以下几个因素影响着证明的顺利进行. 1、思路点的准确性 2、扩展力 3、推理能力 4、思考方法和证明方法 二、数学证明学习的心理层次 学生在学习数学定理、公式时，常表现出以下几个不同的心理层次： 1、忽视推理证明，以记住定理、公式的结论为目标.不知道课堂教学中证明定理、公式是重要的数学活动，对教师的讲解只能留下支离破碎的印象.数学记忆网络中，结点间往往断裂，知识难以再现和被激活. 2、以听懂证明为满足.不知道证明定理、公式的方法，本身常常就是重要的数学方法.思维迟缓，落后于教学.在教师明确讲解后，有关知识才能够被激活和缓慢向前发展. 3、能够跟着教师的讲解进行思维，这时有关知识比较容易被激活，且有一定的扩展力.在教师的安排和指导下，自己能对问题的局部进行思考和推理.但常感到困惑的是，教师是怎样找到思路、想出整个证明的.对于所学习过的证明方法，往往仅会模仿. 4、能独立思考，思路点的准确性比较高，扩展力比较强.在教师的启发下，自己能得出清晰的思路和完整的证明. 5、主动学习，思路敏捷，善于分析，思路点准确，扩展力强.对常用证明方法很熟悉，能正确使用.常能独自进行有效的思考和正确的推理，得出完整的证明.有时能思考出不同于教师的证法，表现出一定的创造力. 数学证明教学的基本策略 一、分析证明思路之前，安排一定的直觉阶段. 二、用分析法分析和探索命题证明的思路. 三、学生参与证明的“发现”，体验“发现”的愉悦. 四、学习命题证明的表述方式和书写格式规范. 五、追求简单、自然的命题证明方法. 六、挖掘和提炼命题证明中的思想方法. 数学证明教学的典型案例分析 见附件 数学与计算机科学学院 数学与计算机科学学院