要证明a+b+c≥,
只需证明(a+b+c)2≥3,
即a2+b2+c2+2(ab+bc+ca)≥3,
只要证明a2+b2+c2≥1,(*)
又a2+b2+c2≥ab+bc+ca=1,
因此(*)成立,故原不等式a+b+c≥成立.
[探究共研型]
分析综合法证明不等式 探究1 分析法和综合法的逻辑关系是怎样的?
【提示】 综合法:A⇒B1⇒B2⇒...⇒Bn⇒B,(已知)(逐步推演不等式成立的必要条件)(结论).
分析法:B⇐Bn⇐Bn-1⇐...⇐B1⇐A,(结论)(步步寻求不等式成立的充分条件)(已知).
探究2 在证明不等式的过程中,分析法、综合法常常是不能分离的,那么往往在什么情况下使用?如何证明?
【提示】 如果使用综合法证明不等式难以入手时常用分析法探索证题的途径,之后用综合法形式写出它的证明过程,以适应人们习惯的思维规律.有时问题的证明难度较大,常使用分析综合法,实现从两头往中间靠以达到证题目的.
设实数x,y满足y+x2=0,且0 【精彩点拨】 借助分析法探路,然后利用综合法证明,若盲目用综合法推进,容易受阻. 【自主解答】 ∵0 欲证loga(ax+ay)<+loga2,