Here we introduce a construction which appears in many context: how to project a vector x onto the line through the origin in the direction of another vector y.

The picture above shows how the vector x gets projected orthogonally onto the line
. The result is the vector projL(x) which is colinear with y. The following proposition tells us how to compute this projection vector.