Hallar todos los enteros $n\geq 3$ para los que existen números reales $a_1,a_2,\ldots ,a_n,a_{n+1},a_{n+2}$, tales que $a_{n+1}=a_1$ y $a_{n+2}=a_2$, y$$a_ia_{i+1}+1=a_{i+2}$$para $i = 1,2,\ldots ,n$.
Para todo [math]k, existen [math]k primos en sucesión aritmética.
En primer lugar notemos que el enunciado es equivalente a tener un arreglo de $n$ números reales puestos alrededor de una circunferencia, de manera que al recorrer la circunferencia en sentido horario, cada número es igual al producto de los dos anteriores más $1$. La solución está escrita en esos términos.
Probaremos que un tal arreglo existe si y sólo si $n$ es divisible por $3$. Para $n$ múltiplo de $3$, un ejemplo es ir repitiendo el bloque de $3$ números $2,-1,-1,2,-1,-1,2,-1,-1$, etcétera. Esto funciona porque $2 \cdot (-1) + 1 = -1$, $(-1) \cdot (-1) + 1 = 2$ y $(-1) \cdot 2 + 1 = -1$.
Llamaremos grande a un número si su valor absoluto es mayor o igual que $1$ y chico si es menor que $1$. Probamos primero algunas observaciones sencillas.
Observación 1: Si para algún $i$ ocurre que $a_i$ y $a_{i+1}$ tienen el mismo signo (ambos positivos o ambos negativos), entonces $a_{i+2}$ es positivo y grande. Esto es claro pues $a_{i+2} = \underbrace{a_ia_{i+1}}_{>0} + 1 > 1$.
Observación 2: Si para algún $i$ ocurre que $a_i$ y $a_{i+1}$ tienen distinto signo y son los dos chicos, entonces $a_{i+2}$ es positivo y chico. En efecto, $a_{i+2} = a_ia_{i+1} + 1$, y sabemos que $a_ia_{i+1}$ es negativo de valor absoluto menor que $1$, entonces $a_{i+2}$ es positivo y menor que $1$.
Observación 3: Si para algún $i$ ocurre que $a_i$ y $a_{i+1}$ tienen distinto signo y son los dos grandes, entonces $a_{i+2} \leq 0$. En efecto, $a_{i+2} = a_ia_{i+1} + 1$, y sabemos que $a_ia_{i+1}$ es negativo de valor absoluto mayor o igual que $1$, entonces $a_{i+2} \leq 0$.
Supongamos que existe algún arreglo que cumple las condiciones del enunciado en el cual hay dos números consecutivos que son positivos. Por la Observación 1 se deduce fácilmente que todos los números del arreglo son positivos y grandes. Pero esto no puede ocurrir, ya que si $a_i \geq 1$ entonces $a_{i+2} = a_ia_{i+1} + 1 \geq a_{i+1} + 1 > a_{i+1}$, de donde cada número es mayor que el anterior, lo cual no tiene sentido si están en una circunferencia. Hemos probado entonces que en un arreglo admisible no hay dos números positivos consecutivos.
Notemos también que si $a_i = 0$ para algún $i$ entonces $a_{i+1} = 1$ y $a_{i+2} = 1$, y volvemos al caso anterior. Así que en adelante podemos suponer que todos los números del arreglo son distintos de $0$.
Veamos que la situación planteada en la Observación 2 no puede ocurrir en un arreglo admisible. Si $a_i$ es negativo, $a_{i+1}$ es positivo y ambos son chicos, la observación nos dice que $a_{i+2}$ es positivo, así que hay dos números positivos consecutivos, lo cual ya vimos que no puede pasar. Si en cambio $a_i$ es positivo y $a_{i+1}$ es negativo, sabemos que $a_{i+2}$ es positivo y chico, y usando la observación una vez más llegamos a que $a_{i+3}$ es positivo, absurdo otra vez. Vimos entonces que en un arreglo admisible no puede haber dos números consecutivos de distinto signo que sean ambos chicos.
Supongamos ahora que para algún $i$ ocurre que $a_i$ es positivo y chico. Entonces $a_{i-1}$ debe ser negativo (dijimos que no había dos positivos consecutivos) y grande (por lo último que probamos). Ahora $a_{i-2}$ no puede ser negativo (entraríamos en contradicción con la Observación 1), así que es positivo, y no puede ser grande (entraríamos en contradicción con la Observación 3). Estamos probando entonces que detrás de un número positivo chico siempre debe haber un número negativo grande, y detrás de este, otro número positivo chico. Esto conduce a que en la circunferencia se alternan números positivos chicos con números negativos grandes. Veamos que esto tampoco puede pasar. Tomemos un número negativo $a_i$, luego $a_{i+1}$ es positivo y chico, y $a_{i+2}$ es negativo. En tal caso, $|a_{i+2}| = |a_ia_{i+1} + 1| = |a_ia_{i+1}| - 1 < |a_i| - 1 < |a_i|$. Así, cada número negativo tendría valor absoluto mayor que el que viene dos posiciones más adelante, lo cual no tiene sentido si están en una circunferencia.
El único caso que aún no descartamos es cuando todos los números positivos que aparecen en el arreglo son grandes (notar que siempre hay al menos un número positivo ya que por la Observación 1 si hay dos negativos consecutivos el siguiente es positivo). Tomemos un número positivo $a_i$, entonces $a_{i+1}$ es negativo porque no puede haber dos positivos consecutivos. Si $a_{i+2}$ fuera positivo, sería chico, pues $a_{i+2} = a_ia_{i+1} + 1$ y $a_ia_{i+1} < 0$. Como estamos suponiendo que esto no pasa, entonces $a_{i+2}$ es negativo. Luego $a_{i+3}$ es positivo (por la Observación 1), y volvemos a empezar. Estamos probando que la única posibilidad es que después de cada número positivo vengan dos números negativos, luego un positivo, luego dos negativos, etcétera. Esto sólo se puede hacer si $n$ es múltiplo de $3$.
La solución está completa. $\blacksquare$
We gave you a start so you'd know what to do
You've seen how it works, now it's over to you (...)
For there's so much more to explore! Numberblocks - https://www.youtube.com/watch?v=KzTR72_srTU
Notamos que la condición puede escribirse como$$a_ia_{i+1}=a_{i+2}-1,$$luego,$$(a_{i+2}-1)a_{i+2}=a_ia_{i+1}a_{i+2}=a_i(a_{i+3}-1),$$de donde$$a_{i+2}^2-a_ia_{i+3}=a_{i+2}-a_i.$$Sumando dos veces estás ecuaciones para todo $i$, vemos que el lado derecho es $0$, y el lado izquierdo se puede factorizar como$$\sum \limits _{i=1}^n(a_i-a_{i+3})^2,$$así que cada término tiene que ser $0$, entonces $a_i=a_{i+3}$ para todo $i$.
Si $n$ no es múltiplo de $3$, entonces $a_i=g$ para todo $i$. La condición es $g^2+1=g$, es decir, $g^2-g+1=0$. Esta cuadrática es convexa porque su coeficiente principal es positivo, por lo que tiene mínimo en $g=\frac{(-1)(-1)}{2\cdot 1}=\frac{1}{2}$, y vale $\frac{3}{4}$. Entonces no hay ningún $g$ real que cumpla la condición.
Si $n$ es múltiplo de $3$, tomando $a_{3k+1}=a_{3k+2}=-1$ y $a_{3k}=2$ tenemos un ejemplo.