陕西省吴堡县吴堡中学2014-2015学年高二数学（北师大版选修1-2）同步复习：第三章推理与证明 例析反正法的应用.docVIP

例析反正法的应用 我们知道，反证法反证法是不是有理数。 分析：要求证的结论是以否定的形式出现的，因此可应用反正法来进行证明。 证明：假设是有理数，注意到， 可设（、为互质的正整数，且）， 两边平方，得①， 表明，是2的倍数， 因为是正整数，故当是奇数时，令（），则， 即是奇数，与是2的倍数矛盾。 当是偶数，又可设（），代入①式，整理后得②，②式表明，是2的倍数。这样与都是2的倍数，它们至少有公因数2，与所作假定、为互质的正整数相矛盾。 因此不是有理数。 点评：在应用反证法证题时，必须按“反设——归谬——结论”的步骤进行，反正法的难点在于如何从假设中推出矛盾，从而说明假设不成立。本题从假设中推出的结论是与自身相矛盾 二 存在性命题 当命题的结论是以存在性的形式出现时，宜用反证法。也就是说，解决存在性探索命题的总体策略是先假设结论存在，并以此进行推理，若推出矛盾，即可否定假设；若推出合理结果，经验证成立即可肯定假设正确。 例2、直线与双曲线：的右支交于不同的两点，⑴求实数的范围；⑵是否存在实数使得以线段为直经的圆经过双曲线的右焦点？若存在求出的值；若不存在，说明理由。 分析：第（1）提示求参数范围的常规题，第⑵问是一道探讨结论是否存在的开放性命题，为此先假设结论存在并在此假设的条件下进行一系列的推导，或推出矛盾或验证成立。 解：⑴略可求得。 ⑵由消去得，① 设两点的坐标为，则时方