2.1.2_直接证明与间接证明(人教A选修1-2).ppt

《2.1.2_直接证明与间接证明(人教A选修1-2).ppt》由会员分享，可在线阅读，更多相关《2.1.2_直接证明与间接证明(人教A选修1-2).ppt（24页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、2.22.2直接证明与间接证明直接证明与间接证明2.2.1 2.2.1 综合法和分析法综合法和分析法推理推理合情推理合情推理演绎推理演绎推理归纳归纳(特殊特殊到到一般一般）类比类比（特殊特殊到到特殊特殊）三段论三段论（一般一般到到特殊特殊）复习复习 合情推理的结论不一定正确,有待证明;演绎推理得到的结论一定正确.已知已知a0,b0,a0,b0,求证求证a(ba(b2 2+c+c2 2)+b(c)+b(c2 2+a+a2 2)4abc)4abc因为因为b b2 2+c+c2 2 2bc,a0 2bc,a0所以所以a(ba(b2 2+c+c2 2)2abc.)2abc.又因为又因为c c2 2+a

2、+a2 2 2ac,b02ac,b0所以所以b(cb(c2 2+a+a2 2)2abc.)2abc.因此因此a(ba(b2 2+c+c2 2)+b(c)+b(c2 2+a+a2 2)4abc.)4abc.证明证明:探究任务一：综合法的应用探究任务一：综合法的应用综合法综合法 利用已知条件和某些数学定义、定理、利用已知条件和某些数学定义、定理、公理等，经过一系列的推理论证，最后推导公理等，经过一系列的推理论证，最后推导出所要证明的结论或所要解决的问题的结果。出所要证明的结论或所要解决的问题的结果。条件条件结论结论数学推理数学推理条件条件定理定理 公理公理定义定义P Q1Q1 Q2Q2 Q3Qn

3、Q变式变式1：变式变式2：变式变式3：典型例题：典型例题：1、在、在ABC中，三个内角中，三个内角A,B,C 对对应应的的边边分分别别是是a,b,c，且，且 A,B,C 成等差数列，成等差数列，a,b,c 成等比数列。求成等比数列。求证证：ABC是等是等边边三角形。三角形。【分析分析】条件是什么？条件是什么？A,B,C 成等差数列成等差数列2B=A+Ca,b,c 成等比数列成等比数列b2=a c典型例题：典型例题：1 1、在、在中，三个内角、对应的边中，三个内角、对应的边分别为分别为a a、b b、c c，且、成等差数列，且、成等差数列，a a、b b、c c成等比数成等比数列，求证列，求证为

4、等边三角形为等边三角形证明：由证明：由A,B,CA,B,C成等差数列，有成等差数列，有2B=A+C2B=A+C，-因为因为A+B+C=180A+B+C=180o o，-所以所以B=60B=60o o。-由由a,b,ca,b,c成等比数列，有成等比数列，有b b2 2=ac,-=ac,-则则b b2 2=a=a2 2+c+c2 2-2ac-2accosB=acosB=a2 2+c+c2 2-ac,-ac,再有再有得得a a2 2+c+c2 2-ac-ac=ac=ac，即，即(a-c)(a-c)2 2=0=0 因此因此a=ca=c。从而有。从而有A=C-A=C-则由则由 得得A=B=C=60A=B

5、=C=60o o。所以三角形所以三角形ABCABC是等边三角形。是等边三角形。回顾基本不等式：回顾基本不等式：(a0,b0)(a0,b0)的证明的证明.证明证明:因为因为;所以所以所以所以所以所以 成立成立证明证明:要证要证;只需证只需证;只需证只需证;只需证只需证;因为因为;成立成立所以所以 成立成立 一般地，从要证明的结论出发，逐步寻求一般地，从要证明的结论出发，逐步寻求推证过程中，使每一步结论成立的充分条件，推证过程中，使每一步结论成立的充分条件，直至最后，把要证明的结论归结为判定一个明直至最后，把要证明的结论归结为判定一个明显成立的条件（已知条件、定理、定义、公理显成立的条件（已知条件

6、、定理、定义、公理等）为止，这种证明的方法叫做等）为止，这种证明的方法叫做分析法分析法 特点：特点：执果索因执果索因.用框图表示分析法的思考过程、特点用框图表示分析法的思考过程、特点.得到一个明显得到一个明显成立的结论成立的结论分析法又叫执果索因法或叫逆推证法分析法又叫执果索因法或叫逆推证法例例1:求证求证证明：证明：为了证为了证 只需证只需证 展开得展开得即即只需证只需证1512，因为，因为1512成立，成立，所以不等式所以不等式 成立。成立。例例2 2:如图如图,SA,SA平面平面ABC,ABBC,ABC,ABBC,过过A A作作SBSB的垂线的垂线,垂足为垂足为E,E,过过E E作作SC

7、SC的垂线的垂线,垂足为垂足为F,F,求证求证 AFSCAFSCF FE ES SC CB BA A证明证明:要证要证AFAFSCSC只需证只需证:SC:SC平面平面AEFAEF只需证只需证:SC:SCAEAE只需证只需证:AE:AE平面平面SBCSBC只需证只需证:AE:AEBCBC只需证只需证:BC:BC平面平面SABSAB只需证只需证:BC:BCSASA只需证只需证:SA:SA平面平面ABCABC因为因为:SA:SA平面平面ABCABC成立成立所以所以.AF.AFSCSC成立成立(因为SCEF)(因为AESB)(因为SCAB)证明：要证证明：要证 a a3 3+b+b3 3a a2 2b

8、+abb+ab2 2成立，成立，只需证只需证a3+b3-a2b-ab20成立，成立，即证即证a a2 2(a-b)+b(a-b)+b2 2(b-a)0(b-a)0成立。成立。只需只需(a(a2 2-b-b2 2)(a-b)0)(a-b)0证成立，证成立，也就是要证也就是要证(a+b)(a-b)(a+b)(a-b)2 20 0成立。成立。即证即证(a-b)(a-b)2 20 0成立（成立（a+ba+b00）而由已知条件可知，而由已知条件可知，abab，有，有a-b0a-b0，所以所以(a-b)(a-b)2 20 0显然成立，由此命题得证。显然成立，由此命题得证。设设a a、b b是两个正实数，且

9、是两个正实数，且abab，求证：，求证：a a3 3+b+b3 3aa2 2b+abb+ab2 2 一般地，利用已知条件和某些已经学过的定义、一般地，利用已知条件和某些已经学过的定义、定理、公理等，经过一系列的推理、论证，最后推导定理、公理等，经过一系列的推理、论证，最后推导出所要证明的结论成立，这种证明方法叫做出所要证明的结论成立，这种证明方法叫做综合法综合法。特点:“由因导果”小结小结综合法又叫由因导果法或顺推证法综合法又叫由因导果法或顺推证法.1.1.综合法的定义综合法的定义:一般地，从要证明的结论出发，逐步寻求推证一般地，从要证明的结论出发，逐步寻求推证过程中，使每一步结论成立的充分条

10、件，直至最后，过程中，使每一步结论成立的充分条件，直至最后，把要证明的结论归结为判定一个明显成立的条件把要证明的结论归结为判定一个明显成立的条件（已知条件、定理、定义、公理等）为止，这种证（已知条件、定理、定义、公理等）为止，这种证明的方法叫做明的方法叫做分析法分析法 2.2.分析法的定义分析法的定义:分析法又叫执果索因法或叫逆推证法分析法又叫执果索因法或叫逆推证法特点:“执果索因”2.22.2直接证明与间接证明直接证明与间接证明2.2.2 2.2.2 反反 证证 法法复习复习1.1.直接证明的两种基本证法：直接证明的两种基本证法：综合法和分析法综合法和分析法2.2.这两种基本证法的推证过程和

11、特点：这两种基本证法的推证过程和特点：由因导果由因导果执果索因执果索因3 3、在实际解题时，两种方法如何运用？、在实际解题时，两种方法如何运用？通常用分析法通常用分析法寻求思路寻求思路，再由综合法，再由综合法书写过程书写过程综合法综合法已知条件已知条件结论结论分析法分析法结论结论 已知条件已知条件 思考？思考？将将9 9个球分别染成红色或白色个球分别染成红色或白色.那么无论怎那么无论怎样染样染,至少有至少有5 5个球是同色的个球是同色的,你能证明这个你能证明这个结论吗结论吗?分析分析:假设有某种染法使红色球和白假设有某种染法使红色球和白色球的个数都不超过色球的个数都不超过4,则球的总数应不超过

12、则球的总数应不超过4+4=8,这与球的总数是这与球的总数是9矛盾矛盾.因此因此,无论怎无论怎样染样染,至少有至少有5个球是同色的个球是同色的.把这种不是直接从原命题的条件逐步把这种不是直接从原命题的条件逐步推得命题成立的证明方法称为推得命题成立的证明方法称为间接证明间接证明注：反证法注：反证法是最常见的是最常见的间接证法间接证法，一般地，假设原命题不成立（即在原命题的条件一般地，假设原命题不成立（即在原命题的条件下，结论不成立），下，结论不成立），经过正确的推理，经过正确的推理，最后得出矛盾。最后得出矛盾。因此说明假设错误，从而证明了原命题成立，因此说明假设错误，从而证明了原命题成立，这样的这

13、样的证明方法叫做证明方法叫做反证法反证法（归谬法）。（归谬法）。理论理论试一试：试一试：反证法的证明过程：反证法的证明过程：否定结论否定结论推出矛盾推出矛盾肯定结论，肯定结论，即分三个步骤：即分三个步骤：反设反设归谬归谬存真存真反设反设假设命题的结论不成立；假设命题的结论不成立；存真存真由矛盾结果，断定反设不成立，从而由矛盾结果，断定反设不成立，从而 肯定原结论成立。肯定原结论成立。归谬归谬从假设出发，经过一系列正确的推理，从假设出发，经过一系列正确的推理，得出得出矛盾矛盾；用用反证法证明命题的过程用框图表示为：反证法证明命题的过程用框图表示为：肯定条件肯定条件否定结论否定结论导导 致致逻辑矛

14、盾逻辑矛盾反设反设 不成立不成立结论结论成立成立反证法的思维方法：反证法的思维方法：正难则反正难则反例例1 1 已知已知a0a0，证明，证明x x的方程的方程ax=bax=b有且只有有且只有一个根。一个根。证：由于证：由于a 0a 0，因此方程至少有一个根，因此方程至少有一个根x=b/ax=b/a，注注:结论中的有且只有结论中的有且只有(有且仅有有且仅有)形式出现形式出现,是是唯一性问题唯一性问题,常用反证法常用反证法 如果方程不只一个根，不妨设如果方程不只一个根，不妨设x x1 1,x,x2 2 （x x1 1 x x2 2)是是方程的两个根方程的两个根.归纳总结：归纳总结：三个步骤：三个步

