2019年高中数学第5章推理与证明5.2直接证明与间接证明5.2.2间接证明:反证法讲义(含解析)湘教版选修1_2.doc
《2019年高中数学第5章推理与证明5.2直接证明与间接证明5.2.2间接证明:反证法讲义(含解析)湘教版选修1_2.doc》由会员分享,可在线阅读,更多相关《2019年高中数学第5章推理与证明5.2直接证明与间接证明5.2.2间接证明:反证法讲义(含解析)湘教版选修1_2.doc(9页珍藏版)》请在麦多课文档分享上搜索。
1、152.2 间接证明:反证法读教材填要点1反证法的定义先假设原命题的否定成立,从这个假设出发,经过推理,得出与已知事实相矛盾的结论,这个矛盾的结果说明原命题结论的否定不成立,从而间接肯定了原命题结论成立,这种间接证法称为反证法2反证法的一般步骤(1)反设;(2)归谬;(3)结论小问题大思维1用反证法证明命题“若 p,则 q”时,綈 q 假, q 即为真吗?提示:是的在证明数学问题时,要证明的结论要么正确,要么错误,二者中居其一,綈 q 是 q 的反面,若綈 q 为假,则 q 必为真2反证法与逆否命题证明的区别是什么?提示:反证法的理论依据是 p 与綈 p 真假性相反,通过证明綈 p 为假命题说
2、明 p 为真命题,证明过程中要出现矛盾;逆否命题证明的理论依据是“ pq”与“綈 q綈 p”是等价命题,通过证明命题“綈 q綈 p”为真命题来说明命题“ pq”为真命题,证明过程不出现矛盾用反证法证明否定型命题直线 y kx m(m0)与椭圆 W: y21 相交于 A, C 两点, O 是坐标原x24点当点 B 在 W 上且不是 W 的顶点时,求证:四边形 OABC 不可能为菱形自主解答 假设四边形 OABC 为菱形因为点 B 不是 W 的顶点,且 AC OB,所以 k0.由Error!消去 y 并整理得(14 k2)x28 kmx4 m240.设 A(x1, y1), C(x2, y2),则
3、 ,x1 x22 4km1 4k2 k m ,y1 y22 x1 x22 m1 4k2设 AC 的中点为 M,2则 M ,(4km1 4k2, m1 4k2)因为 M 为 AC 和 OB 的交点,且 m0, k0,所以直线 OB 的斜率为 .14k因为 k 1,(14k)所以 AC 与 OB 不垂直所以 OABC 不是菱形,与假设矛盾所以四边形 OABC 不可能是菱形1用反证法证明否定性命题的适用类型结论中含有“不” “不是” “不可能” “不存在”等词语的命题称为否定性命题,此类问题的正面比较模糊,而反面比较具体,适合使用反证法2用反证法证明数学命题的步骤1设函数 f(x) ax2 bx c
4、(a0)中, a, b, c 均为整数,且 f(0), f(1)均为奇数求证: f(x)0 无整数根证明:假设 f(x)0 有整数根 n,则 an2 bn c0( nZ),而 f(0), f(1)均为奇数,即 c 为奇数, a b 为偶数,则 an2 bn c 为奇数,即 n(an b)为奇数 n, an b 均为奇数,又 a b 为偶数, an a 为奇数,即 a(n1)为奇数, n1 为奇数,这与 n 为奇数矛盾 f(x)0 无整数根用反证法证明“至多” “至少”型命题已知 a1,求证三个方程: x24 ax4 a30, x2( a1)3x a20, x22 ax2 a0 中至少有一个方程
5、有实数解自主解答 假设三个方程都没有实根,则三个方程中:它们的判别式都小于 0,即:Error! Error!这与已知 a1 矛盾,所以假设不成立,故三个方程中至少有一个方程有实数解用反证法证明“至多” “至少”等问题的两个关注点(1)反设情况要全面,在使用反证法时,必须在假设中罗列出与原命题相异的结论,缺少任何一种可能,反证法都是不完全的(2)常用题型:对于否定性命题或结论中出现“至多” “至少” “不可能”等字样时,常用反证法2已知 a1 a2 a3 a4100,求证: a1, a2, a3, a4中至少有一个数大于 25.证明:假设 a1, a2, a3, a4均不大于 25,即 a12
6、5, a225, a325, a425,则 a1 a2 a3 a425252525100,这与已知 a1 a2 a3 a4100 矛盾,故假设错误所以 a1, a2, a3, a4中至少有一个数大于 25.用反证法证明“唯一”型命题用反证法证明:过已知直线 a 外一点 A 有且只有一条直线 b 与已知直线 a 平行自主解答 由两条直线平行的定义和几何图形可知,过点 A 至少有一条直线与直线a 平行假设过点 A 还有一条直线 b与已知直线 a 平行,即 b b A, b a .因为 ba ,由平行公理知 b b .这与假设 b b A 矛盾,所以假设错误,原命题成立巧用反证法证明唯一性命题(1)
- 1.请仔细阅读文档,确保文档完整性,对于不预览、不比对内容而直接下载带来的问题本站不予受理。
- 2.下载的文档,不会出现我们的网址水印。
- 3、该文档所得收入(下载+内容+预览)归上传者、原创作者;如果您是本文档原作者,请点此认领!既往收益都归您。
下载文档到电脑,查找使用更方便
2000 积分 0人已下载
下载 | 加入VIP,交流精品资源 |
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 2019 年高 数学 推理 证明 52 直接 间接 522 反证法 讲义 解析 湘教版 选修 _2DOC

链接地址:http://www.mydoc123.com/p-1200848.html