第四节推理与证明.pptVIP

类比法的结论只有一定程度的可靠性。一般来说，两个对象的已知共同属性越多，由此推得的共同属性的可靠性越大。根据结论可靠程度不同，类比法又分为下面两种：（1）简单类比。从对象的某些属性相同或相似推出它们其他属性也相同或相似的办法。（2）普遍类比。从现象相同可以得到原因相同的结论。第30页，共50页，星期日，2025年，2月5日类比法一般不能作为严格的推理方法，但是它在科学技术研究中根据事物间的相似点提出假设和猜想，把已知事物的性质推广到类似新事物等有重大的作用。类比法的形式比较简单，在数学教学中也经常运用类比法。比如，数与式之间、平面与空间之间、一元与多元之间、低次与高次之间、相等与不等之间、有限与无限之间等等。有不少的定理、法则常常采用类比法猜想，然后加以严格地证明。第31页，共50页，星期日，2025年，2月5日例：代数中的分式与算术中的分数有很多相似的性质。由算术中分数的基本性质：“分数的分子与分母都乘以或除以同一个不等于零的数，分数的值不变。”那么用类比法可以猜测分式的基本性质：“分式的分子与分母都乘以或除以同一个不等于零的代数式，分式的值不变。”第32页，共50页，星期日，2025年，2月5日3.演绎法演绎法是由一般到特殊或个别的推理。用演绎法推得的结论，只要前提可靠，是完全可靠的，演绎法是证明方法。演绎推理可以分为直接推理和间接推理，其中最主要的是“三段论”。此外，还有关系推理、联言推理、选言推理、假言推理、模态推理等都是间接的演绎推理。下面着重讨论“三段论”。第33页，共50页，星期日，2025年，2月5日“三段论”是从某类事物的全称判断和特称判断得出一个新的、较小的全称或特称判断的推理形式。例如，因为菱形是平行四边形······大前提四边形ABCD是菱形······小前提所以四边形ABCD是平行四边形······结论任何一个“三段论”都包含三个项：小项、大项和中项。第34页，共50页，星期日，2025年，2月5日结论中的主项叫小项，以“S”表示（如上面例中的四边形ABCD）；结论中的谓项叫做大项，以“P”表示（如上面例中的平行四边形）；两个前提中所共有而在结论中消失的项叫做中项，以“M”表示（如上面例中的菱形）。在两个前提中具有大项的前提叫大前提，具有小项的前提叫小前提。“三段论”的一般形式是：第35页，共50页，星期日，2025年，2月5日第1页，共50页，星期日，2025年，2月5日第四节推理与证明在这一节中，重点探讨推理与证明。主要包括推理的意义与方法，数学中常用的推理方法和证明的意义和方法。第2页，共50页，星期日，2025年，2月5日提纲第四节推理与证明4.1推理的意义和方法归纳法；类比法；演绎法4.2证明的意义和方法第3页，共50页，星期日，2025年，2月5日一、推理的意义方法推理是从两个或几个判断得到一个新的判断的思维形式。推理常用的逻辑联系词有：“因为······所以······”，“由于······因此······”等等。每一个推理都是由前提和结论两部分组成。在推理中，用来得出一个命题的若干命题叫做推理的前提，得出的那个命题叫做推理的结论。第4页，共50页，星期日，2025年，2月5日数学中常用的推理方法有归纳法、演绎法以及类比法。1.归纳法归纳是通过对某类事物中的若干特殊情形的分析而得出一般结论的思维方法。归纳思维的认识依据——在于同类事物的各种特殊情形中蕴含着统一性或共性。归纳法又分为不完全归纳法和完全归纳法。第5页，共50页，星期日，2025年，2月5日（1）不完全归纳法是根据考查的一类事物的部分对象具有某一属性，而作出该类事物都具有这一属性的一般结论。它的推理形式是：A1具有（或不具有）性质FA2具有（或不具有）性质F………………An具有（或不具有）性质F(A1UA2U···UAn是A的子集。)A类事物具有（或不具有）性质F第6页，共50页，星期日，2025年，2月5日由于不完全归纳法是从部分推广到全体，因此结论不一定可靠。用不完全归纳法得出的结论即使可信，但仍然是一种猜想，不是数学的真理。不完全归纳法不是证明方法。第7页，共50页，星期日，2025年，2月5日由归纳出：“把xn-1分解为不可再分解并且具有整系数的因式以后，