Ciao, David e Franco
In questi ultimi giorni mi sono accorto del problema e ho
provato anch'io a cercare qualcosa.
All'inzio ho fatto ricorso a Excel per esplorare un po' il campo...
ma non solo quello delle adunate
Mi sono spinto, infatti, anche fra i valori negativi di

.
Vi lascio un mio piccolo contributo, purtroppo un po' svelto e
limitato per il tempo che non c'è.
Ho iniziato a comporre queste colonne numeriche:

e poi queste:

In realtà, le liste da cui sono partito erano più corte,
naturalmente, includevano i valori da voi già trovati e quelli
che si ottengono mandando

nell'altra direzione, cioè
considerandone appunto anche i valori negativi.
Gli elementi nuovi sono stati calcolati e confermati sulla base
delle cose che sto per dire.
Concentrandomi sui valori di

così disposti, mi sono
accorto di una facile ricorsione con cui si ricavano i termini
a partire dal terzo:

e ciò mi ha portato subito, grazie alla teoria delle successioni
ricorrenti lineari (spiegate ottimamente da Gianfranco
qui,
ma si può apprezzare anche il bel contributo di Umberto Cerruti
pubblicato
qui), a trovare le seguenti forme chiuse per le
due sequenze di

.
Per la prima (18, 35, 332, 3285, ...) abbiamo:
(5+2\cdot \sqr{6})^r+(216+55\cdot \sqr{6})(5-2\cdot \sqr{6})^r}{24})
mentre per l'altra (145, 1432, 14175, 1389005, ...) è:
(5+2\cdot \sqr{6})^r+(1740-707\cdot \sqr{6}) (5-2\cdot \sqr{6})^r}{24})
per

naturale (zero incluso).
Si può dimostrare che le soluzioni dell'equazione in esame sono
contenute in queste sequenze e pertanto risultano infinite
anche quelle relative ai soli valori positivi di

.
(Salvo sviste, sciocchezze e varie robe affini

)
Comunque confermo senz'altro il valore indicato da David,
rispetto alla sua richiesta
