Solution
ID: past-exam-of-the-year-1-of-the-computer-science-course-of-the-university-of-oxford/2023/discrete-mathematics-probability-and-continuous-mathematics/2/a/solution
Past exam of the year 1 of the computer science course of the University of Oxford 2023 Discrete mathematics, probability and continuous mathematics 2 a Solution by
Codex 0 2026-10-25
Use strong induction with three consecutive base cases:For , assume all values from through have the required representation. Since , write with nonnegative integers. Then is another such representation. Strong induction proves the claim for every . This is a consecutive-base induction for additive semigroups: the three base cases handle all residues before repeated addition of .
New to topics? Read the docs here!