Resumo
Esta aula deriva as funções elementares que a aula precedente não alcançou: o seno e o cosseno, a partir dos limites trigonométricos da unidade 1; a tangente, a cotangente, a secante e a cossecante, com as regras do quociente e do inverso; a exponencial natural e o logaritmo natural, a partir de seus limites notáveis; e as funções hiperbólicas, a partir da exponencial. Nenhuma demonstração usa a regra da cadeia nem a regra da função inversa, que vêm depois: em cada caso, uma fórmula de adição ou uma propriedade da exponencial ou do logaritmo separa a razão incremental em um fator que depende só do ponto e outro que é um limite já conhecido. Com essas derivadas e as regras, a aula calcula tangentes e ângulos entre curvas transcendentes, e cumpre o que foi anunciado na aula precedente: a função , derivável em , tem uma derivada sem limite em .
Objetivos de aprendizagem
- Demonstrar que a derivada do seno é o cosseno e a do cosseno é o oposto do seno, e explicar por que a variável se mede em radianos.
- Derivar a tangente, a cotangente, a secante e a cossecante com as regras da aula precedente, e precisar o domínio de cada derivada.
- Demonstrar que a exponencial natural é a sua própria derivada e que a derivada de é , e obter disso as derivadas das funções hiperbólicas.
- Combinar as derivadas elementares com as regras para encontrar tangentes e ângulos entre curvas, e reconhecer que uma derivada pode não ter limite em um ponto onde a função é derivável.
O seno e o cosseno
A aula sobre as regras de derivação derivou todas as funções que se obtêm da identidade e das constantes com as quatro operações: os polinômios e as funções racionais. O seno não é uma delas, e a sua derivada deve sair da sua razão incremental. Em essa razão é , e o limite trigonométrico fundamental, da aula sobre o teorema do confronto, dá a derivada . Para um ponto qualquer, a fórmula do seno da soma separa em uma componente que depende só de e outra que depende só de ; as razões que restam são dois limites do corolário dos limites trigonométricos deduzidos, da mesma aula: tende a , e tende a .
O seno e o cosseno são deriváveis em todo , e para todo real :
Usam-se a forma incremental da derivada, da aula sobre a derivada como limite, e as fórmulas de adição da aula sobre as fórmulas de adição e subtração. A figura acompanha a tangente ao gráfico do seno: o seu coeficiente angular em cada ponto é a ordenada do cosseno no mesmo ponto; no final, a tangente ao gráfico do cosseno tem por coeficiente angular o oposto do seno.
Demonstração
Sejam um número real e . Pela fórmula do seno da soma, o incremento do seno se separa em dois termos: um com o fator e outro com o fator ; os fatores e não dependem de .
Divide-se por . Pelo corolário dos limites trigonométricos deduzidos, as duas razões tendem a e a ; pelo teorema do limite de uma combinação linear, da álgebra dos limites, a razão incremental tem limite, e a forma incremental dá a derivada do seno em .
Com a fórmula do cosseno da soma, , o mesmo raciocínio dá a derivada do cosseno.
A demonstração usa que a variável se mede em radianos: o limite fundamental compara o seno com o comprimento do arco. Se o ângulo fosse medido em graus, o seno de graus seria , e a sua derivada levaria o fator (problema proposto 1). Os radianos são, portanto, a unidade em que o seno tem por derivada o cosseno, sem fatores. A leitura geométrica do teorema é a da figura: o seno cresce onde o cosseno é positivo e tem tangente horizontal onde o cosseno se anula; a tangente ao seno na origem é a reta , e por isso, perto de , se parece com , como já dizia a equivalência da aula sobre os infinitésimos equivalentes.
Carregando o conteúdo…