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.