第4章反证法总结.docVIP

专题四 反证法 反证法是从反面的角度思考问题的证明方法，属于“间接证明”的一类，即肯定题设而否定结论，从而导出矛盾，推理而得。 【用反证法证明命题的有三个步骤】 反设：做出与求证结论相反的假设； 归谬：将反设作为条件，并由此通过一系列的正确推理导出矛盾； 结论：说明反设不成立，从而肯定原命题成立。 一些起始性命题﹑否定性命题﹑唯一性命题﹑必然性命题﹑结论以“至多……”或“至少……”的形式出现的命题﹑“无限性”的命题﹑一些不等式的证明等用反证法来证明可收到较好的效果。 【典型例题】 例1：函数在上有意义，且如果对于不同的都有求证：. 【证明】假定至少存在一组不同的使得 .（不妨设） 由已知条件得 即，， 这与假设矛盾，假设不成立，因此原命题成立。 例2：求证：方程有唯一解。 【证明】设至少有二解则有 ① ② 减②得： ③ 另一方面，由，知，这与③式矛盾， 只有唯一解。 例3：若均为小于1的非负实数，试证：其中一定存在两个数，其差的绝对值小于。 【证明】不妨设。假定这个数中任意两个数的差的绝对值都不小与，即，则 。 ，此结论与已知矛盾。 故中一定存在两个数，其差的绝对值小于。 例4：设函数在区间上有三阶导数，且，又，证明在内至少存在一点，使得。 【证明】假设对一切恒有，则对于一切，或。 注意到不可能存在这样的情况：，使得，否则在之间一定存在一点，使得，这与假设矛盾。因此对于一切，保持定号。不失一般性，不妨设，即在严格单调递增；由于在上连续，因此在也是严格单调递增的，即对于一切，有，而，因此；同理可知在上也是严格单调递增函数。故对一切，有，但是，即，显然这是不肯能的。所以假设不成立，即原命题得证。 【练习题】 设为正数列，满足条件，求证：对于一切，均为无理数。 已知函数是上的增函数，，对命题： “若，则” 写出逆命题，判断其真假，并证明你的结论； 写出其逆否命题，判断其真假，并证明你的结论。 设是十进制中的素数，求证不是完全平方数。 如果整系数二次方程有有理根，那么三个整数中至少有一个是偶数。