展开 向量垂直得到什么定理的证明