- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
七、反证法
与前面所讲的方法不同,反证法是属于“间接证明法”一类,是从反面的角度思考问题
的证明方法,即:肯定题设而否定结论, 从而导出矛盾推理而得。
法国数学家阿达玛 (Hadamard)
对反证法的实质作过概括: “若肯定定理的假设而否定其结论,
就会导致矛盾” 。具体地讲,
反证法就是从否定命题的结论入手,
并把对命题结论的否定作为推理的已知条件,
进行正确
的逻辑推理,使之得到与已知条件、
已知公理、定理、法则或者已经证明为正确的命题等相
矛,矛盾的原因是假设不成立,所以肯定了命题的结论,从而使命题获得了证明。
反证法所依据的是逻辑思维规律中的“矛盾律”和“排中律”。在同一思维过程中,两
个互相矛盾的判断不能同时都为真,至少有一个是假的,这就是逻辑思维中的“矛盾律”;
两个互相矛盾的判断不能同时都假,
简单地说“ A或者非 A”,这就是逻辑思维中的 “排中律” 。
反证法在其证明过程中, 得到矛盾的判断, 根据“矛盾律” ,这些矛盾的判断不能同时为真,必有一假,而已知条件、已知公理、定理、法则或者已经证明为正确的命题都是真的,所以“否定的结论”必为假。再根据“排中律”,结论与“否定的结论”这一对立的互相否定的
判断不能同时为假, 必有一真, 于是我们得到原结论必为真。 所以反证法是以逻辑思维的基本规律和理论为依据的,反证法是可信的。
反证法的证题模式可以简要的概括我为“否定→推理→否定”。即从否定结论开始,经
过正确无误的推理导致逻辑矛盾, 达到新的否定, 可以认为反证法的基本思想就是 “否定之否定” 。应用反证法证明的主要三步是: 否定结论 → 推导出矛盾 → 结论成立。实施的具体步骤是:
第一步,反设:作出与求证结论相反的假设;
第二步,归谬:将反设作为条件,并由此通过一系列的正确推理导出矛盾;第三步,结论:说明反设不成立,从而肯定原命题成立。
在应用反证法证题时,一定要用到“反设”进行推理,否则就不是反证法。用反证法证
题时, 如果欲证明的命题的方面情况只有一种, 那么只要将这种情况驳倒了就可以, 这种反证法又叫“归谬法”;如果结论的方面情况有多种,那么必须将所有的反面情况一一驳倒,
才能推断原结论成立,这种证法又叫“穷举法”。
在数学解题中经常使用反证法, 牛顿曾经说过: “反证法是数学家最精当的武器之一” 。
一般来讲,反证法常用来证明的题型有:命题的结论以“否定形式”、 “至少”或“至多”、“唯一”、 “无限”形式出现的命题;或者否定结论更明显。具体、简单的命题;或者直接
证明难以下手的命题, 改变其思维方向, 从结论入手进行反面思考, 问题可能解决得十分干脆。
Ⅰ、再现性题组:
1.
已知函数 f(x)
在其定义域内是减函数,则方程
f(x)
= 0 ______ 。
A. 至多一个实根
B. 至少一个实根
C.
一个实根
D. 无实根
2.
已知 a0, - 1b0,那么 a、 ab、 ab 2 之间的大小关系是 _____。
A. aab ab
2
B. ab
2 aba
C. aba ab
2
D. ab ab
2 a
3.
已知 α ∩ β= l , a α, b
β,若 a、 b 为异面直线,则 _____。
A. a 、 b 都与 l
相交
B. a
、 b 中至少一条与 l
相交
C. a 、 b 中至多有一条与
l
相交
D. a
、 b 都与 l
相交
4.
四面体顶点和各棱的中点共
10 个,在其中取
4 个不共面的点,不同的取法有 _____。
(97 年全国理 )
A. 150 种
B. 147
种 C. 144
种
D. 141
种
【简解】 1 小题:从结论入手,假设四个选择项逐一成立,导出其中三个与特例矛盾,
A;
2
小题:采用“特殊值法”,取
a=- 1、 b=- 0.5 ,选 D;
3
小题:从逐一假设选择项成立着手分析,选
B;
4
小题:分析清楚结论的几种情况,列式是:
C4 -C
4
3 4-3- 6, 选 D。
10
6
Ⅱ、示范性题组:
S
1. 如图,设 SA、SB 是圆锥 SO的两条母线, O是底面圆心, C 是 SB上一点。求证: AC与平面 SOB不垂直。
C
【分析】结论是“不垂直”,呈“否定性”,考虑使用
反证法, 即假设“垂直” 后再导出矛盾后, 再肯定“不垂直” 。
【证明】 假设 AC⊥平面 SOB,
AO
B
∵ 直线 SO在平面 SOB内,
∴ AC⊥ SO,
∵ SO⊥底面圆 O,
∴ SO⊥ AB,
SO⊥平面 SAB, ∴平面 SAB∥底面圆 O,这显然出现矛盾,所以假设不成立。
即 AC与平面 SOB不垂直。
【注】否定性的问题常用反证法。例如证明异面直线,可以假设共面,
您可能关注的文档
最近下载
- 机械CAD:CAM(UG)教案新模板(课次4)2-3 压板的草图绘制.doc VIP
- 富士XA5说明书.pdf VIP
- 针灸学习题集全.pdf VIP
- 固相反应第一节引言第二节固相反应机理第三节固相反应动.ppt VIP
- 肇兴侗寨旅游地用地格局演变.docx VIP
- 2025至2030年中国硼-10酸行业竞争格局及投资战略规划研究报告.docx
- GB_T13077—2024铝合金无缝气瓶定期检验与评定.pdf VIP
- 贝克休斯钻井堵漏材料及工艺.pdf VIP
- 红树林生态系统预警监测与评估体系技术指南.docx
- (高清版)DB1310∕T 286-2022 林木食叶害虫防治效果评价验收规范.pdf VIP
文档评论(0)