展开 证明向量垂直的充要条件是向量点积为零