两个向量垂直的充要条件是它们的向量积为零。