The dot product between two vectors is defined as

where
is the angle between the two vectors.
So, we deduce

The dot product is computed as the sum of the product of correspondent coordinates:

whereas the norm of a vector is the square root of the sum of the squares of the coordinates:

So, we have

This implies
