>>361
普通に計算して出るよ。
sin(nx) の係数 a_n は n=1 の時だけゼロでない。
a_n:=1/π∫[x=0,π] sin(nx)*sin(x) dx
a_1=1/2