Listo, hicimos esto. A partir de acá se puede seguir usando la propiedad 6 de la tabla que está en el Schaffer, la de W_N^{-ln} y queda hermoso. Nos quedó

DFT_Npuntos{x[n]w[n]} = X[k]/2 -1/4*(X[((k+1))_N] + X[((k-1))_N])

Sabiendo qué hacer era muy fácil el ejercicio jaja