展开 两个向量垂直的公式可以得出的结论