展开 两向量垂直的定理