数学中的推理和证明

《数学中的推理和证明》由会员分享，可在线阅读，更多相关《数学中的推理和证明（76页珍藏版）》请在金锄头文库上搜索。

1、一、数学中的推理一、数学中的推理1.1.推理的意义和结构推理的意义和结构 从一个或几个已知的命题得到一个从一个或几个已知的命题得到一个新命题的思维形式叫做推理新命题的思维形式叫做推理. . 其中，已知的命题叫做前提（或条其中，已知的命题叫做前提（或条件），得到的新命题叫做结论件），得到的新命题叫做结论. .在形式逻辑中，常把一个推理形式表示为：在形式逻辑中，常把一个推理形式表示为： 或或“前提前提结论结论” 例如： 所有的矩形对角线相等所有的矩形对角线相等 黑人是黑头发黑人是黑头发 都是由两个前提得到一个结论的推理都是由两个前提得到一个结论的推理. . 如果舍弃了前提与结论中的命题的具体内容，

2、仅保如果舍弃了前提与结论中的命题的具体内容，仅保留其逻辑结构，便得到抽象的推理形式留其逻辑结构，便得到抽象的推理形式. .以上两例以上两例的推理形式分别是：的推理形式分别是： 由三段论知识可知，第一个推理形式是正由三段论知识可知，第一个推理形式是正确的，第二个推理形式是错误的确的，第二个推理形式是错误的. . 一个正确的推理，必须是推理一个正确的推理，必须是推理的前提真实、推理的形式有效的前提真实、推理的形式有效. .如：如：因为因为 负数大于负数大于0 0，-5-5是负数，是负数， 所以所以 -5-5大于大于0.0. 因为因为 整数是有理数，分数是有理数，整数是有理数，分数是有理数， 所以所

3、以 整数是分数整数是分数. .前提不真实前提不真实推理的形式错误推理的形式错误2.2.推理的规则推理的规则凡是正确的推理形式，就是推理规则凡是正确的推理形式，就是推理规则. .规则规则1 1：若：若p pq真，则真，则p真；若真；若p pq真，则真，则q真真. 即：（即：（ p pq ）p; （ p pq ）q.规则规则2：若：若 p pq真，且真，且p真，则真，则q真真. 即：（即：（ p pq） p p q.规则规则3：若：若 p pq真，且真，且p 真，则真，则q 真真. 即：（即：（ p pq） p p q. 规则规则4：若：若 p pq真，且真，且p 真，则真，则q 真真. 即：即：

4、 （ p pq） p p q.同样有：（同样有：（ p pq） q p p.规则规则5：若：若 p pq真，且真，且qr 真，则真，则 p p r 真真. 即：即： （p pq） （qr） （ p p r ）.规则规则6 6：若集合：若集合A A中的每一个元素中的每一个元素x x都具有属性都具有属性F F，则集，则集合合A A的任一非空子集的任一非空子集B B中的每一个元素中的每一个元素y y，也具有属，也具有属性性F.F.即：即： 这条规则是逻辑上的一条演绎推理规则，是作这条规则是逻辑上的一条演绎推理规则，是作为公理提出来的，它保证了由全称命题为真可以推为公理提出来的，它保证了由全称命题为真

5、可以推出相应的特称命题为真出相应的特称命题为真.二二. .推理的种类推理的种类1.1.演绎推理演绎推理演绎推理，又称演绎法，又称为论证推理，它是思演绎推理，又称演绎法，又称为论证推理，它是思维进程中从一般到特殊的推理维进程中从一般到特殊的推理. .演绎推理主要有三段论、关系推理、联言推理、选演绎推理主要有三段论、关系推理、联言推理、选言推理、假言推理和模态推理等推理模式言推理、假言推理和模态推理等推理模式. .一般一般特殊特殊何为三段论？何为三段论？由两个前提推出一个结论的演绎推理叫做三由两个前提推出一个结论的演绎推理叫做三段论段论. .例例1. 1. 任何一个自然数都大于或等于零，任何一个自

