Este es en realidad un problema bastante encantador.
Intuitivamente, el problema inicialmente parece bastante complicado, o, al menos, lo parecía para mí.
Comenzando con el número natural $n$ lo dividimos en otros dos $a+b$, luego tomamos el producto $ab$ e iteramos este proceso de dividir $a$ y $b$ multiplicando, etc. Eventualmente sumando todos los pares de productos.
Para ganar intuición sobre este proceso me di cuenta de que necesitamos alguna manera de tratar tanto con $a+b$ como con $ab$ juntos. La forma más sencilla de hacer esto es elevar al cuadrado $n$:
$$n^2=(a+b)^2=a^2+2ab+b^2$$
Tenemos la suma $a+b$ a la izquierda (aunque al cuadrado) y el producto $ab$ a la derecha. Luego, al iterar este proceso: Cada uno de $a$ y $b$ pueden escribirse como sumas de números naturales ellos mismos, digamos $a=c+d$ y $b=e+f$, luego expandiendo
$$n^2=c^2+d^2 + e^2 + f^2 + 2(cd+ab+ef)$$
y así sucesivamente hasta que llegamos a
$$n^2=\underbrace{1^2+1^2+\cdots +1^2}_{\text{$n$ veces}} + 2S$$
donde $S$ es la suma deseada de todos los productos.
Debería ser claro que siempre habrá $n$ términos de $1^2$:
Para imaginar esto, considera $n^2$ como el área de un cuadrado de lado $n$. En cada iteración dividimos a lo largo de la horizontal y la vertical de cuadrados más pequeños que están a lo largo de la diagonal. Eventualmente nos quedamos con los $n$ cuadrados diagonales principales $1\times 1$, cada uno de área $1^2$.
Entonces
$$n^2=n+2S$$
por lo tanto
$$S=\frac{n(n-1)}{2}=\binom{n}{2}$$