向量的数量积的坐标运算公式是如何推导出的?它与a·b=|a|·|b|·cos〈a,b〉是一致的吗?