a点乘b等于实数，点积在数学中，又称数量积，是指接受在实数R上的两个向量并返回一个实数值标量的二元运算。它是欧几里得空间的标准内积。两个向量a=[a1，a2，…，an]和b=[b1，b2，…，bn]的点积定义为：
a·b=a1b1+a2b2+……+anbn。
点积有两种定义方式：代数方式和几何方式。通过在欧氏空间中引入笛卡尔坐标系，向量之间的点积既可以由向量坐标的代数运算得出，也可以通过引入两个向量的长度和角度等几何概念来求解。点乘的分配律在空间内可通过几何证明，无需借助向量关系，因此不属于循环推导。
