师：同学们好，今天我们一起来学习高中数学，人民教育出版社A版高二选修2 - 2第二章第二节直接证明与间接证明第一课时。前面我们已经学习了推理的有关知识，人们在生产活动和科学研究中经常使用两种推理：合情推理与演绎推理。其中合情推理包括归纳（由特殊到一般）、类比（由特殊到特殊），演绎推理是由一般到特殊，其基本模式为三段论。演绎推理是证明数学结论、建立数学体系的重要思维过程，而数学结论证明思路的发现主要靠合情推理。我们知道，合情推理所得结论的正确性是需要证明的，这是数学区别于其他学科的显著特点，数学结论的正确性必须通过逻辑推理的方式加以证明。
在第二章第二节，我们将学习两类基本的证明方法：直接证明与间接证明。综合法和分析法是直接证明中最基本的两种证明方法，也是解决数学问题时常用的思维方式。在数学证明中，我们经常从已知条件和某些数学定义、公理、定理等出发，通过推理推导出所要的结论。
现在请同学们思考：已知(a\gt0)，(b\gt0)，求证(a(b^{2}+c^{2}) + b(c^{2}+a^{2})\geq4abc)。大家联想到什么知识呢？
生：从题目的结构特征，我们想到了重要不等式。
师：很好，本题可作如下证明：因为(b^{2}+c^{2}\geq2bc)，(a\gt0)，所以(a(b^{2}+c^{2})\geq2abc)。又因为(c^{2}+a^{2}\geq2ca)，(b\gt0)，所以(b(c^{2}+a^{2})\geq2abc)。那么(a(b^{2}+c^{2}) + b(c^{2}+a^{2})\geq4abc)。
一般的，像这样利用已知条件和某些数学定义、公理、定理等，经过一系列的推理论证，最后推导出所要证明的结论成立，这种证明方法叫做综合法，又叫顺推证法。用(P)表示已知条件、已有的定义、公理、定理等，(Q)表示所要证明的结论，则综合法可用框图表示为：(P)推导出(Q_1)，进而(Q_1)推导出(Q_2)，接着(Q_2)推导出(Q_3)，这样逐步推理下去，最后(Q_i)推导出(Q)。综合法的思维特点是由因导果。
接下来我们一起探究典型例题。已知(a)、(b)、(c)是不全相等的正数，求证(\log_{10}\frac{a + b}{2} + \log_{10}\frac{b + c}{2} + \log_{10}\frac{c + a}{2}\gt\log_{10}a + \log_{10}b + \log_{10}c)。同学们，这个问题该如何解决呢？
生：从题目的结构特征，我们想到了基本不等式(a + b\geq2\sqrt{ab})。
师：是的，同学们回答得很好。如果我们在不等式两边同时取常用对数，再结合对数的运算性质，就可以转化到不等号右边我们所需要的形式。所以对本题我们可以做如下证明：因为(a)，(b)，(c\gt0)，所以(\frac{a + b}{2}\geq\sqrt{ab})。同理，(\frac{b + c}{2}\geq\sqrt{bc})，(\frac{c + a}{2}\geq\sqrt{ca})。此时我们在这些不等式两边同时取常用对数，所以(\log_{10}\frac{a + b}{2}\geq\log_{10}\sqrt{ab})，由对数的运算性质，它可以变形成(\frac{1}{2}(\log_{10}a + \log_{10}b))。同理，(\log_{10}\frac{b + c}{2}\geq\log_{10}\sqrt{bc}=\frac{1}{2}(\log_{10}b + \log_{10}c))，(\log_{10}\frac{c + a}{2}\geq\log_{10}\sqrt{ca}=\frac{1}{2}(\log_{10}c + \log_{10}a))。
以上三式相加，且注意到(a)、(b)、(c)不全相等，所以(\log_{10}\frac{a + b}{2} + \log_{10}\frac{b + c}{2} + \log_{10}\frac{c + a}{2}\gt\log_{10}a + \log_{10}b + \log_{10}c)。本题总结：综合运用已知条件、基本不等式性质以及对数的运算性质来证明。
学过了定义以后，我们来练一练，巩固训练。已知(x)、(y)、(z)是实数，(a)、(b)、(c)是正实数，求证(\frac{b + c}{a}x^{2} + \frac{c + a}{b}y^{2} + \frac{a + b}{c}z^{2}\geq2(xy + yz + zx))。请同学们动动脑，动动手，练一练。我们一起来看一下本道题目的证明。
由于(x)、(y)、(z)是实数，(a)、(b)、(c)是正实数，不等式的左边我们可以变形为(\frac{b}{a}x^{2} + \frac{c}{a}x^{2} + \frac{c}{b}y^{2} + \frac{a}{b}y^{2} + \frac{a}{c}z^{2} + \frac{b}{c}z^{2})。观察一下这个式子，如果我们把(\frac{b}{a}x^{2})与后面的(\frac{a}{b}y^{2})这两项放在一起，则它们的和由重要不等式可得大于等于(2xy)。同理，如果我们把(\frac{c}{b}y^{2})与(\frac{b}{c}z^{2})放在一起，和大于等于(2yz)，而(\frac{a}{c}z^{2})与(\frac{c}{a}x^{2})放在一起，这两项之和大于等于(2zx)。此时我们提取系数(2)就可以得到(2(xy + yz + zx))，这恰好是我们要证不等式的右边。所以(\frac{b + c}{a}x^{2} + \frac{c + a}{b}y^{2} + \frac{a + b}{c}z^{2}\geq2(xy + yz + zx))。
通过巩固训练一，我们明白了综合法证明问题的步骤：
第一步，分析条件，选择方向。仔细分析题目的已知条件，分析已知与结论之间的联系区别，选择相关的定理、公式、结论，确定恰当的解题方法。
第二步，转化条件，组织过程。将已知条件转化成解题所需要的语言，主要是文字、符号、图形三种语言之间的转化。组织过程时要有严密的逻辑，简洁的语言、清晰的思路。
第三步，适当调整，回顾反思。解题后回顾解题过程，可对部分步骤进行调整，并对一些语言进行适当修饰，总结解题方法的选取。
综合法证明不等式主要是不等式基本性质和重要不等式的应用，其中常用的有：(a^{2}\geq0)（(a)是实数），((a - b)^{2}\geq0)（(a)，(b)是实数），变形有(a^{2} + b^{2}\geq2ab)，(a^{2} + b^{2}\geq\frac{(a + b)^{2}}{2})，(a^{2} + b^{2} + c^{2}\geq ab + bc + ca)。若(a)，(b)是正实数，则(\frac{a + b}{2}\geq\sqrt{ab})，特别是(\frac{b}{a} + \frac{a}{b}\geq2)。