>>880
∫[x=0〜π/2] dx/(1＋sinx＋cosx)、tan(x/2)=t とおくと、
sin(x)=2t/(1+t^2)、cos(x)=(1-t^2)/(1+t^2)、dx=2/(1+t^2) dt で、
∫[x=0〜π/2] dx/(1＋sinx＋cosx)=∫[x=0〜1] dt/(1+t)=(log|1+t|)|_[0〜1]=log(2)