Conjeturó compositeness pruebas para $N=b^n \pm b \pm 1$

Question

Cómo probar que estas conjeturas son verdaderas?

Definición: Dejar $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 1: Vamos a $N= b^n-b-1$ tal que $n>2$, $b \equiv 0,6 \pmod{8}$. Deje $S_i=P_b(S_{i-1})$$S_0=P_{b/2}(6)$, por lo tanto si $N$ es primo, entonces $S_{n-1} \equiv P_{(b+2)/2}(6) \pmod{N}$.

Conjetura 2: Deje $N= b^n-b-1$ tal que $n>2$, $b \equiv 2,4 \pmod{8}$. Deje $S_i=P_b(S_{i-1})$$S_0=P_{b/2}(6)$, por lo tanto si $N$ es primo, entonces $S_{n-1} \equiv -P_{b/2}(6) \pmod{N}$.

Conjetura 3: Deje $N= b^n+b+1$ tal que $n>2$, $b \equiv 0,6 \pmod{8}$. Deje $S_i=P_b(S_{i-1})$$S_0=P_{b/2}(6)$, por lo tanto si $N$ es primo, entonces $S_{n-1} \equiv P_{b/2}(6) \pmod{N}$.

Conjetura 4: Deje $N= b^n+b+1$ tal que $n>2$, $b \equiv 2,4 \pmod{8}$. Deje $S_i=P_b(S_{i-1})$$S_0=P_{b/2}(6)$, por lo tanto si $N$ es primo, entonces $S_{n-1} \equiv -P_{(b+2)/2}(6) \pmod{N}$.

Conjetura 5: Deje $N= b^n-b+1$ tal que $n>3$, $b \equiv 0,2 \pmod{8}$. Deje $S_i=P_b(S_{i-1})$$S_0=P_{b/2}(6)$, por lo tanto si $N$ es primo, entonces $S_{n-1} \equiv P_{b/2}(6) \pmod{N}$.

Conjetura 6: Deje $N=b^n-b+1$ tal que $n>3$, $b \equiv 4,6 \pmod{8}$. Deje $S_i=P_b(S_{i-1})$$S_0=P_{b/2}(6)$, por lo tanto si $N$ es primo, entonces $S_{n-1} \equiv -P_{(b-2)/2}(6) \pmod{N}$.

Conjetura de 7: Deje $N= b^n+b-1$ tal que $n>3$, $b \equiv 0,2 \pmod{8}$. Deje $S_i=P_b(S_{i-1})$$S_0=P_{b/2}(6)$, por lo tanto si $N$ es primo, entonces $S_{n-1} \equiv P_{(b-2)/2}(6) \pmod{N}$.

Conjetura de 8: Deje $N= b^n+b-1$ tal que $n>3$, $b \equiv 4,6 \pmod{8}$. Deje $S_i=P_b(S_{i-1})$$S_0=P_{b/2}(6)$, por lo tanto si $N$ es primo, entonces $S_{n-1} \equiv -P_{b/2}(6) \pmod{N}$.

Cualquier sugerencia se agradece.

Answer 1

Sus ocho conjeturas son verdaderas.

Primero de todo, $$\begin{align}S_0=P_{b/2}(6)&=2^{-\frac{b}{2}}\cdot\left(\left(6-4\sqrt{2}\right)^{\frac{b}{2}}+\left(6+4\sqrt{2}\right)^{\frac b2}\right)\\&=\left(3-2\sqrt 2\right)^{\frac b2}+\left(3+2\sqrt 2\right)^{\frac b2}\\&=\left(\sqrt 2-1\right)^b+\left(\sqrt 2+1\right)^b\\&=p^b+q^b\end{align}$$ donde$p=\sqrt 2-1,q=\sqrt 2+1$$pq=1$.

Ahora, podemos probar por inducción que $$S_i=p^{b^{i+1}}+q^{b^{i+1}}.$$

Por el camino, $$\begin{align}p^{N+1}+q^{N+1}&=\sum_{i=0}^{N+1}\binom{N+1}{i}(\sqrt 2)^{i}\left((-1)^{N+1-i}+1\right)\\&=\sum_{j=0}^{(N+1)/2}\binom{N+1}{2j}2^{j+1}\\&\equiv 2+2^{(N+3)/2}\pmod N\\&\equiv 2+4\cdot 2^{\frac{N-1}{2}}\pmod N\tag1\end{align}$$ También, $$\begin{align}p^{N+3}+q^{N+3}&=\sum_{i=0}^{N+3}\binom{N+3}{i}(\sqrt 2)^{i}\left((-1)^{N+3-i}+1\right)\\&=\sum_{j=0}^{(N+3)/2}\binom{N+3}{2j}2^{j+1}\\&\equiv 2+\binom{N+3}{2}\cdot 2^2+\binom{N+3}{N+1}\cdot 2^{\frac{N+3}{2}}+2^{\frac{N+5}{2}}\pmod N\\&\equiv 14+12\cdot 2^{\frac{N-1}{2}}+8\cdot 2^{\frac{N-1}{2}}\pmod N\tag2\end{align}$$

