Linear-Algebra-Done-Right · Unit 29 · Video 6 · Interactive Practice

Hadamard's Inequality: Column Lengths Cap |det A|

IKey Formulas

FormulaNameHypotheses
∣det⁡A∣≤∥v1∥⋯∥vn∥|\det A| \le \|v_1\| \cdots \|v_n\|Hadamard's inequalityA∈Fn,nA \in \mathbf{F}^{n,n} with columns v1,…,vnv_1, \dots, v_n; Euclidean norm on Fn\mathbf{F}^n
A=QRA = QR,  ∣det⁡A∣=R1,1⋯Rn,n\ |\det A| = R_{1,1} \cdots R_{n,n}QR factorizationAA invertible; QQ unitary, RR upper triangular with positive diagonal
Rk,k≤∥R⋅,k∥=∥vk∥R_{k,k} \le \|R_{\cdot,k}\| = \|v_k\|The one inequalityQQ preserves norms; ∥R⋅,k∥2=∑j∣Rj,k∣2\|R_{\cdot,k}\|^2 = \sum_j |R_{j,k}|^2

Key Insight: ∣det⁡A∣|\det A| is the volume of the parallelepiped spanned by the columns; for given edge lengths, the box with orthogonal edges has the largest volume.

IISwinging an Edge

With edge lengths fixed, the area L1L2sin⁡θL_1 L_2 \sin\theta of a parallelogram is largest when the edges are perpendicular.

IIIWhere the Gap Comes From

Gram–Schmidt splits v2v_2 into a part along v1v_1 (R1,2R_{1,2}) and a perpendicular part (R2,2R_{2,2}); only R2,2R_{2,2} counts toward the area.

IVQuiz Questions

Problem 1 · Compute the Bound

Given: A=(102230240)A = \begin{pmatrix} 1 & 0 & 2 \\ 2 & 3 & 0 \\ 2 & 4 & 0 \end{pmatrix}. Find the upper bound Hadamard's inequality gives for ∣det⁡A∣|\det A|.

✅ Correct! The columns have lengths 33, 55 and 22, so ∣det⁡A∣≤30|\det A| \le 30.
❌ Not quite. 9+25+49 + 25 + 4 adds squared lengths; the bound multiplies the lengths themselves.
❌ Not quite. 3+5+23 + 5 + 2 adds the lengths; the bound is their product.
❌ Not quite. 44 is ∣det⁡A∣|\det A| itself; the question asks for the bound.
Show solution
∥(1,2,2)∥=3,∥(0,3,4)∥=5,∥(2,0,0)∥=2,∣det⁡A∣≤3⋅5⋅2=30.\|(1, 2, 2)\| = 3, \quad \|(0, 3, 4)\| = 5, \quad \|(2, 0, 0)\| = 2, \qquad |\det A| \le 3 \cdot 5 \cdot 2 = 30.

The actual value is det⁡A=4\det A = 4 (for instance by row operations), well below the bound: the columns are far from orthogonal.

Problem 2 · Equality Case

Given: A=(2−332)A = \begin{pmatrix} 2 & -3 \\ 3 & 2 \end{pmatrix} with columns v1,v2v_1, v_2. Compare ∣det⁡A∣|\det A| with ∥v1∥ ∥v2∥\|v_1\|\,\|v_2\|.

✅ Correct! ⟨v1,v2⟩=−6+6=0\langle v_1, v_2 \rangle = -6 + 6 = 0: orthogonal columns give equality.
❌ Check the sign. ad−bc=2⋅2−(−3)(3)=4+9ad - bc = 2 \cdot 2 - (-3)(3) = 4 + 9.
❌ Not quite. Multiply the lengths: 13⋅13=13\sqrt{13} \cdot \sqrt{13} = 13, not 13+1313 + 13.
❌ Not quite. Hadamard's bound is the product of both lengths, 13⋅13\sqrt{13}\cdot\sqrt{13}; it can never be exceeded.
Show solution
det⁡A=2⋅2−(−3)⋅3=13,∥v1∥=∥v2∥=4+9=13,∥v1∥ ∥v2∥=13.\det A = 2 \cdot 2 - (-3) \cdot 3 = 13, \qquad \|v_1\| = \|v_2\| = \sqrt{4 + 9} = \sqrt{13}, \qquad \|v_1\|\,\|v_2\| = 13.

Equality holds; indeed ⟨v1,v2⟩=2(−3)+3⋅2=0\langle v_1, v_2 \rangle = 2(-3) + 3 \cdot 2 = 0, so the parallelogram is a square of side 13\sqrt{13}.

Problem 3 · An Impossible Determinant

Given: A∈R3,3A \in \mathbf{R}^{3,3} whose columns have lengths 11, 22 and 33. Which value can det⁡A\det A not take?

✅ Correct! ∣det⁡A∣≤1⋅2⋅3=6<7|\det A| \le 1 \cdot 2 \cdot 3 = 6 < 7.
❌ Not quite. 66 is attained: A=diag⁡(1,2,3)A = \operatorname{diag}(1, 2, 3).
❌ Not quite. −6-6 is attained: A=diag⁡(−1,2,3)A = \operatorname{diag}(-1, 2, 3).
❌ Not quite. 00 is attained: take two parallel columns, e.g. e1e_1, 2e12e_1, 3e23e_2.
Show solution

Hadamard's inequality gives ∣det⁡A∣≤1⋅2⋅3=6|\det A| \le 1 \cdot 2 \cdot 3 = 6, so 77 is impossible. The values 66, −6-6 and 00 occur for diag⁡(1,2,3)\operatorname{diag}(1, 2, 3), diag⁡(−1,2,3)\operatorname{diag}(-1, 2, 3) and the matrix with columns e1,2e1,3e2e_1, 2e_1, 3e_2.

Problem 4 · Recovering the Angle

Given: A∈R2,2A \in \mathbf{R}^{2,2} with columns of lengths 55 and 22, and ∣det⁡A∣=5|\det A| = 5. Find the angle θ∈[0°,180°]\theta \in [0\degree, 180\degree] between the columns.

✅ Correct! 5=5⋅2sin⁡θ5 = 5 \cdot 2 \sin\theta gives sin⁡θ=12\sin\theta = \tfrac{1}{2}.
❌ Not quite. Area uses sin⁡θ\sin\theta, not cos⁡θ\cos\theta.
❌ Not quite. At 90°90\degree the area would be the full 5⋅2=105 \cdot 2 = 10.
❌ Almost. sin⁡150°=12\sin 150\degree = \tfrac{1}{2} as well; the absolute value cannot tell the two apart.
Show solution

∣det⁡A∣|\det A| is the area of the parallelogram spanned by the columns, L1L2sin⁡θL_1 L_2 \sin\theta:

5=5⋅2⋅sin⁡θ  ⟹  sin⁡θ=12  ⟹  θ=30° or 150°.5 = 5 \cdot 2 \cdot \sin\theta \implies \sin\theta = \tfrac{1}{2} \implies \theta = 30\degree \text{ or } 150\degree.

Solved: 0 / 4