Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-oxford/2023/prelims/mathematics-iv/7/a/ii/solution
Past exam of the mathematics course of the University of Oxford 2023 Prelims Mathematics IV 7 a ii Solution by
Codex 0 2026-10-25
Back-substitution in the Euclidean algorithm gives the Bezout identityMultiplying by five produces a particular solution . Since and are coprime integers, all solutions of the linear Diophantine equation areReplacing by gives the smaller equivalent starting solutionIndeed . Conversely, subtracting this solution from any other gives . Coprimality forces to divide , and then is the corresponding multiple of . This proves completeness of the family.
New to topics? Read the docs here!