第12讲反证法(高中版).docVIP

第 15 讲 反证法（高中版） （第课时） 适于使用反证法的题型 重点：反证法的原理。 难点：导出矛盾 了解反证法的思考过程和特点。 1．；2．；3．。 有些命题不易甚至不能用一般的直接证法来证明，还有些命题的结论的反面不成立是比较容易看出来的，在这样的情况下宜于使用反证法。实际上，反证法适用于证明任何问题，只不过有时简捷，有时复杂就是了。 所谓反证法就是首先假定结论的反面成立，例如∥的反面就是 ，那么就先假设 成立，然后把这一假设作为大前提，逐步推导，直至推出的结论与命题的条件、定理或是公理发生矛盾为止。如果我们的推导过程是合理的，那么矛盾的产生只可能是大前提错了，也就是说，我们的假设错了。既然结论的反面不成立，那么结论当然就是成立的了。 反证法属于“间接证明法”，是从反面的角度思考问题的证明方法。整个证明过程需要三步，第一步，假设结论的反面成立（反设导出的矛盾有如下几种类型：与已知条件矛盾；与已知的公理、定义、定理、公式矛盾；与反设矛盾；自相矛盾。是/不是；存在/不存在；平行/不平行；垂直/不垂直；等于/不等于；大(小)于/不大(小)于；都是/不都是；至少有一个/一个也没有；至少有n个/至多有n个；至多有一个/至少有两个；唯一/至少有两个。 ⑴ 结论否定之后有明显特征的命题 例. （高一）证明：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为异面直线。 分析：两直线的位置关系只有三种：相交、平行、异面，而相交与平行较之异面其特征更为明显，所以证两直线异面一般使用反证法。 略证：⑴ 设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 。 证明：设 ：C=B+45o，则 ， 又 ，∴ ， 整理得 ， ∵ ∴ 不是实数，而B不存在， ∴ C≠B+45o 。 例．（高二）已知 ，试证恒有 。 证明：假设 ， ∵ ，则 ， 即 ，这与已知矛盾， ∴ 原结论成立。 点评：结论为否定语气的不等式问题。 例.（高三）证明抛物线上四点组成的四边形不是平行四边形。 略证：设抛物线方程为 ，四点坐标为A(x ,y )、B(x ,y )、C(x ,y )、D(x ,y ), 则 (I=1,2,3,4) ,即 ， ， ， 若ABCD为平行四边形，则由 AD∥BC可得 ， ∴ ⑴ 同样由 AB∥CD 可得 ⑵ 由⑴⑵可得 ， ， 代入 得 ， ， A与C重合，B与D重合，而这与ABCD是平行四边形矛盾。 ∴ 原命题成立。 ⑶ 结论为是否存在的命题 例.（高三）对于直线l：y=kx+1，是否存在这样的实数k，使得l与双曲线C：3x-y=1的交点A、B关于直线y=ax（a为常数）对称？若存在，求出k的值；若不存在，请说明理由。 解：假设存在实数k，使得A、B关于直线y=ax对称，设A（x1，y1）、B（x2，y2）则 ka=-1 ① y1+y2=k（x1+x2）+2 ② ③ 把 y=kx+1 代入 y=3x-1 得（3-k）x-2kx-2=0 ④ 由②、③有a（x1+x2）=k（x1+x2）+2 ⑤ 由④知x1+x2= ，代入⑤整理得 ak=-3 与①矛盾， 故不存在实数k，使得A、B关于直线y=ax对称。 ⑷ 结论涉及的命题中，对角线= ，求证这四边形中至少有一条边不小于。 证明：设四边都小