MATEMTICAS Y CULTURA

BOLETN
23.04.2010

No. 265

COORDINACIN DE MATEMTICAS
MATEMTICAS

MATEMTICAS

DETERMINANTE DE VANDERMONDE
Se define la matriz de Vandermonde asociada a los elementos a1, a2 ,..., an como la matriz cuadrada de
orden n que presenta en sus columnas una progresin geomtrica, es decir,
1
1
a
a2
1
2
V ( a1 , a2 ,..., an ) = a1
a22

M
M
1

n
a1
a2n1

1
L an
L an2

M
L ann1
L

cuyo elemento genrico es Vi , j = a ij1 , donde los ndices i, j van desde 1 hasta n . Esta matriz recibe dicho
nombre en honor del matemtico francs Alexandre-Thophile Vandermonde (1735-1796). Algunos
autores definen a la matriz de Vandermonde como la transpuesta de la dada anteriormente, pero en
nuestro caso eso no es importante ya que estamos interesados en su determinante y sabemos que
det (V ) = det (V T ) .
Proposicin. El determinante de Vandermonde de orden n 2 est dado por
det V ( a1 , a2 ,..., an ) =

(a

1i < j n

ai )

Donde

(a

1i < j n

ai ) = ( a2 a1 )( a3 a2 )( a3 a1 )L ( an an 1 )( an an 2 )L ( an a1 )

MB

Demostracin. La demostracin se har por induccin sobre el orden de la matriz.

Para n = 2 :
Aplicando la regla de Cramer se tiene

det V ( a1 , a2 ) =

1 1
= ( a2 a1 )
a1 a2

lo cual se puede escribir como

det V ( a1 , a2 ) =

(a

1i < j 2

ai )

con lo que termina la demostracin.

Con el propsito de ilustrar el mtodo para hacer la demostracin en el caso general, se realizarn las
demostraciones para los casos n = 3 y n = 4 .
Para n = 3 :

Se calcular el determinante mediante el mtodo de los cofactores, pero antes se aplicarn operaciones
elementales sobre los renglones de la matriz, obtenindose una matriz equivalente, es decir, con el
mismo determinante.
1

det V ( a1 , a2 , a3 ) = a1
a12

a2
a22

a3
a32

Restndole al tercer y segundo rengln a1 veces el segundo y primer rengln respectivamente, se tiene
que
1
1
det V ( a1 , a2 , a3 ) = 0 a2 a1
0 a22 a1a2

1
1
1
1
a3 a1 = 0
a2 a1
a3 a1
2
a3 a1a3
0 a2 ( a2 a1 ) a3 ( a3 a1 )

MB

Calculando el valor del determinante desarrollando por cofactores de acuerdo con la primera columna se
llega a

det V ( a1 , a2 , a3 ) =

a2 a1
a3 a1
a2 ( a2 a1 ) a3 ( a3 a1 )

De las propiedades de los determinantes

det V ( a1 , a2 , a3 ) = ( a2 a1 )( a3 a1 )

1
a2

1
a3

el cual se puede escribir como

det V ( a1 , a2 , a3 ) =

(a

1=i < j 3

ai )

1
a2

1
a3

y por el caso n = 2
det V ( a1 , a2 , a3 ) =

(a

1= i < j 3

ai )

(a

2 i < j 3

ai ) =

(a

1i < j 3

Para n = 4 :

Tambin se calcular el determinante mediante el mtodo de los cofactores.

det V ( a1 , a2 , a3 , a4 ) =

a1
a12

a2
a22

a3
a32

a4
a42

a13

a23

a33

3
a41

ai )

MB

Restndole al cuarto, tercer y segundo rengln a1 veces el tercer, segundo y primer rengln
respectivamente y desarrollado por cofactores de acuerdo a la primera columna, se tiene que

1
1
0 a2 a1
det V ( a1 , a2 , a3 , a4 ) =
0 a22 a1a2
0 a23 a1a22

1
a3 a1
a32 a1a3
a33 a1a32

1
a4 a1
a42 a1a4
a43 a1a42

1
1
1
1
0
a2 a1
a3 a1
a4 a1
=
0 a2 ( a2 a1 ) a3 ( a3 a1 ) a4 ( a4 a1 )
0 a22 ( a2 a1 ) a32 ( a3 a1 ) a42 ( a4 a1 )
a2 a1
a3 a1
a4 a1
= a2 ( a2 a1 ) a3 ( a3 a1 ) a4 ( a4 a1 )
a22 ( a2 a1 ) a32 ( a3 a1 ) a42 ( a4 a1 )
= ( a2 a1 )( a3 a1 )( a4 a1 )

