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