Prova #1
Explicação
A prova começa com a definição da função tangente:
Em seguida, usa as derivadas previamente provadas de seno e cosseno:
A regra do quociente para derivadas é então aplicada. Esta regra afirma que para duas funções e :
Neste caso, e . Aplicando a regra do quociente obtemos:
O numerador é simplificado usando a identidade trigonométrica padrão :
Usando a identidade do passo 4, o numerador simplifica para 1:
A prova é válida apenas quando , pois a divisão por zero é indefinida.
Finalmente, o resultado segue do fato de que (a secante é o recíproco do cosseno).
Portanto, a derivada de é .
Prova #2
Explicação
A prova começa com a definição da derivada de uma função real em um ponto. Neste caso, é a derivada da tangente em relação a , que é o limite quando se aproxima de de .
O próximo passo usa a identidade trigonométrica para a tangente de uma soma: . Aqui, é e é . Aplicando essa identidade a , obtemos: .
O numerador é então expandido adicionando e subtraindo : .
O numerador é fatorado e o denominador é multiplicado por : .
A regra do produto para limites é aplicada, dividindo o limite no produto de dois limites: .
O segundo limite é um limite padrão: . No primeiro limite, , então quando , . Assim, o primeiro limite se avalia para .
O resultado é simplificado usando a identidade trigonométrica .
Finalmente, o resultado é expresso em termos de cosseno usando a identidade , desde que .
Portanto, a derivada de em relação a é ou
, desde que .