Usted puede utilizar anidada dos inducciones.
Con el fin de mostrar la igualdad de $\forall n, 1 + (1+2) + (1+2+3) + \ldots (1+2+\ldots+n) = \frac 1 6 n (n+1) (n+2)$,
comprobar que es cierto para $n=1$, y a continuación, a la izquierda para mostrar la igualdad de $\forall n, \frac 1 6 n (n+1) (n+2) + (1+2+ \ldots+n+(n+1)) = \frac 1 6 (n+1) (n+2) (n+3)$,
que puede ser simplificado a $\forall n, (1+2+ \ldots +n+(n+1)) = \frac 1 6 (n+1) (n+2) [(n+3)-n] = \frac 1 2 (n+1) (n+2) $.
Ahora, el uso de la inducción de nuevo para probar esto. Comprobar que es cierto para $n=1$, y están a la izquierda para mostrar la igualdad de $\forall n, \frac 1 2 (n+1)(n+2) + (n+2) = \frac 1 2 (n+2)(n+3)$. Que debe ser algo sencillo de probar.
Alternativamente se puede utilizar un único fuerte de inducción : comprobar que es cierto para $n=0,1$, y para $n\ge 1$, asumir la igualdad es verdadera para$n-1$$n$, y mostrar lo que es cierto para $n+1$, mediante el uso de $1 + (1+2) + (1+2+3) + \dots + (1+2+\ldots n+1) = 2*(1 + (1+2) + \ldots (1+2+\ldots + n)) - (1+(1+2) + \ldots + (1+2+\ldots +(n-1)) + (n+1)$.
Reemplace todo el mundo con el correspondiente $\frac 1 6 k(k+1)(k+2)$, y, a continuación, debería ser sencillo.