Maths Olympiad Prep

Track / Stage 6 / 79 of 400 #1079 of 1964

Problem 1079

National olympiad, first round
Number theory Difficulty 6.1 Prove it

Let (un)nN\left(u_{n}\right)_{n \in \mathbb{N}} be a periodic sequence with period 2022 and period 5. Show that (un)\left(u_{n}\right) is constant.

A sequence (un)\left(u_{n}\right) is said to be periodic with period tt if, for all natural numbers n,un+t=unn, u_{n+t}=u_{n}.

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Official solution

Solution to Exercise 10

First, note that if a sequence (un)\left(u_{n}\right) is tt-periodic, then for all nn, un=un+t=un+2tu_{n}=u_{n+t}=u_{n+2t}, for example. Thus, we can prove by induction that for all natural numbers kk and nn, un+kt=unu_{n+kt}=u_{n}: the sequence is ktkt-periodic for all kk.

Let nn be a natural number. Then, since the sequence is 2022-periodic,

un+1=un+1+2×2022=un+4045=un+5×809 u_{n+1}=u_{n+1+2 \times 2022}=u_{n+4045}=u_{n+5 \times 809}

But the sequence is 5-periodic, so this also equals unu_{n}. Thus, for all natural numbers nn, we have un+1=unu_{n+1}=u_{n}. We deduce by induction that for all nn, un=u0u_{n}=u_{0}, and therefore the sequence (un)\left(u_{n}\right) is constant.

Grader's Comment: The exercise was successfully completed by almost everyone who attempted it, using three main methods:

- Showing that u0=u1=u2=u3=u4u_{0}=u_{1}=u_{2}=u_{3}=u_{4}.
- Showing that un=un+1u_{n}=u_{n+1}.
- Using Bézout's theorem to show u0=unu_{0}=u_{n}.

The few students who did not get 7 points mostly used somewhat strong properties without justifying them (even a quick justification would have sufficed).

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.