15、骤：反设反设归谬归谬存真存真归缪矛盾：归缪矛盾：（1 1）与已知条件）与已知条件矛盾矛盾；（2 2）与已有公理、定理、定义）与已有公理、定理、定义矛盾；矛盾；（3 3）自相矛盾。）自相矛盾。一般地，假设原命题不成立（即在原命题的条件一般地，假设原命题不成立（即在原命题的条件下，结论不成立），下，结论不成立），经过正确的推理，经过正确的推理，最后得出矛盾。最后得出矛盾。因此说明假设错误，从而证明了原命题成立，因此说明假设错误，从而证明了原命题成立，这样的这样的证明方法叫做证明方法叫做反证法反证法。（1）直接证明有困难）直接证明有困难正难则反正难则反!归纳总结：归纳总结：哪些命题适宜用反证法加以证明？哪些命题适宜用反证法加以证明？牛顿曾经说过：牛顿曾经说过：“反证法是数学家最精当的武器之一反证法是数学家最精当的武器之一”（3）唯一性命题）唯一性命题（2）否定性命题）否定性命题（4）至多，至少型命题）至多，至少型命题推推理理与与证证明明推理推理证明证明合情推理合情推理演绎推理演绎推理直接证明直接证明间接证明间接证明类比推理类比推理归纳推理归纳推理 分析法分析法 综合法综合法 反证法反证法知识结构知识结构