查看“︁高中数学/不等式与数列/柯西不等式”︁的源代码

== 阅读指南 ==
[[File:Crystal Clear app gnome.png | Crystal Clear app gnome | 50px]]

希望快速了解或快速回顾高中数学的读者可以只看基础知识部分。其余部分是为需要参加学科考试或需要一定知识提升的读者准备的。

柯西不等式一般称为柯西-施瓦茨不等式，是[[w:线性代数|线性代数学]]和线性[[w:泛函分析|泛函分析]]中的重要结论。在普通高中阶段一般只需要了解它的代数形式的用法和向量形式的几何含义。本节只侧重于介绍其代数形式，后续的[[高中数学/平面向量与复数/数量积|数量积]]章节还会继续介绍它的向量形式及其与向量夹角余弦值的关系（其实从其几何含义更容易理解也更能体现它的数学本质）。在后续的大学课程中，还会继续学习它的积分形式，它在数学、物理学和[[w:通信工程|通信工程]]中有关[[w:平方可积函数|平方可积函数]]的性质分析中将发挥巨大作用。

=== 预备知识 ===
本节大部分内容都要求读者至少了解算术-几何平均值不等式的基本用法，所以读者应该先阅读[[高中数学/不等式与数列/平均值不等式|平均值不等式]]章节，然后再根据需要选读本节的其余内容。

=== 考试要求 ===
在中国大陆高考中，柯西不等式曾是理科数学试卷的考查点之一，一般出题难度不大、占分不多，也并非每年必考内容。而对于高考取消文理分科考法的地区，基本上也不会将其纳入考试范围。不过涉及柯西不等式知识点的许多简单问题套路明显，学起来其实很容易，加之它在后续理工科课程中非常常见，我们仍将其纳入主干知识的范围。

== 基础知识 ==
=== 柯西不等式的定义与证明 ===
<blockquote style="padding: 1em; border: 2px dotted;">
<font color="#008000">'''柯西-施瓦茨不等式'''（'''Cauchy–Schwarz inequality'''）是一个描述[[高中数学/平面向量与复数/数量积|向量内积]]性质的不等式，其向量形式为：<br />
<math>\forall \vec{a}, \vec{b} \in \mathbb{R}^n, s.t. |\vec{a}| |\vec{b}| \ge \vec{a} \cdot \vec{b}</math><br />
上述不等式中的等号当且仅当<math>\vec{a}</math>与<math>\vec{b}</math>朝同一方向时才严格成立。

代数形式的柯西-施瓦茨不等式为<ref>{{cite book |title=高中数学 (A版) 选修4-5 |author=俞求是; 章建跃; 田载今; 马波; 李世杰 |editor1=刘绍学 (主编) |editor2=钱珮玲 (副主编) |editor3=李龙才 (责任编辑) |publisher=人民教育出版社 |location=中国北京市海淀区中关村南大街17号院1号楼 |edition=2 |isbn=978-7-107-18675-2 |section=第3讲“柯西不等式”第1节“二维形式的柯西不等式”和第2节“一般形式的柯西不等式” |pages=31-41 |language=zh-cn |year=2007}}</ref>：<br />
<math>
\begin{array}{l}
 \forall a_i, b_i \in \mathbb{R}, i = 1, 2, ..., n, \\
 s.t. (a_1^2 + a_2^2 + \cdots + a_n^2) (b_1^2 + b_2^2 + \cdots + b_n^2) \ge (a_1 b_1 + a_2 b_2 + \cdots + a_n b_n)^2
\end{array}
</math><br />
上述不等式中的等号当且仅当<math>a_1 = a_2 = \cdots = a_n</math>时或是<math>\frac{a_i}{b_i} = \frac{a_2}{b_2} = \cdots = \frac{a_n}{b_n}</math>时才严格成立。

中学数学书上常将其简称为柯西不等式。可以使用Euler连加号将其简记为<math>(\sum_{i=1}^n\limits a_i^2) (\sum_{i=1}^n\limits b_i^2) \ge (\sum_{i=1}^n\limits a_i b_i)^2</math>。
</font>
</blockquote>