6、然数都大于或等于零， 是自然数是自然数. . 所以，所以， .例例2. 2. 如果两个角是对顶角，那么这两个角相等，如果两个角是对顶角，那么这两个角相等， 是对顶角，是对顶角， 所以，所以， . .总结：总结： 大前提大前提 小前提小前提 结论结论根据前提中命题的不同形式又可以将三段论分为直言三段论根据前提中命题的不同形式又可以将三段论分为直言三段论和假言三段论和假言三段论. .当三段论的两个命题都是直言命题时，这种三段论称为直言当三段论的两个命题都是直言命题时，这种三段论称为直言三段论三段论. .当三段论的前提中包含假言命题时，这种三段论称为假言三当三段论的前提中包含假言命题时，这种三段论称

7、为假言三段论段论. .u直言命题是断定思维对象具有或不具有某种直言命题是断定思维对象具有或不具有某种性质的命题；性质的命题；u假言命题是有条件地断定事物的某种情况存假言命题是有条件地断定事物的某种情况存在的命题，在数学上假言命题一般用在的命题，在数学上假言命题一般用“如果如果，那么，那么”或者或者“当且仅当当且仅当，则，则”这两种形式来表达这两种形式来表达. . 一个数学上的证明是论证推理，呈现一个数学上的证明是论证推理，呈现在我们面前的科学数学是一门以论证推理在我们面前的科学数学是一门以论证推理为特征的演绎科学为特征的演绎科学. . 但是，这仅仅是科学数学的一个方面，科学但是，这仅仅是科学数

8、学的一个方面，科学数学所呈现的东西已经是科学数学建造过数学所呈现的东西已经是科学数学建造过程的尾声，是数学家创造性工作结出的果程的尾声，是数学家创造性工作结出的果实，而在整理成这些定型的逻辑论证材料实，而在整理成这些定型的逻辑论证材料之前，有着更为漫长的探索发现过程，这之前，有着更为漫长的探索发现过程，这就是科学数学的另一个侧面就是科学数学的另一个侧面数学发现数学发现的方法之一：合情推理的方法之一：合情推理. .合情推理一词来自于合情推理一词来自于 Plausible reasoning Plausible reasoning ，又译为似真推理又译为似真推理. .波利亚说：数学家的创造性工作成

9、果是论证推理，波利亚说：数学家的创造性工作成果是论证推理，即证明；但是这个证明是通过合情推理、通过猜即证明；但是这个证明是通过合情推理、通过猜想而发现的。只要数学的学习过程稍能反映出数想而发现的。只要数学的学习过程稍能反映出数学发明过程的话，那么应当让猜测、合情推理占学发明过程的话，那么应当让猜测、合情推理占有适当的位置有适当的位置. .因此，波利亚曾多次呼吁因此，波利亚曾多次呼吁让我们教猜想吧！让我们教猜想吧！学习合情推理的意义学习合情推理的意义还数学的还数学的本来面目，把数学知识的学术形态本来面目，把数学知识的学术形态的的“冰冷的美丽冰冷的美丽”转化为数学知识转化为数学知识的教育形态的的教

10、育形态的“火热的思考火热的思考”. .数学中的合情推理主要有：归纳推数学中的合情推理主要有：归纳推理、类比推理、直觉、顿悟等理、类比推理、直觉、顿悟等. .这里主要谈谈归纳推理与类比推理这里主要谈谈归纳推理与类比推理. .2. 归纳推理归纳推理 1 1）定义）定义 把某类事物中个别事物所具有的规律把某类事物中个别事物所具有的规律作为该类事物的普遍规律，这种思维进程作为该类事物的普遍规律，这种思维进程中由特殊到一般的推理称为归纳推理或称中由特殊到一般的推理称为归纳推理或称归纳法归纳法. .特殊特殊一般一般 我们借助于归纳推理可以从大量的个别事例中发现数学我们借助于归纳推理可以从大量的个别事例中发

