Test de primalidad conjetural de $F_n(28)=28^{2^n}+1$

Question

Cómo probar que la siguiente conjetura es verdadera ?

---

Definición

Deje $P_m(x)=2^{-m}\cdot \left(\left(x-\sqrt{x^2-4}\right)^{m}+\left(x+\sqrt{x^2-4}\right)^{m}\right)$ ,

donde $m$ $x$ son números enteros no negativos .

---

Conjetura

Deje $F_n(28)=28^{2^n}+1$$n\ge 2$ .

Deje $S_i=P_{28}(S_{i-1})$ $S_0=P_{14}(P_{14}(8))$

por lo tanto ,

$F_n(28)$ es el primer fib $S_{2^n-2} \equiv 0 \pmod{F_n(28)}$

---

PARI/GP aplicación de la prueba

T28(n)=
{ 
my(s=Mod(2*polchebyshev(14,1,polchebyshev(14,1,4)),28^2^n+1));
for(i=1,2^n-2, s=2*polchebyshev(28,1,s/2));
s==0 
}

La búsqueda de contraejemplo (PARI/GP)

CE28(x,y)=
{
for(n=x,y,
N=28^2^n+1;
my(s=Mod(2*polchebyshev(14,1,polchebyshev(14,1,4)),N)); 
for(i=1,2^n-2, s=2*polchebyshev(28,1,s/2)); 
if(s==0 && !isprime(N),print(n)))
}

---

P. S.

Hay Inkeri la prueba de primalidad de Fermat números en la literatura que es muy similar a esta prueba , pero no hay ninguna disponible gratuitamente la prueba de su prueba .

Answer 1

Esta es una respuesta parcial.

Esta respuesta demuestra los siguientes : $$\text{if $F_n(28)$ is prime, then $S_{2^n-2}\equiv 0\pmod{F_n(28)}$}$$

Prueba :

Primero de todo, podemos demostrar por inducción que $$S_i=a^{28^i\times 14^2}+b^{28^i\times 14^2}\tag1$$ donde$a=4-\sqrt{15},b=4+\sqrt{15}$$ab=1$.

La prueba de $(1)$:

$$\begin{align}S_0&=P_{14}(P_{14}(8))\\&=P_{14}\left(2^{-14}\left(\left(8-\sqrt{60}\right)^{14}+\left(8+\sqrt{60}\right)^{14}\right)\right)\\&=P_{14}(a^{14}+b^{14})\\&=2^{-14}\left(\left(a^{14}+b^{14}-\sqrt{(a^{14}+b^{14})^2-4}\right)^{14}+\left(a^{14}+b^{14}+\sqrt{(a^{14}+b^{14})^2-4}\right)^{14}\right)\\&=2^{-14}\left(\left(a^{14}+b^{14}-\sqrt{(b^{14}-a^{14})^2}\right)^{14}+\left(a^{14}+b^{14}+\sqrt{(b^{14}-a^{14})^2}\right)^{14}\right)\\&=2^{-14}\left(\left(2a^{14}\right)^{14}+\left(2b^{14}\right)^{14}\right)\\&=a^{28^0\times{14}^{2}}+b^{28^0\times {14}^2}\end{align}$$

Suponiendo que $(1)$ mantiene para $i$ da

$$\begin{align}S_{i+1}&=P_{28}(S_{i})\\&=P_{28}(a^{28^i\times{14}^{2}}+b^{28^i\times{14}^2})\\&=2^{-28}\left(\left(a^{28^i\times{14}^2}+b^{28^i\times{14}^2}-\sqrt{(a^{28^i\times{14}^{2}}+b^{28^i\times{14}^2})^2-4}\right)^{28}+\left(a^{28^i\times{14}^2}+b^{28^i\times{14}^2}+\sqrt{(a^{28^i\times{14}^{2}}+b^{28^i\times{14}^2})^2-4}\right)^{28}\right)\\&=2^{-28}\left(\left(a^{28^i\times{14}^2}+b^{28^i\times{14}^2}-\sqrt{(b^{28^i\times{14}^2}-a^{28^i\times{14}^2})^2}\right)^{28}+\left(a^{28^i\times{14}^2}+b^{28^i\times{14}^2}+\sqrt{(b^{28^i\times{14}^2}-a^{28^i\times{14}^2})^2}\right)^{28}\right)\\&=2^{-28}\left((2a^{28^i\times{14}^2})^{28}+(2b^{28^i\times{14}^2})^{28}\right)\\&=a^{28^{i+1}\times 14^2}+b^{28^{i+1}\times 14^2}\qquad\blacksquare\end{align}$$

