第05节 直接证明与间接证明.doc

第五节　直接证明与间接证明 考点 高考试题 考查内容 核心素养 直接证明与间接证明 未单独考查 命题分析 对直接证明和间接证明的考查主要作为证明和推理数学命题的方法，常与函数、数列、不等式、立体几何、解析几何等综合考查. 1．直接证明 综合法 分析法 定义 从命题的条件出发，利用定义、公理、定理及运算法则，通过演绎推理，一步一步地接近要证明的结论，直到完成命题的证明，这样的思维方法称为综合法. 从求证的结论出发，一步一步地探索保证前一个结论成立的充分条件，直到归结为这个命题的条件，或者归结为定义、公理、定理等，这样的思维方法称为分析法. 思维 过程 由因导果 执果索因 证题 步骤 P(已知)P1?P2?…?Pn?Q(结论) Q(结论)Q1?Q2?…?Qn?P(已知) 文字 语言 因为……，所以……或由……，得…… 要证……，只需证……，即证…… 符号 语言 ? 2．间接证明 反证法 定义 在证明数学命题时，先假定命题结论的反面成立，在这个前提下，若推出的结果与定义、公理、定理相矛盾，或与命题中的已知条件相矛盾，或与假定相矛盾，从而说明命题结论的反面不可能成立，由此断定命题的结论成立．这种证明方法叫作反证法．证明 步骤 (1)作出否定结论的假设； (2)进行推理，导出矛盾； (3)否定假设，肯定结论． 适用 范围 (1)否定性命题； (2)命题的结论中