Outras Funções e Suas Derivadas

Com o objetivo de desenvolver técnica, mencionamos várias outras funções e damos suas derivadas. Definições satisfatórias do seno e do cosseno do ponto de vista matemático não serão dadas neste curso, mas apresentaremos evidências intuitivas para as fórmulas de suas derivadas. As funções exponencial e logarítmica serão discutidas com mais detalhes em uma etapa posterior do curso.

Função Derivada
sin x ( x medido em radianos) cos x
cos x sin x
e x e x
log x ( = log e x = ln x ) 1 x

Aqui e é o número 2.71828 , a base do sistema de logaritmos chamados naturais. Sempre que escrevermos log x , isso significará o logaritmo na base e . Agora podemos derivar uma regra para diferenciar a x , onde a é qualquer número positivo fixo. Mas primeiro devemos definir a x para expoente arbitrário x . Assumindo que as funções exponencial e logaritmo estão definidas, definimos a x = e x log a . Então, se tomamos f ( u ) = e u (f'(u) = e^u também), g ( x ) = x log a , temos a x = f ( g ( x ) ) , e

(a^x)' = f'(g(x)) \cdot g'(x) = e^{x \log a} \cdot \log a = a^x \log a .

NOTA. As funções x b , onde b é fixo, e a x , onde a > 0 é fixo, são de natureza completamente diferente, e deve-se ter isso em mente ao formar as derivadas de expressões que as envolvem. A derivada de x b é b x b 1 ; a de a x é a x log a .

Formemos agora os quocientes incrementais para sin x e cos x . Eles são:

sin ( x + h ) sin x h = sin x cos h + cos x sin h sin x h

e

cos ( x + h ) cos x h = cos x cos h sin x sin h cos x h ,

ou

\tag{1} \frac{\cos h - 1}{h} \cdot \sin x + \frac{\sin h}{h} \cdot \cos x ,

e

\tag{2} \frac{\cos h - 1}{h} \cdot \cos x - \frac{\sin h}{h} \cdot \sin x .

Assim, somos levados a considerar

lim h 0 cos h 1 h e lim h 0 sin h h .

Podemos reduzir o primeiro destes ao segundo da seguinte maneira:

\begin{aligned} \frac{\cos h - 1}{h} &= \frac{\cos^2 h - 1}{h(\cos h + 1)} \\ &= \frac{-\sin^2 h}{h(\cos h + 1)} \\ & = \frac{\sin h}{h} \cdot \sin h \cdot \frac{-1}{\cos h + 1} . \end{aligned}

Desses três fatores, o segundo vai para 0 quando h 0 , e o terceiro se aproxima de 1 / 2 . Se o limite de sin h h de fato existir, o limite de cos h 1 h será, portanto, 0.

Considere agora o diagrama à direita. A área do triângulo OAB é menor ou igual à do setor OCB, que por sua vez é menor ou igual à do triângulo OCD. Mas sabemos:

OAB = 1 2 sin h cos h

setor OCB = h 2 (já que a área do círculo inteiro de raio 1 é π , e há 2 π radianos no círculo.)

OCD = 1 2 tan h = 1 2 sin h cos h .
Uma construção geométrica em um círculo unitário usada para provar o limite de sin(h)/h quando h se aproxima de 0. O diagrama mostra um ângulo central h com vértice O, um setor OCB de raio 1, um triângulo retângulo inscrito OAB com altura sin(h) e base cos(h), e um triângulo retângulo externo OCD com altura tan(h). Isso visualiza a desigualdade sin(h)·cos(h)/2 ≤ h/2 ≤ tan(h)/2, que se simplifica para cos(h) ≤ sin(h)/h ≤ 1/cos(h).

Assim

1 2 sin h cos h h 2 1 2 sin h cos h .

Se h > 0 , a primeira desigualdade fornece

sin h h 1 cos h ,

e a segunda fornece

cos h sin h h .

Assim

cos h sin h h 1 cos h .

Mas quando h 0 , tanto cos h quanto 1 cos h se aproximam de 1. Como sin h h está entre essas quantidades, ele também deve se aproximar de 1. Um argumento semelhante pode ser usado para h < 0 . Portanto, concluímos que

lim h 0 sin h h = 1 , lim h 0 cos h 1 h = 0 .

Tomando os limites nos quocientes incrementais (1) e (2), obtemos os resultados originalmente dados para as derivadas do seno e do cosseno.

NOTA. Devido à presença de termos indefinidos, você deve considerar este argumento não como uma prova, mas sim como um esforço para convencê-lo de que nossas afirmações são razoáveis à luz de sua experiência.

Exercícios

Exercício 1.
  1. Diferencie: tan x , cot x , sec x , csc x .
Exercício 2.
  1. R. Courant, Differential and Integral Calculus, v. I: p. 109, ex. 2; p. 144, ex. 5, 6, 7, 8, 9; p. 157, ex. 1-15; p. 177, ex. 2, 3, 4, 5, 9, 12, 13.
Exercício 3.
  1. C. O. Oakley, The Calculus; Barnes and Noble College Outlines: p. 43, ex. 1-13, 16, 17, 19, 20.