コンテンツにスキップ
数学の主張

ヴァンデルモンドの行列式を再帰的に示す．

　他のサイトで示す帰納的な証明を再帰的に見せているだけだが，個性的な方法なのでわかりづらいかもしれない．

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

||||||1𝑥1𝑥21⋮𝑥𝑛−111𝑥2𝑥22⋮𝑥𝑛−12⋯⋯⋯1𝑥𝑛𝑥2𝑛⋮𝑥𝑛−1𝑛||||||=∏1≤𝑖<𝑗≤𝑛(𝑥𝑗−𝑥𝑖)

証明

Section titled “証明”
𝐴𝑘=(((((((((((1𝑥𝑛−𝑘+1𝑥2𝑛−𝑘+1⋮𝑥𝑘−1𝑛−𝑘+11𝑥𝑛−𝑘+2𝑥2𝑛−𝑘+2⋮𝑥𝑘−1𝑛−𝑘+2⋯⋯⋯⋯1𝑥𝑛𝑥2𝑛⋮𝑥𝑘−1𝑛)))))))))))

とおく．

　𝑘=2のとき，

|𝐴2|=|1𝑥𝑛−11𝑥𝑛|=|101𝑥𝑛−𝑥𝑛−1|=∏𝑛−1≤𝑖<𝑗≤𝑛(𝑥𝑗−𝑥𝑖)
  • (2)は行基本変形を行った．
    • 1行目x(−𝑥𝑛−1)を2行目に加えた．
  • (3)は余因子展開を行った結果をヴァンでルモンドの行列式の結果に合わせた．

　𝑘=3のとき

|𝐴3|=||||1𝑥𝑛−2𝑥2𝑛−21𝑥𝑛−1𝑥2𝑛−11𝑥𝑛𝑥2𝑛||||=||||1101𝑥𝑛−1𝑥𝑛−1(𝑥𝑛−1−𝑥𝑛−2)1𝑥𝑛𝑥𝑛(𝑥𝑛−𝑥𝑛−2)||||=||||1001𝑥𝑛−1−𝑥𝑛−2𝑥𝑛−1(𝑥𝑛−1−𝑥𝑛−2)1𝑥𝑛−𝑥𝑛−2𝑥𝑛(𝑥𝑛−𝑥𝑛−2)||||=|𝑥𝑛−1−𝑥𝑛−2𝑥𝑛−1(𝑥𝑛−1−𝑥𝑛−2)𝑥𝑛−𝑥𝑛−2𝑥𝑛(𝑥𝑛−𝑥𝑛−2)|=∏𝑛−2<𝑘≤𝑛(𝑥𝑘−𝑥𝑛−2)|1𝑥𝑛−11𝑥𝑛|=∏𝑛−2<𝑘≤𝑛(𝑥𝑘−𝑥𝑛−2)|𝐴2|=∏𝑛−2≤𝑖<𝑗≤𝑛(𝑥𝑗−𝑥𝑖)
  • (5)(6)は行基本変形を行った．
    • 2行目x(−𝑥𝑛−2)を3行目に加えた．
    • 1行目x(−𝑥𝑛−2)を2行目に加えた．
  • (7)は余因子展開を行った．
  • (8)は列基本変形を行った．
    • 列の共通因子を外に出した．
  • (10)はヴァンデルモンドの行列式の結果に合わせた．

　4≤𝑘≤𝑛−1のときも同じように計算すると，

|𝐴𝑘|=∏𝑛−𝑘+1≤𝑖<𝑗≤𝑛(𝑥𝑗−𝑥𝑖)

となる．特に

|𝐴𝑛−1|=∏2≤𝑖<𝑗≤𝑛(𝑥𝑗−𝑥𝑖)

となる．

　いよいよ𝑘=𝑛のときを示す．

|𝐴𝑛|=||||||1𝑥1𝑥21⋮𝑥𝑛−111𝑥2𝑥22⋮𝑥𝑛−12⋯⋯⋯⋯1𝑥𝑛𝑥2𝑛⋮𝑥𝑛−1𝑛||||||=||||||100⋮01𝑥2−𝑥1𝑥2(𝑥2−𝑥1)⋮𝑥𝑛−22(𝑥2−𝑥1)⋯⋯⋯⋯1𝑥𝑛−𝑥1𝑥𝑛(𝑥𝑛−𝑥1)⋮𝑥𝑛−2𝑛(𝑥𝑛−𝑥1)||||||=|||||𝑥2−𝑥1𝑥2(𝑥2−𝑥1)⋮𝑥𝑛−22(𝑥2−𝑥1)⋯⋯⋯𝑥𝑛−𝑥1𝑥𝑛(𝑥𝑛−𝑥1)⋮𝑥𝑛−2𝑛(𝑥𝑛−𝑥1)|||||=∏2≤𝑘≤𝑛(𝑥𝑘−𝑥1)||||||1𝑥2𝑥22⋮𝑥𝑛−221𝑥3𝑥23⋮𝑥𝑛−23⋯⋯⋯⋯1𝑥𝑛𝑥2𝑛⋮𝑥𝑛−2𝑛||||||=∏2≤𝑘≤𝑛(𝑥𝑘−𝑥1)|𝐴𝑛−1|=∏1≤𝑖<𝑗≤𝑛(𝑥𝑗−𝑥𝑖)
  • (12)は行基本変形を行った．
    • n-1行目x(-x_1)をn行目に加え，因数分解した．
    • k-1行目x(-x_1)をk行目に加え，因数分解した．(kをn-1から順に2まで行う．)
  • (13)は余因子展開を行った．
  • (14)は列基本変形により，共通因数を外に出した．
  • (16)はヴァンデルモンドの行列式の結果．

　以上により，ヴァンデルモンドの行列式を示した．