11、现数学真理，引出新的数学命题真理，引出新的数学命题. .但此时的数学命题还只是一种猜想，但此时的数学命题还只是一种猜想，它往往是冒风险的、有争议的和暂时成立的。要使它成为真它往往是冒风险的、有争议的和暂时成立的。要使它成为真正的普遍命题，还要借助于论证推理进行严格的证明正的普遍命题，还要借助于论证推理进行严格的证明. .归纳推理的特点：归纳推理的特点：创造性较强而可靠性较弱创造性较强而可靠性较弱. .从具体从具体问题或问题或具体素具体素材出发材出发实验和观察实验和观察经验归纳经验归纳（归纳推理）（归纳推理）推广推广形成普遍形成普遍命题命题（猜想）（猜想）证明证明 归纳推理在数学创造活动归纳推理

12、在数学创造活动中发现真理的一般过程：中发现真理的一般过程：( (反驳反驳) )2 2） 归纳推理成功的例子归纳推理成功的例子 物理学中的波义耳物理学中的波义耳马略特定理、化学中马略特定理、化学中的门捷列夫元素周期表、数学中勾股定理等等都的门捷列夫元素周期表、数学中勾股定理等等都是运用归纳推理发现真理的典型例证是运用归纳推理发现真理的典型例证. .波义耳波义耳马略特定理马略特定理: :温度不变时，一定质量的气体的压强跟它的体积成反比.该定律对理想气体才严格成立，但可近似反映实际气体的性质.例1. 凸多面体的欧拉（Euler）公式的发现道路. （P182-187 王子兴）正多面体顶点数面数棱数正四

13、面体正六面体正八面体正十二面体正二十面体三棱锥五棱柱规律：规律：X(P)=F+V-E=2 称任一凸多面体的欧拉示性数等于称任一凸多面体的欧拉示性数等于2.验证：这些正多面体都满足这条规律吗？验证：这些正多面体都满足这条规律吗？问题：问题：证明正多面体只有五种证明正多面体只有五种. .例2. 杨辉三角形、牛顿（Newton）二项式定理的发现道路. （P187-189 王子兴）3 3） 归纳推理失败的例子归纳推理失败的例子例例3. 3. 费马（费马（FermatFermat）素数（）素数（16641664年）的猜想年）的猜想 P193-194 P193-194 王子兴）王子兴）4 4）归纳推理结论

14、未定的例子）归纳推理结论未定的例子例4. 偶数哥德巴赫（Goldbach）猜想奇数哥德巴赫猜想 （N 是不小于9的奇数） Vinogradov 1937 证明偶数哥德巴赫猜想 （N 是不小于6的偶数） 也即 （1+1）目前最好的结果是陈景润目前最好的结果是陈景润19661966年的（年的（1+21+2）. . 偶偶 数数哥德巴哥德巴赫猜想赫猜想奇奇 数数哥德巴哥德巴赫猜想赫猜想陈景润1966证明（1+2）例例5.5.梅森猜想（梅森猜想（MersenneMersenne，又译为默森尼），又译为默森尼） （P197-198 P197-198 王子兴）王子兴）例例6.6.柯召柯召孙琦猜想孙琦猜想 （

15、P199 P199 王子兴）王子兴）5 5）完全归纳推理和不完全归纳推理）完全归纳推理和不完全归纳推理（1 1）完全归纳推理：也称完全归纳法，是根）完全归纳推理：也称完全归纳法，是根据某类事物中每一对象或每一子类的情况，据某类事物中每一对象或每一子类的情况，作出该类事物的一般性结论的推理作出该类事物的一般性结论的推理. .完全归纳推理的形式为：完全归纳推理的形式为：或或者者 完全归纳推理的每一个前完全归纳推理的每一个前提如果都是真实的，那么其结提如果都是真实的，那么其结论一定正确，所以它是一种严论一定正确，所以它是一种严格的推理方法，在数学中可以格的推理方法，在数学中可以作为严格的推理方法作为

