设t=tan(x/2)
∫dx/(1+sinx+cosx)=∫dt/(1+t)=ln(1+t)+C
=ln(1+tanx/2)+C