向量a乘向量b等于零有什么公式