title: Matrice di Vandermonde
text: # Matrice di Vandermonde
  
  In algebra lineare con matrice di Vandermonde si indica una matrice le cui righe (oppure le cui colonne) hanno elementi, a partire da 1, in progressione geometrica: $a_{i,j}=\alpha _{i}^{j-1}$ (oppure la trasposta $a_{i,j}=\alpha _{j}^{i-1}$). Prende il nome dal matematico francese Alexandre-Théophile Vandermonde.
  
      $V={\begin{pmatrix}1&\alpha _{1}&\alpha _{1}^{2}&\dots &\alpha _{1}^{n-1}\\1&\alpha _{2}&\alpha _{2}^{2}&\dots &\alpha _{2}^{n-1}\\1&\alpha _{3}&\alpha _{3}^{2}&\dots &\alpha _{3}^{n-1}\\\vdots &\vdots &\vdots &&\vdots \\1&\alpha _{m}&\alpha _{m}^{2}&\dots &\alpha _{m}^{n-1}\\\end{pmatrix}}.$
  
  ## Determinante
  
  Una matrice quadrata di Vandermonde di ordine $n$ ha determinante
  
      $\det(V)=\prod _{1\leq i<j\leq n}(\alpha _{j}-\alpha _{i}),$
  
  cioè è il prodotto di tutte le possibili differenze (contate una volta sola, con segno opportuno) tra i coefficienti.
  
  Da quest'espressione per il determinante segue che le matrici quadrate di Vandermonde hanno determinante nullo solo se hanno due coefficienti $\alpha _{i}$ uguali, ossia due righe uguali. In particolare, il rango di una generica matrice di Vandermonde è il minimo tra il numero di colonne e il numero di distinti coefficienti $\alpha _{i}$ (ossia di righe distinte).
  
  ### Dimostrazione
  
  Questa formula si dimostra per induzione sull'ordine $n.$ Vale per $n=1$ (prodotto vuoto). Per il passo induttivo, supponendo vera la formula per l'ordine $n-1,$ il determinante di una matrice di Vandermonde di ordine $n$ può essere calcolato:
  
  * sottraendo ad ogni colonna la colonna precedente moltiplicata per $\alpha _{1}$
  
         $\det(V)=\det {\begin{pmatrix}1&0&0&\dots &0\\1&\alpha _{2}-\alpha _{1}&\alpha _{2}(\alpha _{2}-\alpha _{1})&\dots &\alpha _{2}^{n-2}(\alpha _{2}-\alpha _{1})\\1&\alpha _{3}-\alpha _{1}&\alpha _{3}(\alpha _{3}-\alpha _{1})&\dots &\alpha _{3}^{n-2}(\alpha _{3}-\alpha _{1})\\\vdots &\vdots &\vdots &&\vdots \\1&\alpha _{n}-\alpha _{1}&\alpha _{n}(\alpha _{n}-\alpha _{1})&\dots &\alpha _{n}^{n-2}(\alpha _{n}-\alpha _{1})\end{pmatrix}};$
  * dividendo ogni riga $j$-esima (tranne la prima) per il termine $\alpha _{j}-\alpha _{1}$, portandolo fuori dalla matrice
  
         $\det(V)=\det {\begin{pmatrix}1&0&0&\dots &0\\(\alpha _{2}-\alpha _{1})^{-1}&1&\alpha _{2}&\dots &\alpha _{2}^{n-2}\\(\alpha _{3}-\alpha _{1})^{-1}&1&\alpha _{3}&\dots &\alpha _{3}^{n-2}\\\vdots &\vdots &\vdots &&\vdots \\(\alpha _{n}-\alpha _{1})^{-1}&1&\alpha _{n}&\dots &\alpha _{n}^{n-2}\\\end{pmatrix}}\prod _{j=2}^{n}(\alpha _{j}-\alpha _{1})=\det {\begin{pmatrix}1&\alpha _{2}&\dots &\alpha _{2}^{n-2}\\1&\alpha _{3}&\dots &\alpha _{3}^{n-2}\\\vdots &\vdots &&\vdots \\1&\alpha _{n}&\dots &\alpha _{n}^{n-2}\\\end{pmatrix}}\prod _{j=2}^{n}(\alpha _{j}-\alpha _{1});$
  * infine applicando la formula del determinante per una matrice di Vandermonde di ordine $n-1$
  
         $\det(V)=\left(\prod _{2\leqslant i<j\leqslant n}(\alpha _{j}-\alpha _{i})\right)\left(\prod _{j=2}^{n}(\alpha _{j}-\alpha _{1})\right)=\prod _{1\leqslant i<j\leqslant n}(\alpha _{j}-\alpha _{i}).$
  
  ### Dimostrazione alternativa
  
  Il determinante di $V$ è chiaramente un polinomio sui coefficienti $\alpha _{1},\ldots ,\alpha _{n},$ e si annulla quando due righe sono uguali, ossia quando $\alpha _{i}=\alpha _{j}.$ Ne consegue che il determinante è uguale a un polinomio $P(\alpha _{1},\ldots ,\alpha _{n})$ moltiplicato per $\prod _{1\leq i<j\leq n}(\alpha _{j}-\alpha _{i})$; secondo la classica formula di Leibniz, il grado del determinante su ogni variabile è $n-1,$ quindi il polinomio $P$ è una costante $P_{n}.$ Che questa costante sia esattamente 1 si può dimostrare per induzione, confrontando i coefficienti di $\alpha _{n}^{n-1}$ ottenuti secondo la formula del determinante e secondo l'ipotesi induttiva.
  
  ## Applicazioni
  
  Le matrici di Vandermonde descrivono i problemi di interpolazione polinomiale: i coefficienti di un polinomio $P(X)=c_{0}+c_{1}X+\ldots +c_{n-1}X^{n-1}$ il cui grafico nel piano passa per i punti $(x_{1},y_{1}),\ldots ,(x_{n},y_{n})$ sono le soluzioni del sistema lineare
  
      ${\begin{pmatrix}1&x_{1}&x_{1}^{2}&\cdots &x_{1}^{n-1}\\1&x_{2}&x_{2}^{2}&\cdots &x_{2}^{n-1}\\\vdots &\vdots &\vdots &\ddots &\vdots \\1&x_{n}&x_{n}^{2}&\cdots &x_{n}^{n-1}\end{pmatrix}}{\begin{pmatrix}c_{0}\\c_{1}\\\vdots \\c_{n-1}\end{pmatrix}}={\begin{pmatrix}y_{1}\\y_{2}\\\vdots \\y_{n}\end{pmatrix}}.$
  
  Le matrici di Vandermonde e i loro determinanti sono utilizzati per la formula di Frobenius, per le proprietà dei codici BCH, per l'interpolazione di Hermite, per la trasformata di Fourier discreta e per diagonalizzare le matrici compagne di un polinomio.
  
  Le matrici di Vandermonde sono mal condizionate.
  
  