数学证明分析.pptVIP

§4 数学证明 目标： 了解证明的各种形式； 理解数学证明的形式及本质。 一、证明的含义与结构 1. 证明的含义 在一门科学理论中，证明是用某个或某些命题（判断）的真实性来断定另一命题（判断）的真实性的思维过程。 数学命题的证明是用一些已知真实的命题为前提，通过推理来实现的。 例1 如图，已知：∠B=∠C,AB=AC.求证：AE=AD. 2. 证明的结构 任何证明都是由论题、论据和论证三个部分组成的。 论题是指需要确定其真实性的那个判断或命题。例1中以“已知”为条件，以“求证”为结论所组成的命题“（∠B=∠C）∧（AB=AC）→ AE=AD”就是论题。 论据是确定论题的真实性时所依据的判断或命题，即证明的根据和理由。例1中，能重合的量相等（公理），三角形全等的判定定理“ASA”，本论题的题设“（∠B=∠C）∧（AB=AC）”，以及定理“全等三角形的对应角相等”等，都是论据。 论证（也称为证明方式）是由论据得出论题的推理形式，它是由一系列命题，根据逻辑推理规则构成的一个逻辑推演的程序。一个论证可以只包含一个推理，也可以包含一系列推理。例1中包含了三个演绎推理，其中最后一个演绎推理完整地写出来就是： 全等三角形的对应边相等， △ABE≌△ACD, ∴ AE=AD. 通俗地讲，证明的论题告诉我们“要证明什么”，论据告诉我们“用什么来证明”，而论证告诉我们“怎样证明”。 数学证明常分为已知、求证和证明三部分。其中： “已知”是有待证明其真实性的命题（论题）的题设； “求证”是有待证明其真实性的命题（论题）的结论； “证明”就是论证，即说明论题真实性的推理过程。 可作数学证明的论据的有：本论题的题设；证明论题真实所引用的那些数据；已知的公理、公式、定理或者已证明了的论断；以及学过的概念的定义、性质等命题。 3.证明与推理的关系 证明与推理有密切的联系，又有明显的区别。 其联系表现在：证明必须运用推理，证明的论题相当于推理的结论，论据相当于推理的前提，证明的方式，即论证相当于推理形式。 其区别表现在：（1）推理是先有前提，再由前提推出结论，证明是先有论题，再探求论据；（2）推理只是断定了前提与结论之间有必然性联系或或然性联系，并不要求前提和结论是真实的，证明则要以真实的论据来确定论题的真实性。 二、如何证明数学命题 1.数学命题证明的过程 数学命题大都具有假言判断“如果p，那么q”即“ p→q”的形式，根据假言判断的逻辑特性，要证明命题p→q，只须在假设p真的条件下，根据公理、定义、已知定理等真命题，运用正确的推理形式，合乎逻辑地推出q为真。故， “从p推出q”就是论题p→q的证明过程。 在“从p推出q”的过程中，一般要经过一系列的推理，前面推理的结论是后面推理的前提，这些首尾相接的推理组成一个推理序列，最后一个推理的结论是论题的结论q. 任务：深入分析例1的证明过程。 逻辑思维对数学命题证明的基本要求是：证明要有说服力，即证明要有真实理由，并且应遵守证明的规则 2. 数学命题证明应遵守的规则 规则1 论题要明确. 论题是证明的基本目标，只有把论题清楚、明确地表述出来，才能使证明有的放矢。 例2 连结四边形四边的中点成一平行四边形。 规则2 论题应当始终同一. 根据同一律的要求，在证明过程中，论题应当始终同一，不得中途变更。违反这条规则的逻辑错误，叫做偷换论题。 例3 求证“四边形的内角和等于360°”，证明时用矩形代替四边形。 规则3 论据要真实. 论据是确定论题真实性的理由。如果论据是假的，那就不能确定论题的真实性。违反这条规则的逻辑错误，叫做虚假论据。 规则4 论据不能靠论题来证明. 论题的真实性是靠论据来证明的，如果论据的真实性又要靠论题来证明，那么结果什么也没证明。违反这条规则的逻辑错误叫循环论证。 规则5 论据必须能推出论题. 证明是特殊的推理，证明中论据必须是推出论题的充足理由。否则，从论据就推不出论题。违反这条规则的逻辑错误，叫做不能推出。 3.常用的证明方法 例8 ⊙ 和⊙ 相交，过一交点P任作一直线交两圆 于A、B，A在⊙ 上，B在⊙ 上，分别过O1、O2作 于C， 于D.求证： （2）分析法和综合法 ①分析法 用分析法证明数学命题p→q，就是从结论q出发，一步一步地探求使结论成立的充分条件，直到所探求的充分条件是题设p。 例如基本不等式的证明。 必修5第