专题08-直接证明与间接证明-Word版含解析.docVIP

专题08 直接证明与间接证明 【知识点总结】 1．直接证明 直接证明中最基本的两种证明方法是综合法和分析法． (1)综合法：一般地，利用已知条件和某些数学定义、定理、公理等，经过一系列的推理论证，最后推导出所要证明的结论成立，这种证明方法叫做综合法． 综合法又称为：由因导果法(顺推证法)． (2)分析法：一般地，从要证明的结论出发，逐步寻求使它成立的充分条件，直至最后，把要证明的结论归结为判定一个明显成立的条件(已知条件、定理、定义、公理等)为止，这种证明方法叫做分析法． 分析法又称为：执果索因法(逆推证法)． 2．间接证明 反证法：假设原命题不成立，经过正确的推理，最后得出矛盾，因此说明假设错误，从而证明了原命题成立，这样的证明方法叫做反证法． 【思路分析】 (1)综合法证题的一般思路 用综合法证明命题时，必须首先找到正确的出发点，也就是能想到从哪里起步，我们一般的处理方法是广泛地联想已知条件所具备的各种性质，逐层推进，从而由已知逐步推出结论． (2)分析法证题的一般思路 分析法的思路是逆向思维，用分析法证题必须从结论出发，倒着分析，寻找结论成立的充分条件．应用分析法证明问题时要严格按分析法的语言表达，下一步是上一步的充分条件． (3)反证法证题的一般思路 反证法证题的实质是证明它的逆否命题成立．反证法的主要依据是逻辑中的排中律，排中律的一般形式是：或者是A，或者是非A，即在同一讨论过程中，A和非A有且仅有一个是正确的，不能有第三种情况出现． 题型一　综合法 【例1】　已知数列{an}满足a1＝eq \f(1,2)且an＋1＝an－aeq \o\al(2,n)(n∈N*)． (1)证明：1eq \f(an,an＋1)≤2(n∈N*)； (2)设数列{aeq \o\al(2,n)}的前n项和为Sn，证明：eq \f(1,2（n＋2）)eq \f(Sn,n)≤eq \f(1,2（n＋1）)(n∈N*)． 【证明】　(1)由题意得an＋1－an＝－aeq \o\al(2,n)0，即an＋1an， 故an≤eq \f(1,2). 由an＝(1－an－1)an－1得 an＝(1－an－1)(1－an－2)…(1－a1)a10. 由0an≤eq \f(1,2)得eq \f(an,an＋1)＝eq \f(an,an－aeq \o\al(2,n))＝eq \f(1,1－an)∈(1，2]， 即1eq \f(an,an＋1)≤2(n∈N*)． (2)由题意得aeq \o\al(2,n)＝an－an＋1，所以Sn＝a1－an＋1.① 由eq \f(1,an＋1)－eq \f(1,an)＝eq \f(an,an＋1)和1eq \f(an,an＋1)≤2得1eq \f(1,an＋1)－eq \f(1,an)≤2， 所以neq \f(1,an＋1)－eq \f(1,a1)≤2n， 因此eq \f(1,2（n＋1）)≤an＋1eq \f(1,n＋2)(n∈N*)．② 由①②得eq \f(1,2（n＋2）)eq \f(Sn,n)≤eq \f(1,2（n＋1）)(n∈N*)． 【变式1】　在△ABC中，设a，b，c分别是内角A，B，C所对的边，且直线bx＋ycos A＋cos B＝0与ax＋ycos B＋cos A＝0平行，求证：△ABC是直角三角形． [证明] 法一：由两直线平行可知bcos B－acos A＝0，由正弦定理可知sin Bcos B－sin Acos A＝0，即eq \f(1,2)sin 2B－eq \f(1,2)sin 2A＝0，故2A＝2B或2A＋2B＝π，即A＝B或A＋B＝eq \f(π,2).若A＝B，则a＝b，cos A＝cos B，两直线重合，不符合题意，故A＋B＝eq \f(π,2)，即△ABC是直角三角形． 法二：由两直线平行可知bcos B－acos A＝0， 由余弦定理，得a·eq \f(b2＋c2－a2,2bc)＝b·eq \f(a2＋c2－b2,2ac)， 所以a2(b2＋c2－a2)＝b2(a2＋c2－b2)， 所以c2(a2－b2)＝(a2＋b2)(a2－b2)， 所以(a2－b2)(a2＋b2－c2)＝0，所以a＝b或a2＋b2＝c2. 若a＝b，则两直线重合，不符合题意， 故a2＋b2＝c2，即△ABC是直角三角形． 题型二　分析法 【例2】　已知m＞0，a，b∈R，求证：eq \b\lc\(\rc\)(\a\vs4\al\co1(\f(a＋mb,1＋m)))eq \s\up12(2)≤eq \f(a2＋mb2,1＋m). 【证明】　因为m＞0，所以1＋m＞0， 所以要证eq \b\lc\(\rc\)(\a\vs4\al\co1(\f(a＋mb,1＋m)))eq \s\up12(2)≤eq \f(a