一个应用范德蒙行列式的例子

问题

在实数域上线性空间$C[-\pi ,\pi ]$内判断下列向量组是否线性相关，并求它的秩：$$1,sinx,sin2x,sin3x,\cdots ,sinnx$$

引理

设$f_i(x)$是数域$K$上的$i$次多项式，其首项系数为$a_i(i=0,1,2,\cdots ,n-1)$.又设$b_1,b_2,\cdots ,b_n$是$K$内一组两两互不相同的数。则下列$n$阶矩阵：$$\left[\begin{array}{cccc}{f}_0(b_1)& f_0(b_2)& \cdots & f_0(b_n)\\ f_1(b_1)& f_1(b_2)& \cdots & f_1(b_n)\\ ⋮& ⋮& & ⋮\\ f_{n-1}(b_1)& f_{n-1}(b_2)& \cdots & f_{n-1}(b_n)\end{array}\right]$$
满秩。

引理证明

记$f_i(x)={\sum }_{k=0}^{n-1}{a}_{ik}{x}^{i-k}$,其中，$a_{ik}\in K,a_{i0}=a_i$且$i<k$时，$a_{ik}=0$。规定$f_i(0)=0$。
有 ∣ f 0 ( b 1 ) f 0 ( b 2 ) ⋯ f 0 ( b n ) f 1 ( b 1 ) f 1 ( b 2 ) ⋯ f 1 ( b n ) ⋮ ⋮ ⋮ f n − 1 ( b 1 ) f n − 1 ( b 2 ) ⋯ f n − 1 ( b n ) ∣ = ∣ ∑ k 0 = 0 n − 1 a 0 k 0 b 1 0 − k 0 ∑ k 0 = 0 n − 1 a 0 k 0 b 2 0 − k 0 ⋯ ∑ k 0 = 0 n − 1 a 0 k 0 b n 0 − k 0 ∑ k 1 = 0 n − 1 a 1 k 1 b 1 1 − k 1 ∑ k 1 = 0 n − 1 a 1 k 1 b 2 1 − k 1 ⋯ ∑ k 1 = 0 n − 1 a 1 k 1 b n 1 − k 1 ⋮ ⋮ ⋮ ∑ k n − 1 = 0 n − 1 a n − 1 k n − 1 b 1 n − 1 − k n − 1 ∑ k n − 1 = 0 n − 1 a n − 1 k n − 1 b 2 n − 1 − k n − 1 ⋯ ∑ k n − 1 = 0 n − 1 a n − 1 k n − 1 b n n − 1 − k n − 1 ∣ = ∑ k 0 = 0 n − 1 ∑ k 1 = 0 n − 1 ⋯ ∑ k n − 1 = 0 n − 1 ∣ a 0 k 0 b 1 0 − k 0 a 0 k 0 b 2 0 − k 0 ⋯ a 0 k 0 b n 0 − k 0