高中数学-第二章-推理与证明-2.2.1-综合法和分析法学案（含解析）新人教A版选修2-2.docVIP

2.2.1　综合法和分析法 [学习目标] 1．了解直接证明的两种基本方法——综合法和分析法． 2．理解综合法和分析法的思考过程、特点，会用综合法和分析法证明数学问题． [知识链接] 1．综合法与分析法的推理过程是合情推理还是演绎推理？ 答　综合法与分析法的推理过程是演绎推理，因为综合法与分析法的每一步推理都是严密的逻辑推理，从而得到的每一个结论都是正确的，不同于合情推理中的“猜想” 2．必修五中基本不等式≥(a0，b0)是怎样证明的？ 答　要证≥， 只需证a＋b≥2， 只需证a＋b－2≥0， 只需证(－)2≥0， 因为(－)2≥0显然成立，所以原不等式成立． [预习导引] 1．综合法 一般地，利用已知条件和某些数学定义、公理、定理等，经过一系列的推理论证，最后推导出所要证明的结论成立，这种证明方法叫做综合法． 2．分析法 分析法是从要证明的结论出发，逐步寻求使它成立的充分条件，直至最后，把要证明的结论归结为判定一个明显成立的条件(已知条件、定理、定义、公理等)为止． 要点一　综合法的应用 例1　在ABC中，三个内角A、B、C对应的边分别为a、b、c，且A、B、C成等差数列，a、b、c成等比数列，求证：ABC为等边三角形． 证明　由A、B、C成等差数列，有2B＝A＋C. 因为A、B、C为ABC的内角，所以A＋B＋C＝π. 由，得B＝. 由a、b、c成等比数列，有b2＝ac. 由余弦定理及， 可得b2＝a2＋c2－2accos B＝a2＋c2－ac. 再由，得a2＋c2－ac＝ac， 即(a－c)2＝0，因此a＝c， 从而有A＝C. 由，得A＝B＝C＝.所以ABC为等边三角形． 规律方法　利用综合法证明问题的步骤： (1)分析条件选择方向：仔细分析题目的已知条件(包括隐含条件)，分析已知与结论之间的联系与区别，选择相关的公理、定理、公式、结论，确定恰当的解题方法． (2)转化条件组织过程：把题目的已知条件，转化成解题所需要的语言，主要是文字、符号、图形三种语言之间的转化，组织过程时要有严密的逻辑，简洁的语言，清晰的思路． (3)适当调整回顾反思：解题后回顾解题过程，可对部分步骤进行调整，并对一些语言进行适当的修饰，反思总结解题方法的选取． 跟踪演练1　已知a，b是正数，且a＋b＝1，求证：＋≥4. 证明　法一　a，b是正数且a＋b＝1， a＋b≥2，≤，＋＝＝≥4. 法二　a，b是正数，a＋b≥20， ＋≥2 0， (a＋b)≥4. 又a＋b＝1，＋≥4. 法三　＋＝＋＝1＋＋＋1≥2＋2 ＝4.当且仅当a＝b时，取“＝”号． 要点二　分析法的应用 例2　设a，b为实数，求证：≥(a＋b)． 证明　当a＋b≤0时，≥0， ≥(a＋b)成立． 当a＋b0时，用分析法证明如下： 要证≥(a＋b)， 只需证()2≥2， 即证a2＋b2≥(a2＋b2＋2ab)，即证a2＋b2≥2ab. a2＋b2≥2ab对一切实数恒成立， ≥(a＋b)成立．综上所述，不等式得证． 规律方法　用分析法证明不等式时应注意 (1)分析法证明不等式的依据是不等式的基本性质、已知的重要不等式和逻辑推理的基本理论； (2)分析法证明不等式的思维是从要证不等式出发，逐步寻求使它成立的充分条件，最后得到的充分条件是已知(或已证)的不等式； (3)用分析法证明数学命题时，一定要恰当地用好“要证明”、“只需证明”、“即证明”等词语． 跟踪演练2　已知a，b是正实数，求证：＋≥＋. 证明　要证＋≥＋， 只要证a＋b≥·(＋)． 即证(a＋b－)(＋)≥(＋)， 因为a，b是正实数， 即证a＋b－≥， 也就是要证a＋b≥2， 即(－)2≥0. 该式显然成立，所以＋≥＋. 要点三　综合法和分析法的综合应用 例3　已知a、b、c是不全相等的正数，且0x1. 求证：logx＋logx＋logxlogxa＋logxb＋logxc. 证明　要证明： logx＋logx＋logxlogxa＋logxb＋logxc， 只需要证明logxlogx(abc)． 由已知0x1，只需证明··abc. 由公式≥0，≥0，≥0， 又a，b，c是不全相等的正数， ··＝abc. 即··abc成立． logx＋logx＋logxlogxa＋logxb＋logxc成立． 规律方法　综合法推理清晰，易于书写，分析法从结论入手，易于寻找解题思路，在实际证明命题时，常把分析法与综合法结合起来使用，称为分析综合法，其结构特点是：根据条件的结构特点去转化结论，得到中间结论Q；根据结论的结构特点去转化条件，得到中间结论P；若由P可推出Q，即可得证． 跟踪演练3　设实数a，b，c成等比数列，非零实数x，y分别为a与b，b与c的等差中项，试证：＋＝2. 证明　由已知条件得b2＝ac， 2x＝a＋b,2y＝b＋c. 要证＋＝2