ヴァンデルモンドの行列式

テンプレート:出典の明記 線型代数学において、ヴァンデルモンドの行列式（ヴァンデルモンドのぎょうれつしき、テンプレート:Lang-en-short）とは、ある特殊な形をした正方行列の行列式である。名称は18世紀のフランスの数学者であるテンプレート:仮リンクに因む。ヴァンデルモンドは「ファンデルモンド」と表記されることもある。ファン (前置詞) も参照。

定義

各行が初項1の等比数列である正方行列

$V:=\left[\begin{array}{ccccc}1& x_1& {x_1}^2& \cdots & {x_1}^{n-1}\\ 1& x_2& {x_2}^2& \cdots & {x_2}^{n-1}\\ ⋮& ⋮& ⋮& \ddots & ⋮\\ 1& x_n& {x_n}^2& \cdots & {x_n}^{n-1}\end{array}\right]$

をヴァンデルモンド行列（テンプレート:Lang-en-short）といい、その行列式をヴァンデルモンドの行列式という。テキストによっては、上記の転置行列

$\left[\begin{array}{cccc}1& 1& \cdots & 1\\ x_1& x_2& \cdots & x_n\\ {x_1}^2& {x_2}^2& \cdots & {x_n}^2\\ ⋮& ⋮& \ddots & ⋮\\ {x_1}^{n-1}& {x_2}^{n-1}& \cdots & {x_n}^{n-1}\end{array}\right]$

で定義している場合もあるが、行列式は転置をとっても変わらないので、行列式としては全く同じものである。

公式

ヴァンデルモンドの行列式は、各行の公比の差積に等しい。具体的には、上記の行列 テンプレート:Mvar に対して

$\det V=\prod _{1\le i<j\le n}(x_j-x_i)=(-1{)}^{n(n-1)/2}\prod _{1\le i<j\le n}(x_i-x_j)$

が成り立つ。テンプレート:Math2 の場合を書き下せば、

$\left|\begin{array}{cc}1& x_1\\ 1& x_2\end{array}\right|=x_2-x_1,$

$\left|\begin{array}{ccc}1& x_1& {x_1}^2\\ 1& x_2& {x_2}^2\\ 1& x_3& {x_3}^2\end{array}\right|=(x_3-x_1)(x_3-x_2)(x_2-x_1)$

である。公式より直ちに分かることとして、テンプレート:Math2 が全て異なるとき、かつそのときに限り、ヴァンデルモンドの行列式は テンプレート:Math ではない。

公式の証明

この公式は、テンプレート:Mvar に関する数学的帰納法で示すこともできるし、行列式の性質を用いたうまい証明の仕方もある。実際、行列式の交代性（行を入れ替えると行列式は テンプレート:Math 倍になる）と因数定理によって、テンプレート:Math は テンプレート:Math2 たちを因数に持つことが分かるので、あとは次数と係数を比較すれば、公式が成り立つことが容易に分かる。

以下に、別の証明法の1例として、ある正方行列のある列(行)の各成分に同じ係数を乗じ、別のある列(行)にベクトル的に加算するという操作(行列の基本変形の1つ)を行っても、行列式の値は変わらないという性質と、やはり因数定理および、各項の次数と係数を比較する方法を示す。

正方行列テンプレート:Mvarは次の形であるとする。

$V=\left[\begin{array}{ccccc}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}\\ ⋮& ⋮& ⋮& \ddots & ⋮\\ 1& x_n& {x_n}^2& \cdots & {x_n}^{n-1}\end{array}\right]$

テンプレート:Mvar の行列式は定義により次のようになる。

$\det V=\sum _{\sigma \in S_n}sign(\sigma )\prod _{1\le i\le n}{x}_i^{\sigma (i)-1}$

ここで、テンプレート:Math は n次対称群(n次置換群)を表し、テンプレート:Math の元 テンプレート:Math に対して テンプレート:Math は テンプレート:Math がn次交代群(遇置換群)に属していれば 1、そうでなければ -1とする。

この定義式から $\det V$ は $x_1,x_2,\cdots x_n$ の多項式で表わされ、そのどの項においても $x_1,x_2,\cdots x_n$ の次数の合計は、$n(n-1)/2$ であることが分かる。

行列テンプレート:Mvarの第1列に $x_1$ を乗じて第2列から引き、第1列に ${x_1}^2$ を乗じて第3列から引き、以下この操作を第1列に ${x_1}^{n-1}$ を乗じて第n列から引くまで繰り返すと、テンプレート:Mvar は次の形に変形される。

$V_1=\left[\begin{array}{ccccc}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}\\ ⋮& ⋮& ⋮& \ddots & ⋮\\ 1& x_n-x_1& {x_n}^2-{x_1}^2& \cdots & {x_n}^{n-1}-{x_1}^{n-1}\end{array}\right]$

