$p~|~f_{p-1}$ si $p\equiv\pm1$ (mod$10$)

Question

(He editado)

Deje $\big(f_{n}\big)$ ser la secuencia de Fibonacci, que se define por $f_{n}=f_{n-1}+f_{n-2}$$f_{1}=1$$~f_{2}=1$.

Ahora he deducido que para todos los prime $p\ge 7$, $p~|~f_{p-1}$ o $p~|~f_{p+1}$.

Aquí está mi intento :

Como primer $p\ge 7$, podemos ver en la cuenta de la fórmula de Binet que $$\begin{align*} f_{n}=\frac{\alpha^{n}-\beta^{n}}{\alpha-\beta}=\frac{\left(\frac{1+\sqrt{5}}{2}\right)^{n}-\left(\frac{1-\sqrt{5}}{2}\right)^{n}}{\sqrt 5}=\frac{1}{2^{n}\sqrt{5}}\bigg(\left(1+\sqrt{5}\right)^{n}-\left(1-\sqrt{5}\right)^{n}\bigg)\tag{*}\\ \end{align*}$$ y por el teorema que Binomail $$\left(1{\pm\sqrt{5}}\right)^{n}=\sum_{k=0}^{n}{{n}\choose{k}}\left(\pm\sqrt{5}\right)^{k}=1\pm{{n}\choose{1}}{\sqrt{5}}+{{n}\choose{2}}\left(\sqrt{5}\right)^{2}\pm{{n}\choose{3}}\left(\sqrt{5}\right)^{3}+\cdots+(-1)^{n}\left(\sqrt{5}\right)^{n}$$ De $(*)$, sabemos que si $n$ es impar, entonces $$\begin{align*} 2^{n-1}f_{n}&=\frac{1}{2\sqrt{5}}\left(\left(1+\sqrt{5}\right)^{n}-\left(1-\sqrt{5}\right)^{n}\right)\\ &=\frac{1}{2\sqrt{5}}\left(\sum_{k=0}^{n}{{n}\choose{k}}\left(\sqrt{5}\right)^{k}-\sum_{k=0}^{n}{{n}\choose{k}}(-1)^{k}\left(\sqrt{5}\right)^{k}\right)\\ &=\frac{1}{2\sqrt{5}}\sum_{k=0}^{n}{{n}\choose{k}}\left(\left(\sqrt{5}\right)^{k}-(-1)^{k}\left(\sqrt{5}\right)^{k}\right)\\ &=\frac{1}{2\sqrt{5}}\sum_{m=0}^{\frac{n-1}{2}}{{n}\choose{2m+1}}2\left(\sqrt{5}\right)^{2m+1}\\ &=\sum_{m=0}^{\frac{n-1}{2}}{{n}\choose{2m+1}}\left(\sqrt{5}\right)^{2m}\\ &=\sum_{m=0}^{\frac{n-1}{2}}{{n}\choose{2m+1}}5^{m} \end{align*}$$ Ahora vamos a $n=p$ ser impar el primer y desde $p~|~{{p}\choose{i}}$ todos los $1\le i<p$.

A continuación, desde arriba, uno tiene que

$$2^{p-1}f_{p}\equiv 5^{\frac{p-1}{2}}~(mod~p)$$

Pero $gcd(p,2^{p-1})=1$ desde $p$ es número impar, entonces tenemos

$$f_{p}\equiv 5^{\frac{p-1}{2}}~(mod~p)$$

y de ahí que

$$f^{2}_{p}\equiv 5^{p-1}\equiv 1~(mod~p)$$

, donde el último módulo tiene por Fermat poco teorema .

Tenga en cuenta que $f_{p}^{2}-f_{p-1}f_{p+1}=1$.

He aquí un detalle: $$\begin{align*} f_{p}^{2}-f_{p-1}f_{p+1}&=\left(\frac{\alpha^{p}-\beta^{p}}{\alpha-\beta}\right)^{2}-\frac{\alpha^{p-1}-\beta^{p-1}}{\alpha-\beta}\frac{\alpha^{p+1}-\beta^{p+1}}{\alpha-\beta}\\ &=\frac{\alpha^{2p}-2\alpha^{p}\beta^{p}+\beta^{2p}}{\left(\alpha-\beta\right)^{2}}-\frac{\alpha^{p-1+p+1}-\alpha^{p-1}\beta^{p+1}-\beta^{p-1}\alpha^{p+1}+\beta^{p-1+p+1}}{\left(\alpha-\beta\right)^{2}}\\ &=\frac{\alpha^{2p}-2\alpha^{p}\beta^{p}+\beta^{2p}}{\left(\alpha-\beta\right)^{2}}-\frac{\alpha^{2p}-\left( \alpha^{p-1}\beta^{p+1}+\alpha^{p+1}\beta^{p-1}\right)\beta^{2p}}{\left(\alpha-\beta+\right)^{2}}\\ &=\frac{1}{\left(\alpha-\beta\right)^{2}}\bigg(-2\alpha^{p}\beta^{p}+\alpha^{p-1}\beta^{p+1}+\alpha^{p+1}\beta^{p-1}\bigg)\\ &=\frac{1}{\left(\alpha-\beta\right)^{2}}\bigg(\left(\alpha\beta\right)^{p-1}\beta^{2}-2(\alpha\beta)^{p}+(\alpha\beta)^{p-1}\alpha^{2}\bigg)\\ &=\frac{1}{\left(\alpha-\beta\right)^{2}}\bigg((-1)^{p-1}\beta^{2}-2(-1)^{p}+(-1)^{p-1}\alpha^{2}\bigg)\\ &=\frac{1}{\left(\alpha-\beta\right)^{2}}\bigg(\alpha^{2}+\beta^{2}+2\bigg)\\ &=\frac{1}{\left(\sqrt{5}\right)^{2}}(3+2)\\ &=1\\ \end{align*}$$ Por lo tanto, como $f_{p}^{2}\equiv 1$ (mod p) entonces obtenemos

