離散フーリエ変換において、パーセバルの定理

Σ[n=0,N-1]|x(n)|^2 = (1/N)Σ[k=0,N-1]|X(k)|^2

が成立することをを証明せよ。

です。よろしくお願いします。