在线性代数中,有一个定理:如果向量β1,β2,……,βs可由向量组α1,α2,……,αs线性表出,且s>t,那么β1.β