 Solution

ID: 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/iii/solution

Translate the mirror line to zero, reflect there, then translate back. Under the column-vector convention the rightmost operation acts first:

T (2, 0) J T (- 2, 0) = - 1 00 010401 .

(x, y)

(4 - x, y)

, fixing exactly the points with

x = 2

 New to topics? Read the docs here!