=== 无特殊条件约束的简单应用 ===
<!-- 本小节例题1 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题1：
求<math>(a^2 + b^2 + c^2)(\frac{1}{a^2} + \frac{4}{b^2} + \frac{9}{c^2})</math>的最小值。

<!-- 本小节例题1的解答 -->
<div class="collapsible answer" style="clear both; border: thin solid rgb(167, 215, 249); background-color: rgb(243, 243, 243);">
 <p>解答：<br />
 由柯西不等式可知：<br />
 <math>
 \begin{array}{l}
  (a^2 + b^2 + c^2)(\frac{1}{a^2} + \frac{4}{b^2} + \frac{9}{c^2}) = (a^2 + b^2 + c^2)((\frac 1 a)^2 + (\frac 2 b)^2 + (\frac 3 c)^2) \\
  \ge (a \cdot \frac 1 a + b \cdot \frac 2 b + c \cdot \frac 3 c)^2 = (1 + 2 + 3)^2 = 6^2 = 36
 \end{array}
 </math><br />
 上式中的等号当且仅当<math>a : \frac 1 a = b : \frac 2 b = c : \frac 3 c</math>（即<math>a : b : c = 1 : \sqrt{2} : \sqrt{3}</math>）时成立。<br />
 故当<math>a : b : c = 1 : \sqrt{2} : \sqrt{3}</math>时，原式取得最大值36。
 </p>
</div>
<div class="collapsible finalAnswer" style="clear both; border: thin solid rgb(167, 215, 249); background-color: rgb(243, 243, 243); color: red;">
 <p>答案：36。</p>
</div>

<!-- 本小节例题2 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题2：
设<math>a, b, c > 0</math>，求<math>(a + b + c)(\frac 1 a + \frac 4 b + \frac 1 c)</math>的最小值。

<!-- 本小节例题3 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题3：
设<math>a, b, c > 0</math>，求<math>(a + b^2 + c^3)(\frac 8 a + \frac{4}{b^2} + \frac{2}{c^3})</math>的最小值。

<!-- 本小节例题4 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题4：
求<math>(a^2 + b^{-2} + 2)(b^2 + a^{-2} + 2)</math>的最小值。

<!-- 本小节例题5 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题5：
设<math>0 < x < \frac 1 2</math>，求函数<math>f(x) = \frac 2 x + \frac{9}{1 - 2x}</math>的最小值。

<!-- 本小节例题5的解答 -->
<div class="collapsible answer" style="clear both; border: thin solid rgb(167, 215, 249); background-color: rgb(243, 243, 243);">
 <p>解答：<br />
 因为有<math>0 < x < \frac 1 2</math>，由柯西不等式可知：<br />
 <math>
 \begin{array}{l}
  f(x) = (\frac 2 x + \frac{9}{1-2x}) \times 1 = (\frac{4}{2x} + \frac{9}{1-2x}) ((2x) + (1-2x)) \\
  = ((\frac{2}{\sqrt{2x}})^2 + (\frac{3}{\sqrt{1 - 2x}})^2) ((\sqrt{2x})^2 + (\sqrt{1-2x})^2) \\
  \ge (\frac{2}{\sqrt{2x}} \cdot \sqrt{2x} + \frac{3}{\sqrt{1 - 2x}} \cdot \sqrt{1-2x})^2 \\
  = (2 + 3)^2 = 5^2 = 25
 \end{array}
 </math><br />
 上式中的等号当且仅当<math>\frac{2}{\sqrt{2x}} : \sqrt{2x} = \frac{3}{\sqrt{1 - 2x}} : \sqrt{1-2x}</math>（即<math>x = \frac 1 5 \in (0, \frac 1 2)</math>）时成立。<br />
 故当<math>x = \frac 1 5</math>时，函数取得最大值<math>25</math>。
 </p>
</div>
<div class="collapsible finalAnswer" style="clear both; border: thin solid rgb(167, 215, 249); background-color: rgb(243, 243, 243); color: red;">
 <p>答案：25。</p>
</div>

<!-- 本小节例题6 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题6：
求函数<math>f(x) = 5 \sqrt{x - 1} + \sqrt{10 - 2x}</math>的最大值。

