2014届高考理科数学一轮复习课件（广东省专用）：第十三章算法初步、推理与证明、复数13.4直接证明与间接证明.pptVIP

13.4 直接证明与间接证明 1．直接证明 包括综合法和分析法．从已知条件出发，以已知的定义、公理、定理为依据，逐步下推，直到推出要证明的结论为止，这种证明方法称为_______．从问题的结论出发，追溯导致结论成立的条件，逐步上溯，直到使结论成立的条件和已知条件吻合为止，这种证明方法称为________． (1)综合法是“由因导果”．它是从______________，顺着推证．用综合法证明命题的逻辑关系是：A?B1?B2?…?Bn?B(A为已知条件、已经证明过的命题，B为要证的命题)．它的常见书面表达是“∵，∴”或“?”． (2)分析法是“执果索因”，一步步寻求上一步成立的充分条件，它是从____________________，倒着分析，由未知想需知，由需知逐渐地靠近已知(已知条件、定义、定理、公理、公式、法则等)．这种证明方法的关键在于需分析过程的每一步都是可以逆推的，用分析法证明命题的逻辑关系是：B?B1?B2?…?Bn?A.它常见的书面表达是“要证…，只需…”或“?”． 【名师点睛】　综合法、分析法都是直接证明中的主要方法，广泛应用于各部分的证明题中，其逻辑依据是“三段论”式的演绎推理方法． 2．间接证明 主要方法是反证法．从________________________，以有关的定义、公理、定理为依据，结合原命题的条件进行推理，直到得出矛盾，从而断定原命题结