Deje $N=28^{2^n}+1$. Luego, a partir de $(1)$, tenemos

$$S_{2^n-2}=a^{28^{2^n-2}\times 14^2}+b^{28^{2^n-2}\times 14^2}=a^{(N-1)/4}+b^{(N-1)/4}$$

Ahora, en el fin de demostrar que $S_{2^n-2}\equiv 0\pmod N$, es suficiente para demostrar que $S_{2^n-2}^2\equiv 0\pmod N$, es decir, $$a^{(N-1)/2}+b^{(N-1)/2}\equiv -2\pmod N.$$

Utilizamos $$a^{(N+3)/2}+b^{(N+3)/2}=(a+b)(a^{(N+1)/2}+b^{(N+1)/2})-(a^{(N-1)/2}+b^{(N-1)/2})\tag2$$

El uso que $$\sqrt{4\pm\sqrt{15}}=\frac{\sqrt{10}\pm\sqrt 6}{2}$$ tenemos $$\begin{align}&2^{N+1}(a^{(N+1)/2}+b^{(N+1)/2})\\&=\left(\sqrt{10}-\sqrt 6\right)^{N+1}+\left(\sqrt{10}+\sqrt 6\right)^{N+1}\\&=\sum_{i=0}^{N+1}\binom{N+1}{i}(\sqrt{10})^i((-\sqrt 6)^{N+1-i}+(\sqrt 6)^{N+1-i})\\&=\sum_{j=0}^{(N+1)/2}\binom{N+1}{2j}(\sqrt{10})^{2j}\cdot 2(\sqrt{6})^{N+1-2j}\\&\equiv 2\cdot 6^{(N+1)/2}+10^{(N+1)/2}\cdot 2\qquad\pmod N\\&\equiv 2\cdot (-6)+(-10)\cdot 2\qquad\pmod N\\&\equiv -32\qquad\pmod N\end{align}$$ (debido a que $6^{(N-1)/2}\equiv -1\equiv 10^{(N-1)/2}\pmod N$) de los que se han $$a^{(N+1)/2}+b^{(N+1)/2}\equiv -8\qquad\pmod N$$ desde $2^{N+1}\equiv 4\pmod N$ es coprime a $N$.

También, $$\small\begin{align}&2^{N+3}(a^{(N+3)/2}+b^{(N+3)/2})\\&=\left(\sqrt{10}-\sqrt 6\right)^{N+3}+\left(\sqrt{10}+\sqrt 6\right)^{N+3}\\&=\sum_{i=0}^{N+3}\binom{N+3}{i}(\sqrt{10})^i((-\sqrt 6)^{N+3-i}+(\sqrt 6)^{N+3-i})\\&=\sum_{j=0}^{(N+3)/2}\binom{N+3}{2j}(\sqrt{10})^{2j}\cdot 2(\sqrt 6)^{N+3-2j}\\&\equiv 2\cdot 6^{(N+3)/2}+\frac{(N+3)(N+2)}{2}\cdot 10\cdot 2\cdot 6^{(N+1)/2}+\frac{(N+3)(N+2)}{2}\cdot 10^{(N+1)/2}\cdot 2\cdot 6+10^{(N+3)/2}\cdot 2\quad\pmod N\\&\equiv 2\cdot 6^{(N+3)/2}+6\cdot 10\cdot 6^{(N+1)/2}+6\cdot 10^{(N+1)/2}\cdot 6+10^{(N+3)/2}\cdot 2\qquad\pmod N\\&\equiv 2(-6^2)+60(-6)+6\cdot (-10)\cdot 6+(-10^2)\cdot 2\qquad\pmod N\\&\equiv -992\qquad\pmod N\end{align}$$ a partir de la cual hemos $$a^{(N+3)/2}+b^{(N+3)/2}\equiv -62\qquad\pmod N$$

Por lo tanto, de $(2)$, $$\begin{align}a^{(N-1)/2}+b^{(N-1)/2}&=8(a^{(N+1)/2}+b^{(N+1)/2})-(a^{(N+3)/2}+b^{(N+3)/2})\\&\equiv 8(-8)-(-62)\qquad\pmod N\\&\equiv -2\qquad\pmod N\end{align}$$

Por lo tanto, $$\begin{align}S_{2^n-2}^2&=(a^{(N-1)/4}+b^{(N-1)/4})^2\\&=a^{(N-1)/2}+b^{(N-1)/2}+2\\&\equiv 0\qquad\pmod N\end{align}$$ a partir de que $S_{2^n-2}\equiv 0\pmod{F_n(28)}$ sigue.