设n阶矩阵H是正定矩阵,Rn中的非零向量组满足ai^THaj=0(i不等于j) 判断向量组线性相关性