由于tanx = sinx / cosx 与∫1 / x dx = Ln|x| + C,
所以:∫tanx dx = ∫sinx / cos dx = ∫-1 / cos dcosx = - Ln|cosx| + C