Dot product and Law of cosines
Since the euclidean norm is defined as
and the dot product as
the dot product of a vector with itself is the squared norm of that vector
Then, I consider the not immediately related fact that two vectors and , and their subtraction actually form a triangle having sides
with thus having length
expanding, that means
Given the fact that —and consequently , that is to say the vector norm is the length of the triangle side in vector interpretation, the Law of Cosines
can thus also have a vector interpretation
I have therefore to conclude that
that is to say
the dot product is the product of the vectors norms scaled by the cosine of the angle between the two vectors.