两向量正交有什么性质