In the previous post, we introduced the Cauchy-Schwarz inequality purely as a statement about real numbers:
We proved this inequality using mathematical induction. However, one could argue that the method did not yield much insight. As our proof was entirely algebraic, it is not easy to see why the sums that appear in the inequality are reasonable quantities to consider, and there is no hint as to how they could arise naturally in mathematical problems. Therefore, in this post, we will look at the Cauchy-Schwarz inequality from a geometric perspective, which reveals a much richer structure. Moreover, we will see how the inequality arises naturally from a basic optimisation problem.
Note: I continue with the convention from the previous post that a quantity is called positive if
. We say that
is strictly positive if
.