师：同学们好，今天我们学习高中数学人教a版选修4 - 5第三讲第一课——二维形式的柯西不等式。之前我们学习了不等式的性质、基本不等式、绝对值不等式以及不等式的证明方法。其中有个重要不等式：(a^{2} + b^{2} \geq 2ab)，这个不等式反映了两个实数的平方和与它们乘积的大小关系。大家知道它是怎么证明的吗？
生：通过做差法。
师：对，把两个式子做差，(a^{2} + b^{2} - 2ab = (a - b)^{2})，根据平方的非负性，((a - b)^{2} \geq 0)，这个不等式就证明出来了。现在我们考虑乘积((a^{2} + b^{2})(c^{2} + d^{2}))，它涉及4个实数，形式上也与平方和有关。大家能类比(a^{2} + b^{2} \geq 2ab)的推导过程，研究一下这个式子的不等关系吗？把该式展开，得到(a^{2}c^{2} + a^{2}d^{2} + b^{2}c^{2} + b^{2}d^{2})。我们把(a^{2}c^{2})与(b^{2}d^{2})组合在一起，中间两项组合在一起，构造两个完全平方式，中间的(2abcd)互相抵消。因为((ad - bc)^{2} \geq 0)，所以((a^{2} + b^{2})(c^{2} + d^{2}) \geq (ac + bd)^{2})。
生：这个不等式何时取等号呢？
师：根据刚才分析，当((ad - bc)^{2} = 0)，即(ad = bc)时，不等式取等号。这个不等式反映了四个实数特定的数量关系，不仅排列形式规律明显，具有简洁对称的美感，在数学和物理中还有很多重要应用，我们称它为二维形式的柯西不等式。我们总结一下，就得到定理一：若(a)、(b)、(c)、(d)都是实数，则((a^{2} + b^{2})(c^{2} + d^{2}) \geq (ac + bd)^{2})，当且仅当(ad = bc)时，等号成立。那为什么叫二维形式的柯西不等式呢？从形式上看，每个括号里都是二项式，所以叫二维形式；又因为是柯西首先发现的，所以叫柯西不等式。柯西是法国大科学家，在数学上有很多重要贡献。同学们课下可以去网上查阅柯西的相关事迹。有了柯西不等式，为应用方便，我们研究一下它的变形式。如果把柯西不等式两边同时取算数平方根，会得到什么呢？
生：得到(\sqrt{(a^{2} + b^{2})(c^{2} + d^{2})} \geq |ac + bd|)。
师：对，又因为(\sqrt{(ac + bd)^{2}} = |ac + bd|)，这样就得到了第一个推论。再看第二个推论，利用第一个推论，把(a)、(b)、(c)、(d)换成(|a|)、(|b|)、(|c|)、(|d|)，使用第一个推论得到结果后，把外面的绝对值去掉，就得到第二个推论。第三个推论，在基本不等式证明中，把(a^{2} + b^{2} \geq 2ab)中的(a)、(b)换成(\sqrt{a})、(\sqrt{b})。同理，当(a)、(b)、(c)、(d \gt 0)时，把柯西不等式中的(a)、(b)、(c)、(d)全部换成(\sqrt{a})、(\sqrt{b})、(\sqrt{c})、(\sqrt{d})，就得到了推论。现在我们来研究这些不等式何时取等。
生：推论一和推论三取等条件和柯西不等式一样，是(ad = bc)；推论二因为加了绝对值，取等条件是(|ad| = |bc|)。
师：总结一下就是一个定理，三个推论。在具体使用时，为更好应用，要掌握式子结构特点。看柯西不等式，如果不看平方，左端整体是积的形式，每个括号里又是和的形式，称之和的积；右端(ac + bd)整体是和的形式，(ac)和(bd)又是积的形式，称之为积的和。三个推论也有类似结构。使用柯西不等式或其推论时，要注意形式一致，满足和的积或积的和，必要时做适当调整变形，同时注意不等号方向。我们知道对于代数结果最简单的阐释就是考虑其几何背景。在平面直角坐标系中，构造两个非零向量(\alpha)和(\beta)，夹角是(\theta)。根据向量数量积的定义，(\alpha \cdot \beta = |\alpha||\beta|\cos\theta)，加个绝对值得到(|\alpha \cdot \beta| = |\alpha||\beta||\cos\theta|)。
生：(|\cos\theta| \leq 1)。
师：对，由此可得(|\alpha \cdot \beta| \leq |\alpha||\beta|)。用平面向量的坐标表示这个不等式，设(\alpha = (a, b))，(\beta = (c, d))，(\alpha \cdot \beta = ac + bd)，(|\alpha| = \sqrt{a^{2} + b^{2}})，(|\beta| = \sqrt{c^{2} + d^{2}})，就得到(|ac + bd| \leq \sqrt{(a^{2} + b^{2})(c^{2} + d^{2})})，两边平方正好是柯西不等式。所以柯西不等式就是向量形式不等式的坐标表示。对于这个向量形式的不等式，取等条件是什么呢？
生：(\alpha)和(\beta)中至少有一个为零向量；或者当它们为非零向量时，(|\cos\theta| = 1)，也就是(\alpha)和(\beta)共线，等价于(\beta)是零向量，或者存在实数(k)，使得(\alpha = k\beta)。用坐标表示(\alpha)、(\beta)共线，可得出(ad - bc = 0)。
师：这样就得到柯西不等式的向量形式，也就是定理：设(\alpha)、(\beta)是两个向量，则(|\alpha \cdot \beta| \leq |\alpha||\beta|)，当且仅当(\beta)是零向量或者存在实数(k)使得(\alpha = k\beta)时等号成立。刚才我们从向量形式推导出代数形式，反过来，能不能从代数形式推导出向量形式的柯西不等式呢？
生：能。
师：一起来看，因为((ac + bd)^{2} \leq (a^{2} + b^{2})(c^{2} + d^{2}))，两边同时取算数平方根得到(|ac + bd| \leq \sqrt{(a^{2} + b^{2})(c^{2} + d^{2})})，这就是推论一。构造向量(\alpha = (a, b))，(\beta = (c, d))，(|ac + bd|)恰好是(\alpha)和(\beta)数量积的绝对值，(\sqrt{(a^{2} + b^{2})(c^{2} + d^{2})})正好是(|\alpha|)与(|\beta|)的乘积，这样就推导出向量形式了。接下来看柯西不等式的应用。首先看第一个例子，已知(a)、(b)为实数，证明((a^{4} + b^{4})(a^{2} + b^{2}) \geq (a^{3} + b^{3})^{2})。同学们动手试试。