Für n=1 hast du \( a_{1}:=\left.12\right|_{4} =4+2=6\)
und es gilt \( a_{1}=\frac{2}{5} \cdot\left(16^{1}-1\right) =\frac{2}{5}\cdot 15 = 6\)
Passt also !
Wenn es für ein n gilt, dann hat man \( a_{n+1}=\left.1212121 \cdots 2\right|_{4} \)
also ein Paar (1,2) mehr als bei an. Damit hat man
\( a_{n+1}=1\cdot 4^{2n+1}+2\cdot 4^{2n}+a_n \)
und wenn man einsetzt \( a_{n}=\frac{2}{5} \cdot\left(16^{n}-1\right) \) gibt das
\( a_{n+1}=1\cdot 4^{2n+1}+2\cdot 4^{2n}+\frac{2}{5} \cdot\left(16^{n}-1\right)\)
\( =1\cdot 16^n \cdot 4+2\cdot 16^{n}+\frac{2}{5} \cdot\left(16^{n}-1\right)\)
\( = 6\cdot 16^n+\frac{2}{5} \cdot\left(16^{n}-1\right)\)
\( = \frac{2}{5} \cdot 15\cdot 16^n+\frac{2}{5} \cdot\left(16^{n}-1\right)\)
\( = \frac{2}{5} \cdot \left(15\cdot 16^n+16^{n}-1\right)\)
\( = \frac{2}{5} \cdot \left(16\cdot 16^n-1\right)\)
\( = \frac{2}{5} \cdot \left(16^{n+1}-1\right)\)
Also gilt die Formel auch für n+1 q.e.d.