T17 指数函数与三角函数乘积的积分 :::{prf:theorem} :label: exp-sin-integration ∫eaxsinbxdx=a2+b2(eax)′eax(sinbx)′sinbx+C ∫eaxcosbxdx=a2+b2(eax)′eax(cosbx)′cosbx+C :::