Tal vez sea una pregunta estúpida, pero por favor, guíenme e ilumínenme con paciencia. Acabo de conocer un hecho que me ha impactado bastante. Empecemos por este simple hecho $$\sum_{k=1}^n k=\frac{n(n+1)}{2}\tag{1}$$ La suma anterior es una suma de progresión aritmética con diferencia común de 1 y ya lo he sabido. Entonces, resulta (me di cuenta de esto al jugar con Wolfram|Alpha) $$\begin{align}\sum_{k=1}^n k(k+1)&=\frac{n(n+1)(n+2)}{3}\tag{2}\\\sum_{k=1}^n k(k+1)(k+2)&=\frac{n(n+1)(n+2)(n+3)}{4}\tag{3}\\\sum_{k=1}^n k(k+1)(k+2)(k+3)&=\frac{n(n+1)(n+2)(n+3)(n+4)}{5}\tag{4}\\\end{align}$$ y parece (aún no lo he probado) $$\sum_{k=1}^n k(k+1)(k+2)\cdots(k+r)=\frac{n(n+1)(n+2)(n+3)(n+4)\cdots(n+r+1)}{r+2}\tag{5}$$ Tenemos un patrón obvio aquí. Conozco la intuición de $(1)$ Pero me pregunto cuáles son las intuiciones para las otras sumas: $(2),\,(3),\,(4),\,(5)$ ?
Puedo derivar $(2)$ utilizando fórmulas conocidas para serie aritmética y número piramidal cuadrado pero cómo lo hacen las otras fórmulas, $(3),\,(4),\,(5)$ ¿Derivar? ¿Utiliza La fórmula de Faulhaber ?