06-反证法.docVIP

[课题]2.2.2反证法 [教学目标] 知识与技能：理解反证法的概念，掌握反证法的步骤． 过程与方法：通过反证法的学习，体会直接证明和间接证明之间的辩证关系． 情感、态度与价值观：通过反证法的学习，培养谨慎思维的习惯，认识数学的科学价值． 重点：反证法． 难点：用反证法证明题目． [新课] 引入： 讨论：三枚正面朝上的硬币，每次翻转2枚，你能使三枚反面都朝上吗？（原因：偶次） 一般地，由证明转向证明：，t与假设矛盾，或与某个真命题矛盾，从而判定为假，推出为真的方法，叫做反证法． 证明不是有理数． 证明：假设是有理数，则可设，其中为互质的正整数． 两边平方，变形后得．① 式表明，是偶数，从而也是偶数． 于是可令，l是正整数，代入①式，得． 因为是偶数，所以也是偶数． 这样有公因式2，这与互质矛盾． 因此，假设是有理数不成立． 于是，不是有理数． 从例1看出，反证法不是去直接证明结论，而是先否定结论，在否定结论的基础上，运用演绎推理，导出矛盾，从而肯定结论的真实性． 所谓矛盾主要是指： 与假设矛盾（上述例子便是导致了与已假设的矛盾）； 与数学公理、定理、公式、定义或已被证明了的结论矛盾； 与公认的简单事实矛盾（例如，导出0=1,00之类的矛盾）． 实质：反证法是利用互为逆否的命题具有等价性来进行证明的，即由一个命题与其逆否命题同真假，通过证明一个命题的逆否命题的正确，从而肯定原命题真实． 证明不能为同一等差数列的三项． 证明：假设是某一等差数列的三项．设这一等差数列的公差为d， 则． 消去d得． 因为为有理数，而为无理数，所以． 因此假设不成立，即不能为同一等差数列的三项． 平面上有四个点，没有三点共线．证明以每三点为顶点的三角形不可能都是锐角三角形． 证明：假设以每三点为顶点的三角形都是锐角三角形，记这四个点为A，B，C，D．考虑△ABC，点D在△ABC之内或之外两种情况： 如果点D在△ABC之内（图一），根据假设围绕点D的三个角都是锐角，其和小于2700，这与一个周角等于3600矛盾； 如果点D在△ABC之外（图二），根据假设∠A，∠B，∠C，∠D都小于900，这与四边形内角和等于3600矛盾． 综上所述，题中结论成立． 应用反证法证明数学命题的一般步骤： 分清题目的条件和结论； 做出与命题结论相矛盾的假定； 有假定出发，应用正确的推理方法，推出矛盾的结果； 断定产生矛盾结果的原因，在于开始所做的假定不真，于是原结论成立，从而间接地证明命题为真． 小结： 反证法的原理：“否定之否定等于肯定”，其中第一个“否定”是指否定结论；第二个“否定”是指逻辑推理结果否定了假设． 适宜用反证法证明的数学命题： 结论本身是以否定形式出现的一类命题； 关于唯一性、存在性的命题； 结论是以“至多”、“至少”等形式出现的命题； 结论的反面比原结论更具体更容易研究的命题． 练习：平面几何中，我们知道这样一个命题：“过在同一直线上的三点A、B、C不能作圆” ． 讨论如何证明这个命题？ 证明：先假设可以作一个⊙O过A、B、C三点， 则O在AB的中垂线l上，O又在BC的中垂线m上， 即O是l与m的交点． 但 ∵A、B、C共线，∴l∥m(矛盾) ∴ 过在同一直线上的三点A、B、C不能作圆． 习题讲解： 1．若，且，，， 求证：中至少有一个大于0． 证明：假设都不大于0，即，则． 而 ． ∵，且无论为任何实数，， ∴． 这与矛盾，所以中至少有一个大于0． 2．已知函数．用反证法证明方程没有负数根． 证明：假设方程有负数根，设为． 则有，且． ∴． ∵，∴， ∴． ∴． ∴．这与假设矛盾．故方程没有负数根． 设是公比为的等比数列，是它的前项和，求证：数列不是等比数列． 证明：假设是等比数列，则． ∴． ∵， ∴，即．与矛盾． ∴数列不是等比数列． 作业：P40/A-2,B-1,2-2A/3 高二数学教案（文科） 2