Denotar
$bcde+1=a^2$, $\quad$
$acde+1=B^2$, $\quad$
$abde+1=C^2$, $\quad$
$abce+1=D^2$, $\quad$
$abcd+1=E^2$.
Si $a<b<c<d<e$, entonces $A>B>C>D>E$.
Mi búsqueda fue infructuosa. Sólo he encontrado unos "semi-soluciones" (donde $a,B,C$ son entero, pero $D$ o $E$ no): aquí están:
\begin{array}{|rrrrr|rrrrr|}
\hline
a & b & c & d & e a & B & C & D & E \\
\hline
1 & 3 & 6 & 14 & 20 & 71 & 41 & 29 & 19 & \color{#CC3300}{(15.90...)} \\
1 & 2 & 12 & 34 & 70 & 239 & 169 & 69 & 41 & \color{#CC3300}{(28.58...)} \\
1 & 2 & 12 & 35 & 68 & 239 & 169 & 69 & \color{#CC3300}{(40.41...)} & 29 \\
2 & 6 & 11 & 14 & 76 & 265 & 153 & 113 & \color{#CC3300}{(100.16...)} & 43 \\
2 & 4 & 87 & 308 & 615 & 8119 & 5741 & 1231 & \color{#CC3300}{(654.24...)} & 463 \\
11 & 34 & 39 & 140 & 464 & 9281 & 5279 & 4929 & \color{#CC3300}{(2601.51...)} & 1429 \\
23 & 82 & 360 & 462 & 494 & 82081 & 43471 & 20747 & \color{#CC3300}{(18314.09...)} & 17711 \\
11 & 28 & 195 & 792 & 4978 & 146719 & 91961 & 34847 & 17291 & \color{#CC3300}{(6896.92...)} \\
4 & 182 & 395 & 957 & 2968 & 451879 & 66991 & 45473 & \color{#CC3300}{(29214.34...)} & 16589 \\
7 & 470 & 912 & 2669 & 154548 & 13296959 & 1622753 & 1164941 & \color{#CC3300}{(680968.56...)} & 89489 \\
2 & 385 & 403 & 1836 & 23240614 & 81366011 & 5864455 & 5731991 & \color{#CC3300}{(2685478.52...)} & 23869
\end{array}
Y tengo una duda, si existen soluciones (a todos) ...
El esqueleto de un algoritmo de búsqueda puede ser como sigue:
Denotar $M = cde$.
En primer lugar, tenemos que encontrar triples $(a,b,M)$, que:
$a\cdot M +1 = B^2$,
$b\cdot M +1 = a^2$.
Es más conveniente hablar de triples $(a,b,a)$ (donde $A$ es la mayor base cuadrada).
Para evitar la fuerza bruta, se observa que
para muchos pares $(a,b)$ existen secuencia de $\{A_n \}$ (y, por supuesto, $\{B_n\}, \{M_n\}$).
Y no es difícil crear/construir una secuencia (para algunos límite de lo razonable), debido a que existe una recurrencia.
Considere, por ejemplo, $(a,b)=(1,10)$:
\begin{array}{|c|rrrrrrrrr}
\hline
n & 1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9\\
\hline
A_n & 9 & 41 & 79 & 351 & 1559 & 3001 & 13329 & 59201 & 113959 \\
\hline
B_n & 3 & 13 & 25 & 111 & 493 & 949 & 4215 & 18721 & 36037 \\
\hline
M_n & 8 & 168 & 624 & 12320 & 243048 & 900600 & 17766224 & 350475840 & 1298665368 \\
\hline
\end{array}
Podemos observar, que (aquí el paso es de $3$):
$$
A_{n+3} = 38 \cdot A_{n} - A_{n-3}, \qquad \qquad (n>3).\la etiqueta{1}
$$
Sí, $3001 = 38 \cdot 79 - 1, 13329 = 38 \cdot 351 - 9, \ldots.$
Cada par $(a,b)$ tiene su propio paso, y su propio multiplicador de cerca de $A_n$.
Un poco más: podemos definir $A_0 = - A_{1}, A_{-1}=-A_2, A_{-2} = -A_3, \ldots$. A continuación, formula $(1)$ será cierto para cualquier $n\in \mathbb{Z}$.
Así, el método es el siguiente:
- teniendo en cuenta los diferentes pares $(a,b)$, encontrar primeros términos de la secuencia de $\{A_n \}$
- construcción de otros términos (el uso de la recurrencia, no bruting)
- para cada triple $(a,b,A_n)$ considerar todos los divisores de $A_n (c<d<e)$, y se les echa ...