Dany jest ciąg rekurencyjny:
$$
a_1=2,\qquad a_{n+1}=2a_n+1.
$$
Udowodnij, że dla każdej liczby naturalnej $n\ge 1$ zachodzi wzór
$$
a_n=2^{n+1}-2.
$$
Przeprowadzimy dowód indukcyjny.
Krok 1. Sprawdzenie dla $n=1$.
$$
a_1=2.
$$
Z drugiej strony:
$$
2^{1+1}-2=2^2-2=4-2=2.
$$
Zatem wzór jest prawdziwy dla $n=1$.
Krok 2. Założenie indukcyjne.
Zakładamy, że dla pewnego $n$ zachodzi:
$$
a_n=2^{n+1}-2.
$$
Krok 3. Krok indukcyjny.
Korzystamy z definicji ciągu:
$$
a_{n+1}=2a_n+1.
$$
Podstawiamy założenie:
$$
a_{n+1}=2(2^{n+1}-2)+1
=2^{n+2}-4+1
=2^{n+2}-3.
$$
Z drugiej strony wzór dla $n+1$ daje:
$$
2^{(n+1)+1}-2=2^{n+2}-2.
$$
Otrzymaliśmy różne wyniki, więc poprawiamy wzór.