>>706
cosのところが変な気がするけど、
Σ[k=1,4N]√ksin(kπ/4)cos(k/x)はΣ[m=1,4N]√msin(kπ/4)cos(m/x)と同じだし、
Σ[n=1,4N]√nsin(kπ/4)cos(n/x)と同じ。
だから、(Σ[k=1,4N]√ksin(kπ/4)cos(k/x))^2は
Σ[m=1,4N]√msin(kπ/4)cos(m/x)*Σ[n=1,4N]√nsin(kπ/4)cos(n/x)と同じ。
これまとめるとΣ[m,n=1,4N]√msin(kπ/4)cos(m/x)*√nsin(kπ/4)cos(n/x)。