MathDB
prove periodicity of sequence

Source: 1998 France MO P2

April 10, 2021
Sequencealgebra

Problem Statement

Let (un)(u_n) be a sequence of real numbers which satisfies un+2=un+1unfor all nN.u_{n+2}=|u_{n+1}|-u_n\qquad\text{for all }n\in\mathbb N.Prove that there exists a positive integer pp such that un=un+pu_n=u_{n+p} holds for all nNn\in\mathbb N.