La suite de Fibonacci est-elle surjective modulo $p$ ?
Si $K$ est un corps fini, la suite définie par $u_0=0, u_1=1$ et $u_{n+2}=u_{n+1}+u_n$ prend-elle toutes les valeurs dans $K$ ? Je ne sais répondre que très partiellement ; voici à quel stade j'en suis, tout en espérant vos lumières :
Lorsque $5$ est un carré, càd ssi $p=5q\pm1$, l'équation a deux solutions $a\neq b$ dans $K$ et $u_n=\displaystyle\frac{a^n-b^n}{a-b}$ pour tout $n$. La suite n'est donc pas surjective puisqu'une période de celle-ci est l'ordre de $a$ (et de $b$) dans le groupe $K^\times$, d'ordre $<p$.
En revanche, lorsque les solutions se trouvent dans une extension quadratique de $K$, la période n'est a priori majorée que par $p^2-1$. Pour $p=13$, la période est $28$ mais les classes de $4,6,7,9,$ ne sont pas obtenues. À noter que $u_7=0, u_8=8$ et donc que $u_{n+7}=8u_n$ pour tout $n$.
Il est nécessaire que le cardinal de $K$ soit premier puisque la suite prend ses valeurs dans le sous-corps premier de $K$. Supposons cela vérifié.
L'équation caractéristique $r^2=r+1$ a une racine double lorsque $p=5$ ; on regarde directement ce cas et l'on constate que la suite prend les cinq valeurs possibles.Lorsque $5$ est un carré, càd ssi $p=5q\pm1$, l'équation a deux solutions $a\neq b$ dans $K$ et $u_n=\displaystyle\frac{a^n-b^n}{a-b}$ pour tout $n$. La suite n'est donc pas surjective puisqu'une période de celle-ci est l'ordre de $a$ (et de $b$) dans le groupe $K^\times$, d'ordre $<p$.
En revanche, lorsque les solutions se trouvent dans une extension quadratique de $K$, la période n'est a priori majorée que par $p^2-1$. Pour $p=13$, la période est $28$ mais les classes de $4,6,7,9,$ ne sont pas obtenues. À noter que $u_7=0, u_8=8$ et donc que $u_{n+7}=8u_n$ pour tout $n$.
Réponses
-
Avec un petit programme je trouve que les seuls nombres premiers p inférieurs à 1000 pour lesquels la suite de Fibonacci est surjective modulo p sont 2, 3, 5 et 7.
-
Merci, Jandri ! Cela suggère donc ce qu'il va falloir établir.
-
On parle de ce sujet en anglais ici ou là.
https://oeis.org/A079002
https://mathoverflow.net/questions/389663/fibonacci-with-seeds-modulo-n -
Merci, JLapin ! Et pour ceux que cela intéresse, l'OEIS renvoie à https://www.fq.math.ca/Scanned/9-5/burr.pdf, article dans lequel la démonstration est détaillée.
Cet article n'est pas auto-contenu ; il renvoie à https://www.fq.math.ca/Scanned/6-2/shah.pdf
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 165.4K Toutes les catégories
- 62 Collège/Lycée
- 22.2K Algèbre
- 37.6K Analyse
- 6.3K Arithmétique
- 61 Catégories et structures
- 1.1K Combinatoire et Graphes
- 13 Sciences des données
- 5.1K Concours et Examens
- 23 CultureMath
- 51 Enseignement à distance
- 2.9K Fondements et Logique
- 10.8K Géométrie
- 84 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 79 Informatique théorique
- 3.9K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 26 Mathématiques et finance
- 342 Mathématiques et Physique
- 5K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10.1K Probabilités, théorie de la mesure
- 804 Shtam
- 4.2K Statistiques
- 3.8K Topologie
- 1.4K Vie du Forum et de ses membres