向量标准化正交化公式是什么时候学的