Cauchy-Bunyakovsky-Schwarz Inequality/Inner Product Spaces/Proof 2

Proof
This proof assumes that $V$ is a semi-inner product space over $\R$.

Then for all $x, y \in V$, we have $\innerprod x y = \innerprod y x$ by property $(1')$ of semi-inner products.

Define $f_{x, y}: \R \to \R_{\ge 0}$ by:


 * $\map {f_{x, y} } \lambda = \innerprod {x - \lambda y} {x - \lambda y}$

Then by property $(4)$ of semi-inner product:
 * $\forall \lambda \in \R: \map {f_{x, y} } \lambda \ge 0$

For all $\lambda \in \R$, it follows that:

where we have put $a = \innerprod y y$, $b = -2 \innerprod x y$, and $c = \innerprod x x$.

Then $f_{x, y}$ is a quadratic polynomial which satisfies $\map {f_{x, y} } \lambda \ge 0$.

Hence $f_{x, y}$ has at most one distinct real root.

From Solution to Quadratic_Equation, it follows that the discriminant $\Delta$ satisfies:


 * $\Delta = b^2 - 4 a c \le 0$

Therefore:


 * $4 \innerprod x y^2 - 4 \innerprod x x \innerprod y y \le 0$

which we rearrange as:


 * $\size {\innerprod x y}^2 = \innerprod x y^2 \le \innerprod x x \innerprod y y$