Problem: Prove that for vectors in an inner product space, the inequality
Solution: There is an elementary proof of the Cauchy-Schwarz inequality (see the Wikipedia article), and this proof is essentially the same. What makes this proof stand out is its insightful technique, which I first read about on Terry Tao’s blog. He calls it “textbook,” and maybe it is for an analyst, but it’s still very elegant.
We start by observing another inequality we know to be true, that , since norms are by definition nonnegative. By the properties of a complex inner product we can expand to get
This inequality is close to the one we’re looking for, but ‘weaker’ because the inequality we seek squeezes inside the inequality we have. That is,
The first inequality is trivial (a complex number is always greater than its real part), the second is the inequality we seek to prove, and the third is a consequence of the arithmetic-geometric mean inequality. And so we have an inequality we’d like to “tighten” to get the true theorem. We do this by tightening each side of the inequality separately, and we do each by exploiting symmetries in the expressions involved.
First, we observe that norms of vectors are preserved by (complex) rotations , but the real part is not. Since this inequality is true no matter which vectors we choose, we can choose to our advantage. That is,
And by properties of inner products and norms (pulling out scalars) and the fact that , we can simplify to
where is arbitrary. Since we want to maximize the left hand side as much as possible, we can choose to be whatever is required to make the number real. Then the real part is just the absolute value of the number itself, and we have
Now we tighten the right hand side by exploiting a symmetry in inner products: the transformation preserves the left hand side (since ) but not the right. And so by the same reasoning, we can transform the above inequality into
And by plugging in (indeed, this minimizes the expression for nonzero ) we get exactly the Cauchy-Schwarz inequality, as desired.
This technique is termed “amplification” by Tao, and in his blog post he gives quite a few more advanced examples in harmonic and functional analysis (which are far beyond the scope of this blog). The asymmetrical symmetry we took advantage of is a sort of “arbitrage” (again Terry’s clever choice of words) to take a weak fact and boost it to a stronger fact. And while the details of this proof are quite trivial, the technique of actively looking for one-sided symmetries is difficult to forget.