The inner product gives formulas for length and angle. The next question is: what restrictions do those formulas obey?
Two answers dominate the subject:
- the Cauchy-Schwarz inequality controls the size of an inner product by the lengths of the two vectors;
- the triangle inequality says the direct path from
0to is never longer than taking the two steps throughuand then .
These inequalities are not optional technicalities. They are the estimates that make Euclidean geometry work algebraically.
Cauchy-Schwarz inequality
Theorem
Cauchy-Schwarz inequality
For all vectors ,
Equality holds if and only if v and w are linearly dependent.
The inequality says an inner product can never be larger in magnitude than the product of the two lengths. That is exactly what makes the cosine formula
meaningful: the right-hand side always stays between and 1.
Proof
The quadratic-polynomial proof
Worked example
Check Cauchy-Schwarz numerically
Let
Then
So
Indeed,
Triangle inequality
Theorem
Triangle inequality
For all vectors ,
Equality holds if and only if at least one of u and v is a nonnegative
scalar multiple of the other.
The geometric reading is direct: in Euclidean space, one side of a triangle is never longer than the sum of the other two sides.
Proof
Why Cauchy-Schwarz implies triangle inequality
Theorem
Reverse triangle inequality
For all vectors ,
Equality holds under the same nonnegative-multiple condition.
This version is often easier to use when you want a lower bound instead of an upper bound.
Equality cases matter
The equalities are not side remarks. They tell you exactly when the estimate is tight.
- In Cauchy-Schwarz, equality means the two vectors point in the same or opposite direction, so one is a scalar multiple of the other.
- In the triangle inequality, equality means the two vectors point in the same
direction with a nonnegative scalar factor, so walking along
uand thenvreally does trace one straight segment.
Worked example
When triangle inequality becomes equality
Let
Then , so v is a nonnegative scalar multiple of u. Hence
So equality holds.
Common mistake
Common mistake
Equality in Cauchy-Schwarz is not the same as orthogonality
Orthogonality means . Equality in Cauchy-Schwarz means
which happens when the vectors are linearly dependent, not when they are perpendicular. These are almost opposite geometric situations.
Quick check
Quick check
What does Cauchy-Schwarz say about ?
State the inequality directly.
Solution
Answer
Quick check
If u and v point in exactly the same direction, can equality hold in the triangle inequality?
Assume one is a nonnegative scalar multiple of the other.
Solution
Answer
Quick check
If , what does Cauchy-Schwarz reduce to?
Use .
Solution
Answer
Exercises
Quick check
Use Cauchy-Schwarz to show that .
Compute both sides numerically.
Solution
Guided solution
Quick check
Find and compare it with for and .
This is the right-angle case.
Solution
Guided solution
Quick check
Use the reverse triangle inequality to bound from below when and .
Apply the formula directly.
Solution
Guided solution
Related notes
Read 9.1 Inner products, norms, and angles first, because these inequalities are built directly from the inner-product and norm formulas.
The coefficient formulas in 9.2 Orthogonal sets and orthonormal bases and the geometry of 9.3 Gram-Schmidt orthogonalization both rely on the estimates proved here.