<!-- 本小节例题6的解答 -->
<div class="collapsible answer" style="clear both; border: thin solid rgb(167, 215, 249); background-color: rgb(243, 243, 243);">
 <p>解答：<br />
 首先，题中函数的定义域必须满足以下条件：<br />
 <math>
 \left\{
 \begin{array}{l}
  x - 1 \ge 0 \\
  10 - 2x \ge 0
 \end{array}
 \right.
 </math><br />
 解得函数的定义域为[1, 5]，且<math>f(x) \ge 0</math>。
 再由柯西不等式可知：<br />
 <math>
 \begin{array}{l}
  (f(x))^2 = (5 \times \sqrt{x - 1} + \sqrt{2} \times \sqrt{5 - x})^2 \\
  \le (5^2 + (\sqrt{2})^2) ((\sqrt{x - 1})^2 + (\sqrt{5 - x})^2) = 27 ((x - 1) + (5 - x)) = 27 \times 4 = 108 \\
  \Rightarrow f(x) \le \sqrt{108} = 6 \sqrt{3}
 \end{array}
 </math><br />
 上式中的等号当且仅当<math>x = \frac{127}{27} \in [1, 5]</math>时成立。<br />
 故当<math>x = \frac{127}{27}</math>时，<math>f(x)</math>取得最大值<math>6 \sqrt{3}</math>。
 </p>
</div>
<div class="collapsible finalAnswer" style="clear both; border: thin solid rgb(167, 215, 249); background-color: rgb(243, 243, 243); color: red;">
 <p>答案：<math>6 \sqrt{3}</math>。</p>
</div>

<!-- 本小节例题7 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题7：
求证：<math>(a^4 + b^4) (a^2 + b^2) \ge (a^3 + b^3)^2</math>。

<!-- 本小节例题8 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题8：
设<math>m, n > 0</math>，求证：<math>\frac{a^2}{m} + \frac{b^2}{n} \ge \frac{(a + b)^2}{m + n}</math>。

<!-- 本小节例题8的解答 -->
<div class="collapsible proof" style="clear both; border: thin solid rgb(167, 215, 249); background-color: rgb(243, 243, 243);">
 <p>证明：<br />
 因为<math>m, n > 0</math>，所以<math>m = (\sqrt{m})^2, n = (\sqrt{n})^2</math>。<br />
 <math>
  \begin{array}{l}
  \frac{a^2}{m} + \frac{b^2}{n} \ge \frac{(a + b)^2}{m + n} \\
  \Leftrightarrow (\frac{a^2}{m} + \frac{b^2}{n}) (m + n) \ge (a + b)^2 \\
  \Leftrightarrow ((\frac{a}{\sqrt{m}})^2 + (\frac{b}{\sqrt{n}})^2) ((\sqrt{m})^2 + (\sqrt{n})^2) \ge (\frac{a}{\sqrt{m}} \cdot \sqrt{m} + \frac{b}{\sqrt{n}}  \cdot \sqrt{n})^2
  \end{array}
 </math><br />
 由柯西不等式可知上式显然成立，且等号成立的条件为<math>\frac{a}{\sqrt{m}} : \sqrt{m} = \frac{b}{\sqrt{n}} : \sqrt{n}</math>（即<math>\frac a m = \frac b n</math>）。<br />
 证明完毕。
 </p>
</div>

=== 比较直接的条件代换 ===

<!-- 本小节例题1 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题1：
设<math>a, b, c > 0, a + b + c = 1</math>，求证：<math>a^2 + b^2 + c^2 \ge \frac 1 3</math>。

<!-- 本小节例题1的解答 -->
<div class="collapsible proof" style="clear both; border: thin solid rgb(167, 215, 249); background-color: rgb(243, 243, 243);">
 <p>证明：<br />
 根据柯西不等式并代入已知条件<math>a + b + c = 1</math>，可得：<br />
 <math>
 \begin{array}{l}
 (a^2 + b^2 + c^2)(1^2 + 1^2 + 1^2) \ge (a + b + c)^2 = 1 \\
 \Rightarrow a^2 + b^2 + c^2 \ge \frac 1 3
 \end{array}
 </math><br />
 上式中的等号当且仅当<math>a = b = c = \frac 1 3</math>时成立。证明完毕。
 </p>
</div>

<!-- 本小节例题2 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题2：
设<math>a, b, c > 0, a + b + c = 7</math>，求证：<math>a^2 + 4b^2 + 9c^2 \ge 36</math>。

<!-- 本小节例题2的解答 -->
<div class="collapsible proof" style="clear both; border: thin solid rgb(167, 215, 249); background-color: rgb(243, 243, 243);">
 <p>证明：<br />
 由柯西不等式可知：<br />
 <math>
 \begin{array}{l}
 (a^2 + 4b^2 + 9c^2)(1 + \frac 1 4 + \frac 1 9) \\ = 
 (a^2 + (2b)^2 + (3c)^2)(1^2 + (\frac 1 2)^2 + (\frac 1 3)^2) \\ \ge 
 (a \times 1 + 2b \times \frac 1 2 + 3c \times \frac 1 3)^2 \\
 \Rightarrow
 (a^2 + 4b^2 + 9c^2) \times \frac{49}{36} \ge (a + b + c)^2
 \end{array}
 </math><br />
 上式中的等号当且仅当<math>\frac a 1 = \frac{2b}{\frac 1 2} = \frac{3c}{\frac 1 3}</math>（即<math>a = \frac{36}{7}, b = \frac 9 7, c = \frac 4 7</math>）时成立。<br />
 代入已知条件<math>a + b + c = 7</math>，可得：<br />
 <math>
 \begin{array}{l}
 \frac{49}{36}(a^2 + 4b^2 + 9c^2) \ge 7^2 = 49 \\
 \Rightarrow
 a^2 + 4b^2 + 9c^2 \ge 49 \times \frac{36}{49} = 36
 \end{array}
 </math><br />
 证明完毕。
 </p>
</div>

<!-- 本小节例题3 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题3：
设<math>a, b, c > 0, a + 2b + 3c = 6</math>，求证：<math>a^2 + b^2 + c^2 \ge \frac{18}{7}</math>。

<!-- 本小节例题3的解答 -->
<div class="collapsible proof" style="clear both; border: thin solid rgb(167, 215, 249); background-color: rgb(243, 243, 243);">
 <p>证明：<br />
 由柯西不等式可知：<br />
 <math>
 \begin{array}{l}
 (a^2 + b^2 + c^2)(1 + 4 + 9) \\ = 
 (a^2 + b^2 + c^2)(1^2 + 2^2 + 3^2) \\ \ge 
 (a \times 1 + b \times 2 + c \times 3)^2 \\
 \Rightarrow
 (a^2 + b^2 + c^2) \times 14 \ge (a + 2b + 3c)^2
 \end{array}
 </math><br />
 上式中的等号当且仅当<math>\frac a 1 = \frac b 2 = \frac c 3</math>（即<math>a = \frac 3 7, b = \frac 6 7, c = \frac 9 7</math>）时成立。<br />
 代入已知条件<math>a + 2b + 3c = 6</math>，可得：<br />
 <math>
 \begin{array}{l}
 14(a^2 + b^2 + c^2) \ge 6^2 = 36 \\
 \Rightarrow
 a^2 + b^2 + c^2 \ge \frac{18}{7}
 \end{array}
 </math><br />
 证明完毕。
 </p>
</div>

<!-- 本小节例题4 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题4：
设<math>a, b, c > 0, a + 2b + 3c = 6</math>，求证：<math>a^2 + 2b^2 + 3c^2 \ge 6</math>。

<!-- 本小节例题4的解答 -->
<div class="collapsible proof" style="clear both; border: thin solid rgb(167, 215, 249); background-color: rgb(243, 243, 243);">
 <p>证明：<br />
 由柯西不等式可知：<br />
 <math>
 \begin{array}{l}
 (a^2 + 2b^2 + 3c^2)(1 + 2 + 3) \\
 = (a^2 + (\sqrt{2}b)^2 + (\sqrt{3}c)^2)((\sqrt{1})^2 + (\sqrt{2})^2 + (\sqrt{3})^2) \\
 \ge (a \times \sqrt{1} + (\sqrt{2}b) \times \sqrt{2} + (\sqrt{3}c) \times \sqrt{3})^2 \\
 \Rightarrow (a^2 + 2b^2 + 3c^2) \times 6 \ge (a + 2b + 3c)^2
 \end{array}
 </math><br />
 上式中的等号当且仅当<math>\frac{a}{1} = \frac{\sqrt{2} b}{\sqrt{2}} = \frac{\sqrt{3} c}{\sqrt{3}}</math>（即<math>a = b = c = 1</math>）时成立。<br />
 代入已知条件<math>a + 2b + 3c = 6</math>，可得：<br />
 <math>
 \begin{array}{l}
 6(a^2 + 2b^2 + 3c^2) \ge 6^2 \\
 \Rightarrow a^2 + 2b^2 + 3c^2 \ge 6
 \end{array}
 </math><br />
 证明完毕。
 </p>
</div>

<!-- 本小节例题5 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题5：
设<math>a, b, c > 0, \frac{(a-1)^2}{16} + \frac{(b+2)^2}{5} + \frac{(c-3)^2}{4} = 1</math>，求<math>a + b + c</math>的最大值和最小值。

<!-- 本小节例题5的解答 -->
<div class="collapsible answer" style="clear both; border: thin solid rgb(167, 215, 249); background-color: rgb(243, 243, 243);">
 <p>解答：<br />
 由柯西不等式可知：<br />
 <math>
 \begin{array}{l}
 (\frac{(a-1)^2}{16} + \frac{(b+2)^2}{5} + \frac{(c-3)^2}{4}) (4^2 + (\sqrt{5})^2 + 2^2) \ge (\frac{a-1}{4} \times 4 + \frac{b+2}{\sqrt{5}} \times \sqrt{5} + \frac{c-3}{2} \times 2)^2 \\
 \Rightarrow (\frac{(a-1)^2}{16} + \frac{(b+2)^2}{5} + \frac{(c-3)^2}{4}) (16 + 5 + 4) \ge ((a - 1) + (b + 2) + (c - 3))^2 \\
 \Rightarrow (\frac{(a-1)^2}{16} + \frac{(b+2)^2}{5} + \frac{(c-3)^2}{4}) \times 25 \ge ((a + b + c) - 1 + 2 - 3)^2 = ((a + b + c) - 2)^2
 \end{array}
 </math><br />
 上式中的等号当且仅当<math>\frac{a-1}{16} = \frac{b+2}{5} = \frac{c-3}{4}</math>时成立。<br />
 将已知条件<math>\frac{(a-1)^2}{16} + \frac{(b+2)^2}{5} + \frac{(c-3)^2}{4} = 1</math>代入上式，可得：<br />
 <math>
 \begin{array}{l}
 1 \times 25 \ge ((a + b + c) - 2)^2 \\
 \Rightarrow -5 \le (a + b + c) - 2 \le 5 \\
 \Rightarrow -3 \le (a + b + c) \le 7
 \end{array}
 </math><br />
 故原式的最小值为-3，最大值为7。
 </p>
</div>
<div class="collapsible finalAnswer" style="clear both; border: thin solid rgb(167, 215, 249); background-color: rgb(243, 243, 243); color: red;">
 <p>答案：最小值为-3，最大值为7。</p>
</div>

<!-- 本小节例题6 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题6：
设<math>x, y, z \in \mathbb{R}, x^2 + y^2 + z^2 = 4</math>，求<math>x - 2y + 2z</math>的最小值。

<!-- 本小节例题6的解答 -->
<div class="collapsible answer" style="clear both; border: thin solid rgb(167, 215, 249); background-color: rgb(243, 243, 243);">
 <p>解答：<br />
 由柯西不等式可知：<br />
 <math>
 \begin{array}{l}
 (x^2 + y^2 + z^2) (1^2 + (-2)^2 + 2^2) \ge (x - 2y + 2z)^2 \\
 \Rightarrow (x^2 + y^2 + z^2) (1 + 4 + 4) \ge (x - 2y + 2z)^2 \\
 \Rightarrow (x^2 + y^2 + z^2) \times 9 \ge (x - 2y + 2z)^2
 \end{array}
 </math><br />
 上式中的等号当且仅当<math>\frac x 1 = \frac{y}{-2} = \frac z 2</math>（即<math>a = \pm \frac 2 3, b = \mp \frac 4 3, c = \pm \frac 4 3</math>）时成立。<br />
 将已知条件<math>x^2 + y^2 + z^2 = 4</math>代入上式，可得：<br />
 <math>
 \begin{array}{l}
 4 \times 9 \ge (x - 2y + 2z)^2 \\
 \Rightarrow (x - 2y + 2z)^2 \le 36 = 6^2 \\
 \Rightarrow -6 \le (x - 2y + 2z)^2 \le 6
 \end{array}
 </math><br />
 故当且仅当<math>a = - \frac 2 3, b = \frac 4 3, c = - \frac 4 3</math>，原式取到最小值-6。
 </p>
</div>
<div class="collapsible finalAnswer" style="clear both; border: thin solid rgb(167, 215, 249); background-color: rgb(243, 243, 243); color: red;">
 <p>答案：-6。</p>
</div>

<!-- 本小节例题7 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题7：
设<math>a, b, c \in \mathbb{R}, 2a - 3b + c = 3</math>，求<math>a^2 + (b-1)^2 + c^2</math>的最小值。

<!-- 本小节例题7的解答 -->
<div class="collapsible answer" style="clear both; border: thin solid rgb(167, 215, 249); background-color: rgb(243, 243, 243);">
 <p>解答：<br />
 由柯西不等式可知：<br />
 <math>
 \begin{array}{l}
 (a^2 + (b-1)^2 + c^2) (2^2 + (-3)^2 + 1^2) \ge (2a - 3(b-1) + c)^2 \\
 \Rightarrow (a^2 + (b-1)^2 + c^2) (4 + 9 + 1) \ge (2a - 3(b-1) + c)^2 \\
 \Rightarrow (a^2 + (b-1)^2 + c^2) \times 14 \ge ((2a - 3b + c) + 3)^2
 \end{array}
 </math><br />
 上式中的等号当且仅当<math>\frac a 2 = \frac{b-1}{-3} = \frac c 1</math>（即<math>a = \frac 6 7, b = - \frac 2 7, c = \frac 3 7</math>）时成立。<br />
 将已知条件<math>2a - 3b + c = 3</math>代入上式，可得：<br />
 <math>
 \begin{array}{l}
 (a^2 + (b-1)^2 + c^2) \times 14 \ge (3 + 3)^2 \\
 \Rightarrow (a^2 + (b-1)^2 + c^2) \ge \frac{36}{14} = \frac{18}{7}
 \end{array}
 </math><br />
 所以当且仅当<math>a = \frac 6 7, b = - \frac 2 7, c = \frac 3 7</math>时，原式取到最小值<math>\frac{18}{7}</math>。
 </p>
</div>
<div class="collapsible finalAnswer" style="clear both; border: thin solid rgb(167, 215, 249); background-color: rgb(243, 243, 243); color: red;">
 <p>答案：<math>\frac{18}{7}</math>。</p>
</div>

<!-- 本小节例题8 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题8：
设<math>a, b, c > 0, a + b + c = 1</math>，求证：<math>\frac 1 a + \frac 4 b + \frac 9 c \ge 36</math>。

<!-- 本小节例题8的解答 -->
<div class="collapsible proof" style="clear both; border: thin solid rgb(167, 215, 249); background-color: rgb(243, 243, 243);">
 <p>证明：<br />
 由柯西不等式可知：<br />
 <math>
 \begin{array}{l}
 (\frac 1 a + \frac 4 b + \frac 9 c)(a + b + c) \\
 = ((\frac{1}{\sqrt{a}})^2 + (\frac{2}{\sqrt{b}})^2 + (\frac{3}{\sqrt{c}})^2)((\sqrt{a})^2 + (\sqrt{b})^2 + (\sqrt{c})^2) \\
 \ge (\frac{1}{\sqrt{a}} \times \sqrt{a} + \frac{2}{\sqrt{b}} \times \sqrt{b} + \frac{3}{\sqrt{c}} \times \sqrt{c})^2 \\
 = (1 + 2 + 3)^2 = 36
 \end{array}
 </math><br />
 上式中的等号当且仅当<math>\frac 1 a = \frac 2 b = \frac 3 c</math>（即<math>a = \frac 1 6, b = \frac 1 3, c = \frac 1 2</math>）时成立。<br />
 代入已知条件<math>a + b + c = 1</math>，可得：<br />
 <math>(\frac 1 a + \frac 4 b + \frac 9 c)(a + b + c) \ge 36</math><br />
 证明完毕。
 </p>
</div>

<!-- 本小节例题9 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题9：
设<math>a, b > 0, a + b = 2</math>，求证：<math>\frac{a^2}{2 - a} + \frac{b^2}{2 - b} \ge 2</math>。

<!-- 本小节例题9的解答 -->
<div class="collapsible proof" style="clear both; border: thin solid rgb(167, 215, 249); background-color: rgb(243, 243, 243);">
 <p>证明：<br />
 因为<math>0 < a, b < 2</math>，由柯西不等式可知：<br />
 <math>
 \begin{array}{l}
 ((\frac{a}{\sqrt{2-a}})^2 + (\frac{b}{\sqrt{2 - b}})^2)((\sqrt{2 - a})^2 + (\sqrt{2 - b})^2) \ge (a + b)^2 \\
 \Rightarrow (\frac{a^2}{2 - a} + \frac{b^2}{2 - b}) ((2 - a) + (2 - b)) \ge (a + b)^2 \\
 \Rightarrow (\frac{a^2}{2 - a} + \frac{b^2}{2 - b}) (4 - (a + b)) \ge (a + b)^2
 \end{array}
 </math><br />
 上式中的等号当且仅当<math>\frac{a}{\sqrt{2-a}} : \sqrt{2-a} = \frac{b}{\sqrt{2-b}} : \sqrt{2-b}</math>（即<math>a = b = 1</math>）时成立。<br />
 将条件<math>a + b = 2</math>代人上式，可得：<br />
 <math>
 \begin{array}{l}
 (\frac{a^2}{2 - a} + \frac{b^2}{2 - b}) (4 - 2) \ge 2^2 \\
 \Rightarrow \frac{a^2}{2 - a} + \frac{b^2}{2 - b} \ge 2
 \end{array}
 </math><br />
 证明完毕。
 </p>
</div>

<!-- 本小节例题10 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题10：
设<math>2a + 3b + 5c = 29</math>，求<math>\sqrt{2a + 1} + \sqrt{3b + 4} + \sqrt{5c + 6}</math>的最大值。

<!-- 本小节例题10的解答 -->
<div class="collapsible answer" style="clear both; border: thin solid rgb(167, 215, 249); background-color: rgb(243, 243, 243);">
 <p>解答：<br />
 由柯西不等式可知：<br />
 <math>
 \begin{array}{l}
 ((\sqrt{2a + 1})^2 + (\sqrt{3b + 4})^2 + (\sqrt{5c + 6})^2) (1^2 + 1^2 + 1^2) \ge (\sqrt{2a + 1} + \sqrt{3b + 4} + \sqrt{5c + 6})^2 \\
 \Rightarrow ((2a + 1) + (3b + 4) + (5c + 6)) \times 3 \ge (\sqrt{2a + 1} + \sqrt{3b + 4} + \sqrt{5c + 6})^2 \\
 \Rightarrow ((2a + 3b + 5c) + 11) \times 3 \ge (\sqrt{2a + 1} + \sqrt{3b + 4} + \sqrt{5c + 6})^2
 \end{array}
 </math><br />
 上式中的等号当且仅当<math>2a + 1 = 3b + 4 = 5c + 6</math>（即<math>a = \frac{37}{6}, b = \frac{28}{9}, c = \frac{22}{15}</math>）时成立。<br />
 将已知条件$2a + 3b + 5c = 29$代入上式，可得：<br />
 <math>
 \begin{array}{l}
 (29 + 11) \times 3 \ge (\sqrt{2a + 1} + \sqrt{3b + 4} + \sqrt{5c + 6})^2 \\
 \Rightarrow \sqrt{2a + 1} + \sqrt{3b + 4} + \sqrt{5c + 6} \le \sqrt{(29 + 11) \times 3} = \sqrt{120} = 2 \sqrt{30}
 \end{array}
 </math><br />
 所以当且仅当<math>a = \frac{37}{6}, b = \frac{28}{9}, c = \frac{22}{15}</math>时，原式取到最大值<math>2 \sqrt{30}</math>。
 </p>
</div>
<div class="collapsible finalAnswer" style="clear both; border: thin solid rgb(167, 215, 249); background-color: rgb(243, 243, 243); color: red;">
 <p>答案：<math>2 \sqrt{30}</math>。</p>
</div>

== 常用结论与常见模型 ==
=== 项的拼凑与形式的转化 ===

=== 需要分开应用或多次应用柯西不等式的问题 ===

=== 可能需要同时结合平均值不等式的问题 ===

=== 涉及三角形的问题 ===

=== 数形结合问题 ===

== 补充习题 ==
[[File:Crystal Clear app ksirtet.png | Crystal Clear app ksirtet | 50px]]
[[File:Crystal Clear app laptop battery.png | Crystal Clear app laptop battery | 50px]]
* 已知<math>a, b, c > 0</math>，请分别使用平均值不等式和柯西不等式证明：<math>a + b + c \ge \sqrt{ab} + \sqrt{bc} + \sqrt{ca}</math>。

* 设<math>a, b, c > 0, a + b + c = 1</math>，求<math>a^2 + b^2 + c^2</math>的最小值。

* 设<math>a, b \in \mathbb{R}, a^2 + b^2 = 10</math>，求<math>3a + b</math>的最大值和最小值。

* 已知<math>a, b \in \mathbb{R}, 3x^2 + 2y^2 \le 6</math>，求<math>2x + y</math>的最大值和最小值。

* 设<math>a, b, c > 0, a + b + c = 9</math>，求<math>\frac{4}{a} + \frac{9}{b} + \frac{16}{c}</math>的最小值。
:（答案：9。）

* 设<math>a, b, c > 0, a + 2b + 3c = 2</math>，求<math>\frac{1}{a} + \frac{2}{b} + \frac{3}{c}</math>的最小值。
:（答案：18。）

* 设<math>a, b, c > 0</math>，求证：<math>\frac{2}{a + b} + \frac{2}{b + c} + \frac{2}{c + a} \ge \frac{9}{a + b + c}</math>。<br />
:（提示：<math>2(a + b + c) = (a + b) + (b + c) + (c + a)</math>。）

* 已知函数<math>f(x) = \frac{1}{x^2} + \frac{4}{1 - x^2} \quad (-1 < x < 1, x \neq 0)</math>。<br />
:(1)求<math>f(x)</math>的最小值。<br />
:(2)若<math>|t + 1| \le f(x)</math>恒成立，求t的取值范围。

<div class="collapsible answer" style="clear both; border:thin solid rgb(167, 215, 249); background-color: rgb(243, 243, 243);">
 <p>解答：<br />
 (1)首先由柯西不等式可知：<br />
 <math>
 \begin{array}{l}
  f(x) = \frac{1}{x^2} + \frac{4}{1 - x^2} = (\frac{1}{x^2} + \frac{4}{1 - x^2}) (x^2 + (1 - x^2)) \\
  \ge (1 + 2)^2 = 9 \\
  \Rightarrow f(x) \ge 9
 \end{array}
 </math><br />
 上式中的等号当且仅当<math>x^2 = \frac 1 3</math>时成立。<br />
 所以<math>f(x)</math>的最小值是9。<br />
 (2)
 因为<math>f(x) \ge 3</math>，所以要使<math>|t + 1| \le f(x)</math>恒成立，只需要使<math>|t + 1|</math>不超过<math>f(x)</math>的最小值即可。<br />
 <math>
 \begin{array}{l}
  |t + 1| \le min\{f(x)\} = 3 \\
  \Rightarrow -3 \le |t + 1| \le 3
 \end{array}
 </math><br />
 所以t的取值范围是[-3, 3]。
 </p>
</div>
<div class="collapsible finalAnswer" style="clear both; border:thin solid rgb(167, 215, 249); background-color: rgb(243, 243, 243); color: red;">
 <p>答案：(1)9；(2)[-3, 3]。</p>
</div>

== 参考资料 ==
{{Reflist}}

== 外部链接 ==
{{Wikipedia|柯西-施瓦茨不等式}}

{{DEFAULTSORT: Cauchy–Schwarz inequality}}
[[category:不等式]]
[[category:高中数学]]