(a

1=i < j 4

ai )

1
a2
a22

1
a3
a32

ai )

(a

1
a2
a22

1
a3
a32

1
a4
a42

1
a4
a42

y por el caso anterior

det V ( a1 , a2 , a3 , a4 ) =

Para n = k :

Se asume como verdadero que

(a

1= i < j 4

2i < j 4

ai ) =

(a

1 i < j 4

ai )

MB
1
a1
det V ( a1 , a2 , K , ak ) = a12
M
a1k 1

1
a2
a22

L
L
L

1
ak
ak2 =

k 1
2

L a

(a

1i < j k

ai )

k 1
k

Para n = k + 1 :

Por demostrar que

det V ( a1 , a2 ,K , ak +1 ) =

1
a1
a12

1
a2
a22

M
a1k 1
a1k

L
L
L

1
ak
ak2

1
ak +1
ak2+1

a2k 1 L akk 1
a2k L akk

(a

1i < j k +1

ai )

akk+11
akk+1

Restndole a cada rengln, de abajo hacia arriba, a1 veces el rengln anterior, es decir,

Ri a1Ri 1 Ri para i = n + 1, n, n 1, K, 3, 2
se tiene

det V ( a1 , a2 , K , ak +1 ) =

1
a1

1
a2 a1

a12

a22 a1a2

M
a1k 1

k 1
1 2

a a a

1
0

1
a2 a1

0
M

a2 ( a2 a1 )
k 2
2
k 1
2

0 a
0 a

1
ak a1

1
ak +1 a1

ak2 a1ak

ak2+1 a1ak +1

M
M
k 2
k 1
L ak a1akk 2
a1a2

k
1

k 1
2
k
2

L
L

( a2 a1 )
( a2 a1 )

a a a

L
L
L
L

k 1
1 k

k
k

1
ak a1

ak ( ak a1 )
k 2
k
k 1
k

L a
L a

Desarrollando por cofactores de acuerdo con la primera columna

( ak a1 )
( ak a1 )

k 1
k +1
k
k +1

M
a1akk+12
a1akk+11

1
ak +1 a1

ak +1 ( ak +1 a1 )
k 2
k +1
k 1
k +1

a
a

( ak +1 a1 )
( ak +1 a1 )

MB
a2 a1

a2 ( a2 a1 )
M
det V ( a1 , a2 , K , ak +1 ) =
k 2
a2 ( a2 a1 )
a2k 1 ( a2 a1 )

6
ak a1

ak ( ak a1 )
M

L
L

ak +1 a1

ak +1 ( ak +1 a1 )
M

L akk 2 ( ak a1 ) akk+12 ( ak +1 a1 )
L akk 1 ( ak a1 ) akk+11 ( ak +1 a1 )

De las propiedades de los determinantes

det V ( a1 , a2 , K , ak +1 ) = ( a2 a1 )( a3 a1 ) L ( ak a1 )( ak +1 a1 )

a2
M

L
L

ak
M

ak +1
M

a2k 2 L akk 2
a2k 1 L akk 1

(a

1=i < j k +1

Por la hiptesis de induccin

det V ( a1 , a2 , K, ak +1 ) =

ai )

(a

1=i < j k +1

1
a2

L
L

k 2
2
k 1
2

1
ak

L a

L a

ai )

(a

2 i < j k +1

akk+11

1
ak +1

k 2
k
k 1
k

akk+12

k 2
k +1
k 1
k +1

ai ) =

(a

1 i < j k +1

ai )

con lo que termina la demostracin.

De manera inmediata se desprende el siguiente resultado.
Corolario. Si

ai a j para i j , entonces det[V (a1 , a2 , K, an )] 0 .

El determinante de Vandermonde tiene diversas aplicaciones, algunas de las cuales se presentarn en un nmero posterior de
este boletn.

JUAN AGUILAR PASCUAL

PROFESOR DE LA FACULTAD DE INGENIERA, UNAM

http://dcb.fi-c.unam.mx
erik2306@servidor.unam.mx
Por razones de austeridad, el tiraje del boletn se sigue manteniendo a la mitad de lo que se
acostumbraba.

MB

MB