∫secxdx=ln∣secx+tanx∣+C
证明:
∫secxdx=∫cosx1dx=∫cosx(secx+tanx)secx+tanxdx=∫secx+tanx1d(secx+tanx)=ln∣secx+tanx∣+C
或:
∫secxdx=∫cos2xcosxdx=∫1−sin2x1dsinx=21∫(1+sinx1+1−sinx1)dsinx=21∫(1+sinx1)d(1+sinx)−21∫(1−sinx1)d(1−sinx)=21ln1−sinx1+sinx+C
∫cscxdx=ln∣cscx−cotx∣+C
证明:
∫cscxdx=∫sinx1=∫sinx(cscx−cotx)cscx−cotx=∫cscx−cotx1d(cscx−cotx)=ln∣cscx−cotx∣+C
或:
∫cscxdx=∫sin2xsinxdx=∫1−cos21dsinx=21(∫1−cosx1d(1−cosx)−∫1+cosx1d(1+cosx))=21ln1+cosx1−cosx
∫x2+a2dx=ln(x+x2+a2)+C
证明:
由恒等式1+tan2x=sec2x,令x=atant,则dx=asec2tdt
则有
∫x2+a2dx=∫a2(1+tan2t)asec2tdt=∫sectdt=ln∣sect+tant∣+C=ln∣aa2+x2+x∣+C=ln(x+x2+a2)+C′
∫sin2tcostdt==−∫sint1dt=−∫csctdt=−ln(csct−cott)