6.7 Cauchy-Schwarz Inequality
6.7 Cauchy-Schwarz Inequality
6.7 Cauchy-Schwarz Inequality
7 Cauchy-Schwarz Inequality
Recall that we may write a vector u as a scalar multiple of a nonzero vector v, plus a vector orthogonal to
v:
hu, vi hu, vi
u= v + u − v . (1)
kvk2 kvk2
The equation (1) will be used in the proof of the next theorem, which gives one of the most important
inequalities in mathematics.
Theorem 16 (Cauchy-Schwarz Inequality). If u, v ∈ V , then
|hu, vi| ≤ kukkvk. (2)
This inequality is an equality if and only if one of u, v is a scalar multiple of the other.
Proof. Let u, v ∈ V . If v = 0, then both sides of (2) equal 0 and the desired inequality holds. Thus we can
assume that v 6= 0. Consider the orthogonal decomposition
hu, vi
u= v + w,
kvk2
where w is orthogonal to v (here w equals the second term on the right side of (1)). By the Pythagorean
theorem,
hu, vi
2
2
kuk =
v
+ kwk2
kvk2
|hu, vi|2
= + kwk2
kvk2
|hu, vi|2
≥ .
kvk2
Multiplying both sides of this inequality by kvk2 and then taking square roots gives the Cauchy-Schwarz
inequality (2).
Looking at the proof of the Cauchy-Schwarz inequality, note that (2) is an equality if and only if the last
inequality above is an equality. Obviously this happens if and only if w = 0. But w = 0 if and only if u is
a multiple of v. Thus the Cauchy-Schwarz inequality is an equality if and only if u is a scalar multiple of v
or v is a scalar multiple of u (or both; the phrasing has been chosen to cover cases in which either u or v
equals 0).
The next result is called the triangle inequality because of its geometric interpretation that the length
of any side of a triangle is less than the sum of the lengths of the other two sides. Consider a triangle with
sides consisting of vectors u, v, and u + v.
Theorem 17 (Triangle Inequality). If u, v ∈ V , then
ku + vk ≤ kuk + kvk. (3)
This inequality is an equality if and only if one of u, v is a nonnegative multiple of the other.
Proof. Let u, v ∈ V . Then
ku + vk2 = hu + v, u + vi
= hu, ui + hv, vi + hu, vi + hv, ui
= kuk2 + kvk2 + 2Rehu, vi
≤ kuk2 + kvk2 + 2|hu, vi|
≤ kuk2 + kvk2 + 2kukkvk
= (kuk + kvk)2 ,
1
where we used the Cauchy-Schwarz inequality. Taking square roots of both sides of the inequality above
gives the triangle inequality (3).
We have equality in the triangle inequality if and only if
If one of u, v is a nonnegative multiple of the other, then (4) holds. Conversely, suppose (4) holds.Then the
condition for equality in the Cauchy-Schwarz inequality implies that one of u, v must be a scalar multiple
of the other. Clearly (4) forces the scalar in question to be nonnegative, as desired.
Example 1. Suppose p(t) = 3t − t2 and q(t) = 3 + 2t2 . For p and q in P2 , define