若函数组 在区间 上线性相关，则它们的朗斯基行列式 在区间 上 ．