Começamos com a derivada da tangente \( f(x) = \tan(x) \). O limite do quociente incremental é
\begin{align} f'(x) &= \lim_{x \to x_0} \frac{f(x) - f(x_0)}{x - x_0} \\ &=\lim_{x \to x_0} \frac{\tan(x) - \tan(x_0)}{x - x_0} \end{align}
Usando a identidade para a diferença de tangentes:
\[ \tan(x) - \tan(x_0) = \frac{\sin(x - x_0)}{\cos(x) \cos(x_0)} \]
Substituindo esta identidade no quociente incremental, obtemos:
\[ \frac{\tan(x) - \tan(x_0)}{x - x_0} = \frac{\frac{\sin(x - x_0)}{\cos(x) \cos(x_0)}}{x - x_0} \]
Simplificando:
\[ \frac{1}{\cos(x) \cos(x_0)} \cdot \frac{\sin(x - x_0)}{x - x_0} \]
Agora, quando \( x \to x_0 \), utilizamos o limite notável:
\[ \lim_{x \to x_0} \frac{\sin(x - x_0)}{x - x_0} = 1 \]
Portanto, a expressão torna-se:
\[ \lim_{x \to x_0} \frac{1}{\cos(x) \cos(x_0)} \cdot 1 = \frac{1}{\cos^2(x_0)} \]
Visto que \(\sec(x) = \frac{1}{\cos(x)}\), podemos reescrever o resultado final como:
\[ \lim_{x \to x_0} \frac{\tan(x) - \tan(x_0)}{x - x_0} = \sec^2(x_0) \]
Portanto
\[ f'(x)=\sec^2(x) \quad , \quad \forall x \in \mathbb{R} \setminus \{ \frac{\pi}{2} + k\pi \mid k \in \mathbb{Z} \} \]
Agora, calculemos a derivada da cotangente \( g(x) = \cot(x) \). O limite do quociente incremental é
\begin{align} g'(x) &= \lim_{x \to x_0} \frac{g(x) - g(x_0)}{x - x_0} \\ &=\lim_{x \to x_0} \frac{\cot(x) - \cot(x_0)}{x - x_0} \end{align}
Usando a identidade para a diferença de cotangentes:
\[ \cot(x) - \cot(x_0) = -\frac{\sin(x - x_0)}{\sin(x) \sin(x_0)} \]
Substituindo esta identidade no quociente incremental, obtemos:
\[ \frac{\cot(x) - \cot(x_0)}{x - x_0} = \frac{-\frac{\sin(x - x_0)}{\sin(x) \sin(x_0)}}{x - x_0} \]
Simplificando:
\[ -\frac{1}{\sin(x) \sin(x_0)} \cdot \frac{\sin(x - x_0)}{x - x_0} \]
Agora, quando \( x \to x_0 \), utilizamos o limite notável:
\[ \lim_{x \to x_0} \frac{\sin(x - x_0)}{x - x_0} = 1 \]
Portanto, a expressão torna-se:
\[ \lim_{x \to x_0} -\frac{1}{\sin(x) \sin(x_0)} \cdot 1 = -\frac{1}{\sin^2(x_0)} \]
Visto que \(\csc(x) = \frac{1}{\sin(x)}\), podemos reescrever o resultado final como:
\[ \lim_{x \to x_0} \frac{\cot(x) - \cot(x_0)}{x - x_0} = -\csc^2(x_0) \]
Portanto
\[ g'(x)=-\csc^2(x)\quad , \quad \forall x \in \mathbb{R} \setminus \{ k\pi \mid k \in \mathbb{Z} \} \]