第四讲 矩阵的对角化与二次型 · 4.9 向量的内积、长度及正交向量