这是定义里都会证明的东西,去翻翻线代的教材把.
（ps：具体参考 施密特正交化 方法）