查看“范德蒙德行列式”的源代码

== 范德蒙德行列式 ==

'''范德蒙德行列式'''（Vandermonde determinant）是线性代数和多项式插值中极为重要的概念之一。该行列式的名称来源于法国数学家亚历山大-特奥菲勒·范德蒙德（Alexandre-Théophile Vandermonde），他在十八世纪提出并推广了行列式的专有符号，并将其应用于解线性方程组。范德蒙德行列式与范德蒙德矩阵密切相关，这种行列式具有特殊的代数结构，使其在多项式理论和数值分析中占有重要地位。

范德蒙德矩阵的形式如下：

<math>
A_n = \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}
</math>

其中，<math>A_n</math> 是一个 <math>n \times n</math> 阶矩阵，矩阵元素为 <math>a_{ij} = x_i^{j-1}</math>。

推导范德蒙德行列式的公式，可以从2阶行列式开始：

<math>
\det A_2 = \begin{vmatrix} 
1 & x_1 \\
1 & x_2
\end{vmatrix} = x_2 - x_1
</math>

对3阶行列式进行化简，利用基本列运算和余因子展开法，可以得到：

<math>
\begin{aligned}
\det A_3 &= \begin{vmatrix} 
1 & x_1 & x_1^2 \\
1 & x_2 & x_2^2 \\
1 & x_3 & x_3^2 
\end{vmatrix} \\
&= \begin{vmatrix} 
1 & x_1 & x_1^2 \\
0 & x_2 - x_1 & x_2^2 - x_1^2 \\
0 & x_3 - x_1 & x_3^2 - x_1^2 
\end{vmatrix} \\
&= \begin{vmatrix} 
x_2 - x_1 & x_2^2 - x_1^2 \\
x_3 - x_1 & x_3^2 - x_1^2 
\end{vmatrix} \\
&= (x_2 - x_1)(x_3 - x_2)(x_3 - x_1)
\end{aligned}
</math>

我们可以由此猜测 <math>n \times n</math> 阶范德蒙德行列式的公式为：

<math>
\det A_n = \prod_{1 \leq j < i \leq n} (x_i - x_j)
</math>

通过数学归纳法可以证明这个猜测是正确的。范德蒙德行列式的结果表明，其值为矩阵中每对不同列中的差值之积。

范德蒙德行列式广泛应用于数值分析中的插值问题中。例如，给定 <math>n</math> 个数据点 <math>(x_i, y_i)</math>，可以求得满足这些点的多项式插值函数，范德蒙德矩阵的逆矩阵可以用于求解该多项式的系数。由于范德蒙德行列式不为零（当所有 <math>x_i</math> 值不同），因此范德蒙德矩阵是可逆的，从而保证了插值问题的唯一性解。