Vejamos como calcular a derivada das funções seno e cosseno, utilizando o limite do quociente incremental e as identidades trigonométricas fundamentais. Demonstramos passo a passo que a derivada de \( \sin(x) \) é \( \cos(x) \) e que a de \( \cos(x) \) é \( -\sin(x) \), justificando cada passo de forma clara e formal.
Índice
Derivada da Função Seno
Calculamos a derivada da função \( f(x) = \sin(x) \) como o limite do quociente incremental:
\[ f'(x_0) = \lim_{h \to 0} \frac{f(x_0 + h) - f(x_0)}{h} \] \[ = \lim_{h \to 0} \frac{\sin(x_0 + h) - \sin(x_0)}{h} \]
Usamos a identidade trigonométrica para a diferença de senos:
\[ \sin(x_0 + h) - \sin(x_0) = 2 \sin\left(\frac{h}{2}\right) \cos\left(x_0 + \frac{h}{2}\right) \]
Substituindo esta identidade no quociente incremental, obtemos:
\begin{align} \frac{\sin(x_0 + h) - \sin(x_0)}{h} &= \frac{2 \sin\left(\frac{h}{2}\right) \cos\left(x_0 + \frac{h}{2}\right)}{h} \\ &= \frac{\sin\left(\frac{h}{2}\right) \cos\left(x_0 + \frac{h}{2}\right)}{\frac{h}{2}} \end{align}
Sabemos que:
\[ \lim_{h \to 0} \frac{\sin(\frac{h}{2})}{\frac{h}{2}} = 1 \quad \text{e} \quad \lim_{h \to 0} \cos\left(x_0 + \frac{h}{2}\right) = \cos(x_0). \]
Portanto:
\[ \lim_{h \to 0} \frac{\sin(x_0 + h) - \sin(x_0)}{h} = \cos(x_0) \]
A derivada da função \( \sin(x) \) é portanto:
\[ f'(x) = \cos(x) \quad , \quad \forall x \in \mathbb{R} \]
Derivada da Função Cosseno
Agora calculamos a derivada da função \( g(x) = \cos(x) \) como o limite do quociente incremental:
\[ g'(x_0) = \lim_{h \to 0} \frac{g(x_0 + h) - g(x_0)}{h} \] \[ = \lim_{h \to 0} \frac{\cos(x_0 + h) - \cos(x_0)}{h} \]
Usamos a identidade trigonométrica para a diferença de cossenos:
\[ \cos(x_0 + h) - \cos(x_0) = -2 \sin\left(x_0 + \frac{h}{2}\right) \sin\left(\frac{h}{2}\right) \]
Substituindo esta identidade no quociente incremental, obtemos:
\begin{align} \frac{\cos(x_0 + h) - \cos(x_0)}{h} &= \frac{-2 \sin\left(x_0 + \frac{h}{2}\right) \sin\left(\frac{h}{2}\right)}{h} \\ &= \frac{-\sin\left(x_0 + \frac{h}{2}\right) \sin\left(\frac{h}{2}\right)}{\frac{h}{2}}\end{align}
Sabemos que:
\[ \lim_{h \to 0} \frac{\sin(\frac{h}{2})}{\frac{h}{2}} = 1 \quad \text{e} \quad \lim_{h \to 0} \sin\left(x_0 + \frac{h}{2}\right) = \sin(x_0). \]
Portanto:
\[ \lim_{h \to 0} \frac{\cos(x_0 + h) - \cos(x_0)}{h} = -\sin(x_0) \]
A derivada da função \( g(x) = \cos(x) \) é portanto:
\[ g'(x) = -\sin(x) \quad , \quad \forall x \in \mathbb{R} \]