\( a_2 = (2-1)2^{2+1} +2=8+2=10 \) und
\(  a_2 = a_1 + +2\cdot 2^2 =2+2\cdot 4 = 2+8 =10\)
Angenommen es gilt für ein n
\(a_{n}= (n − 1)\cdot 2^{n+1} + 2 \)     #
wegen der Rekursion folgt
\(a_{n+1}=a_n +(n+1)\cdot 2^{n+1} \)
wegen # gilt also
\(a_{n+1}= (n − 1)\cdot 2^{n+1} + 2  +(n+1)\cdot 2^{n+1} \)
\( = n \cdot 2^{n+1} - 2^{n+1} + 2  +n\cdot 2^{n+1} + 2^{n+1}\)
\( = n \cdot 2^{n+1} + 2  +n\cdot 2^{n+1} \)
\( = 2n \cdot 2^{n+1} + 2 = n \cdot 2^{n+2} + 2  \).
Und das ist genau der Term, den # für n+1 auch ergibt.  q.e.d.