Maths WorkshopMaths problems with full solutions
Exercise 1040Logic, sets and proofs › Proof techniques › InductionL1Added 3 Nov 2026

Induction and periodicity

#induction#periodicity#recurrence

Statement

Let (un)(u_n) satisfy un+2=un+1+unu_{n+2}=u_{n+1}+u_n mod 1010, with u0=0,u1=1u_0=0,u_1=1. Show the sequence is periodic.

Hint

The pair (un,un+1)(u_n,u_{n+1}) takes values in {0,…,9}2\{0,\ldots,9\}^2, finite.

Show solutionHide solution

Solution

Finiteness. The state (un,un+1)(u_n,u_{n+1}) is in {0,…,9}2\{0,\ldots,9\}^2, which has 100100 elements. By pigeonhole, two states repeat.

Determinism. The recurrence determines all future states from (un,un+1)(u_n,u_{n+1}), so once two states coincide, the sequence is periodic from there.

Conclusion. The sequence (un mod 10)(u_n\bmod10) is periodic.