Teorema del rapporto delle successioni
Data una successione an con termini positivi, se la successione bn=an+1/an converge a un limite lb<1 allora la successione an tende a zero.
Un esempio pratico
Esempio 1
Prendo come esempio la successione
$$ a_n = \frac{n^2+1}{2^n} $$
La successione ha i termini positivi per n>0.
Definisco la successione del rapporto bn
$$ b_n = \frac{a_{n+1}}{a_n} = \frac{ \frac{(n+1)^2+1}{2^{n+1}} } { \frac{n^2+1}{2^n} } = \frac{(n+1)^2+1}{2^{n+1}} \cdot \frac{2^n}{n^2+1} $$
$$ b_n = \frac{n^2+2n+1}{2 \cdot 2^n} \cdot \frac{2^n}{n^2+1 }= \frac{n^2+2n+1}{2n^2+2 } $$
Il limite per n→∞ della successione del rapporto bn tende a 1/2 ossia a un valore inferiore a 1, perché si tratta di una frazione fratta tra due polinomi di grado due.
Quindi, nel computo del limite considero solo i termini di grado maggiore n2/2n2 = 1/2
$$ \lim_{ n \rightarrow ∞} b_n = \lim_{ n \rightarrow ∞} \frac{n^2+2n+1}{2n^2+2 } =\lim_{ n \rightarrow ∞} \frac{n^2}{2n^2} = \frac{1}{2} < 1 $$
Pertanto, secondo il teorema del rapporto il limite per n→∞ della successione an tende a 0, ossia an è una successione infinitesima.
$$ \lim_{ n \rightarrow ∞ } a_n = \lim_{ n \rightarrow ∞ } \frac{n^2+1}{2^n} = 0 $$
Ecco la rappresentazione grafica delle due successioni.
La dimostrazione
Ho una successione monotona an con termini positivi.
$$ a_n $$
Definisco una nuova successione composta dal rapporto tra i termini successivi della successione an.
$$ b_n = \frac{a_{n+1}}{a_n} $$
Per ipotesi il limite della successione bn è minore di 1.
$$ \lim_{n \rightarrow ∞} b_n < 1 $$
Quindi, il limite della successione 1-bn è maggiore di zero
$$ \lim_{n \rightarrow ∞} (1-b_n) > 0 $$
Per il teorema della permanenza del segno rispetto alla successione (1-bn) esiste un indice v per cui bn<1 per ogni n>v.
$$ b_n = \frac{a_{n+1}}{a_n} < 1 $$
ossia
$$ a_{n+1} < a_n $$
Questo vuol dire che la successione an è decrescente.
Nota. Soltanto se bn<1 il limite della successione (1-bn) può diventare maggiore di zero.
Inoltre, per l'ipotesi iniziale, la successione an è monotòna e ha tutti i termini positivi.
Essendo decrescente, monotona e con i termini positivi... la successione è anche una successione limitata perché il limite non può essere inferiore a zero.
Pertanto, secondo il teorema delle successioni monotone e limitate esiste un limite finito.
Questo limite è non negativo perché la successione ha tutti i termini positivi.
$$ \lim_{n \rightarrow ∞} a_n = l_a \ge 0 $$
Ricapitolando, il limite la è finito e non negativo.
Ci sono due soltanto risultati possibili:
- Il limite la è maggiore di zero
- Il limite la è uguale a zero
Se per assurdo il limite fosse maggiore di zero (la>0)
$$ \lim_{n \rightarrow ∞} a_n = l_a > 0 $$
Il limite della successione bn diventerebbe pari a 1.
$$ \lim_{n \rightarrow ∞} b_n = \lim_{n \rightarrow ∞} \frac{a_{n+1}}{a_n} = \frac{ \lim_{n \rightarrow ∞} a_{n+1} }{ \lim_{n \rightarrow ∞} a_n } = \frac{l_a}{l_a} = 1 $$
Questo risultato è però impossibile, perché la successione bn deve essere inferiore a 1.
$$ b_n = \frac{a_{n+1}}{a_n} < 1 $$
Quindi, per esclusione il limite (la) è uguale a zero.
$$ \lim_{n \rightarrow ∞} a_n = l_a = 0 $$
E questo dimostra il teorema.
E così via.