Si k es impar,

. Si k es par,

. Se tiene entonces que

. Ahora, si k es par y

(donde

), y así tenemos una correspondencia entre los términos de las sumatorias (que queremos verificar que son iguales):

. Si quieres, míralo para n=4.
El -1 multiplicando a la sumatoria lo multiplicas a cada término de ella,

.