線型代数学において、ヴァンデルモンドの行列式(ヴァンデルモンドのぎょうれつしき、英: Vandermonde's determinant)とは、ある特殊な形をした正方行列の行列式である。名称は18世紀のフランスの数学者であるアレクサンドル=テオフィル・ヴァンデルモンド(フランス語版、英語版)に因む。ヴァンデルモンドは「ファンデルモンド」と表記されることもある。ファン (前置詞) も参照。
各行が初項1の等比数列である正方行列
![{\displaystyle V:={\begin{bmatrix}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{bmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bc2150594323b7df6804ac61b28056027ee38196)
をヴァンデルモンド行列(英: Vandermonde matrix)といい、その行列式をヴァンデルモンドの行列式という。テキストによっては、上記の転置行列
![{\displaystyle {\begin{bmatrix}1&1&\cdots &1\\x_{1}&x_{2}&\cdots &x_{n}\\{x_{1}}^{2}&{x_{2}}^{2}&\cdots &{x_{n}}^{2}\\\vdots &\vdots &\ddots &\vdots \\{x_{1}}^{n-1}&{x_{2}}^{n-1}&\cdots &{x_{n}}^{n-1}\end{bmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9aca40d928fe89427569b760970c8c3f58ccebaf)
で定義している場合もあるが、行列式は転置をとっても変わらないので、行列式としては全く同じものである。
ヴァンデルモンドの行列式は、各行の公比の差積に等しい。具体的には、上記の行列 V に対して
![{\displaystyle \det V=\textstyle \prod \limits _{1\leq i<j\leq n}(x_{j}-x_{i})=(-1)^{n(n-1)/2}\prod \limits _{1\leq i<j\leq n}(x_{i}-x_{j})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a93eec7dd0461964ce36ab7a2a88965beaf7ed11)
が成り立つ。n = 2, 3 の場合を書き下せば、
![{\displaystyle {\begin{vmatrix}1&x_{1}\\1&x_{2}\end{vmatrix}}=x_{2}-x_{1},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8e2c11fbecd1d0a4646d25fb85787031b679c10f)
![{\displaystyle {\begin{vmatrix}1&x_{1}&{x_{1}}^{2}\\1&x_{2}&{x_{2}}^{2}\\1&x_{3}&{x_{3}}^{2}\end{vmatrix}}=(x_{3}-x_{1})(x_{3}-x_{2})(x_{2}-x_{1})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c922d427d85550e3f974c44179824072ff1bcb00)
である。公式より直ちに分かることとして、x1, …, xn が全て異なるとき、かつそのときに限り、ヴァンデルモンドの行列式は 0 ではない。
この公式は、n に関する数学的帰納法で示すこともできるし、行列式の性質を用いたうまい証明の仕方もある。実際、行列式の交代性(行を入れ替えると行列式は −1 倍になる)と因数定理によって、det V は xj − xi たちを因数に持つことが分かるので、あとは次数と係数を比較すれば、公式が成り立つことが容易に分かる。
以下に、別の証明法の1例として、ある正方行列のある列(行)の各成分に同じ係数を乗じ、別のある列(行)にベクトル的に加算するという操作(行列の基本変形の1つ)を行っても、行列式の値は変わらないという性質と、やはり因数定理および、各項の次数と係数を比較する方法を示す。
正方行列Vは次の形であるとする。
![{\displaystyle V={\begin{bmatrix}1&{x_{1}}&{x_{1}}^{2}&\cdots &{x_{1}}^{n-1}\\1&{x_{2}}&{x_{2}}^{2}&\cdots &{x_{2}}^{n-1}\\1&{x_{3}}&{x_{3}}^{2}&\cdots &{x_{3}}^{n-1}\\\vdots &\vdots &\vdots &\ddots &\vdots \\1&{x_{n}}&{x_{n}}^{2}&\cdots &{x_{n}}^{n-1}\end{bmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7ea5b1cfed561dfdd9c4e2262e9d78b78a464703)
V の行列式は定義により次のようになる。
![{\displaystyle \det V=\textstyle \sum \limits _{\sigma \in S_{n}}sign(\sigma )\prod \limits _{1\leq i\leq n}x_{i}^{\sigma (i)-1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b8098765b75d0328c66fa15f6fdf94c4e0664f3b)
ここで、Sn は n次対称群(n次置換群)を表し、Sn の元 σ に対して sign(σ) は σ がn次交代群(遇置換群)に属していれば 1、そうでなければ -1とする。
この定義式から
は
の多項式で表わされ、そのどの項においても
の次数の合計は、
であることが分かる。
行列Vの第1列に
を乗じて第2列から引き、第1列に
を乗じて第3列から引き、以下この操作を第1列に
を乗じて第n列から引くまで繰り返すと、V は次の形に変形される。
![{\displaystyle V_{1}={\begin{bmatrix}1&0&0&\cdots &0\\1&{x_{2}}-{x_{1}}&{x_{2}}^{2}-{x_{1}}^{2}&\cdots &{x_{2}}^{n-1}-{x_{1}}^{n-1}\\1&{x_{3}}-{x_{1}}&{x_{3}}^{2}-{x_{1}}^{2}&\cdots &{x_{3}}^{n-1}-{x_{1}}^{n-1}\\\vdots &\vdots &\vdots &\ddots &\vdots \\1&{x_{n}}-{x_{1}}&{x_{n}}^{2}-{x_{1}}^{2}&\cdots &{x_{n}}^{n-1}-{x_{1}}^{n-1}\end{bmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/420ea1819ba6079941328d97ce0f28095a60b08d)
この操作によって
の値は不変である。つまり
である。
![{\displaystyle {x_{j}}^{k-1}-{x_{i}}^{k-1}=(x_{j}-x_{i})({x_{j}}^{k-2}+{x_{j}}^{k-3}x_{i}+\cdots +{x_{j}}{x_{i}}^{k-3}+{x_{i}}^{k-2})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7ffadf8cdfa565750c65a7ac204646beb06c1b7d)
であるから、
の第2行の第1列以外の各列の要素は
を因数に持ち、第k行の第1列以外の各列の要素は
を因数に持つことが分かる。従って、
は
を因数に持つことが分かる。
次に、行列Vの第1列に
を乗じて第2列から引き、第1列に
を乗じて第3列から引き、以下この操作を第1列に
を乗じて第n列から引くまで繰り返すと、V は次の形に変形される。
![{\displaystyle V_{2}={\begin{bmatrix}1&x_{1}-x_{2}&{x_{1}}^{2}-{x_{2}}^{2}&\cdots &{x_{1}}^{n-1}-{x_{2}}^{n-1}\\1&0&0&\cdots &0\\1&x_{3}-x_{2}&{x_{3}}^{2}-{x_{2}}^{2}&\cdots &{x_{3}}^{n-1}-{x_{2}}^{n-1}\\\vdots &\vdots &\vdots &\ddots &\vdots \\1&x_{n}-x_{2}&{x_{n}}^{2}-{x_{2}}^{2}&\cdots &{x_{n}}^{n-1}-{x_{2}}^{n-1}\end{bmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f9998fc6dff228c05b259792ec07b50f3a6da80c)
この操作によって
の値は不変であり、上と同様の論法で、
は
を因数に持つことが分かる。
同様の操作を、行列Vの第1列に
を乗じて第2列から引き、第1列に
を乗じて第3列から引き、以下この操作を第1列に
を乗じて第n列から引くまで繰り返せば、
は
を因数に持つことが言え、最終的に
は
を因数に持つことが分かる。
は
型の因数を
個掛け合わせているので、
の多項式に展開できるが、各項の
の次数の合計は、
である。従って、
は
の定数倍になるはずである。
の各因数の左側の変数(
であれば
)を掛け合わせた項は
である。一方
の対角要素を掛け合わせると、
であり一致する。従って、
と
は一致する。
ヴァンデルモンドの行列式は、数学のいろいろな場面で現れる。最も古典的なのは、多項式の決定に関することである。x1, …, xn が全て異なるならば、
![{\displaystyle f(x_{1})=y_{1},\,f(x_{2})=y_{2},\cdots ,f(x_{n})=y_{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e1acc5d7052d95a97e0b89ab7dfc5c4d3b074f78)
を満たす n − 1 次以下の多項式 f(x) は一意に定まる。このことを示すために、
![{\displaystyle f(x)=a_{0}+a_{1}x+a_{2}x^{2}+\cdots +a_{n-1}x^{n-1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3d1bf69dab9c0455dc46909359d0511f3b933c10)
とおくと、上記の条件から、係数 a0, …, an−1 は
![{\displaystyle {\begin{bmatrix}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{bmatrix}}{\begin{bmatrix}a_{0}\\a_{1}\\\vdots \\a_{n-1}\end{bmatrix}}={\begin{bmatrix}y_{1}\\y_{2}\\\vdots \\y_{n}\end{bmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0e4c71db8321f847dd938ae20df0466774cd7dc1)
を満たす。この連立一次方程式の係数行列がヴァンデルモンド行列に他ならず、x1, …, xn が全て異なることよりその行列式は 0 ではないので、これは逆行列を持つ。よって、係数 a0, …, an−1 は一意に定まり、f(x) が一意に定まる。