dx=∫1/sinx dx=∫1/[2sin(x/2)cos(x/2)] dx，两倍角公式=∫1/[sin(x/2)cos(x/2)] d(x/2)=∫1/tan(x/2)*sec²(x/2) d(x/2)=∫1/tan(x/2) d[tan(x/2)]，注∫sec²(x/2)d(x/2)=tan(x/2)+C=ln|tan(x/2)|+C.
在微积分中，一个函数f 的不定积分，或原函数，或反导数，是一个导数等于f 的函数 F ，即F ′ = f。
不定积分和定积分间的关系由微积分基本定理确定。其中F是f的不定积分
