Induktionsanfang (IA) für n0=1:
i=1∑n0i⋅(2i+1)=3✓6n0(n0+1)⋅(4n0+5)=62⋅9=3✓
Induktionsvoraussetzung (IV):
∃n∈N : i=1∑ni(2i+1)=6n(n+1)⋅(4n+5)
Induktionsbehauptung (IB)
"n⟹n+1":i=0∑n+1i(2i+1)=6(n+1)(n+2)⋅(4(n+1)+5)
Induktionsschritt (IS):
i=0∑n+1i(2i+1)= (i=0∑ni(2i+1)) +(n+1)(2(n+1)+1)=(IV)6n(n+1)⋅(4n+5)+(n+1)(2(n+1)+1) Wir haben also:6n(n+1)⋅(4n+5)+(n+1)(2(n+1)+1)=6(n+1)(n+2)⋅(4(n+1)+5)∣⋅6=4n3+21n2+35n+18n(n+1)⋅(4n+5)+6(n+1)(2(n+1)+1)==4n3+21n2+35n+18(n+1)(n+2)⋅(4(n+1)+5)□