Solution

ID: past-exam-of-the-year-1-of-the-computer-science-course-of-the-university-of-oxford/2022/discrete-mathematics-continuous-mathematics-and-probability-resit/3/b/solution

The Euclidean algorithm gives
The last nonzero remainder is . Back-substitution produces its Bézout coefficients:
Thus is a requested pair. The final equality independently checks the calculation.

New to topics? Read the docs here!