Critère de primalité lucasien pour les nombres répunit
Bonjour!
Quelqu’un peut-il prouver ou infirmer la conjecture suivante:
Soit $P_m(x)=2^{-m}\cdot \left(\left(x-\sqrt{x^2-4})^m+(x+\sqrt{x^2-4}\right)^m\right)$ . On définit par récurrence la suite d'entiers par: $S_0=P_{25}(7)$ et $\forall i \in \mathbb{N}$ $\quad S_i=P_{10}(S_{i-1})$ . Soit $p$ un nombre premier supérieur à $2$. Le nombre $R_p=\dfrac{10^p-1}{9}$ est premier si et seulement si $S_{p-2}=123 \pmod{R_p}$ .
Nombres $p$ tels que $R_p$ est premier: A004023
Calcul numérique: SageMathCell
Quelqu’un peut-il prouver ou infirmer la conjecture suivante:
Soit $P_m(x)=2^{-m}\cdot \left(\left(x-\sqrt{x^2-4})^m+(x+\sqrt{x^2-4}\right)^m\right)$ . On définit par récurrence la suite d'entiers par: $S_0=P_{25}(7)$ et $\forall i \in \mathbb{N}$ $\quad S_i=P_{10}(S_{i-1})$ . Soit $p$ un nombre premier supérieur à $2$. Le nombre $R_p=\dfrac{10^p-1}{9}$ est premier si et seulement si $S_{p-2}=123 \pmod{R_p}$ .
Nombres $p$ tels que $R_p$ est premier: A004023
Calcul numérique: SageMathCell
Mots clés:
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 165.5K Toutes les catégories
- 64 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
- 26 CultureMath
- 51 Enseignement à distance
- 2.9K Fondements et Logique
- 10.8K Géométrie
- 85 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
- 29 Mathématiques et finance
- 342 Mathématiques et Physique
- 5K Mathématiques et Société
- 3.4K 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