$$0\equiv f^{2}_{p}-1\equiv f_{p-1}f_{p+1}~(mod~p)$$

De dónde,

$$\color{red}{either~~p~|~f_{p-1}~~or~~p~|~f_{p+1}}$$

desde $$gcd(f_{p-1},f_{p+1})=f_{gcd(p-1,p+1)}=f_{2}=1$$ Tenga en cuenta que como $p$ es impar, a continuación, $p=2q+1$ algunos $q\in{\bf N}$.

A continuación, $$gcd(p-1,p+1)=gcd(2q,2q+2)=gcd\left(2q,2(q+1)\right)=2$$ ,donde la última igualdad es cierto que desde $gcd(q,q+1)=1$.

Pregunta:

Es posible el uso de este resultado (el rojo) para mostrar que si $p\equiv \pm1$ (mod$10$), a continuación, $p~|~f_{p-1}~?$

Cualquier comentario o consejo voy a estar agradecido. Gracias por su paciente lectura .

Answer 1

Tenga en cuenta que, en cualquier campo de $K$ de manera tal que la cuadrática $x^2-x-1$ tiene dos raíces $\alpha$$\beta$, debemos tener $$f_n = \frac{\alpha^n-\beta^n}{\alpha-\beta}$$ for every integer $n\geq 0$. Let $p$ be a prime natural number. We shall work in the finite field $\mathbb{F}_{p^2}$ of order $p^2$. Note that the quadratic $x^2-x-1$ splits in the prime field $\mathbb{F}_{p}$ if and only if $p=5$ or $\left(\frac{5}{p}\right)=+1$ (or equivalently, $p \equiv \pm1\pmod{10}$). If the quadratic has identical roots in $\mathbb{F}_{p^2}$, then $p=5$ is the only viable choice; otherwise, $\alpha \neq \beta$.

Si $p=5$, podemos ver que $\alpha=\beta=3$$\mathbb{F}_{p^2}$. Por lo tanto, la recursividad tiene una solución $f_n = 2n\cdot3^{n}$. Esto demuestra que $5\mid f_n$ si y sólo si $5 \mid n$.

Si $p$ es un número primo tal que $p \equiv \pm1\pmod{10}$, $\alpha$ $\beta$ son elementos de $\mathbb{F}_p$. Es decir, $$f_{p-1} = \frac{\alpha^{p-1}-\beta^{p-1}}{\alpha-\beta} = \frac{1-1}{\alpha-\beta}=0\,.$$ del mismo modo, $$f_p=\frac{\alpha^p-\beta^p}{\alpha-\beta}=\frac{\alpha-\beta}{\alpha-\beta}=1$$ y $$f_{p+1} = \frac{\alpha^{p+1}-\beta^{p+1}}{\alpha-\beta} = \frac{\alpha^2-\beta^2}{\alpha-\beta}=\alpha+\beta=1\,.$$

Si $p$ es un número primo tal que $p \equiv \pm 3\pmod{10}$, $\alpha$ $\beta$ son dos elementos distintos de a $\mathbb{F}_{p^2}$. Tenga en cuenta que $$\alpha^p+\beta^p=(\alpha+\beta)^p=1^p=1$$ and $$\alpha^p\beta^p = (\alpha\beta)^p=(-1)^p=-1\,.$$ Therefore, $\alpha^p$ and $\beta^p$ are also roots of $x^2-x-1$. However, since $\alpha$ and $\beta$ are not elements of $\mathbb{F}_p$, we must have $\alpha^p = \beta$ and $\beta^p=\alpha$. (If $\alpha^p=\alpha$ or $\beta^p=\beta$, then they are roots of $x^p-x$, which means that they belong to $\mathbb{F}_p$.) That is, $$f_{p-1} = \frac{\alpha^{p-1}-\beta^{p-1}}{\alpha-\beta} = \frac{\beta\alpha^{-1} - \alpha\beta^{-1}}{\alpha-\beta} = \left(-\frac{1}{\alpha\beta}\right)\left(\frac{\alpha^2-\beta^2}{\alpha-\beta}\right) = 1(\alpha+\beta)=1$$ y $$f_p=\frac{\alpha^p-\beta^p}{\alpha-\beta}=\frac{\beta-\alpha}{\alpha-\beta}=-1\,.$$ Asimismo, $$f_{p+1}=\frac{\alpha^{p+1}-\beta^{p+1}}{\alpha-\beta} = \frac{\beta\alpha^{+1}-\alpha\beta^{+1}}{\alpha-\beta} = \frac{(-1)-(-1)}{\alpha-\beta}=0\,.$$

P. S. en efecto, $f_{k\Big(p-\left(\frac{5}{p}\right)\Big)}=0$ $\mathbb{F}_p$ por cada $k=0,1,2,\ldots$ y para cualquier primer número natural $p$.