16、严格的推理方法. .（2 2）不完全归纳推理：也称不完全归纳法，）不完全归纳推理：也称不完全归纳法，是根据某类事物中的一部分对象的情况，是根据某类事物中的一部分对象的情况，作出关于该类事物的一般性结论的推理作出关于该类事物的一般性结论的推理. .不完全归纳推理的一般形式：不完全归纳推理的一般形式：例如：费马素数猜想就是一个不完全归推理的例子例如：费马素数猜想就是一个不完全归推理的例子. .由于不完全归纳仅仅列举了归纳对象的一部分，因此前由于不完全归纳仅仅列举了归纳对象的一部分，因此前提和结论之间未必有必然的联系提和结论之间未必有必然的联系. .其结论的真实性，还需要经过理论的证明和实践的检验其

17、结论的真实性，还需要经过理论的证明和实践的检验. .虽然不完全归纳法不能作为严格的数学推理方法，但在虽然不完全归纳法不能作为严格的数学推理方法，但在探索数学真理的过程中，探索数学真理的过程中，它能帮助我们迅速发现事物它能帮助我们迅速发现事物的特征、属性和规律的特征、属性和规律，为我们提供研究方向，提供猜，为我们提供研究方向，提供猜想的基础和依据想的基础和依据. .同时，同时，不完全归纳法在数学教学和解不完全归纳法在数学教学和解题过程中也有着广泛的应用（先猜后证）题过程中也有着广泛的应用（先猜后证）. .5 5）归纳推理在问题解决中的作用和意义）归纳推理在问题解决中的作用和意义用归纳推理发现问题

18、的结论用归纳推理发现问题的结论 两种形式：两种形式： 由特殊事物直接猜测结论由特殊事物直接猜测结论根据规律先猜测一个结论的加强式（或一个递推关根据规律先猜测一个结论的加强式（或一个递推关系），然后凭借结论的加强式（或递推关系）去发系），然后凭借结论的加强式（或递推关系）去发现结论现结论例例7. 7. （19931993年全国高考题）年全国高考题） （P200 P200 王子兴）王子兴）例例8. 8. 一个不等式的证明一个不等式的证明用归纳推理发现解决问题的途径用归纳推理发现解决问题的途径证明：先考虑特殊情形：（）（）3.类比推理类比推理1) 1) 何为类比推理何为类比推理类比推理是根据两个不同

19、的对象的某些方面类比推理是根据两个不同的对象的某些方面（如特征、属性、关系等）相同或相似，（如特征、属性、关系等）相同或相似，推出它们在其他方面也可能相同或相似的推出它们在其他方面也可能相同或相似的思维形式，它是思维进程中由特殊到特殊思维形式，它是思维进程中由特殊到特殊的推理的推理. .特殊特殊特殊特殊类比推理的一般性例子：类比推理的一般性例子：飞机的发明、潜水艇的设计思路、航海偏光天文罗飞机的发明、潜水艇的设计思路、航海偏光天文罗盘的制造（仿蜜蜂的太阳偏光定向功能）、雷达盘的制造（仿蜜蜂的太阳偏光定向功能）、雷达的发明（仿蝙蝠等）的发明（仿蝙蝠等）近代仿生学的成果近代仿生学的成果 牛顿把天体

20、运动与自由落体运动作类比发现了万有牛顿把天体运动与自由落体运动作类比发现了万有引力定律引力定律数学上的类比数学上的类比从一个故事说起：从一个故事说起： 从前有一个国王，暴虐任性。一次，他对一位大臣说：从前有一个国王，暴虐任性。一次，他对一位大臣说： “我吃的鸡蛋都是母鸡生的，现在想尝尝公鸡蛋的滋味，命令你三天内我吃的鸡蛋都是母鸡生的，现在想尝尝公鸡蛋的滋味，命令你三天内把公鸡蛋找来，我将重赏你；如果三天内找不到公鸡蛋，我就要在第四天的把公鸡蛋找来，我将重赏你；如果三天内找不到公鸡蛋，我就要在第四天的早晨处死你。早晨处死你。” 大臣知道厄运将至，但又不敢公开违抗，只有悲伤地离开了朝廷。大臣知道厄

