第九周 向量空间、向量的长度、内积与正交性 · 9.3 向量的内积、长度及正交性（2）