因为(－)2≥0显然成立，所以原不等式成立．

答案　从结论出发开始证明，寻找使证明结论成立的充分条件，最终把要证明的结论变成一个明显成立的条件．

梳理　分析法的定义及特征

(1)定义：从求证的结论出发，一步一步地探索保证前一个结论成立的充分条件，直到归结为这个命题的条件，或者归结为定义、公理、定理等．我们把这样的思维方法称为分析法．

(2)思路：分析法的基本思路是"执果索因"．

(3)模式：若用Q表示要证明的结论，则分析法可以用如下的框图来表示：

→→→...→

1．综合法是执果索因的逆推证法．(　×　)

2．分析法就是从结论推向已知．(　×　)

3．分析法与综合法证明同一问题时，一般思路恰好相反，过程相逆．(　√　)

类型一　用综合法证明不等式

例1　已知a，b，c∈R，且它们互不相等，求证：a4＋b4＋c4＞a2b2＋b2c2＋c2a2.

考点　综合法及应用

题点　利用综合法解决不等式问题

证明　∵a4＋b4≥2a2b2，b4＋c4≥2b2c2，a4＋c4≥2a2c2，

∴2(a4＋b4＋c4)≥2(a2b2＋b2c2＋c2a2)，

即a4＋b4＋c4≥a2b2＋b2c2＋c2a2.

又∵a，b，c互不相等，

∴a4＋b4＋c4＞a2b2＋b2c2＋c2a2.