Problème proposé par Jean Moreau de Saint Martin
Q₁ A partir des relations f(0) = 0, f(2n) = f(n), f(2n + 1) = 1 − f(n), déterminer f(2020).
Q₂ Déterminer le nombre d’entiers n de 0 à 2020 tels que f(n) = 0 Q₃ Soit N = (22020 – 1)2. Calculer f(N)
Q1 : f(2020)=f(1010)=f(505)=1-f(252)=1-f(126)=1-f(63)=f(31)=1-f(15)=f(7)
=1-f(3)=f(1)=1-f(0), donc f(2020)=1
Q2 : La suite ne prend que les valeurs 0 et 1, et f(2n)+f(2n+1)=1 : elle prend donc n+1 fois la valeur 0 entre 0 et 2n+1 ; comme f(2020)=1, il y a 1010 entiers pour lesquels la suite f(n) s’annule entre 0 et 2020.
Q3 : N=24040-22021+1=2(22020(22019-1))+1 , donc f(N)=1-f(22020(22019-1))=1-f(22019-1) Or 2n-1=2(2n-1-1)+1 donc f(2n-1)=1-f(2n-1-1)=f(2n-2-1) donc pour les puissances impaires f(22k+1-1)=f(22k-1-1)= ... =f(1)=1
Donc f(N)=0.