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

The Vandermonde Determinant via Polynomial Evaluation

IKey Formulas

FormulaNameHypotheses
det⁡(1β1⋯β1n−1⋮⋮1βn⋯βnn−1)=∏1≤j<k≤n(βk−βj)\det \begin{pmatrix} 1 & \beta_1 & \cdots & \beta_1^{n-1} \\ \vdots & & & \vdots \\ 1 & \beta_n & \cdots & \beta_n^{n-1} \end{pmatrix} = \displaystyle\prod_{1 \le j < k \le n} (\beta_k - \beta_j)Vandermonde determinantn>1n > 1, β1,…,βn∈F\beta_1, \dots, \beta_n \in \mathbf{F}
A=M(S,(1,z,…,zn−1),(e1,…,en))A = \mathcal{M}\bigl(S, (1, z, \dots, z^{n-1}), (e_1, \dots, e_n)\bigr)Evaluation mapSp=(p(β1),…,p(βn))Sp = (p(\beta_1), \dots, p(\beta_n)), S ⁣:Pn−1(F)→FnS \colon \mathcal{P}_{n-1}(\mathbf{F}) \to \mathbf{F}^n
Tzk=(z−β1)⋯(z−βk)Tz^k = (z - \beta_1) \cdots (z - \beta_k),  det⁡B=1\ \det B = 1Change of basisB=M(T)B = \mathcal{M}(T) upper triangular, diagonal entries 11

Key Insight: det⁡A=det⁡(AB)\det A = \det(AB), and ABAB is lower triangular because (z−β1)⋯(z−βk)(z - \beta_1)\cdots(z - \beta_k) vanishes at β1,…,βk\beta_1, \dots, \beta_k; its diagonal entries are the products of differences.

IIOne Polynomial Through Three Points

A nonzero Vandermonde determinant means SS is invertible: exactly one p∈P2(R)p \in \mathcal{P}_2(\mathbf{R}) takes the values wkw_k at the nodes βk\beta_k.

IIIA, B and the Lower-Triangular AB

For n=3n = 3, multiplying the Vandermonde matrix AA by the unit upper-triangular BB produces a lower-triangular C=ABC = AB.

IVQuiz Questions

Problem 1 · Three Nodes

Find det⁡(1111241416)\det \begin{pmatrix} 1 & 1 & 1 \\ 1 & 2 & 4 \\ 1 & 4 & 16 \end{pmatrix}.

✅ Correct! With β=(1,2,4)\beta = (1, 2, 4): (2−1)(4−1)(4−2)=1⋅3⋅2=6(2 - 1)(4 - 1)(4 - 2) = 1 \cdot 3 \cdot 2 = 6.
❌ Check the order. Each factor is βk−βj\beta_k - \beta_j with j<kj < k (later minus earlier); with three factors, reversing them all flips the sign.
❌ Not quite. 1⋅2⋅41 \cdot 2 \cdot 4 multiplies the nodes; the formula multiplies their differences.
❌ Not quite. Include every pair j<kj < k, not only neighbours: the pair (1,3)(1, 3) contributes 4−1=34 - 1 = 3.
Show solution

The rows are (1,βk,βk2)(1, \beta_k, \beta_k^2) with β1=1\beta_1 = 1, β2=2\beta_2 = 2, β3=4\beta_3 = 4. By the Vandermonde formula,

det⁡=(β2−β1)(β3−β1)(β3−β2)=(1)(3)(2)=6.\det = (\beta_2 - \beta_1)(\beta_3 - \beta_1)(\beta_3 - \beta_2) = (1)(3)(2) = 6.

Problem 2 · Four Nodes, Two Negative Factors

Given: β1,β2,β3,β4=0,1,−1,2\beta_1, \beta_2, \beta_3, \beta_4 = 0, 1, -1, 2. Find the 44-by-44 Vandermonde determinant ∏j<k(βk−βj)\prod_{j < k}(\beta_k - \beta_j).