この操作によって $\det V$ の値は不変である。つまり $\det V=\det V_1$ である。

${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})$

であるから、$V_1$ の第2行の第1列以外の各列の要素は $x_2-x_1$ を因数に持ち、第k行の第1列以外の各列の要素は $x_k-x_1$ を因数に持つことが分かる。従って、 $\det V=\det V_1$ は $(x_2-x_1)(x_3-x_1)\cdots (x_n-x_1)$を因数に持つことが分かる。

次に、行列テンプレート:Mvarの第1列に $x_2$ を乗じて第2列から引き、第1列に ${x_2}^2$ を乗じて第3列から引き、以下この操作を第1列に ${x_2}^{n-1}$ を乗じて第n列から引くまで繰り返すと、テンプレート:Mvar は次の形に変形される。

$V_2=\left[\begin{array}{ccccc}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}\\ ⋮& ⋮& ⋮& \ddots & ⋮\\ 1& x_n-x_2& {x_n}^2-{x_2}^2& \cdots & {x_n}^{n-1}-{x_2}^{n-1}\end{array}\right]$

この操作によって $\det V$ の値は不変であり、上と同様の論法で、$\det V=\det V_2$ は $(x_1-x_2)(x_3-x_2)\cdots (x_n-x_2)$を因数に持つことが分かる。

同様の操作を、行列テンプレート:Mvarの第1列に $x_n$ を乗じて第2列から引き、第1列に ${x_n}^2$ を乗じて第3列から引き、以下この操作を第1列に ${x_n}^{n-1}$ を乗じて第n列から引くまで繰り返せば、$\det V$ は $(x_1-x_n)(x_2-x_n)\cdots (x_{n-1}-x_n)$を因数に持つことが言え、最終的に $\det V$ は $\prod _{1\le i<j\le n}(x_j-x_i)$ を因数に持つことが分かる。

$\prod _{1\le i<j\le n}(x_j-x_i)$ は $(x_j-x_i)$ 型の因数を$n(n-1)/2$ 個掛け合わせているので、$x_1,x_2,\cdots x_n$ の多項式に展開できるが、各項の$x_1,x_2,\cdots x_n$ の次数の合計は、$n(n-1)/2$ である。従って、$\det V$ は $\prod _{1\le i<j\le n}(x_j-x_i)$ の定数倍になるはずである。

$\prod _{1\le i<j\le n}(x_j-x_i)$ の各因数の左側の変数( $(x_j-x_i)$ であれば$x_j$)を掛け合わせた項は ${x_n}^{n-1}{x_{n-1}}^{n-2}\cdots {x_3}^2{x_2}^1$ である。一方 $V$ の対角要素を掛け合わせると、${x_2}^1{x_3}^2\cdots {x_{n-1}}^{n-2}{x_n}^{n-1}$ であり一致する。従って、$\det V$ と $\prod _{1\le i<j\le n}(x_j-x_i)$ は一致する。

応用

ヴァンデルモンドの行列式は、数学のいろいろな場面で現れる。最も古典的なのは、多項式の決定に関することである。テンプレート:Math2 が全て異なるならば、

$f(x_1)=y_1,f(x_2)=y_2,\cdots ,f(x_n)=y_n$

を満たす テンプレート:Math2 次以下の多項式 テンプレート:Math は一意に定まる。このことを示すために、

$f(x)=a_0+a_{1}x+a_2{x}^2+\cdots +a_{n-1}{x}^{n-1}$

とおくと、上記の条件から、係数 テンプレート:Math2 は

$\left[\begin{array}{ccccc}1& x_1& {x_1}^2& \cdots & {x_1}^{n-1}\\ 1& x_2& {x_2}^2& \cdots & {x_2}^{n-1}\\ ⋮& ⋮& ⋮& \ddots & ⋮\\ 1& x_n& {x_n}^2& \cdots & {x_n}^{n-1}\end{array}\right]\left[\begin{array}{c}{a}_0\\ a_1\\ ⋮\\ a_{n-1}\end{array}\right]=\left[\begin{array}{c}{y}_1\\ y_2\\ ⋮\\ y_n\end{array}\right]$

を満たす。この連立一次方程式の係数行列がヴァンデルモンド行列に他ならず、テンプレート:Math2 が全て異なることよりその行列式は テンプレート:Math ではないので、これは逆行列を持つ。よって、係数 テンプレート:Math2 は一意に定まり、テンプレート:Math が一意に定まる。

参考文献

• 斎藤正彦『線型代数入門』東京大学出版会、1966年 ISBN 4-1306-2001-0

関連項目

• ラグランジュ補間
• ロンスキー行列式
• 線型方程式系

外部リンク

• テンプレート:高校数学の美しい物語
• テンプレート:Mathworld
• テンプレート:Mathworld