柯西-施瓦兹不等式

$$\begin{array}{rl}(a+rb{)}^2& \ge 0\\ a^2+2abr+r^2{b}^2& \ge 0\\ (2ab{)}^2-4a^2\cdot b^2& \ge 0\\ a^2\cdot b^2& \ge (ab{)}^2\end{array}$$

向量模的平方积大于等于内积的平方