>>695
c(n)=Σ{x(k)x(n+k);k=−∞〜∞}
C(z)=Σ{c(n)z^(-n);n=−∞〜∞}=Σ{x(k)x(n+k)z^(-n);k=−∞〜∞,n=−∞〜∞}
=Σ{x(k)x(n+k)z^(-n-k+k);k=−∞〜∞,n+k=−∞〜∞}
=Σ{x(k)(1/z)^(-k) x(m)z^(-m);k=−∞〜∞,m=−∞〜∞}
=X(1/z)X(z)