21、运将至，但又不敢公开违抗，只有悲伤地离开了朝廷。 三天过去了，大臣无法找到公鸡蛋。最后的一个夜晚，他显得异常烦躁。三天过去了，大臣无法找到公鸡蛋。最后的一个夜晚，他显得异常烦躁。大臣的小儿子是一个很聪明的少年，看到爸爸如此焦急，知道一定是大祸临大臣的小儿子是一个很聪明的少年，看到爸爸如此焦急，知道一定是大祸临头了。便问道：头了。便问道：“爸爸有什么烦闷的事呢？爸爸有什么烦闷的事呢？” “你小孩子家，我讲了又有什么用？你小孩子家，我讲了又有什么用？”大臣有气无力地回答。大臣有气无力地回答。 “不，爸爸！告诉我吧，或许我能为你分忧。不，爸爸！告诉我吧，或许我能为你分忧。”少年紧握爸爸的双手，少年紧

22、握爸爸的双手，使劲地摇晃着。使劲地摇晃着。 大臣深情地望着自己的孩子，终于说出了事情的原委。少年沉思了大臣深情地望着自己的孩子，终于说出了事情的原委。少年沉思了一会，劝爸爸不要着急，他有办法逢凶化吉。一会，劝爸爸不要着急，他有办法逢凶化吉。第四天的一早，少年代替大臣上了朝。第四天的一早，少年代替大臣上了朝。“你爸爸怎么不来呢？你爸爸怎么不来呢？”国王问道。国王问道。“启禀国王，我爸爸在家生孩子。启禀国王，我爸爸在家生孩子。”少年不慌不忙地回答。少年不慌不忙地回答。 少年的回答引起国王和大臣们一阵哄笑。少年的回答引起国王和大臣们一阵哄笑。继而，国王生气了：继而，国王生气了：“胡说！男人怎么会生孩

23、子？胡说！男人怎么会生孩子？”“是的，国王。男人是不能生孩子的，正如公鸡不能下蛋一样。是的，国王。男人是不能生孩子的，正如公鸡不能下蛋一样。”少年抓住时机，一句话说得国王张口结舌，无言相对，最后只好赦免了少年抓住时机，一句话说得国王张口结舌，无言相对，最后只好赦免了大臣。大臣。 生活中有很多现象是类似的。我们常常根据两个类似系统的某生活中有很多现象是类似的。我们常常根据两个类似系统的某一系统中某一公认为正确的判断，来对另一系统作出类似的判断，一系统中某一公认为正确的判断，来对另一系统作出类似的判断，这种方法叫做类比。这种方法叫做类比。“公鸡是不会生蛋的公鸡是不会生蛋的”，这是公认的事实，可，这

24、是公认的事实，可是国王却违背了这个真理。是国王却违背了这个真理。“公鸡不能生蛋公鸡不能生蛋”与与“男人不能生孩子男人不能生孩子”是类似的两个现象。为了证实是类似的两个现象。为了证实“公鸡不能生蛋公鸡不能生蛋”是正确的，就用是正确的，就用“男人不能生孩子男人不能生孩子”这一公认的事实来类比，从而达到否定国王谬这一公认的事实来类比，从而达到否定国王谬论的目的。论的目的。类比的方法在数学中有广泛的应用。平面上三条直线可以围成一个三角类比的方法在数学中有广泛的应用。平面上三条直线可以围成一个三角形，空间四个平面可以围成一个四面体（三棱锥）。三角形与四面体形，空间四个平面可以围成一个四面体（三棱锥）。三

25、角形与四面体是两个类似的几何图形，它们之间可以类比。我们从三角形已有性质是两个类似的几何图形，它们之间可以类比。我们从三角形已有性质出发，可以推测四面体是否也有类似的性质。出发，可以推测四面体是否也有类似的性质。三角形有三角形有3 3个顶点，四面体有个顶点，四面体有4 4个顶点；个顶点；三角形有三角形有3 3条边，四面体有条边，四面体有4 4个面；个面；三角形有三角形有3 3个角，四面体有个角，四面体有6 6个二面角。个二面角。任何一个三角形都有一个内切圆，任何一个四面体是否也必有一个内任何一个三角形都有一个内切圆，任何一个四面体是否也必有一个内切球（与四面体四个面相切的球）？答案是肯定的。切

