2014秋冀教版数学八上17.5《反证法》ppt课件1_反证法的逻辑形式

### 反证法的概念及其应用 #### 一、反证法的基本原理 反证法是一种常用的数学证明方法，尤其在证明某些命题时非常有效。它的基本思路是：假设待证明的命题的否定为真，然后通过一系列逻辑推理，导出矛盾的结果，从而证明原命题的真实性。这种证明方法的关键在于构造合理的假设，并能够清晰地展示出从假设到矛盾结果的逻辑链条。 #### 二、案例分析 ##### 1. **王戎判断李子的故事** 故事讲述了少年王戎通过逻辑推理判断出路边的李子一定是苦的。在这个案例中，王戎使用的是一种间接推理的方法。具体来说： - 假设：“李子甜”； - 推理：如果李子甜，则应该被路人采摘殆尽，不会有很多李子留在树上； - 矛盾：但实际上，树上却结满了果实； - 结论：因此，“李子甜”的假设不成立，故“树在道边而多子,此必苦李”。 这个例子展示了反证法的基本框架：通过假设结论的反面，然后找出与实际情况不符的地方，从而推翻假设，证明原始结论的真实性。 ##### 2. **三角形中不可能有两个钝角的证明** 题目要求证明“一个三角形中不可能有两个钝角”。证明过程如下： - **假设**：假设三角形ABC中∠A和∠B都是钝角； - **推理**：由于钝角大于90度，因此∠A + ∠B > 180°，再加上第三个角∠C，得到∠A + ∠B + ∠C > 180°； - **矛盾**：但是我们知道三角形内角和定理表明三角形的三个内角之和等于180度，这与上面的推导结果相矛盾； - **结论**：因此，假设不成立，即一个三角形中不可能有两个钝角。 ##### 3. **两条平行线被第三条直线所截，同位角相等的证明** 题目要求证明“两条平行线被第三条直线所截，同位角相等”。证明过程如下： - **假设**：假设∠1 ≠ ∠2； - **构造辅助线**：过点G作直线MN，使得∠EGN = ∠1； - **推理**：由于∠EGN = ∠1，根据同位角相等的性质，可得MN∥CD；又因为AB∥CD，那么根据平行线的性质，过点G有两条不同的直线AB和MN都与直线CD平行； - **矛盾**：这与公理“经过已知直线外一点，有且只有一条直线与已知直线平行”相矛盾； - **结论**：因此，假设不成立，即∠1 = ∠2。 #### 三、反证法的应用步骤 1. **假设**：首先明确要证明的结论，然后假设该结论的否定为真。 2. **推理**：基于假设进行推理，尝试推出矛盾结果。 3. **矛盾**：找到与已知条件、定义、定理等相矛盾的结果。 4. **结论**：由矛盾结果推翻最初的假设，从而证明原始结论的真实性。 #### 四、反证法的实际应用 反证法不仅适用于数学证明，在日常生活中的逻辑推理中也非常有用。例如，在解决复杂问题时，可以通过假设问题的不同解决方案，然后逐步分析每个方案的可行性，找出其中的不合理之处，最终确定最佳解决方案。 #### 五、总结 通过上述案例分析，我们可以看出反证法是一种非常有效的证明工具。它不仅能够帮助我们解决数学中的难题，还能应用于日常生活中的逻辑推理。掌握反证法的基本思想和步骤对于提高解决问题的能力至关重要。