展开 施密特正交化是把线性相关的向量组正交化