展开 两个向量垂直的充要条件是内积为零