log((1+x)/(1-x))=2(x+x^3/3+x^5/5+・・・・) (-1<x<1) -(1)　でも使うか。
∫[0,pi]sin(nx)/2^n dx=-1/2^n((-1)^n-1)=0(n：偶数), 2/2^n(n：奇数) -(2)
納n=0,∞]sin(nx)/2^n=納n=1,∞]sin(nx)/2^n は一様収束するので
∫[0,pi]煤iｒｙ =納n=1,∞]∫[0,pi]sin(nx)/2^n dx
これと(1)(2) により。