师：同学们好，欢迎再次走进今天的数学课堂。昨天，我们学习了证明不等式基本方法中的比较法。今天，我们将继续探讨证明不等式基本方法中的综合法与分析法。由于今天研究的依然是不等式的证明，所以首先来回顾一下不等式中的一些重要结论。第一个，大家还记得所学过的重要不等式吗？
生：若(a,b\in R)，则(a^{2}+b^{2}\geq2ab)，当且仅当(a = b)时，等号成立。
师：非常好。这个不等式表明，对于任意两个实数，它们的平方和与它们乘积之间存在这样一种转化关系。那基本不等式呢？
生：若(a,b\gt0)，则(\frac{a + b}{2}\geq\sqrt{ab})，当且仅当(a = b)时，等号成立。
师：没错。这里告诉我们，对于任意两个正数，可以借助基本不等式实现和与积之间的转化。这些运算上的转化，将为我们接下来不等式的证明提供基础。
第三，我们在选修系列中已经学习过证明的方法。其中直接证明提到过两种方法，也就是今天要用于证明不等式的综合法与分析法。接下来，老师和同学们一起通过实例，进一步体会这些方法在不等式证明中的应用。首先看例一。已知(a,b,c\gt0)且不全相等，求证(a(b^{2}+c^{2}) + b(c^{2}+a^{2}) + c(a^{2}+b^{2})\gt6abc)。我们可以看到，这个问题的条件很简单，就是(a,b,c)为三个不全相等的正数。观察要证明的结论，左边涉及三项，每一项结构特征类似，都是两个数的平方和与第三个数的乘积；右边是这三个实数乘积的(6)倍。这个不等式左右两边的差异，主要体现在运算上，涉及的数是一样的，左边除乘积外，括号里还有平方和运算，右边只有乘积。
结合这个不等式的结构特征，大家能想到用学过的什么知识来证明吗？
生：可以用重要不等式实现平方和与乘积的转化。
师：对。我们知道，因为(b^{2}+c^{2}\geq2bc)，且题目中(a\gt0)，利用不等式的性质可得(a(b^{2}+c^{2})\geq2abc)，这里等号成立的条件是(b = c)。按照类似方式，对于左边式子的第二项和第三项，也可以这样处理。因为(c^{2}+a^{2}\geq2ac)，同时(b\gt0)，所以(b(c^{2}+a^{2})\geq2abc)，等号成立的条件是(c = a)。同样，因为(a^{2}+b^{2}\geq2ab)，同时(c\gt0)，所以(c(a^{2}+b^{2})\geq2abc)，等号成立的条件是(a = b)。
观察这三个不等式，左边相加的结果就是待证不等式的左边，右边相加的结果就是右边待证不等式。为证明这个结论，利用不等式的同向可加性，将不等式两边相加。不过要注意，因为(a,b,c)不全相等，所以上面三个不等式中，至少有一个等号不能取。这样将三个不等式左右两边同时相加，建立的不等式不能添加等号。所以将上述不等式相加，得到(a(b^{2}+c^{2}) + b(c^{2}+a^{2}) + c(a^{2}+b^{2})\gt6abc)，就得到了待证的不等式。
同学们思考一下，在这个不等式证明过程中，有什么特点？
生：从已掌握的不等式知识，结合题目已知条件，逐步推导得出问题结论成立。
师：非常好。这其实就是综合法证明的特征。我们概括一下，一般从已知条件出发，利用定义、公理、定理、性质等，经过一系列推理论证得出命题成立，这种证明方法叫综合法，也叫顺推证法或由因导果法。从形的角度表示这个证法的特征，用(p)表示已知条件、定义、公理、定理、性质等，用(q)表示待证结论，综合法的推理过程就是从(p)出发推出中间结论(Q_1)，再推出中间结论(Q_2)、(Q_3)，直到得到中间结论(Q_n)，然后从(Q_n)推出问题结论成立。
一般什么样的不等式会采用综合法证明呢？
生：当问题的已知条件比较复杂，或者待证不等式一边较为复杂，另一边相对简单时，常选用综合法。
师：没错，其一般思路是从复杂的一边向简单的一边进行推理论证。
接下来看例二。已知(a_1,a_2,\cdots,a_n)都是正实数，且这(n)个数的乘积等于(1)，求证((1 + a_1)(1 + a_2)\cdots(1 + a_n)\geq2^n)。我们来分析条件，(a_1)到(a_n)都是正数且乘积为(1)，似乎很难直接发现与要证明结论的联系。再看要证明的不等式，左边有(n)个因式相乘，右边是(2)的(n)次方，也可看成(n)个(2)相乘，左边比右边复杂。从运算上看，左边每个因式是两数之和，右边只涉及乘积。同学们能想到借助什么知识论证吗？
生：可以用基本不等式将和转化为积。
师：对。对于第一个因式(1 + a_1)，因为(a_1\in R^+)，根据基本不等式可得(1 + a_1\geq2\sqrt{1\times a_1}=2\sqrt{a_1})。同样道理，(1 + a_2\geq2\sqrt{a_2})，一直到(1 + a_n\geq2\sqrt{a_n})。
这样得到(n)个不等式，观察发现将不等式左右两边分别相乘，可得到待证不等式左右两边。因为(a_1)到(a_n)都是正数，利用不等式同向可乘性，可得((1 + a_1)(1 + a_2)\cdots(1 + a_n)\geq2^n\sqrt{a_1a_2\cdots a_n})。又因为(a_1)到(a_n)的乘积等于(1)，所以结果可化简为(2^n)。
证明到这里还不能急于下结论，要对不等式中等号成立进行说明。由于等号是由上面(n)个不等式等号同时成立得到，每个不等式等号成立条件是相应的(a_i = 1)，所以原式在(a_1 = a_2 =\cdots = a_n = 1)时，不等式中等号成立，这样不等式证明才更完整。
通过以上两个问题，对综合法证明不等式的关键策略做个小结。在不等式证明过程中，要着力分析已知和求证之间、不等式左右两端之间的差异和联系，比如分析不等式两边涉及的字母及运算，选用恰当的已知不等式进行论证。第二，综合法证明不等式时常利用不等式基本性质，如同向不等式相加、同向不等式相乘等，但运用这些性质时，一定要注意成立的前提条件，尤其相乘时要注意符号特征。