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.