Aquí, por $N\equiv\pm 1\pmod 8$, ya que el $2^{\frac{N-1}{2}}\equiv 1\pmod N$,$(1)(2)$, podemos probar por inducción que $$p^{N+2i-1}+q^{N+2i-1}\equiv p^{2i}+q^{2i}\pmod N\tag 3$$

Para $N\equiv 3,5\pmod 8$, ya que el $2^{\frac{N-1}{2}}\equiv -1\pmod N$,$(1)(2)$, podemos probar por inducción que $$p^{N+2i-1}+q^{N+2i-1}\equiv -\left(p^{2i-2}+q^{2i-2}\right)\pmod N\tag 4$$

Para demostrar $(3)(4)$, podemos utilizar $$p^{N+2(i+1)-1}+q^{N+2(i+1)-1}\equiv \left(p^{N+2i-1}+q^{N+2i-1}\right)\left(p^2+q^2\right)-\left(p^{N+2(i-1)-1}+q^{N+2(i-1)-1}\right)\pmod N$$and $$p^{N+2(i-1)-1}+q^{N+2(i-1)-1}\equiv \left(p^{N+2i-1}+q^{N+2i-1}\right)\left(p^{-2}+q^{-2}\right)-\left(p^{N+2(i+1)-1}+q^{N+2(i+1)-1}\right)\pmod N$$

(Tenga en cuenta que $(3)(4)$ mantiene para cada entero $i$ (no necesariamente positivo) por $pq=1$.)

Conjetura 1 es verdadera , porque a partir de $(3) $$$\begin{align}S_{n-1}&=p^{N+b+1}+q^{N+b+1}\\&\equiv p^{b+2}+q^{b+2}\pmod N\\&\equiv P_{(b+2)/2}(6)\pmod N\end{align}$$

Conjetura 2 es verdadera , porque a partir de $(4)$ $$\begin{align}S_{n-1}&=p^{N+b+1}+q^{N+b+1}\\&\equiv -\left(p^{b}+q^{b}\right)\pmod N\\&\equiv -P_{b/2}(6)\pmod N\end{align}$$

Conjetura 3 es cierto , porque a partir de $(3) $$$\begin{align}S_{n-1}&=p^{N-b-1}+q^{N-b-1}\\&\equiv p^{-b}+q^{-b}\pmod N\\&\equiv q^b+p^b\pmod N\\&\equiv P_{b/2}(6)\pmod N\end{align}$$

Conjetura 4 es cierto , porque a partir de $(4)$ $$\begin{align}S_{n-1}&=p^{N-b-1}+q^{N-b-1}\\&\equiv -\left(p^{-b-2}+q^{-b-2}\right)\pmod N\\&\equiv -\left(q^{b+2}+p^{b+2}\right)\pmod N\\&\equiv -P_{(b+2)/2}(6)\pmod N\end{align}$$

Conjetura de 5 es la verdadera , porque a partir de $(3) $$$\begin{align}S_{n-1}&=p^{N+b-1}+q^{N+b-1}\\&\equiv p^{b}+q^{b}\pmod N\\&\equiv P_{b/2}(6)\pmod N\end{align}$$

Conjetura 6 es cierto , porque a partir de $(4)$ $$\begin{align}S_{n-1}&=p^{N+b-1}+q^{N+b-1}\\&\equiv -\left(p^{b-2}+q^{b-2}\right)\pmod N\\&\equiv -P_{(b-2)/2}(6)\pmod N\end{align}$$

Conjetura 7 es cierto , porque a partir de $(3) $$$\begin{align}S_{n-1}&=p^{N-b+1}+q^{N-b+1}\\&\equiv p^{-b+2}+q^{-b+2}\pmod N\\&\equiv q^{b-2}+p^{b-2}\pmod N\\&\equiv P_{(b-2)/2}(6)\pmod N\end{align}$$

Conjetura 8 es cierto , porque a partir de $(4)$ $$\begin{align}S_{n-1}&=p^{N-b+1}+q^{N-b+1}\\&\equiv -\left(p^{-b}+q^{-b}\right)\pmod N\\&\equiv -\left(q^b+p^b\right)\pmod N\\&\equiv -P_{b/2}(6)\pmod N\end{align}$$