向量的数量积是规定还是能够证明出来