展开 两向量垂直的必要条件