Iniziamo con la derivata della funzione \( f(x) = \tan(x) \). Il limite del rapporto incrementale è
\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 l'identità per la differenza di tangenti:
\[ \tan(x) - \tan(x_0) = \frac{\sin(x - x_0)}{\cos(x) \cos(x_0)} \]
Sostituendo questa identità nel rapporto incrementale, otteniamo:
\[ \frac{\tan(x) - \tan(x_0)}{x - x_0} = \frac{\frac{\sin(x - x_0)}{\cos(x) \cos(x_0)}}{x - x_0} \]
Semplificando:
\[ \frac{1}{\cos(x) \cos(x_0)} \cdot \frac{\sin(x - x_0)}{x - x_0} \]
Ora, quando \( x \to x_0 \), utilizziamo il limite notevole:
\[ \lim_{x \to x_0} \frac{\sin(x - x_0)}{x - x_0} = 1 \]
Pertanto, l'espressione diventa:
\[ \lim_{x \to x_0} \frac{1}{\cos(x) \cos(x_0)} \cdot 1 = \frac{1}{\cos^2(x_0)} \]
Poiché \(\sec(x) = \frac{1}{\cos(x)}\), possiamo riscrivere il risultato finale come:
\[ \lim_{x \to x_0} \frac{\tan(x) - \tan(x_0)}{x - x_0} = \sec^2(x_0) \]
Quindi
\[ f'(x)=\sec^2(x) \quad , \quad \forall x \in \mathbb{R} \setminus \{ \frac{\pi}{2} + k\pi \mid k \in \mathbb{Z} \} \]
Ora, calcoliamo la derivata della funzione \( g(x) = \cot(x) \). Il limite del rapporto incrementale è
\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 l'identità per la differenza di cotangenti:
\[ \cot(x) - \cot(x_0) = -\frac{\sin(x - x_0)}{\sin(x) \sin(x_0)} \]
Sostituendo questa identità nel rapporto incrementale, otteniamo:
\[ \frac{\cot(x) - \cot(x_0)}{x - x_0} = \frac{-\frac{\sin(x - x_0)}{\sin(x) \sin(x_0)}}{x - x_0} \]
Semplificando:
\[ -\frac{1}{\sin(x) \sin(x_0)} \cdot \frac{\sin(x - x_0)}{x - x_0} \]
Ora, quando \( x \to x_0 \), utilizziamo il limite notevole:
\[ \lim_{x \to x_0} \frac{\sin(x - x_0)}{x - x_0} = 1 \]
Pertanto, l'espressione diventa:
\[ \lim_{x \to x_0} -\frac{1}{\sin(x) \sin(x_0)} \cdot 1 = -\frac{1}{\sin^2(x_0)} \]
Poiché \(\csc(x) = \frac{1}{\sin(x)}\), possiamo riscrivere il risultato finale come:
\[ \lim_{x \to x_0} \frac{\cot(x) - \cot(x_0)}{x - x_0} = -\csc^2(x_0) \]
Quindi
\[ g'(x)=-\csc^2(x)\quad , \quad \forall x \in \mathbb{R} \setminus \{ k\pi \mid k \in \mathbb{Z} \} \]