Existe una solución elemental y visualmente atractiva, que consiste en pensar "en forma de matriz".
Sabiendo que $\sum_{n=0}^{\infty} 2^{-n}=2$ la suma $\sum_{n=0}^{\infty}n/2^n$ se puede reescribir como
$$ \begin{align} && 0/2^0 && + && 1/2^1 && + && 2/2^2 && + && 3/2^3 && + && \cdots && = \\ = && && + && 2^{-1} && + && 2^{-2} && + && 2^{-3} && + && \cdots && + \\ + && && && && + && 2^{-2} && + && 2^{-3} && + && \cdots && + \\ + && && && && && && + && 2^{-3} && + && \cdots && + \\ + && && && && && && && && + && \ddots \end{align} $$
sumado primero en las columnas y luego en las filas. No importa en qué dirección se sume primero, porque todas las sumas en ambas direcciones convergen absolutamente. Así que podemos sumar primero en las filas y luego en las columnas. Cada suma de filas es sólo una serie geométrica; la $m$ -suma de filas es $r_m=\sum_{n=m}^{\infty} 2^{-n}=2^{1-m}$ . Ahora, sumando todas las filas, tenemos $\sum r_m = 2$ .
Lo que acabamos de hacer equivale a:
$$ \sum_{n=0}^{\infty} \frac{n}{2^n} = \sum_{n=0}^{\infty} \sum_{m=1}^{n} \frac{1}{2^n} = \sum_{m=1}^{\infty} \sum_{n=m}^{\infty} 2^{-n}= \sum_{m=1}^{\infty} 2^{1-m} = 2 $$
No es difícil hacerlo para una matriz tridimensional, a menos que intentes dibujarla :)
$$ \sum_{n=0}^{\infty} \frac{n^2}{2^n} = \sum_{n=0}^{\infty} \sum_{m=1}^{n} \frac{n}{2^n} = \sum_{m=1}^{\infty} \sum_{n=m}^{\infty} \frac{n}{2^n} = \sum_{m=1}^{\infty} \left\{ \sum_{n=0}^{\infty} \frac{n}{2^n} - \sum_{n=0}^{m-1} \frac{n}{2^n} \right\} $$
Podemos trabajar $\sum_{n=0}^{m-1} \frac{n}{2^n}$ de la misma manera que lo hicimos para $\sum_{n=0}^{\infty} \frac{n}{2^n}$ :
$$ \sum_{n=0}^{m-1} \frac{n}{2^n} = \sum_{n=0}^{m-1} \sum_{l=1}^{n} \frac{1}{2^n} = \sum_{l=1}^{m-1} \sum_{n=l}^{m-1} 2^{-n} = \sum_{l=1}^{m-1} \left\{ 2^{1-l} - 2^{1-m} \right\} = 2 - \left(m+1\right)2^{1-m} $$
Sustituyendo:
$$ \sum_{n=0}^{\infty} \frac{n^2}{2^n} = \sum_{m=1}^{\infty} \left\{ 2 - \left[ 2 - \left(m+1\right)2^{1-m} \right] \right\} = \sum_{m=1}^{\infty} \left(m+1\right)2^{1-m} = \\ \sum_{m=1}^{\infty} \left\{ \left(m-1\right)2^{1-m} + 2\cdot 2^{1-m} \right\} = \sum_{m=0}^{\infty} m\cdot 2^{-m} + 4\sum_{m=1}^{\infty} 2^{-m} = 2 + 4 = 6 $$
De nuevo, se puede cambiar el orden de las sumas porque todas las sumas internas convergen absolutamente.