这是关于ao2C1,,Cn的线性 方程组,称为法方程,由于 0091,…n线性无关,故系数行列 式G(0391,…9n)≠0,于是此方程 组有唯一解ak=ak(k=0,1,…,n),从 而得到 S(x=aoo(x)+.+a,(x) 定理5(x)39(x),9(x)在 a,b上线性无关的充分必要条件是 它的克来姆( Gramer)行列式 Gn≠0,其中 G=G(o, u这是关于 a a an , , , 0 1  的线性 方程组，称为法方程，由于    n , , , 0 1  线性无关，故系数行列 式 G( 0 ,1 ,  , n )  0 ，于是此方程 组有唯一解 * k k a = a (k = 0, 1,  , n) ，从 而得到 ( ) ( ) ( ). * 0 * 0 * S x a x a x =  ++ n  n 定 理 5 0 1 ( ), ( ), , ( ) n    x x x 在 [a,b] 上线性无关的充分必要条件是 它 的 克 来 姆 （ Gramer ） 行 列 式 Gn  0 ，其中 0 1 ( , , , ) G G n n =   