Exercise 2118Linear algebra › DeterminantsL1Added 3 Nov 2026
Gram determinant and Cauchy-Schwarz
#Gram determinant#Cauchy-Schwarz#inner product
Statement
Let . Show that the Gram determinant
satisfies , with equality iff are linearly dependent. Deduce the Cauchy-Schwarz inequality.
Hint
. Show it is nonnegative by a direct computation with for all .
Show solutionHide solution
Solution
Explicit formula. , , , so
Non-negativity. For all , , so
If , then and are dependent. Otherwise, choosing :
which rearranges to . Equality holds iff for some , i.e. iff are dependent.
Cauchy-Schwarz. From : , so .
Conclusion. The Gram determinant is nonnegative, vanishes iff the vectors are dependent, and yields the Cauchy-Schwarz inequality.