欢迎来到天天文库
浏览记录
ID:44896875
大小:127.50 KB
页数:4页
时间:2019-11-01
《高中数学第三章推理与证明3.3综合法与分析法“直接证明与间接证明”知能阐释素材》由会员上传分享,免费在线阅读,更多相关内容在教育资源-天天文库。
1、“直接证明与间接证明”知能阐释一、要点透析1.综合法一般地,利用已知条件和某些数学定义、公理、定理等,经过一系列的推理论证,最后推导出所要证明的结论成立,这种证明方法叫做综合法。用表示已知条件、已有的定义、公理、定理等,表示所要证明的结论,则综合法可用框图表示为:应用综合法时,应从命题的前提出发,在选定了真实性是无可争辩的出发点以后(它基于题设或已知的真命题),再依次由它得出一系列的命题(或判断),其中每一个都是真实的(但它们并不一定都是所需求的)且最后一个必须包含我们要证明的命题的结论时,命题得证。并非
2、一上来就能找到通达命题结论的思路,只是在证明的过程中对每步结论进行分析、推敲、比较、选择后才能得到。当然,在较多地积累一些经验,掌握一些证法之后,可较为顺利地得到证明的思路。2.分析法一般地,从要证明的结论出发,逐步寻找使它成立的充分条件,直至最后,把要证明的结论归结为判定一个明显成立的条件(已知条件、定理、定义、公理等)为止,这种证明方法叫做分析法。用表示要证明的结论,则分析法可用框图表示为:得到一个明显成立的条件4应用分析法时,并非一开始就确信由结论出发所产生的那些判断(或命题)都正确,各个推理步骤及
3、依次考虑的概念、定理、法则等都合适。这种推理方法仅仅是建立与需要证明的命题的等效关系,因而需要从这些关系中逐个考查,逐个思索,逐个分析,逐个判断,在得到了所需的确定结论时(它们是已证的命题或已知的条件),才知道前面各步推理的适当与否,从而找出证明的路子。当证题不知从何入手时,有时可运用分析法而获得解决,特别是对于条件简单而结论复杂的题目,往往更是行之有效。3.综合法和分析法的区别与联系分析法的特点是:从“未知”看“需知”,逐步靠拢“已知”。其逐步推理,实际上是要寻找它的充分条件;综合法的特点是从“已知”看
4、“可知”,逐步推向“未知”,其逐步推理,实际上是要寻找它的必要条件。分析法与综合法各有其特点,有些具体的特征命题,用分析法和综合法都可以证明出来,人们往往选择比较简单的一种。4.反证法一般地,假设原命题不成立,经过正确的推理,最后得出矛盾,因此说明假设错误,从而证明了原命题成立,这样的证明方法叫做反证法。反证法的证明过程可以概括为“否定——推理——否定”,即从否定结论开始,经过正确的推理,导致逻辑矛盾,从而达到新的否定(即肯定原命题)的过程。用反证法证明命题“若则”的过程,可用下图所示的框图表示。肯定条件
5、否定结论导致逻辑矛盾“既又”为假“若则”为真应用反证法证明数学命题,一般有下面几个步骤:第一步:分清命题“”的条件和结论;4第二步:作出与命题结论相矛盾的假定;第三步:由和出发,应用正确的推理方法,推出矛盾结果;第四步:判断产生矛盾结果的原因在于开始所作的假定不真,于是原结论成立,从而间接地证明了命题为真。第三步所说的矛盾结果,通常是指推出的结果与已知公理、已知定义、已知定理或已知条件矛盾,与临时假定矛盾以及自相矛盾等各种情况。二、范例点悟例1已知、、,求证:。分析:不等式中的、、为对称的,所以从基本的不
6、等式定理入手,先考虑两个正数的平均数定理,再据不等式性质推导出证明的结论。证明:∵,、、,∴,∴,∴。同理:,将三式相加得。∴。∴。评注:在运用综合法证明不等式时,常利用不等式的基本性质,如同向不等式相加,同向不等式相乘等,但在运用这些性质时,一定要注意这些性质成立的前提条件。例2当一个圆与一个正方形的周长相等时,这个圆的面积比正方形的面积大。分析:应用分析法证题时,语气总是假定的,通常用“欲证只需证”的语句,在证明过程中一个终结代替另一个终结时,必须注意它们间的等价性。证明:设圆和正方形的周长为,依题意
7、,圆的面积为,正方形的面积为4,因此本题只需证明。为了证明成立,只需证明,两边同乘以正数得,因此,只需证明。因为上式是成立的,所以。这就证明了,如果一个圆和一个正方形的周长相等,那么这个圆的面积比这个正方形的面积大。评注:在分析法证明中,从结论出发的每一个步骤所得到的判断都是结论成立的充分条件,最后一步归结到已被证明了的事实。因此,从最后一步可以倒推回去,直到结论,但这个倒推过程可以省略。例3已知三个关于的方程,,中,至少有一个方程有实根,求实数的取值范围。分析:含有至多、至少字样的问题,往往用反证法去解
8、决。解析:三个方程都没有实根的充要条件是即解得。∴使三个方程至少有一个方程有实根的实数的取值范围为。评注:反证法的逻辑根据为:要证明命题“若则为真”,该证“若则为假”,因此,反证法的核心是从出发导出矛盾。4
此文档下载收益归作者所有