Basta con verificar la identidad $$ W_n(x)+n = (x+1)^2 \sum_{k=1}^n kx^{2(n-k)} $$ Para realizar la comprobación, basta con expandir el lado derecho y comparar potencias iguales. . .
Es fácil ver que los términos principales son los mismos, y los términos constantes son los mismos.
A continuación, fije $m$ con $1\le m\le 2n-1$ .
Para el LHS, el coeficiente de $x^m$ es $2n+1-m$ .
Para el RHS, considere dos casos según $m$ es par o impar.
Primero supongamos $m$ es par.
Entonces $m=2(n-k)$ con $1\le k\le n-1$ por lo que el $x^m$ en la expansión del lado derecho es \begin{align*} & x^2\Bigl((k+1)x^{2(n-k)-2}\Bigr)+kx^{2(n-k)} \\[4pt] =\,& (2k+1)x^{2(n-k)} \\[4pt] =\,& (2n+1-m)x^m \end{align*} Siguiente suposición $m$ es impar.
Entonces $m=2(n-k)+1$ con $1\le k\le n$ por lo que el $x^m$ en la expansión del lado derecho es \begin{align*} & (2x)\bigl(kx^{2(n-k)}\bigr) \qquad\qquad\qquad\qquad \\[4pt] =\,& (2k)x^{2(n-k)+1} \\[4pt] =\,& (2n+1-m)x^m \end{align*} Así, en ambos casos, el $x^m$ en la expansión del lado derecho coincide con el término $x^m$ del LHS, por lo que la verificación está completa.