第一篇:数学证明题证明方法
数学证明题证明方法(转)
2011-04-22 21:36:39|分类:|标签: |字号大中小 订阅
2011/04/2
2从命题的题设出发,经过逐步推理,来判断命题的结论是否正确的过程,叫做证明。
要证明一个命题是真命题,就是证明凡符合题设的所有情况,都能得出结论。要证明一个命题是假命题,只需举出一个反例说明命题不能成立。证明一个命题,一般步骤如下:
(1)按照题意画出图形;
(2)分清命题的条件的结论,结合徒刑,在“已知”一项中写出题设,在“求证”一项中写出结论;
(3)在“证明”一项中,写出全部推理过程。
一、直接证明
1、综合法
(1)定义:一般地,利用已知条件和某些数学定义、公理、定理等,经过一系列的推理论证,最后推导出所要证明的结论成立,这种证明方法叫做综合法.(2)综合法的特点:综合法又叫“顺推证法”或“由因导果法”.它是从已知条件和某些学过的定义、公理、公式、定理等出发,通过推导得出结论.2、分析法
(1)定义:一般地,从要证明的结论出发,逐步寻求使它成立的充分条件,直至最后,把要证明的结论归结为判定一个明显成立的条件(已知条件、定理、定义、公理等)为止,这种证明的方法叫做分析法.(2)分析法的特点:分析法又叫“逆推证法”或“执果索因法”.它是要证明结论成立,逐步寻求推证过程中,使每一步成立的充分条件,直到最后,把要证明的结论归结为判定一个明显成立的条件(已知条件、定理、定义、公理等)为止.二、间接证明
反证法
1、定义:一般地,假设原命题不成立,经过正确的推理,最后得出矛盾,因此说明假设错误,从而证明了原命题成立,这样的证明方法叫做反证法.2、反证法的特点:
反证法是间接证明的一种基本方法.它是先假设要证的命题不成立,即结论的反面成立,在已知条件和“假设”这个新条件下,通过逻辑推理,得出与定义、公理、定理、已知条件、临时假设等相矛盾的结论,从而判定结论的反面不能成立,即证明了命题的结论一定是正确的.3、反证法的优点:
对原结论否定的假定的提出,相当于增加了一个已知条件.4反证法主要适用于以下两种情形:
(1)要证的结论与条件之间的联系不明显,直接由条件推出结论的线索不够清晰;
(2)如果从正面证明,需要分成多种情形进行分类讨论,而从反面进行证明,只要研究一种或很少的几种情形
第二篇:数学证明题解题方法
数学证明题解题方法
第一步:结合几何意义记住零点存在定理、中值定理、泰勒公式、极限存在的两个准则等基本原理,包括条件及结论。知道基本原理是证明的基础,知道的程度(即就是对定理理解的深入程度)不同会导致不同的推理能力。如2006年数学一真题第16题(1)是证明极限的存在性并求极限。只要证明了极限存在,求值是很容易的,但是如果没有证明第一步,即使求出了极限值也是不能得分的。因为数学推理是环环相扣的,如果第一步未得到结论,那么第二步就是空中楼阁。这个题目非常简单,只用了极限存在的两个准则之一:单调有界数列必有极限。只要知道这个准则,该问题就能轻松解决,因为对于该题中的数列来说,“单调性”与“有界性”都是很好验证的。像这样直接可以利用基本原理的证明题并不是很多,更多的是要用到第二步。
第二步:借助几何意义寻求证明思路。一个证明题,大多时候是能用其几何意义来正确解释的,当然最为基础的是要正确理解题目文字的含义。如2007年数学一第19题是一个关于中值定理的证明题,可以在直角坐标系中画出满足题设条件的函数草图,再联系结论能够发现:两个函数除两个端点外还有一个函数值相等的点,那就是两个函数分别取最大值的点(正确审题:两个函数取得最大值的点不一定是同一个点)之间的一个点。这样很容易想到辅助函数F(x)=f(x)-g(x)有三个零点,两次应用罗尔中值定理就能得到所证结论。再如2005年数学一第18题(1)是关于零点存在定理的证明题,只要在直角坐标系中结合所给条件作出函数y=f(x)及y=1-x在上的图形就立刻能看到两个函数图形有交点,这就是所证结论,重要的是写出推理过程。从图形也应该看到两函数在两个端点处大小关系恰好相反,也就是差函数在两个端点的值是异号的,零点存在定理保证了区间内有零点,这就证得所需结果。如果第二步实在无法完满解决问题的话,转第三步。
第三步:逆推。从结论出发寻求证明方法。如2004年第15题是不等式证明题,该题只要应用不等式证明的一般步骤就能解决问题:即从结论出发构造函数,利用函数的单调性推出结论。在判定函数的单调性时需借助导数符号与单调性之间的关系,正常情况只需一阶导的符号就可判断函数的单调性,非正常情况却出现的更多(这里所举出的例子就属非正常情况),这时需先用二阶导数的符号判定一阶导数的单调性,再用一阶导的符号判定原来函数的单调性,从而得所要证的结果。该题中可设F(x)=ln*x-ln*a-4(x-a)/e*,其中eF(a)就是所要证的不等式。
第三篇:考研数学证明题三大解题方法
考研数学证明题三大解题方法
纵观近十年考研数学真题,大家会发现:几乎每一年的试题中都会有一个证明题,而且基本上都是应用中值定理来解决问题的。但是要参加硕士入学数学统一考试的同学所学专业要么是理工要么是经管,同学们在大学学习数学的时候对于逻辑推理方面的训练大多是不够的,这就导致数学考试中遇到证明推理题就发怵,以致简单的证明题得分率却极低。除了个别考研辅导书中有一些证明思路之外,大多数考研辅导书在这一方面没有花太大力气,本人自认为在推理证明方面有不凡的效绩,在此给大家简单介绍一些解决数学证明题的入手点,希望对有此隐患的同学有所帮助。
一、结合几何意义记住零点存在定理、中值定理、泰勒公式、极限存在的两个准则等基本原理,包括条件及结论。
知道基本原理是证明的基础,知道的程度(即就是对定理理解的深入程度)不同会导致不同的推理能力。如2006年数学一真题第16题(1)是证明极限的存在性并求极限。只要证明了极限存在,求值是很容易的,但是如果没有证明第一步,即使求出了极限值也是不能得分的。因为数学推理是环环相扣的,如果第一步未得到结论,那么第二步就是空中楼阁。这个题目非常简单,只用了极限存在的两个准则之一:单调有界数列必有极限。只要知道这个准则,该问题就能轻松解决,因为对于该题中的数列来说,“单调性”与“有界性”都是很好验证的。像这样直接可以利用基本原理的证明题并不是很多,更多的是要用到第二步。
二、借助几何意义寻求证明思路
一个证明题,大多时候是能用其几何意义来正确解释的,当然最为基础的是要正确理解题目文字的含义。如2007年数学一第19题是一个关于中值定理的证明题,可以在直角坐标系中画出满足题设条件的函数草图,再联系结论能够发现:两个函数除两个端点外还有一个函数值相等的点,那就是两个函数分别取最大值的点(正确审题:两个函数取得最大值的点不一定是同一个点)之间的一个点。这样很容易想到辅助函数F(x)=f(x)-g(x)有三个零点,两次应用罗尔中值定理就能得到所证结论。再如2005年数学一第18题(1)是关于零点存在定理的证明题,只要在直角坐标系中结合所给条件作出函数y=f(x)及y=1-x在[0,1]上的图形就立刻能看到两个函数图形有交点,这就是所证结论,重要的是写出推理过程。从图形也应该看到两函数在两个端点处大小关系恰好相反,也就是差函数在两个端点的值是异号的,零点存在定理保证了区间内有零点,这就证得所需结果。如果第二步实在无法完满解决问题的话,转第三步。
三、逆推
从结论出发寻求证明方法。如2004年第15题是不等式证明题,该题只要应用不等式证明的一般步骤就能解决问题:即从结论出发构造函数,利用函数的单调性推出结论。在判定函数的单调性时需借助导数符号与单调性之间的关系,正常情况只需一阶导的符号就可判断函数的单调性,非正常情况却出现的更多(这里所举出的例子就属非正常情况),这时需先用二阶导数的符号判定一阶导数的单调性,再用一阶导的符号判定原来函数的单调性,从而得所要证的结果。该题中可设F(x)=ln*x-ln*a-4(x-a)/e*,其中eF(a)就是所要证的不等式。
对于那些经常使用如上方法的同学来说,利用三步走就能轻松收获数学证明的12分,但对于从心理上就不自信能解决证明题的同学来说,却常常轻易丢失12分,后一部分同学请按“证明三步走”来建立自信心,以阻止考试分数的白白流失。
第四篇:考研数学证明题三大解题方法
考研数学证明题三大解题方法
最专业的学习资料下载网站
欢迎下载http://NewDown.org的学习资料,为了您的电脑更安全,请从http://NewDown.org下载本站资料,其他网站下载的资料,均为非法盗链,并且不能保证您的电脑和上网安全。为了能更好的保证您的电脑和上网安全,请从http://NewDown.org下载所以本站提供的资料。
纵观近十年考研数学真题,大家会发现:几乎每一年的试题中都会有一个证明题,而且基本上都是应用中值定理来解决问题的。但是要参加硕士入学数学统一考试的同学所学专业要么是理工要么是经管,同学们在大学学习数学的时候对于逻辑推理方面的训练大多是不够的,这就导致数学考试中遇到证明推理题就发怵,以致简单的证明题得分率却极低。除了个望对有此隐患的同学有所帮助。
2006年数学一真题第16题(1)是证明极限的存在性并求极限。只要证明
2007年数学一第19题是一个关于中值定理的证明题,可以在直角坐标系F(x)=f(x)-g(x)有三个零点,两次应用罗尔中值定理就能得到所证结论。再如2005年数学一第18题(1)是关于零点存在y=f(x)及y=1-x在[0,1]上的图形就立刻能看到两个函数图形有交点,这就是所证结论,重要的是写出推理过程。从图形也应该看到两函数在两个端点处大小关系恰好相反,也就是差函数在两个端点的值是异号的,零点存在定理保证了区间内有零点,这就证得所需结果。如果第二步实在无法完满解决问题的话,转第三步。
三、逆推
从结论出发寻求证明方法。如2004年第15题是不等式证明题,该题只要应用不等式证明的一般步骤就能解决问题:即从结论出发构造函数,利用函数的单调性推出结论。在判定函数的单调性时需借助导数符号与单调性之间的关系,正常情况只需一阶导的符号就可判断函数的单调性,非正常情况却出现的更多(这里所举出的例子就属非正常情况),这时需先用二阶导数的符号判定一阶导数的单调性,再用一阶导的符号判定原来函数的单调性,从而得所要证的结果。该题中可设F(x)=ln*x-ln*a-4(x-a)/e*,其中eF(a)就是所要证的不等式。对于那些经常使用如上方法的同学来说,利用三步走就能轻松收获数学证明的12分,但对于从心理上就不自信能解决证明题的同学来说,却常常轻易丢失12分,后一部分同学请按“证明三步走”来建立自信心,以阻止考试分数的白白流失。
本站郑重申明:为了您的电脑更安全,请从http://NewDown.org下载本站资料,其他网站下载的资料,本站一例不保证您的上网安全。
最专业的学习资料下载网站http://NewDown.org
第五篇:数学证明方法
数学证明方法 直接证明法
从正面证明命题真实性的证明方法叫做直接证法.凡是用演绎法证明命题真实性的都是直接证法.它是中学数学中常用的证明方法.综合法、分析法、分析综合法、比较法。
(1)综合法:从已知条件入手,运用已经学过的公理、定义、定理等进行一步步的推理,一直推到结论为止.这种思维方法叫综合法.这种方法是“由因导果”,即从已知到可知,从可知到未知的思维过程.
(2)分析法:从问题的结论入手,运用已经学过的公理、定义、定理,一步步寻觅使结论成立的条件,一直“追”到这个结论成立的条件就是已知条件为止.可见分析法是“执果求因”的思维过程,它与综合法的思维过程相反.分析法属于逻辑方法范畴,它的严谨体现在分析过程步步可逆。
分析法的步骤为未知需知已知。在操作中“要证”、“只要证”、“即要证”这些词语也是不可缺少的。分析法的书写形式一般为“因为......,为了证明......,只需证明......,即......,因此,只需证明......,因为......成立,所以‘......(结论)’成立”。(3)分析综合法:把分析法和综合法“联合”起来,从问题的两头向中间“靠拢”,从而发现问题的突破口.这种思维方法叫做分析综合法.对于比较复杂的题目,往往采用这种思维方法.在证明的过程中,往往分析法、综合法常常是不能分离的。分析综合法充分表明分析与综合之间互为前提、互相渗透、互相转化的辩证统一关系。分析的终点是综合的起点,综合的终点又成为进一步分析的起点。
(4)比较法 间接证明法
不是直接证明论题的真实性,而是通过证明论题的否定论题的不真实,或者证明它的等效命题成立,从而肯定论题真实性的证明方法,叫做间接证明法.反证法、同一法、归纳法(不完全归纳法、完全归纳法、数学归纳法)、类比法、换元法、放缩法、判别式法、函数法(1)反证法:反证法就是从否定命题的结论入手,并把对命题结论的否定作为推理的已知条件,进行正确的逻辑推理,使之得到与已知条件、已知公理、定理、法则或者已经证明为正确的命题等相矛,矛盾的原因是假设不成立,所以肯定了命题的结论,从而使命题获得了证明。实施的具体步骤是:
第一步,反设:作出与求证结论相反的假设(即结论的否定成立);
第二步,归谬:从否定结论出发,逐层进行推理,得出与公理或前述的定理、定义或题设条件,或与临时假设等自相矛盾(即说明结论不能否定);
第三步,结论:根据排中律,说明反设不成立,从而肯定原命题成立。(2)同一法:两个互逆或互否的命题不一定是等效的,只有当一个命题的条件和结论都唯一存在,且它们所指的概念是同一概念时,该命题与其逆命题才等效,这个原理叫做同一原理.对符合同一原理的命题,当直接证明有困难时可以改证与它的等效的逆命题,这种证明方法叫做同一法.
1当命题的条件与结论所含事项都唯一存在时,先作出符合命题结论的所有图形;同一法的步骤:○2证明所作图形符合已知条件;3根据唯一性,4最后肯定○○确定所作图形或所作图形与已知图形重合;○原命题成立.
(3)不完全归纳法:从一个或几个(但不是全部)特殊情况作出一般性结论的归纳推理。不完全归纳法又叫做普通归纳法。
(4)完全归纳法:是一种在研究了事物的所有(有限种)特殊情况后得出一般结论的推理方法,又叫做枚举法.与不完全归纳法不同,用完全归纳法得出的结论是可靠的.通常在事物包括的特殊情况数不多时,采用完全归纳法。
(5)数学归纳法