高中数学第二章推理与证明2.2直接证明与间接证明2.2.2反证法课件.pptx

高中数学第二章推理与证明2.2直接证明与间接证明2.2.2反证法课件.pptx

ID:53068222

大小:12.85 MB

页数:21页

时间:2020-04-16

高中数学第二章推理与证明2.2直接证明与间接证明2.2.2反证法课件.pptx_第1页
高中数学第二章推理与证明2.2直接证明与间接证明2.2.2反证法课件.pptx_第2页
高中数学第二章推理与证明2.2直接证明与间接证明2.2.2反证法课件.pptx_第3页
高中数学第二章推理与证明2.2直接证明与间接证明2.2.2反证法课件.pptx_第4页
高中数学第二章推理与证明2.2直接证明与间接证明2.2.2反证法课件.pptx_第5页
资源描述:

《高中数学第二章推理与证明2.2直接证明与间接证明2.2.2反证法课件.pptx》由会员上传分享,免费在线阅读,更多相关内容在教育资源-天天文库

1、2.2.2反证法1.掌握间接证明的常见方法(反证法)的推理特点.2.学会写出命题的否定,并以此作条件推出矛盾结论,即学习用反证法证明简单题目.反证法一般地,由证明p⇒q转向证明:¬q⇒r⇒…⇒t,t与假设矛盾,或与某个真命题矛盾.从而判定¬q为假,推出q为真的方法,叫做反证法.名师点拨1.反证法适宜证明“存在性,唯一性,带有‘至少有一个’或‘至多有一个’等字样”的一些数学问题.2.应用反证法证明数学命题的一般步骤:(1)分清命题的条件和结论;(2)做出与命题结论相矛盾的假设;(3)由假设出发,应用演

2、绎推理方法,推出矛盾的结果;(4)断定产生矛盾结果的原因,在于开始所做的假定不真,于是原结论成立,从而间接地证明命题为真.常见的主要矛盾有:①与数学公理、定理、公式、定义或已证明了的结论相矛盾;②与临时假设矛盾;③与公认的事实矛盾或自相矛盾等.【做一做1】应用反证法推出矛盾的推导过程中可以把下列哪些作为条件使用()①结论的相反判断,即假设;②原命题的条件;③公理、定理、定义等;④原结论.A.①②B.①②④C.①②③D.②③答案:C【做一做2】用反证法证明命题“三角形的内角中至多有一个钝角”时,假设正

3、确的是()A.假设三角形的内角中至少有一个钝角B.假设三角形的内角中至少有两个钝角C.假设三角形的内角中没有一个钝角D.假设三角形的内角中没有一个钝角或至少有两个钝角解析:“至多有一个”的反面为“至少有两个”.答案:B如何理解反证法?剖析:反证法证题的特征:通过导出矛盾、归结为谬误,而使命题得证.反证法的原理是“否定之否定等于肯定”.反证法解题的实质就是否定结论导出矛盾,从而说明原结论正确,即证明命题的逆否命题成立.否定结论:对结论的反面要一一否定,不能遗漏;否定一个反面之反证法称为归谬法,否定两个

4、或两个以上反面之反证法称为穷举法.要注意用反证法解题,“否定结论”在推理论证中作为已知使用,导出矛盾是指在假设的前提下,逻辑推理结果与“已知条件、假设、公理、定理或显然成立的事实”等相矛盾.用反证法证明不等式,常用的否定形式有:“≥”的反面为“<”;“≤”的反面为“>”;“>”的反面为“≤”;“<”的反面为“≥”;“≠”的反面为“=”;“=”的反面为“≠”或“>”及“<”.反证法属逻辑方法范畴,它的严谨性体现在它的原理上,即“否定之否定等于肯定”,其中:第一个否定是指“否定结论”;第二个否定是指“逻

5、辑推理结果否定了假设”.反证法属“间接解题方法”,书写格式易错之处是“假设”易错写成“设”.反证法不是直接证明结论,而是先否定结论,在否定结论的基础上运用演绎推理,导出矛盾,从而肯定结论的正确性.题型一题型二题型三题型四命题的结论是否定型(1)证明函数f(x)在(-1,+∞)内为增函数;(2)用反证法证明方程f(x)=0没有负数根.分析:应用增函数定义证明第一问;第二问的结论是否定型的,适合用反证法.题型一题型二题型三题型四题型一题型二题型三题型四反思在解题过程中提出假设,分类讨论等都是在合理地增设

6、条件,为解题提供帮助.题型一题型二题型三题型四命题的结论涉及至多、至少及存在型分析:命题中有“至少、不都、都不、至多”等指示性语句时,应用直接方法证明时难度很大,根据正难则反的思想,应用反证法证明.本题中“至少有一个”的否定是“一个也没有”,然后由假设入手,应用均值不等式证明.题型一题型二题型三题型四题型一题型二题型三题型四反思反证法证题的实质是证明它的逆否命题成立,反证法的主要依据是逻辑中的排中律,排中律的一般表现形式是:或者是A,或者是非A,即在同一讨论过程中,A和非A有一个且仅有一个是对的,不

7、能有第三种情形出现.题型一题型二题型三题型四唯一性命题的证明【例题3】求证:过直线外一点只有一条直线与它平行.分析:本题属唯一性的证明问题,用反证法证明.答案:已知A∉a,A∈b,b∥a,求证:b唯一.证明:假设过点A还有一条直线b'∥a.根据平行公理,∵b∥a,∴b∥b',与b∩b'=A矛盾.∴假设不成立,原命题成立.题型一题型二题型三题型四易错辨析易错点:运用反证法时,第一步否定结论易错.因为有些结论的对立面不易确定,从而导致错误.【例题4】用反证法证明命题“a,b为整数,若ab不是偶数,则a,

8、b都不是偶数”时,应假设.错解:a,b不都是偶数错因分析:a,b不都是偶数包括的情况是:①a是偶数,b是奇数;②a是奇数;b是偶数;③a,b都不是偶数.显然,否定的结论并不是结论的对立面,所以不正确,题目中“a,b都不是偶数”指“a,b都是奇数”.正解:a,b不都是奇数123451反证法证题的关键是在正确的假设下得出矛盾.这个矛盾可以是()①与已知矛盾;②与假设矛盾;③与定义、定理、公理、法则矛盾;④与事实矛盾.A.①②B.①②④C.①②③D.①②③④答案:D1234

当前文档最多预览五页,下载文档查看全文

此文档下载收益归作者所有

当前文档最多预览五页,下载文档查看全文
温馨提示:
1. 部分包含数学公式或PPT动画的文件,查看预览时可能会显示错乱或异常,文件下载后无此问题,请放心下载。
2. 本文档由用户上传,版权归属用户,天天文库负责整理代发布。如果您对本文档版权有争议请及时联系客服。
3. 下载前请仔细阅读文档内容,确认文档内容符合您的需求后进行下载,若出现内容与标题不符可向本站投诉处理。
4. 下载文档时可能由于网络波动等原因无法下载或下载错误,付费完成后未能成功下载的用户请联系客服处理。