向量组β1 β2.βt 可由向量组α1 α2.αs线性表示 且t>s