Past exam of the year 1 of the computer science course of the University of Oxford / 2017 / Digital systems, linear algebra, introduction to formal proof / 5 / d / i

With column-vector homogeneous coordinates, the translation matrix isIt maps $(x,y,1{)}^T$ to $(x+a,y+b,1{)}^T$. The final coordinate incorporates the constant displacement into matrix multiplication.