柯西(Cauchy)不等式

什么是柯西(Cauchy)不等式

对于任意两组实数$a_1,a_2,...,a_n;b_1,b_2,...,b_n$, 有$\sum _{i=1}^n{a}_i^2\cdot \sum _{i=1}^n{b}_i^2\ge (\sum _{i=1}^n{a}_i{b}_i{)}^2$, 当且仅当$a_i$与$b_i(i=1,2,...,n)$对应成比例, 即$\frac{a_1}{b_1}=\frac{a_2}{b_2}=...=\frac{a_n}{b_n}$时等号成立. 这个不等式成为柯西(Cauchy)不等式.

柯西(Cauchy)不等式的证明

$(a_1^2+a_2^2+...+a_n^2)(b_1^2+b_1^2+b_n^2)\ge (a_1{b}_1+a_2{b}_2+...+a_n{b}_n{)}^2$
$$\begin{array}{rl}证明:& a_1^2{x}^2-2a_1{b}_{1}x+b_1^2=(a_{1}x-b_1{)}^2\ge 0\\ & a_2^2{x}^2-2a_2{b}_{2}x+b_2^2=(a_{2}x-b_2{)}^2\ge 0\\ & ...\\ & a_n^2{x}^2-2a_n{b}_{n}x+b_n^2=(a_{n}x-b_n{)}^2\ge 0\\ & 相加得:(a_1^2+a_2^2+...+a_n^2)x^2-2(a_1{b}_1+a_2{b}_2+...+a_n{b}_n)x+(b_a^2+b_2^2+...+b_n^2)\ge 0\\ & \begin{array}{rl}1)& a_1^2+a_2^2+...+a_n^2=0\\ & a_1=a_2=...=a_n=0\\ & 不等式成立\end{array}\\ & \begin{array}{rl}2)& a_1^2+a_2^2+...+a_n^2\ne 0\\ & 令f(x)=(a_1^2+a_2^2+...+a_n^2)x^2-2(a_1{b}_1+a_2{b}_2+...+a_n{b}_n)x+(b_a^2+b_2^2+...+b_n^2)\\ & 因为a_1^2+a_2^2+...+a_n^2>0且(a_1^2+a_2^2+...+a_n^2)x^2-2(a_1{b}_1+a_2{b}_2+...+a_n{b}_n)x+(b_a^2+b_2^2+...+b_n^2)\ge 0\\ & 所以f(x)为一个开口向上恒非负的二次函数\\ & 所以方程(a_1^2+a_2^2+...+a_n^2)x^2-2(a_1{b}_1+a_2{b}_2+...+a_n{b}_n)x+(b_a^2+b_2^2+...+b_n^2)=0的\Delta \le 0\\ & 所以(a_1^2+a_2^2+...+a_n^2)(b_1^2+b_1^2+b_n^2)\ge (a_1{b}_1+a_2{b}_2+...+a_n{b}_n{)}^2\\ & 当\Delta =0,即\frac{a_1}{b_1}=\frac{a_2}{b_2}=...=\frac{a_n}{b_n}时等号成立\end{array}\\ & 综上所述:命题得证.\end{array}$$