Cálculo

$\def\sen{\text{sen}}$

Fazendo $u = \cos x$, temos que $du = -\sen x dx$. Quando $x = a$, $u \cos(a)$ e, quando $x = b$, $u = \cos(b)$. Assim, \[\int_a^b \frac{\sen x}{\cos x} dx = \int_{\cos(a)}^{\cos(b)}\frac{-1}{u}{du} = (-\ln |u|)|_{\cos(a)}^{\cos(b)}\]