26、球（与四面体四个面相切的球）？答案是肯定的。任何一个三角形总有一个外接圆，任何一个四面体是否必有一个外接任何一个三角形总有一个外接圆，任何一个四面体是否必有一个外接球（即过四个顶点的球）？答案也是肯定的。球（即过四个顶点的球）？答案也是肯定的。 天文学家开卜勒曾说过：天文学家开卜勒曾说过：“我珍视类比胜于任何别我珍视类比胜于任何别的东西，它是我最可信赖的老师，它能揭示自然的东西，它是我最可信赖的老师，它能揭示自然界的秘密，在几何学中它应该是最不容忽视的。界的秘密，在几何学中它应该是最不容忽视的。”数学家拉普拉斯也说过：数学家拉普拉斯也说过：“甚至在数学里，发现真甚至在数学里，发现真理的主要工具

27、也是归纳和类比。理的主要工具也是归纳和类比。”让我们在日常让我们在日常生活和数学发现中，更好地发挥类比这个工具的生活和数学发现中，更好地发挥类比这个工具的作用吧！作用吧！类比推理与归纳推理一样，也是一种合情推类比推理与归纳推理一样，也是一种合情推理，其结论正确与否，必须经过严格的证理，其结论正确与否，必须经过严格的证明（用演绎推理论证）明（用演绎推理论证）因此，类比推理也是一种创造性较强而可靠因此，类比推理也是一种创造性较强而可靠性较弱的方法性较弱的方法. .类比推理的一般形式：类比推理的一般形式：类比推理在数学创造活动中发现真理的一般过程：类比推理在数学创造活动中发现真理的一般过程：从具从具

28、体问体问题或题或具体具体素材素材出发出发类类 比比（类比推理）（类比推理）联想联想形成形成普遍普遍命题命题（猜想）（猜想）证明证明预见预见2 2）类比推理与归纳推理的关系）类比推理与归纳推理的关系 归纳推理是从特殊事物的性质得到归纳推理是从特殊事物的性质得到一般对象的性质，是一种纵向思维；类一般对象的性质，是一种纵向思维；类比推理却是一种横向思维，是借助于两比推理却是一种横向思维，是借助于两个事物（两个系统）在某些部分上的一个事物（两个系统）在某些部分上的一致性来推测在另外一些部分上的一致性致性来推测在另外一些部分上的一致性. .例例1.1.分析算术平均与几何平均不等式的发现过程分析算术平均与

29、几何平均不等式的发现过程 见见 P207-208 P207-208 王子兴王子兴3 3）类比推理成功的例子）类比推理成功的例子例例2.无穷级数无穷级数 之和的发现道路（见之和的发现道路（见 P209 王子兴）王子兴）.类比推理的成功是数学内在统一性的一种表现类比推理的成功是数学内在统一性的一种表现. . 数学类比推理能力的提高，依赖于对数学统一性的数学类比推理能力的提高，依赖于对数学统一性的深刻理解深刻理解. . 4 4）类比推理失败的例子）类比推理失败的例子 类比推理和归纳推理一样，也是一种合情推类比推理和归纳推理一样，也是一种合情推理，其结论带有偶然性和片面性理，其结论带有偶然性和片面性.

30、 . 其原因在于任其原因在于任何相似的两个对象之间，总有一定的差异性，推何相似的两个对象之间，总有一定的差异性，推出的属性如果正好是两者的差异性，此时类比推出的属性如果正好是两者的差异性，此时类比推理就会发生错误理就会发生错误. . 也就是说，事物之间的相似属也就是说，事物之间的相似属性（或共有属性）和推出的属性之间不一定有必性（或共有属性）和推出的属性之间不一定有必然的联系，因此由类比推理得出的结论，有的可然的联系，因此由类比推理得出的结论，有的可能是对的，也有的可能是错的能是对的，也有的可能是错的. .例例3.3.关于无穷级数关于无穷级数 的敛散性的敛散性. .见见 P214 P214 王

