（寒假总动）2015年高二数学寒假作业 专题17 直接证明与间接证明（背）.docVIP

专题17 直接证明与间接证明 【背一背】 1.综合法证明 1．定义：一般地，从命题的已知条件出发，利用公理、已知的定义及定理等，经过一系列的推理论证，最后推导出所要证明的结论成立，这种证明方法叫做综合法. 2．综合法的的基本思路：执因索果 综合法又叫“顺推证法”或“由因导果法”.它是由已知走向求证，即从数学题的已知条件出发，经过逐步的逻辑推理，最后导出待证结论或需求的问题． 综合法这种由因导果的证明方法，其逻辑依据是三段论式的演绎推理方法． 3．综合法的思维框图：用表示已知条件，为定义、定理、公理等，表示所要证明的结论，则综合法可用框图表示为： （已知） （逐步推导结论成立的必要条件） （结论） 要点诠释 （1）从“已知”看“可知”，逐步推出“未知”，由因导果，其逐步推理实际上是寻找它的必要条件； （2）用综合法证明不等式，证明步骤严谨，逐层递进，步步为营，条理清晰，形式简洁，宜于表达推理的思维轨迹； （3）因用综合法证明命题“若A则D”的思考过程可表示为： 故要从A推理到D，由A推演出的中间结论未必唯一，如B、B1、B2等，可由B、B1、B2进一步推演出 的中间结论则可能更多，如C、C1、C2、C3、C4等等．所以如何找到“切入点”和有效的推理途径是有 效利用综合法证明问题的“瓶颈”． 4．综合法证明不等式时常用的