第 讲 反证法高中版.docVIP

第 15 讲 反证法（高中版） （第课时） 神经网络 神经网络 准确记忆！ 适于使用反证法的题型 重点难点 重点难点 好好把握！ 重点：反证法的原理。 难点：导出矛盾。 考纲要求 考纲要求 注意紧扣！ 了解反证法的思考过程和特点。 命题预测 命题预测 仅供参考！ 1．；2．；3．。 考点热点 考点热点 一定掌握！ 有些命题不易甚至不能用一般的直接证法来证明，还有些命题的结论的反面不成立是比较容易看出来的，在这样的情况下宜于使用反证法。实际上，反证法适用于证明任何问题，只不过有时简捷，有时复杂就是了。 所谓反证法就是首先假定结论的反面成立，例如∥的反面就是 ，那么就先假设 成立，然后把这一假设作为大前提，逐步推导，直至推出的结论与命题的条件、定理或是公理发生矛盾为止。如果我们的推导过程是合理的，那么矛盾的产生只可能是大前提错了，也就是说，我们的假设错了。既然结论的反面不成立，那么结论当然就是成立的了。 反证法属于“间接证明法”，是从反面的角度思考问题的证明方法。整个证明过程需要三步，第一步，假设结论的反面成立（反设）；第二步，以反设为基础进行正确的逻辑推理，导出矛盾（归缪）；第三步，因为矛盾的原因只能是假设不成立，从而证明结论成立（结论）。 导出的矛盾有如下几种类型：①与已知条件矛盾；②与已知的公理、定义、定理、公式矛盾；③与反设矛盾；④自相矛盾。 用反证法证题时，如果结论的反面情况只有一种，那么只要将这种情况驳倒了就可以，这种反证法又叫“归谬法”；如果结论的反面情况有多种，那么必须将所有的反面情况一一驳倒，才能推断原结论成立，这种证法又叫“穷举法”。 常用的相对立的表述有：有理/无理；是/不是；存在/不存在；平行/不平行；垂直/不垂直；等于/不等于；大(小)于/不大(小)于；都是/不都是；至少有一个/一个也没有；至少有n个/至多有n个；至多有一个/至少有两个；唯一/至少有两个。 1．利用反证法证题 反证法适用的题型有：结论否定之后有明显特征的命题，结论否定之后有明显特征的命题，结论为否定语气的命题，结论为是否存在的命题，结论涉及至少、至多的命题，结论涉及唯一、无限的命题，其它类型，利用反证法对自己解题过程中产生的假设作出判断等等，下面我们分类加以阐述。 ⑴ 结论否定之后有明显特征的命题 例. （高一）证明：lg2是无理数。 分析：因为无理数没有一般的表达式，但否定结论后成为有理数，而有理数具有一般表达式，那就是既约分数，所以使用反证法较简。 证明：假设lg2是有理数，令 ，（为既约分数），则 ，即 ， ∵ 为正整数，∴ 的个位数字为0， 而 的个位数字为2、4、6、8，∴ 不成立， ∴ lg2是无理数。 例. （高二）设实数 满足 ，，，…，求证： ，（=1，2，3…n-1）。 略证：假设 ，是中出现的第一个正数， 即 ， 则 ， 由已知得 （=1，2，3…n-1）， ∴ ， ∴ 从 起，有 ，，…， ∴ ，即 ，这与已知 矛盾， ∴ 原结论成立。 例. （高一）在空间四边形ABCD中，E、F、G、H分别是AB、BC、CD、DA上的点，且，求证：EH、FG为异面直线。 分析：PB P B Q A H D F G C E 略证：⑴ 设EH、FG相交于P， 可证P在对角线DB上，在平面ABD内作EQ∥AD， 交BD于Q，连接QF，可证 及 FQ∥CD。 同样可证 ，∴ ， ∴ ，与已知矛盾。 ⑵ 设 EH∥FG ， 则 ， ，由 得 ，与已知矛盾。 由⑴、⑵可知EH、FG为异面直线。 ⑵ 结论为否定语气的命题 例. （高一）在ABC中，AD为BC边上的高，且BD=5DC，求证：C≠B+45o 。 DCBA证明：设 ：C=B+45o D C B A 又 ，∴ ， 整理得 ， ∵ ∴ 不是实数，而B不存在， ∴ C≠B+45o 。 例．（高二）已知 ，试证恒有 。 证明：假设 ， ∵ ，则 ， 即 ，这与已知矛盾， ∴ 原结论成立。 点评：结论为否定语气的不等式问题。 例.（高三）证明抛物线上四点组成的四边形不是平行四边形。 略证：设抛物线方程为 ，四点坐标为A(x ,y )、B(x ,y )、C(x ,y )、D(x ,y ), BACD则 (I=1,2,3,4) ,即 B A C D ， ， 若ABCD为平行四边形，则由 AD∥BC可得 ， ∴ ⑴ 同样由 AB∥CD 可得 ⑵ 由⑴⑵可得 ， ， 代入 得 ， ， A与C重合，B与D重合，而这与ABCD是平行四边形矛盾