PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: No information on entry rating
[parent] proof of determinant of the Vandermonde matrix (Proof)

To begin, note that the determinant of the $n \times n$ Vandermonde matrix (which we shall denote as `$\Delta$ ) is a homogeneous polynomial of order $n(n-1)/2$ because every term in the determinant is, up to sign, the product of a zeroth power of some variable times the first power of some other variable , $\ldots$ the $n-1$ st power of some variable and $0 + 1 + \cdots + (n-1) = n(n-1)/2$

Next, note that if $a_i = a_j$ with $i \neq j$ then $\Delta = 0$ because two columns of the matrix would be equal. Since $\Delta$ is a polynomial, this implies that $a_i - a_j$ is a factor of $\Delta$ Hence, $$ \Delta = C \prod_{1 \leq i < j \leq n}(a_j - a_i) $$ where C is some polynomial. However, since both $\Delta$ and the product on the right hand side have the same degree, $C$ must have degree zero, i.e. $C$ must be a constant. So all that remains is the determine the value of this constant.

One way to determine this constant is to look at the coefficient of the leading diagonal, $\prod_n (a_n)^{n-1}$ Since it equals 1 in both the determinant and the product, we conclude that $C = 1$ hence $$ \Delta = \prod_{1 \leq i < j \leq n}(a_j - a_i). $$




"proof of determinant of the Vandermonde matrix" is owned by rspuzio. [ full author list (2) ]
(view preamble | get metadata)

View style:


This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: diagonal, coefficient, degree, right hand side, factor, implies, polynomial, matrix, columns, variable, power, product, term, order, homogeneous polynomial, Vandermonde matrix, determinant

This is version 7 of proof of determinant of the Vandermonde matrix, born on 2006-03-08, modified 2006-11-03.
Object id is 7699, canonical name is PrrofOfDeterminantOfTheVandermondeMatrix.
Accessed 9388 times total.

Classification:
AMS MSC65T50 (Numerical analysis :: Numerical methods in Fourier analysis :: Discrete and fast Fourier transforms)
 65F99 (Numerical analysis :: Numerical linear algebra :: Miscellaneous)
 15A57 (Linear and multilinear algebra; matrix theory :: Other types of matrices )

Pending Errata and Addenda
None.
[ View all 3 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add example | add (any)