资源描述：
《高中数学第二章推理与证明2.2直接证明与间接证明2.2.1.2分析法课件新人教A版.pptx》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。
1、第2课时分析法分析法在很多领域都有它的应用利用已知条件和某些数学定义、定理、公理等,经过一系列的推理论证,最后推导出所要证明的结论成立,这种证明方法叫做综合法.其特点是:“由因导果”.用P表示已知条件、已有的定义、公理、定理等,Q表示所要证明的结论.则综合法用框图表示为:…综合法是由一个个推理组成的综合法是万事开头难，虽然万事开头难，但有时候进展更难.会需要高超的技巧，深刻的解题指导思想.但开头难怎么办？如何找到开头呢？1.结合已经学过的数学实例，了解直接证明的两种基本方法之一的分析法.（重点）2.了解分析法的思考过程、特点.（难点）探究点分析法的定义引例：证明不等式：证法1:因为所以所以所
2、以成立证法1:因为所以所以所以成立只需证只需证只需证因为成立所以成立综合法分析法证法2:要证思考：上述两种证法有什么异同？都是直接证明证法1从已知条件出发，以已知的定义、公理、定理为依据，逐步下推，直到推出要证明的结论为止.综合法相同不同证法2从问题的结论出发，追溯导致结论成立的条件，逐步上溯，直到一个明显使结论成立的条件.分析法分析法结论已知条件综合法已知条件结论综合法和分析法的推证过程如下：一般地，从要证明的出发，逐步寻求使它成立的，直至最后，把要证明的结论归结为判定一个明显成立的条件（已知条件、定理、定义、公理等）为止，这种证明的方法叫做分析法.其特点是：执果索因，即要证结果Q，只需证
3、条件P.分析法（逆推证法或执果索因法）结论充分条件得到一个明显成立的条件…类似于综合法，我们也可以用框图来表示分析法.用Pi表示使所要证明结论成立的充分条件，Q表示所要证明的结论,则分析法的思路过程，特点用框图表示为:注意：证明最后面的明显成立的条件可以是：已知条件、定理、定义、公理等.分析法又叫执果索因法，若使用分析法证明：设a>b>c，且a+b+c=0，求证欲索的因应是（）A.a-b>0B.a-c>0C.(a-b)(a-c)>0D.(a-b)(a-c)<0【解题关键】要想找到“因”，就得从“果”入手，在化简的过程中将b=-a-c代入得a,c关系式，再利用b=-a-c代换b，即可.【即时训
4、练】C分析：从待证不等式不易发现证明的出发点，因此我们直接从待证不等式出发，分析其成立的充分条件.在本例中，如果我们从“21<25”出发，逐步倒推回去，就可以用综合法证出结论.但由于我们很难想到从“21<25”入手，所以用综合法比较困难.【提升总结】【易错点拨】1.判断：(1)分析法就是从结论推向已知.()(2)分析法的推理过程要比综合法优越.()(3)所有证明的题目均可使用分析法证明.()×××例2如图,SA⊥平面ABC,AB⊥BC,过A作SB的垂线,垂足为E,过E作SC的垂线,垂足为F,求证AF⊥SC.FESCBA分析：本例所给的已知条件中，垂直关系较多，我们不容易确定如何在证明中使用它
5、们，因而综合法比较困难.这时，可以从结论出发，逐步反推，寻求使当前命题成立的充分条件.证明:证法一：要证AF⊥SC只需证SC⊥平面AEF只需证AE⊥SC只需证AE⊥平面SBC只需证AE⊥BC只需证BC⊥平面SAB只需证BC⊥SA由SA⊥平面ABC可知，上式成立.所以AF⊥SC成立还有其他证明方法吗？证法二:因为SA⊥平面ABC所以AE⊥BC又因为AE⊥SB,且BC∩SB=B所以AE⊥平面SBC所以AE⊥SC又因为EF⊥SC,且AE∩EF=E所以SC⊥平面AEF所以AF⊥SC所以BC⊥SA所以BC⊥平面SAB又因为AB⊥BC,且AB∩SA=A如果，则实数a,b应满足的条件是__________
6、.【解析】要使成立，只需只需a3＞b3＞0，即a,b应满足a＞b＞0.【变式练习】a＞b＞0分析：比较已知条件和结论，发现结论中没有出现角,因此第一步工作可以从已知条件中消去.观察已知条件的结构特点，发现其中蕴含数量关系（sin+cos)2-2sincos=1,于是，由(1)2-2×(2)得4sin2α-2sin2β=1.把4sin2α-2sin2β=1与结论相比较，发现角相同，但函数名称不同，于是尝试转化结论；统一函数名称，即把正切函数化为正（余）弦函数.把结论转化为cos2α-sin2α=(cos2β-sin2β),再与4sin2α-2sin2β=1比较，发现只要把cos2α
7、-sin2α=(cos2β-sin2β)中的角的余弦转化为正弦，就能达到目的.由于上式与（3）相同，于是问题得证.【提升总结】分析法和综合法是思维方向相反的两种思考方法.在数学解题中，分析法是从数学题的待证结论或需求问题出发，一步一步地探索下去，最后达到题设的已知条件.综合法则是从数学题的已知条件出发，经过逐步的逻辑推理，最后达到待证结论或需求问题.对于解答证明来说，分析法表现为执果索因，综合法表现为由因导果
