Maths WorkshopMaths problems with full solutions
Exercise 2118Linear algebra › DeterminantsL1Added 3 Nov 2026

Gram determinant and Cauchy-Schwarz

#Gram determinant#Cauchy-Schwarz#inner product

Statement

Let u,v∈Rnu,v\in\mathbb{R}^n. Show that the Gram determinant
G(u,v)=∣⟨u,u⟩⟨u,v⟩⟨v,u⟩⟨v,v⟩∣G(u,v) = \begin{vmatrix} \langle u,u\rangle & \langle u,v\rangle \\ \langle v,u\rangle & \langle v,v\rangle \end{vmatrix}
satisfies G(u,v)≥0G(u,v)\ge0, with equality iff u,vu,v are linearly dependent. Deduce the Cauchy-Schwarz inequality.

Hint

G(u,v)=∥u∥2∥v∥2−⟨u,v⟩2G(u,v)=\|u\|^2\|v\|^2-\langle u,v\rangle^2. Show it is nonnegative by a direct computation with ∥u−tv∥2≥0\|u-tv\|^2\ge0 for all tt.

Show solutionHide solution

Solution

Explicit formula. ⟨u,u⟩=∥u∥2\langle u,u\rangle=\|u\|^2, ⟨v,v⟩=∥v∥2\langle v,v\rangle=\|v\|^2, ⟨u,v⟩=⟨v,u⟩\langle u,v\rangle=\langle v,u\rangle, so
G(u,v)=∥u∥2∥v∥2−⟨u,v⟩2.G(u,v) = \|u\|^2\|v\|^2 - \langle u,v\rangle^2.

Non-negativity. For all t∈Rt\in\mathbb{R}, ∥u−tv∥2≥0\|u-tv\|^2\ge0, so
∥u∥2−2t⟨u,v⟩+t2∥v∥2≥0.\|u\|^2 - 2t\langle u,v\rangle + t^2\|v\|^2\ge0.
If v=0v=0, then G(u,v)=0G(u,v)=0 and u,vu,v are dependent. Otherwise, choosing t=⟨u,v⟩/∥v∥2t=\langle u,v\rangle/\|v\|^2:
∥u∥2−⟨u,v⟩2∥v∥2≥0,\|u\|^2 - \frac{\langle u,v\rangle^2}{\|v\|^2}\ge0,
which rearranges to G(u,v)≥0G(u,v)\ge0. Equality holds iff u=tvu=tv for some tt, i.e. iff u,vu,v are dependent.

Cauchy-Schwarz. From G(u,v)≥0G(u,v)\ge0: ⟨u,v⟩2≤∥u∥2∥v∥2\langle u,v\rangle^2\le\|u\|^2\|v\|^2, so ∣⟨u,v⟩∣≤∥u∥∥v∥|\langle u,v\rangle|\le\|u\|\|v\|.

Conclusion. The Gram determinant is nonnegative, vanishes iff the vectors are dependent, and yields the Cauchy-Schwarz inequality.