31、子兴王子兴 5 5）类比推理在问题解决中的作用和意义）类比推理在问题解决中的作用和意义 波利亚：波利亚：“类比似乎在一切发现中有作用，类比似乎在一切发现中有作用，而且在某些发现中有它巨大的作用而且在某些发现中有它巨大的作用”. “. “类比是类比是提出新命题和获得发现取之不尽的源泉提出新命题和获得发现取之不尽的源泉”. .类比在数学发现中的两个作用：类比在数学发现中的两个作用：发现新的命题，直至发现新的数学领域；发现新的命题，直至发现新的数学领域；发现问题解决的途径和方法发现问题解决的途径和方法 例例5. 5. 19791979年全国高考题年全国高考题 见见 P216 P216 王子兴王子兴

32、三、数学中的证明三、数学中的证明1.1.证明的意义和结构证明的意义和结构 证明就是根据一些已经确定真实性的证明就是根据一些已经确定真实性的命题来断定某一命题真实性的思维过程命题来断定某一命题真实性的思维过程. . 数学中的证明是应用已经确定其真实数学中的证明是应用已经确定其真实性的公理、定理、定义、公式、性质等数性的公理、定理、定义、公式、性质等数学命题来论证某一数学命题的推理过程学命题来论证某一数学命题的推理过程. .任何逻辑证明都是由论题、论据和论证三部分组成任何逻辑证明都是由论题、论据和论证三部分组成. .u论题是需要证明其真实性的命题；论题是需要证明其真实性的命题；u论据是确定论题为真

33、所依据的那些命题；论据是确定论题为真所依据的那些命题；u论证就是指由论据出发进行一系列推理来确定论题论证就是指由论据出发进行一系列推理来确定论题真实性的过程真实性的过程. .中学数学中的证明通常分为已知、求证、证明三部分中学数学中的证明通常分为已知、求证、证明三部分. .2.2.证明的规则证明的规则 数学证明是逻辑论证的一种，也是数数学证明是逻辑论证的一种，也是数学思维的过程，学思维的过程，正确的数学证明应该遵循正确的数学证明应该遵循逻辑论证的一般规则逻辑论证的一般规则. .规则规则1. 1. 论题必须明确且保持同一（防止论题必须明确且保持同一（防止“论题论题不清、换题论证不清、换题论证”的错

34、误的发生）；的错误的发生）；规则规则2. 2. 论据必须真实、充分（防止论据必须真实、充分（防止“虚假理由、虚假理由、不能推出不能推出”的错误的发生）；的错误的发生）；规则规则3. 3. 论证必须遵循推理规则，不得循环论证论证必须遵循推理规则，不得循环论证. .3.3.数学中常用的证明方法数学中常用的证明方法数学证明数学证明按思维方式分类按思维方式分类归纳法归纳法演绎法演绎法按思维的方向分类按思维的方向分类分析法分析法综合法综合法按证明的形式分类按证明的形式分类直接证法直接证法间接证法间接证法反证法反证法同一法同一法归谬法归谬法穷举法穷举法（1 1）分析法与综合法）分析法与综合法 在数学证明中

35、，如果思考推理的方向在数学证明中，如果思考推理的方向是从求证追溯到已知，即从未知到已知，是从求证追溯到已知，即从未知到已知，这种证明方法称之为分析法；反之，如果这种证明方法称之为分析法；反之，如果思考推理的方向是从已知到求证，即从已思考推理的方向是从已知到求证，即从已知到未知，这种证明方法称之为综合法知到未知，这种证明方法称之为综合法. .（2 2）直接证法与间接证法）直接证法与间接证法在数学证明中，直接从正面证明论题的真实在数学证明中，直接从正面证明论题的真实性的方法，称为直接证法性的方法，称为直接证法. .如果不是直接证明论题的真实性，而是通过如果不是直接证明论题的真实性，而是通过证明论题

