展开 两个向量垂直的定理证明是什么