先将r个向量正交化
设 (x1,...,xn) 与已知的r个向量正交
可建立r个方程的齐次线性方程组
其基础解系含 n-r 个向量,正交化之
全部单位化即得标准正交基