Qual é a antiderivada de tan (x) ?
Lembre-se:
int{g'(x)}/{g(x)}dx=ln|g(x)|+C
(Você pode verificar isso substituindo u=g(x).)
Agora, vejamos a antiderivada postada.
Pela identidade trigonométrica tan x={sin x}/{cos x},
int tan x dx=int{sin x}/{cos x}dx
reescrevendo-o um pouco mais para caber no formulário acima,
=-int{-sin x}/{cos x}dx
pela fórmula acima,
=-ln|cos x|+C
ou por rln x=lnx^r,
=ln|cos x|^{-1}+C=ln|sec x|+C
Espero que isso tenha sido útil.