Solution

ID: past-exam-of-the-year-1-of-the-computer-science-course-of-the-university-of-oxford/2021/discrete-mathematics-continuous-mathematics-and-probability/1/c/i/solution

Let , and write , with positive integers . If an integer divided both and , then would divide both and , contradicting the maximality of their greatest common divisor . Thus . Equivalently, Bézout's identity for can be divided by to express as an integer combination of .

New to topics? Read the docs here!