36、的否定命题不真证明论题的否定命题不真，或者，或者证明论题证明论题的等效命题成立的等效命题成立，从而肯定论题的真实性，从而肯定论题的真实性的证明方法，称为间接证法，间接证法主的证明方法，称为间接证法，间接证法主要有要有反证法反证法和和同一法同一法. .u 反证法反证法通过证明论题的否定命题不真，从而肯定原论题真实的证明方法.分为归谬法和穷举法两种.反证法的一般步骤：反证法的一般步骤：假设论题的结论不成立（即结论的否定成立）；从论题的条件和否定的结论出发，进行推理，得出与已知公理、定理、定义、论题条件或否定结论相矛盾的结果；根据排中律，最后肯定原论题成立.例例1 1：求证：求证： 不是有理数不是有

37、理数. .例例2 2：如图，在：如图，在ABCABC中，中，已知已知BEBE、CFCF分别是分别是B B、 C C的平分线，且的平分线，且BE=CF.BE=CF.求证：求证： AB=AC.AB=AC.证明：证明：若若 ABACABAC，则有，则有 AB AC AB AC 或或 AB AC.AB ACAB AC，则，则ACB ABC.ACB ABC.所以所以 BCF CBEBCF CBE，所以所以 BF CEBF CE，又又 BF = EG BF = EG ，所以所以 EG CEEG CE，所以所以 ECG EGCECG EGC，又又 CF = BE = FGCF = BE = FG，所以所以

38、FCE FGE = FBE FCE FGE = FBE ，所以所以 ACB ABC ACB ABC （自相矛盾），（自相矛盾），即即 AB AB AC AC 同理可证，同理可证， AB ACAB AC也是不可能的也是不可能的. .综合综合 可知，可知， AB = AC.AB = AC. 在例在例1 1中，论题结论的否定方面只有中，论题结论的否定方面只有一种可能情况，那么，一种可能情况，那么，只要把这一情况推只要把这一情况推翻，就能肯定结论成立，这种反证法又称翻，就能肯定结论成立，这种反证法又称归谬法归谬法. .在例在例2 2中，论题结论的否定方面不中，论题结论的否定方面不止一种情况，那就止一种

39、情况，那就必须将否定后的各种情必须将否定后的各种情况一一驳倒，才能肯定结论成立，这种反况一一驳倒，才能肯定结论成立，这种反证法又称穷举法证法又称穷举法. .u 同一法同一法通过证明原命题的等价逆命题而间接证明原论通过证明原命题的等价逆命题而间接证明原论题的方法，称为同一法题的方法，称为同一法. .我们已经知道，两个互逆命题不一定是等价（同真同我们已经知道，两个互逆命题不一定是等价（同真同假）的，只有当命题的条件和结论所确定的对象是假）的，只有当命题的条件和结论所确定的对象是惟一存在的情况下，也就是一个命题的条件和结论惟一存在的情况下，也就是一个命题的条件和结论所指的概念同一的情况下，该命题与其

40、逆命题才能所指的概念同一的情况下，该命题与其逆命题才能等价，这是我们称这一命题符合同一原理等价，这是我们称这一命题符合同一原理. .在几何证明中同一法的一般步骤如下：在几何证明中同一法的一般步骤如下：作出符合命题结论的图形；作出符合命题结论的图形；证明你所作图形符合已知条件；证明你所作图形符合已知条件；根据惟一性，确定所作图形与已知图形重合；根据惟一性，确定所作图形与已知图形重合；肯定原命题成立肯定原命题成立. .反证法和同一法的区别与联系反证法和同一法的区别与联系它们都是间接证法它们都是间接证法证明方法不同证明方法不同逻辑依据不同逻辑依据不同适用范围不同适用范围不同谢谢大家！请多指教！谢谢大家！请多指教！