(1) I0 では被積分関数は cosx/sinx である。u=sinx と置換すると du=cosxdx となる。また区間上で sinx>0 だから I0=∫π/4π/2sinxcosxdx=[log(sinx)]π/4π/2=log1−log22=21log2.
(2) n を正の整数とする。加法定理から cos((2n+1)x)−cos((2n−1)x)=−2sin(2nx)sinx なので In−In−1=−2∫π/4π/2sin(2nx)dx=[ncos(2nx)]π/4π/2=ncos(nπ)−cos(nπ/2)=n(−1)n−cos(nπ/2).
(3) (2)を n=1,2,3,4,5 に適用すると I1−I0=−1,I2−I1=1,I3−I2=−31,I4−I3=0,I5−I4=−51. よって I5=I0+n=1∑5(In−In−1)=21log2−1+1−31+0−51=21log2−158.