✅ Correct! The six factors are 1,−1,2,−2,1,31, -1, 2, -2, 1, 3; two are negative.
❌ Check the sign. Count the negative factors: β3−β1=−1\beta_3 - \beta_1 = -1 and β3−β2=−2\beta_3 - \beta_2 = -2, an even number.
❌ Not quite. The determinant is 00 only when two nodes coincide; these four are distinct.
❌ Not quite. There are (42)=6\binom{4}{2} = 6 factors; check that none was left out.
Show solution

List βk−βj\beta_k - \beta_j for all six pairs j<kj < k:

(1−0)⏟1(−1−0)⏟−1(2−0)⏟2(−1−1)⏟−2(2−1)⏟1(2−(−1))⏟3=12.\underbrace{(1 - 0)}_{1}\underbrace{(-1 - 0)}_{-1}\underbrace{(2 - 0)}_{2}\underbrace{(-1 - 1)}_{-2}\underbrace{(2 - 1)}_{1}\underbrace{(2 - (-1))}_{3} = 12.

Problem 3 · When Does It Vanish?

Given: Mt=(1tt2124139)M_t = \begin{pmatrix} 1 & t & t^2 \\ 1 & 2 & 4 \\ 1 & 3 & 9 \end{pmatrix} with t∈Rt \in \mathbf{R}. Find every tt for which MtM_t is not invertible.

✅ Correct! det⁡Mt=(2−t)(3−t)(3−2)\det M_t = (2 - t)(3 - t)(3 - 2), zero exactly when tt equals another node.
❌ Not quite. t=52t = \tfrac{5}{2} is a new, distinct node, so the determinant is nonzero there.
❌ Check the sign. The factors are 2−t2 - t and 3−t3 - t, which vanish at t=2t = 2 and t=3t = 3.
❌ Not quite. At t=2t = 2 rows 11 and 22 are equal.
Show solution

MtM_t is the Vandermonde matrix with β1=t\beta_1 = t, β2=2\beta_2 = 2, β3=3\beta_3 = 3, so

det⁡Mt=(2−t)(3−t)(3−2)=(2−t)(3−t).\det M_t = (2 - t)(3 - t)(3 - 2) = (2 - t)(3 - t).

A square matrix is invertible exactly when its determinant is nonzero, so MtM_t fails to be invertible exactly for t=2t = 2 and t=3t = 3, where two rows coincide.

Problem 4 · Interpolation at Four Nodes

Given: distinct nodes −1,0,1,2-1, 0, 1, 2 and any numbers w1,w2,w3,w4∈Rw_1, w_2, w_3, w_4 \in \mathbf{R}. How many p∈P3(R)p \in \mathcal{P}_3(\mathbf{R}) satisfy p(−1)=w1p(-1) = w_1, p(0)=w2p(0) = w_2, p(1)=w3p(1) = w_3, p(2)=w4p(2) = w_4?

✅ Correct! The evaluation map S ⁣:P3(R)→R4S \colon \mathcal{P}_3(\mathbf{R}) \to \mathbf{R}^4 has matrix with determinant ∏j<k(βk−βj)≠0\prod_{j < k}(\beta_k - \beta_j) \neq 0, so SS is invertible.
❌ Not quite. An invertible SS is surjective: every w∈R4w \in \mathbf{R}^4 is SpSp for some pp.
❌ Not quite. An invertible SS is injective: two such polynomials would have the same image, so they are equal.
❌ Not quite. An invertible linear map has exactly one preimage for each ww.
Show solution

Let Sp=(p(−1),p(0),p(1),p(2))Sp = (p(-1), p(0), p(1), p(2)). Its matrix in the bases 1,z,z2,z31, z, z^2, z^3 and e1,…,e4e_1, \dots, e_4 is the Vandermonde matrix of the nodes, with determinant

∏j<k(βk−βj)=(1)(2)(3)(1)(2)(1)=12≠0.\prod_{j < k}(\beta_k - \beta_j) = (1)(2)(3)(1)(2)(1) = 12 \neq 0.

So SS is invertible, and each w∈R4w \in \mathbf{R}^4 has exactly one preimage p=S−1wp = S^{-1}w.

Solved: 0 / 4