納k=1,n]cos(kx)=sin(x(2n+1)/2)/(2sin(x/2))-1/2 を微分してみるか?