第4讲直接证明与间接证明一、知识梳理1．直接证明直接证明中最基本的两种证明方法是综合法和分析法．(1)综合法：一般地，利用已知条件和某些数学定义、定理、公理等，经过一系列的推理论证，最后推导出所要证明的结论成立，这种证明方法叫做综合法．综合法又称为：由因导果法(顺推证法)．(2)分析法：一般地，从要证明的结论出发，逐步寻求使它成立的充分条件，直至最后，把要证明的结论归结为判定一个明显成立的条件(已知条件、定理、定义、公理等)，这种证明方法叫做分析法．分析法又称为：执果索因法(逆推证法)．2．间接证明反证法：假设原命题不成立，经过正确的推理，最后得出矛盾，因此说明假设错误，从而证明了原命题成立，这样的证明方法叫做反证法．常用结论1．分析法是执果索因，实际上是寻找使结论成立的充分条件；综合法是由因导果，就是寻找已知的必要条件．2．用反证法证题时，首先否定结论，否定结论就是找出结论反面的情况，然后推出矛盾，矛盾可以与已知、公理、定理、事实或者假设等相矛盾．二、习题改编1．(选修12P42练习T1改编)对于任意角θ，化简cos4θ－sin4θ＝()A．2sinθB．2cosθC．sin2θD．cos2θ解析：选D
因为cos4θ－sin4θ＝(cos2θ－sin2θ)(cos2θ＋sin2θ)＝cos2θ－sin2θ＝cos2θ，故选D
2．(选修12P42练习T2改编)设m＝1＋，n＝2，则m与n的大小关系是()A．m＞nB．m≥nC．m＜nD．m≤n解析：选C
法一：m2－n2＝(1＋)2－(2)2＝4＋2－8＝2－4＝－＜0，又m＞0，n＞0
所以m＜n，故选C
法二：假设m≥n，即1＋≥2
则有(1＋)2≥(2)2，即4＋2≥8，即2≥4，即≥2，即3≥4，显然错误，所以m＜n，故选C
一、思考辨析判断正误(正确的打“√”，错误的打“×”)(1)综合法的思维过程是由因导果，
