Solution

ID: past-exam-of-the-year-1-of-the-computer-science-course-of-the-university-of-oxford/2018/digital-systems-linear-algebra-introduction-to-formal-proof/6/b/ii/solution

The line passes through and has the same direction as in part (i). Translate by , reflect by , then translate back. In homogeneous coordinates the affine reflection is
Act on column , reading the product from right to left. Every point with is fixed. The translation column is , as for any reflection in an affine hyperplane.

New to topics? Read the docs here!