Cauchy-Schwarz 不等式
贡献者： 吴鑫
Cauchy-Schwarz 不等式是一个在众多背景下都有应用的不等式, 例如线性代数, 数学分析, 概率论, 向量代数以及其他许多领域, 这就意味着它有很多等价形式或者推广形式. 它被认为是数学中最重要的不等式之一. 此不等式最初于 1821 年被 Cauchy 提出, 其积分形式在 1859 被 Buniakowsky 提出, 而积分形式的现代证明则由 Schwarz 于 1888 年给出.
在给出 Cauchy-Schwarz 不等式之前, 先给出几个常用不等式作为引理并且给出相关证明.
引理 1 三角不等式
$\forall \boldsymbol{x},\boldsymbol{y}\in\mathbb{R}^n$,满足
\begin{equation}
\lvert\lvert\boldsymbol{x}\rvert-\lvert\boldsymbol{y}\rvert\rvert\leqslant\lvert\boldsymbol{x}\pm\boldsymbol{y}\rvert\leqslant\lvert\boldsymbol{x}\rvert+\lvert\boldsymbol{y}\rvert~
\end{equation}
引理 2 均值不等式
$\forall \boldsymbol{x}\in\mathbb{R}^n$,定义以下和式
\begin{align}
H_n&=\frac{1}{\frac{1}{n}\sum\limits_{i=1}^n\frac{1}{x_i}}=\frac{n}{\frac{1}{x_1}+\frac{1}{x_2}+\cdots+\frac{1}{x_n}}\\
G_n&=\sqrt[n]{\prod_{i}^n x_i}=\sqrt[n]{x_1x_2\cdots x_n}\\
A_n&=\frac{1}{n}\sum_{i=1}^n x_i=\frac{x_1+x_2+\cdots+x_n}{n}\\
Q_n&=\sqrt{\frac{1}{n}\sum_{i=1}^n x_i^2}=\sqrt{\frac{x_1^2+x_2^2+\cdots+x_n^2}{n}}~
\end{align}
这些和式满足
\begin{equation}
H_n\leqslant G_n\leqslant A_n \leqslant Q_n~
\end{equation}
引理 3 Bernoulli 不等式
$\forall x > -1,n \in \mathbb{N}^{\ast}$ 满足
\begin{equation}
(1+x)^n \geq 1+nx~
\end{equation}
引理 4 Young 不等式
设 $p,q>1,\frac{1}{p}+\frac{1}{q}=1$,$\forall a,b\geqslant 0$, 满足
\begin{equation}
a b \leqslant \frac{1}{p}a^{p}+\frac{1}{q}b^{q}~
\end{equation}
定理 1 Cauchy-Schwarz 不等式
$\forall \boldsymbol{x},\boldsymbol{y}\in\mathbb{R}^n$,满足
\begin{equation}
(\boldsymbol{x}^{\top}\boldsymbol{y})^2\leqslant \Vert \boldsymbol{x}\Vert_2^2\Vert \boldsymbol{y}\Vert_2^2~
\end{equation}
序列形式表示为
\begin{equation}
\left(\sum_{i=1}^{n}x_iy_i\right)^2\leqslant \left(\sum_{i=1}^nx_i^2\right)\left(\sum_{i=1}^ny_i^2\right)~
\end{equation}
致读者： 小时百科一直以来坚持所有内容免费无广告，这导致我们处于严重的亏损状态。 长此以往很可能会最终导致我们不得不选择大量广告以及内容付费等。 因此，我们请求广大读者
热心打赏 ，使网站得以健康发展。 如果看到这条信息的每位读者能慷慨打赏 20 元，我们一周就能脱离亏损， 并在接下来的一年里向所有读者继续免费提供优质内容。 但遗憾的是只有不到 1% 的读者愿意捐款， 他们的付出帮助了 99% 的读者免费获取知识， 我们在此表示感谢。