cotx是函数y=ln|sinx|十C的导数，也就是说cotx的不定积分是ln|sinx丨+C。根据同角三角函数关系有tanx=cosx/sinx，而cosx=sinx，因此我们可以进行积分变量代換，即使用換元法就可以很快地求出cotx的原函数。∫cotxdx=∫cosx/sinxdx=∫dsinⅹ/sinx=ln|sinx|十C。