King Property から,
I=∫0π/2(cosx+sinx)56cosxdx=∫0π/2(sinx+cosx)56sinxdx,∴2I=∫0π/2(cosx+sinx)46dxdx.
y=cosx, y=sinx のグラフは直線 x=π/4 に関して線対称,ゆえに y=cosx+sinx も線対称だから,
I=∫0π/4(cosx+sinx)46dxdx.
u=tanx とおくと
cos2x=(1+tan2x)−1=(1+u4)−1,dx=(arctanu2)′du=2u(1+u4)−1du
だから,
I=∫0π/4cos2x(1+tanx)46dxdx=∫01(1+u)412udu.
さらに v=1+u と置換すると
I=∫1212v−4(v−1)dv=12[−21v−2+31v−3]12=1
が得られる。