5.1.1 向量内积及其性质