
Il limite in $(1)$ è strettamente legato a questa proprietà dei numeri di Fibonacci: ogni numero primo $p$ è fattore di qualche numero di Fibonacci (in realtà, di un’infinità), inoltre, definendo $r(p)$ come il rango di apparizione di $p$, ovvero il più piccolo indice positivo $n$ per cui $p$ divide $F_n$, si ha che $p$ divide $F_n$ se e solo se $r(p)$ divide $n$. Ad esempio $r(13)=7$ poiché il più piccolo indice per cui $13$ divide $F_n$ è $7$ e $F_7=13$, $F_{14}=377$, $F_{21}=10946$, ecc. sono multipli di $13$, e i numeri di Fibonacci con indice positivo multiplo di $7$ sono tutti e soli i numeri di Fibonacci multipli di $13$. I ranghi di apparizione sono elencati nella sequenza OEIS A001602 che contiene tutti i numeri naturali positivi tranne $1$, $2$, $6$ e $12$.
Usando al posto della successione di Fibonacci la successione di Lucas, definita da $L_0=2$, $L_1=1$, $L_{n+1}=L_n+L_{n-1}$, il limite in $(2)$ “sperimentalmente” pare essere $\pi^2/8$, raggiunto però oscillando sopra e sotto il valore limite.
Nello stesso articolo è riportato un altro legame, più semplice da dimostrare, fra i numeri di Fibonacci e $\pi$, attraverso la sommatoria $\sum_n (1/\arctan F_{2n+1})$. Per arrivare al calcolo della sommatoria viene menzionata ma non dimostrata una particolare identità, e sebbene abbia trovato più di un modo per dimostrarla, quello che ho trovato più semplice fa ricorso ai numeri complessi: $$\arctan F_{2n+2}-\arctan F_{2n} = \arg (1+i\cdot F_{2n+2})-\arg(1+i\cdot F_{2n})= \\ = \arg(1 +i\cdot F_{2n+2})+\arg(1-i\cdot F_{2n})=\arg[(1+i\cdot F_{2n+2})(1-i \cdot F_{2n} )] = \\ = \arg[(1+F_{2n+2}\cdot F_{2n})+i(F_{2n+2}-F_{2n})]=\arg [(F_{2n+1})^2 +i\cdot F_{2n+1}]=\arctan \frac1{F_{2n+1}}\ ,$$dove ho fatto uso della identità di Cassini (enunciata quasi cinque secoli dopo l’introduzione dei numeri di Fibonacci!) $F_{k+1}\cdot F_{k-1}=(F_k)^2+(-1)^k$.
L’identità trovata permette di rendere telescopica e calcolare la sommatoria: $$\sum_{n=0}^\infty \arctan \frac1{F_{2n+1}} =\lim_{n\to\infty} \sum_{k=0}^n \arctan\frac1{F_{2k+1}} =\\= \lim_{n\to\infty}\sum_{k=0}^n\left(\arctan F_{2k+2}-\arctan F_{2k}\right) =\lim_{n\to\infty}\arctan F_{2n+2}-\require{cancel} \cancelto{0}{\arctan F_0} = \\ = \lim_{x\to+\infty} \arctan x=\frac\pi2\ .$$Trafficando con questa serie ne ho trovata casualmente un’altra, non legata a $\pi$, ma ugualmente interessante, ovvero la serie $\sum_n (1/\arctan F_{4n+1})$. Anche qui, per renderla telescopica e calcolarla è prima necessario dimostrare una identità:$$\arctan\frac{F_{2n+2}}{F_{2n+1}}-\arctan\frac{F_{2n}}{F_{2n-1}}=\arg(F_{2n+1}+i\cdot F_{2n+2})-\arg(F_{2n-1}+i\cdot F_{2n})= \\ = \arg(F_{2n+1}+i\cdot F_{2n+2})+\arg(F_{2n-1}-i\cdot F_{2n})=\arg[(F_{2n+1}+i\cdot F_{2n+2})(F_{2n-1}-i\cdot F_{2n})]=\\=\arg[(F_{2n+1}\cdot F_{2n-1}+F_{2n+2}\cdot F_{2n})+i\ (F_{2n+2}\cdot F_{2n-1}-F_{2n+1}\cdot F_{2n})]=\\=\arg[F_{4n+1}+i\cdot (-1)^{2n+1} F_1\cdot F_{-2}] = \arg (F_{4n+1} + i) = \arctan \frac1{F_{4n+1}}, $$dove sono state utilizzate le identità $F_i \cdot F_j+F_{i-1}\cdot F_{j-1}=F_{i+j-1}$ e $F_{i+j}\cdot F_{i+k}-F_{i}\cdot F_{i+j+k}=(-1)^i F_j\cdot F_k$ (identità di Vajda).
Si ha quindi: $$\sum_{n=0}^\infty \arctan \frac1{F_{4n+1}} =\lim_{n\to\infty} \sum_{k=0}^n \arctan\frac1{F_{4k+1}} =\\= \lim_{n\to\infty}\sum_{k=0}^n\left(\arctan \frac{F_{2k+2}}{F_{2k+1}}-\arctan \frac{F_{2k}}{F_{2k-1}}\right) =\lim_{n\to\infty}\arctan \frac{F_{2n+2}}{F_{2n+1}}-\cancelto{0}{\arctan \frac{F_0}{F_{-1}}} = \\ = \arctan\lim_{n\to\infty} \frac{F_{2n+2}}{F_{2n+1}}=\arctan\varphi\ .$$
0 commenti:
Posta un commento