Me piden que resuelva$\int_0^\frac{\pi}{4}\tan x\, \mathrm{d}x$.
Esto es lo que hice:
$$ \begin{align} &\int_0^\frac{\pi}{4}\tan x \,\mathrm{d}x&\\ = {} &\int_0^\frac{\pi}{4}\frac{\sin x}{\cos x}\, \mathrm{d}x&\\ = {} &\int_0^\frac{\pi}{4}\sin x\frac{-1}{-\cos x} \,\mathrm{d}x&\\ = {} &-\int_0^\frac{\pi}{4}\varphi'(x)\frac{1}{\varphi(x)} \,\mathrm{d}x &\text{where %#%#%} \\ = {} &-\int_{\varphi(0)}^{\varphi(\frac{\pi}{4})} \frac{1}{z} \,\mathrm{d}z \\ = {} &-\int_{-1}^{-\frac{1}{\sqrt{2}}} \frac{1}{z}\, \mathrm{d}z \\ = {} &\Big[\ln z\Big]_{-1}^{-\frac{1}{\sqrt{2}}} \\ = {} &\ln \left(-\frac{1}{\sqrt{2}}\right) - \ln (-1) \end {align} $$
Y aquí es donde estoy atascado, porque la solución definitivamente no es un número complejo. Sé la respuesta correcta (es$\varphi(x):=-\cos x$, mi problema es que no sé dónde cometí un error.