Anotacoes sobre Derivadas

Rodrigo Carlos Silva de Lima

Universidade Federal Fluminense - UFF-RJ

rodrigo.u.math@gmail.com

Sum
ario
1 Derivadas

1.1

Derivada de funcoes pares e mpares . . . . . . . . . . . . . . . . . . . . . .

1.2

Derivadas trigonometricas . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.2.1

Dsen(x) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.2.2

D[cos(x)] . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.2.3

D[tg(x)] . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.2.4

D[tg n+1 (x)] . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.2.5

D[cotg(x)] . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.2.6

D[cotg n+1 (x)] . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.2.7

D[sec(x)] . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.3

1.2.8

D[sec (x)] . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.2.9

D[cossec(x)] . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.2.10 D[cossecn (x)] . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Derivada das trigonometricas inversas

. . . . . . . . . . . . . . . . . . . .

1.3.1

D[arcsen(x)] . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.3.2

D[arccos(x)] . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.3.3

D[arccossec(x)] . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.3.4

D[arcsec(x)] . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.3.5

Darctg(x) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10

1.3.6

1.4

D[arccotg(x)] . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1
1.3.7 arcos( ) = arcsec(z) . . . . . . . . . . . . . . . . . . . . . . . . . . 11
z
Derivadas hiperbolicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.4.1

D[cosh(x)] . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11

1.4.2

D[senh(x)] . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12


SUMARIO

1.5

1.4.3

D[tgh(x)] . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12

1.4.4

D[cotgh(x)] . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12

1.4.5

D[sech(x)] . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12

1.6

Derivadas hiperbolicas inversas .

1
1.5.1 D[arcsenh(x)] =
1 + x2
1
1.5.2 D[arccosh(x)] =
x2 1
1
1.5.3 D[arccotgh(x)] =
.
1 x2
1
1.5.4 D[arctgh(x)] =
. .
1 x2
Derivada da exponencial . . . . .

1.7

Regras basicas de derivacao . . . . . . . . . . . . . . . . . . . . . . . . . . 14

1.8

Derivada de funcoes elementares . . . . . . . . . . . . . . . . . . . . . . . . 15

1.9

. . . . . . . . . . . . . . . . . . . . . . . 12
. . . . . . . . . . . . . . . . . . . . . . . 12
. . . . . . . . . . . . . . . . . . . . . . . 13
. . . . . . . . . . . . . . . . . . . . . . . 13
. . . . . . . . . . . . . . . . . . . . . . . 13
. . . . . . . . . . . . . . . . . . . . . . . 13

1.8.1

Dk sen(ax), Dk cos(ax). . . . . . . . . . . . . . . . . . . . . . . . . . 17

1.8.2

Derivada de f (x)g(x) . . . . . . . . . . . . . . . . . . . . . . . . . . 18

1.8.3

Derivada de ax . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18

1.8.4

Derivada de xx . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19

Derivada do produto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19

1.10 Derivada logartmica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21

1.11 Derivada de potencia de funcoes trigonometricas . . . . . . . . . . . . . . . 22

Captulo 1
Derivadas
1.1

Derivada de funco
es pares e mpares

Propriedade 1. Se f (0) = 0 e f (x) e par entao f e mpar.

Demonstrac
ao. Vamos mostrar que f (x) = f (x) . Seja g(x) = f (x) + f (x),
vale que g(0) = 0 e
g (x) = f (x) + f (x) = f (x) + f (x) = 0.
Logo g e constante, valendo entao g(x) = 0x.
Corol
ario 1. Se f (0) = 0 entao podemos tomar h(x) = f (x) f (0) que sera mpar, pois
vale h(0) = f (0) f (0) e h (x) = f (x) e par, entao vale

h(x) = h(x)
f (x) f (0) = f (x) + f (0)
implicando que
f (x) = 2f (0) f (x).
Entao se f (x) e par vale
f (x) = 2f (0) f (x).

CAPITULO 1. DERIVADAS

Propriedade 2. Se f (c) = f (c) para alguma constante c e f (x) e par entao f e

mpar.
Demonstrac
ao. Vamos mostrar que f (x) = f (x) . Seja g(x) = f (x) + f (x),
vale que g(c) = 0 e
g (x) = f (x) + f (x) = f (x) + f (x) = 0.
Logo g e constante, valendo entao g(x) = 0x.

1.2
1.2.1

Derivadas trigonom
etricas
Dsen(x)

Propriedade 3. Vale D(sen(x)) = cos(x).

Demonstrac
ao. Temos
sen(x + h) sen(x)
sen(h).cos(x) + sen(x).cos(h) sen(x)
=
=
h
h
sen(h)
(cos(h) 1)
=
cos(x) + sen(x)
h
h
sen(h)
(cos(h) 1)
da usamos os limites lim
= 1 e lim
= 0 donde segue
h0
h0
h
h
sen(x + h) sen(x)
sen(h)
(cos(h) 1)
lim
= lim
cos(x) + sen(x) lim
= cos(x).
h0
h0
h0
h
h
h
Corol
ario 2. A funcao seno e contnua para todo x R, pois e derivavel.

1.2.2

D[cos(x)]

Propriedade 4. D(cos(x)) = sen(x).

Demonstrac
ao. Vale
cos(x+h)cos(x) = cos(x).cos(h)sen(x).sen(h)cos(x) = sen(x)sen(h)+cos(x)(cos(h)1)
da usamos os mesmos limites que usamos no caso da derivada de seno, lim

h0

sen(h)
=1
h

(cos(h) 1)
= 0, de onde segue
h0
h
cos(x + h) cos(x)
sen(h)
(cos(h) 1)
lim
= lim sen(x)
+ lim cos(x)
= sen(x).
h0
h0
h0
h
h
h

e lim

CAPITULO 1. DERIVADAS

Corol
ario 3. A funcao cosseno e contnua em toda reta, pois e derivavel em todo x R.

1.2.3

D[tg(x)]

Demonstrac
ao. Vale a identidade
[tg(x)] = sec2 (x).
Demonstrac
ao. Usamos a regra do quociente [tg(x)] = [

sen(x) cos2 (x) + sen2 (x)

] =
=
cos(x)
cos2 (x)

1
= sec2 (x).
cos2 (x)

1.2.4

D[tg n+1 (x)]

Propriedade 5. Vale [tg n+1 (x)] = (n + 1)sec2 (x)tg n (x).

Demonstrac
ao. Por derivada de funcao composta
[tg n+1 (x)] = (n + 1)tg n (x).sec2 (x).

1.2.5

D[cotg(x)]

Propriedade 6.
[cotg(x)] = cossec2 (x).
Demonstrac
ao.
[cotg(x)] = [

1.2.6

cos(x) (sen2 (x) + cos2 (x))

] =
= cossec2 (x).
sen(x)
sen2 (x)

D[cotg n+1 (x)]

Corol
ario 4. Pela regra da cadeia
[cotg n+1 (x)] = (n + 1)cossec2 (x).cotg n (x).

CAPITULO 1. DERIVADAS

1.2.7

D[sec(x)]

Propriedade 7.
D[sec(x)] = tg(x).sec(x)
Demonstrac
ao. Pela regra do quociente
D[sec(x)] = D[

1.2.8

1
sen(x)
]=
= tg(x).sec(x).
cos(x)
cos2 (x)

D[secn (x)]

Propriedade 8.
D[secn (x)] = ntg(x)secn (x).
Demonstrac
ao. Pela regra da cadeia
D[secn (x)] = ntg(x)sec(x)secn1 (x) = ntg(x)secn (x).

1.2.9

D[cossec(x)]

Propriedade 9.
D[cossec(x)] = cotg(x)cossec(x).
Demonstrac
ao. Pela regra do quociente
D[cossec(x)] = D[

1.2.10

1
cos(x)
]=
= cotg(x).cossec(x).
sen(x)
sen2 (x)

D[cossecn (x)]

Propriedade 10.
D[cossecn (x)] = ncotg(x).cossecn (x).
Demonstrac
ao. Pela regra da cadeia
D[cossecn (x)] = n.cotg(x).cossec(x).cossecn1 (x) = ncotg(x).cossecn (x).

CAPITULO 1. DERIVADAS

1.3
1.3.1

Derivada das trigonom

etricas inversas
D[arcsen(x)]

1
Propriedade 11. D[arcsen(x)] =
.
1 x2
Demonstrac
ao. Tomando arcsen(x) = y entao sen(y) = x, derivando y cos(y) = 1

1
e da y =
como cos2 (y) = 1 sen2 (y) segue que cos(y) = 1 sen2 (y) e
cos(y)
1
y =
.
1 x2
Propriedade 12. A funcao de lei arcsen(x) e mpar.
Demonstrac
ao. Seja f (x) = arcsen(x)+arcsen(x), vale f (0) = 0, derivando segue
que

1
1
f (x) =
+
=0
1 x2
1 x2

logo f (x) = 0 valendo arcsen(x) = arcsen(x).

1.3.2

D[arccos(x)]

1
Propriedade 13. Vale D[arccos(x)] =
.
1 x2
Demonstrac
ao. Tomando y = arccos(x) tem-se cos(y) = x e da y sen(y) = 1 logo
1
sen(y)

como sen(y) = 1 cos2 (x) tem-se sen(y) = 1 x2 entao

y =

1
y =
.
1 x2
Propriedade 14. Vale
arccos(x) =

arcsen(x).
2

1
e D[arcsen(x)] =
Demonstrac
ao. Valem as identidades D[arccos(x)] =
1 x2
1

, logo
1 x2
D[arccos(x) + arcsen(x)] = 0

CAPITULO 1. DERIVADAS

isso implica que a funcao e constante, tomando um valor, digamos x = 0, segue

arccos(0) + arcsen(0) = c = arcos(0) =

de onde segue que

arccos(x) =

1.3.3

arcsen(x).
2

D[arccossec(x)]

Propriedade 15.
D[arccossec(x)] =

.
|x| x2 1

Demonstrac
ao. y = arccossec(x) entao cossec(y) = x, derivando ambos membros
tem-se y cotg(y).cossec(y) = 1 usando a relacao cotg 2 (x) + 1 = cossec2 (x) segue que
y =

.
|x| x2 1

Propriedade 16. Vale a identidade

1
arccossec(z) = arcsen( ).
z
1
Demonstrac
ao. Tomando a funcao de lei f (z) = arccossec(z) arcsen( ), temos
z
f (1) = arccossec(1) arcsen(1) =

= 0.
2
2

Derivamos a funcao

1
z
f (z) =
+
=0
2
2
z z 1 z z2 1
1
logo arccossec(z) arcsen( ) = c = arccossec(1) arcsen(1) = 0 implicando
z
1
arccossec(z) = arcsen( ).
z

1.3.4

D[arcsec(x)]

Propriedade 17.
D[arcsec(x)] =

.
|x| x2 1

CAPITULO 1. DERIVADAS

10

Demonstrac
ao. Tomando arcsec(x) = y tem-se sec(y) = x, derivando em relacao `a
x, segue y tg(y)sec(y) = 1, usando a relacao tg 2 (x) + 1 = sec2 (x) segue que
y =

.
|x| x2 1

Propriedade 18. Vale que

arccossec(x) =

arcsec(x).
2

Demonstrac
ao. Pela relacao entre as derivadas temos
D[arccossec(x) + arcsec(x)] = 0
logo arccossec(x) + arcsec(x) = c, tomando x = 1 segue
arccossec(1) + arcsec(1) = arccossec(1) =

1.3.5

= c.
2

Darctg(x)

Propriedade 19. Vale D[arctg(x] =

x2

1
.
+1

Demonstrac
ao. Se arctg(x) = y entao tg(y) = x, derivando ambos lados tem-se
1
y sec2 (y) = 1 logo y =
. Da identidade sec2 (y) = tg 2 (y) + 1 entao sec2 (y) = x2 + 1
sec2 (y)
de onde segue
1
y = 2
.
x +1

1.3.6

D[arccotg(x)]

Propriedade 20.
D[arccotg(x)] =

1
.
+1

x2

Demonstrac
ao. Tomando arccotg(x) = y tem-se cotg(y) = x, derivando em relacao
`a x, segue y cossec2 (x) = 1, usando a relacao cotg 2 (x) + 1 = cossec2 (x) segue que
y =

1
.
+1

x2

Propriedade 21. Vale a relacao

arccotg(x) =

arctg(x).
2

CAPITULO 1. DERIVADAS

11

Demonstrac
ao. Vale D[arccotg(x)] =

1
1
e D[arctg(x] = 2
, somando am+1
x +1

x2

bas temos
D[arccotg(x) + arctg(x)] = 0
entao
arccotg(x) + arctg(x) = c
tomando x = 0 segue
arccotg(0) = c =

logo
arctg(x) =

1.3.7

arctg(x).
2

1
arcos( ) = arcsec(z)
z

1
Propriedade 22. Vale que arcos( ) = arcsec(z).
z
1
Demonstrac
ao. Considere a funcao de lei f (z) = arcos( ) arcsec(z), vale f (1) =
z
arcos(1) arcsec(1) = 0. Vamos derivar a funcao agora
f (z) =

1
1
1
1 (z)

=0
z2 z2 1 z z2 1
z z2 1 z z2 1

logo f (z) = c = f (1) = 0 implicando que

1
arcos( ) = arcsec(z).
z

1.4
1.4.1

Derivadas hiperb
olicas
D[cosh(x)]

Propriedade 23. Dcosh(x) = senh(x).

Demonstrac
ao.
ex + ex
ex ex
D[cosh(x)] = D[
]=
= senh(x).
2
2

CAPITULO 1. DERIVADAS

1.4.2

12

D[senh(x)]

Propriedade 24. Dsenh(x) = cosh(x).

Demonstrac
ao.
D[senh(x)] = D[

1.4.3

ex ex
ex + ex
]=
= cosh(x).
2
2

D[tgh(x)]
D[tgh(x)] = D[

1.4.4

D[cotgh(x)]
D[cotgh(x)] = D[

1.4.5

senh(x)
cosh2 (x) senh2 (x)
]=
= sech2 (x).
2
cosh(x)
cosh (x)

cosh(x)
senh2 (x) cosh2 (x)
]=
= cossech2 (x).
senh(x)
senh2 (x)

D[sech(x)]
D[sech(x)] = D

1.5
1.5.1

1
senh(x)
=
= tgh(x)sech(x).
cosh(x)
cosh2 (x)

Derivadas hiperb
olicas inversas
D[arcsenh(x)] =

1
1 + x2

Propriedade 25. Vale

1
D[arcsenh(x)] =
.
1 + x2
Demonstrac
ao. Seja y = arcsenh(x) entao senh(y) = x derivando temos y .cosh(y) =

1
pela relacao cosh2 (y) senh2 (y) = 1 temos cosh(y) = 1 + x2 logo
1 logo y =
cosh(y)
vale
1
(arcsenh(x)) =
.
1 + x2

CAPITULO 1. DERIVADAS

1.5.2

13

D[arccosh(x)] =

1
x2 1

Propriedade 26. Vale

1
D[arccosh(x)] =
.
x2 1
Demonstrac
ao. Seja y = arccosh(x) entao cosh(y) = x derivando temos y .senh(y) =

1
1 logo y =
pela relacao cosh2 (y) senh2 (y) = 1 temos senh(y) = x2 1 logo
senh(y)
vale
1
(arccosh(x)) =
.
x2 1

1.5.3

D[arccotgh(x)] =

1
1 x2

Propriedade 27. Se arccotgh(x) = y entao cotgh(y) = (x), derivando segue y cossech2 (y) =
1 entao
y =

1.5.4

D[arctgh(x)] =

1
1
=
.
2
cossech (y)
1 x2

1
1 x2

Propriedade 28. Se arctgh(x) = y entao tgh(y) = (x), derivando segue y sech2 (y) = 1
entao
y =

1.6

1
1
=
.
2
sech (y)
1 x2

Derivada da exponencial

Exemplo 1. Calcular a derivada de ax .

ax+h ax
ax (ah 1)
(ah 1)
= lim
= ax lim
= ax ln(a)
h0
h0
h0
h
h
h
lim

caso a = e, vale ex ln(e) = ex .

CAPITULO 1. DERIVADAS

1.7

14

Regras b
asicas de deriva
c
ao

f (x)
f (x).g(x) g (x).f (x)
=
.
g(x)
(g(x))2
Regra de Leibniz para derivada do produto
n ( )

n
n
D [f (x).g(x)] =
[
][Dnk f (x)].[Dk g(x)]
k
k=0
D

Exemplo 2. Seja a funcao f (x) = ex senx vamos calcular Dn f (x) pela regra de Leibniz
n ( )

n
n x
D e senx =
[
][Dnk ex ].[Dk senx]
k
k=0
em geral vale Dk eax = ak eax , no caso Dnk ex = (1)nk ex e Dk senx = sen(x +
da

k
)
2

n ( )

n
k
D e senx =
(1)nk ex .sen(x +
)
k
2
k=0
n x

tomando x = 0 segue
n x

D e senx|x=0

n ( )

n
k
(1)nk .sen( ) =
=
k
2
k=0

k
ik+1
podemos mostrar que sen( ) =
((1)k 1) substituindo na soma
2
2
(
)
(
(
)
n
n
n ( )
n ( )
k+1
k+1
n
n)

n k n
i
nk i
k
nk i
n
nk k
=
(1)
(1)
(1)
=
(1)
i
(1) i =
k
2
k
2
2
k
k
k=0
k=0
k=0
k=0
(
)
(
)
i
i
=
(1)n (1 + i)n (1 + i)n =
(1 i)n (1 + i)n =
2
2

5
5
3
3
usando que 1 i = 2(cos + isen ) e 1 + i = 2(cos + isen ) da aplicando
4
4
4
4
de moivre
n(
)
5n
3n
3n
i 2
5n
+ isen
cos
isen
=
cos
=
2
4
4
4
4
n(
)
2
5n
3n
3n
5n
=
sen
icos
+ sen
icos
=
2
4
4
4
4
3n
5n
= cos
para todo n
como o resultado e um n
umero real pra todo n, segue que cos
4
4
n(
)
2
3n
5n
=
+ sen
sen
=
2
4
4

CAPITULO 1. DERIVADAS

agora como sen

15

5n
n
3n
3n
= sen(3
+ 2n) = sen(
) = sen(
) a expressao ca
4
4
4
4

como
=

(
)
3n
2 sen
4
n

logo
n x

D e senx|x=0

(
)
n
3n
= 2 sen
.
4

Agora , por exemplo, tomando n = 2001

D
pois sen

2001 x

e senx|x=0

(
)
2001
2001 1
2000
3.2001
= 2
= 2
sen
= 2
= 21000
4
2

3.2001
3.2000 3
3
1
= sen(
+
) = sen
= .
4
4
4
4
2

Exemplo 3.
Dn eax eibx = Dn ex(a+bi) = (a + bi)n eax eibx =
sendo a + bi = rei , vale (a + bi)n = rn ein
= eax eibx rn ein = eax ei(bx+n) rn = eax rn (cos(bx + n) + isen(bx + n))
porem

Dn eax eibx = Dn eax (cos(bx) + isen(bx)) = Dn eax cos(bx) + iDn eax sen(bx)
igualando parte real e complexa segue
Dn eax cos(bx) = eax rn cos(bx + n)
Dn eax sen(bx) = eax rn .sen(bx + n).

1.8

Derivada de funco
es elementares
1
x
Dsenx = cosx
Dlnx =

CAPITULO 1. DERIVADAS

16

Dcosx = senx
Dtgx = sec2 x
Dsecx = secx.tgx
Dcotgx = cossec2 x
Dcossecx = cossecx.cotgx
Propriedade 29.
Dk (ax + b)c = ak (c)(k,1) (ax + b)ck
vale para a, b, c reais e k natural.
Demonstrac
ao. Por inducao sobre k, k = 0
D0 (ax + b)c = (ax + b)c = a0 (c)(0,1) (ax + b)c0
tomando como hipotese para k
Dk (ax + b)c = ak (c)(k,1) (ax + b)ck
vamos provar para k + 1
Dk+1 (ax + b)c = ak+1 (c)(k+1,1) (ax + b)ck1
aplicando a derivada na hipotese temos
Dk+1 (ax+b)c = ak (c)(k,1) D(ax+b)ck = ak (c)(k,1) a(ck)(ax+b)ck1 = ak+1 c(k+1,1) (ax+b)ck1
Corol
ario 5. Em
Dk (ax + b)c = ak (c)(k,1) (ax + b)ck
se a = 1 e b = 0 temos
Dk (x)c = (c)(k,1) (x)ck
Corol
ario 6. Dk (ax + b)c = ak (c)(k,1) (ax + b)c+k pois temos
Dk Dk (ax + b)c = ak (c)(k,1) Dk (ax + b)c+k = ak (c)(k,1) ak (c + k)(k,1) (ax + b)c

CAPITULO 1. DERIVADAS

17

mas temos (c)(k,1) (c + k)(k,1) = 1 logo

Dk Dk (ax + b)c = (ax + b)c
e como temos Dk (ax + b)c = ak (c)(k,1) (ax + b)ck aplicando Dk
Dk Dk (ax + b)c = ak (c)(k,1) Dk (ax + b)ck = ak (c)(k,1) ak (c k)(k,1) (ax + b)c = (ax + b)c .

Dk (ax + b)c = ak (c)(k,1) (ax + b)c+k

Entao temos que a mesma formula vale para k inteiro positivo e negativo.
Exemplo 4. Calcule a k-esima derivada de
f (x) =
Dk

(b + ax)n+1
.
a(n + 1)

(b + ax)n+1
ak (n + 1)(k,1) (b + ax)n+1k
=
= ak1 (n)(k1,1) (b + ax)n+1k
a(n + 1)
a(n + 1)

logo temos tambem

Dk

(b + ax)n+1
= ak1 (n)(k1,1) (b + ax)n+k+1 = a(k+1) (n)((k+1),1) (b + ax)n+k+1
a(n + 1)

1.8.1

Dk sen(ax), Dk cos(ax).

Vale
k
).
2
k
Dk cos(ax) = ak cos(ax +
).
2
Provamos por inducao sobre n = k. Para n = 0 vale a igualdade. Supondo a validade
Dk sen(ax) = ak sen(ax +

para n vamos provar para n + 1

Dn+1 sen(ax) = an+1 cos(ax +

n
(n + 1)
) = an+1 sen(ax +
).
2
2

Tomando
Dk sen(ax) = ak sen(ax +

k
)
2

CAPITULO 1. DERIVADAS

18

e derivando em ambos lados segue que

aDk cos(ax) = aak cos(ax +

Dk cos(ax) = ak cos(ax +

k
)
2

k
).
2

Exemplo 5. Podemos escrever uma serie de Taylor como

f (x) =

[Dk f (x0 )]

k=0

no caso do seno, temos Dk f (x0 ) = sen(x0 +

f (x) =

sen(x0 +

k=0

(x x0 )k
k!

k
),
2
k (x x0 )k
)
2
k!

se fosse x0 = teramos
4
f (x) =

k=0

sen(

k (x 4 )k
+
)
4
2
k!

Exemplo 6. Calcule a decima derivada de cos(3x). Vale

D10 cos(3x) = 310 cos(3x + 5) = 310 cos(3x).

1.8.2

Derivada de f (x)g(x)
Df (x)g(x) = Deg(x) ln f (x) = (g (x) ln f (x) +

g(x)f (x)
)f (x)g(x) .
f (x)

em especial se f (x) = a, f (x) = 0 e da tem-se

Dag (x) = ag (x)g (x) ln(a).

1.8.3

Derivada de ax
x

Se a > 0 escrevemos ax = eln a = ex ln a , aplicando a derivada tem-se Dax = Dex ln a =

ln aex ln a = ln a.ax , entao
Dax = ln a.ax .

CAPITULO 1. DERIVADAS

1.8.4

19

Derivada de xx

Exemplo 7. Calcular a derivada de xx .

Escrevemos xx = ex ln x , da derivamos
Dxx = Dex ln x = (ln x + 1)xx
Dxx = (ln x + 1)xx .
x

Exemplo 8 (IME-1963). Derive a funcao y = ex .

Usamos o exemplo anterior y = (xx ) ex = (ln x + 1)xx ex .
x

y = (ln x + 1)xx ex .
x

1.9

Derivada do produto

Sabemos que vale a regra da derivada do produto (f.g) = f .g+f.g , vamos generalizar
o resultado para o produto de n funcoes.
Propriedade 30.
D(

fk (x)) =

n
n

D(s,k) [fk (x)]

s=1 k=1

k=1

lembrando que (s,k) e o delta de kronecker, que vale 1 se k = s e 0 se k = s e vale

D0 f (x) = f (x) e D1 f (x) = Df (x) a derivada.
Demonstrac
ao. Por inducao sobre n, para n = 0
D(

fk (x)) =

0
0

D(s,k) [fk (x)]

s=1 k=1

k=1

O produto e vazio sendo 1 e D(1) = 0, no lado direito a soma e vazia sendo 0. Vale
tambem para n = 1, pois
D(

fk (x)) = D(f1 (x)) =

1
1

D(s,k) [fk (x)] = D(1,1) [f1 (x)].

s=1 k=1

k=1

Supondo para n
D(

k=1

fk (x)) =

n
n

s=1 k=1

D(s,k) [fk (x)]

CAPITULO 1. DERIVADAS

20

vamos provar para n + 1

n+1

D(

fk (x)) =

D[f(n+1) (x)

D(s,k) [fk (x)].

s=1 k=1

k=1
n

n+1 n+1

fk (x)] = D[fn+1 (x)]

k=1

fk (x) + f(n+1) (x)D[

k=1

= D[fn+1 (x)]

n+1

fk (x) + f(n+1) (x)

n
n

D(s,k) [fk (x)] =

s=1 k=1

k=1

Propriedade 31. Seja f (x) =

D(s,k) [fk (x)] =

s=1 k=1

n n+1

D(n+1,k) [fk (x)] +

fk (x)] =

k=1

k=1

n+1 n+1

D(s,k) [fk (x)]

s=1 k=1

[gk (x)]ak entao

k=1

Df (x) = f (x)

as

s=1

gs (x)
.
gs (x)

Demonstrac
ao. Usando a expressao para derivada do produto tem-se
n
n
s1

as 1
ak
[gk (x)]ak ) =
).(
Df (x) =
( [gk (x)] ).(as gs (x)[gs (x)]
s=1 k=1

k=1+s

n
s1
n

[gs (x)]as
ak

=
( [gk (x)] ).(as gs (x)
[gk (x)]ak ) =
).(
gs (x)
s=1 k=1
k=1+s
n
s1
n

as g (x)
ak
as
[gk (x)]ak )( s ) =
=
( [gk (x)] )[gs (x)] .(
gs (x)
s=1 k=1
k=1+s
|
{z
}
f (x)

= f (x)

as g (x)
s

s=1

Corol
ario 7. Sendo f (x) =

gs (x)

(x xk ) temos

k=1

D[

(x xk )] =

k=1

n
n

s=1 k=1

(s,k)

(x xk ) =

n
s1

(x xk )

s=1 k=1

(x xk ).

k=s+1

CAPITULO 1. DERIVADAS

Logo

21

n s1

(x xk )

(x xk )
n

f (x)
1
s=1 k=1
k=s+1
=
=
.
n
s

f (x)
x

x
s
s=1
(x xk )(x xs )
(x xk )
k=1

Sendo f (x) =

k=s+1

x entao f (1) = n + 1 , f (x) =

k=0

kx

k1

e da f (1) =

k=0

(n + 1)(n)
entao
2

1.10

k =

k=0

n 1
f (1)
= =
f (1)
2
1 xs
s=1
n

Derivada logartmica

A derivada logartmica, consiste em tomar o logaritmo de uma expressao e depois

deriva-la, ela facilita muito obtencao de formulas de derivada do produto de funcoes.
Propriedade 32. Seja
f (x) =

pk (x)

gk (x)

k=1

entao

n (

p (x)

g (x)
k
pk (x) gk (x)

f (x) = f (x)

k=1

Demonstrac
ao. Tomando o logaritmo em ambos lados, tem-se
ln f (x) = ln
derivando tem-se

pk (x)

gk (x)
k=1

f (x)
=
f (x)
k=1
n

logo

f (x) = f (x)

n (

)
ln pk (x) ln gk (x)

k=1

pk (x) gk (x)

pk (x) gk (x)

n (

p (x)

)
gk (x)

.
pk (x) gk (x)
k

k=1

CAPITULO 1. DERIVADAS

1.11

22

Derivada de pot
encia de funco
es trigonom
etricas

Exemplo 9. Outra maneira

ix

n ( )
n ( )
n ( )

n kix ix(n+k) n kix ix(n+k) n ix(2kn)

) =
e e
=
e e
=
e
k
k
k
k=0
k=0
k=0

ix n

(e + e

porem eix + eix = 2cos(x), de onde segue

n ( )

n ix(2kn)
2 .cos (x) =
e
k
k=0
n

como o resultado deve ser real a soma na parte complexa deve ser nula, entao vale
n ( )

n
k=0

sen(x(2k n)) = 0.

e
n ( )
1 n
cos (x) = n
cos((n 2k)x).
2 k=0 k
n

Corol
ario 8. Podemos integrar e derivar facilmente cosn (x)
n ( )
n ( )
1 n
1 n
D[cos((n 2k)x)] = n
(n 2k)[sen((n 2k)x)]
Dcos (x) = n
2 k=0 k
2 k=0 k
n

n ( )
1 n
D cos (x) = n
(n 2k)[sen((2k n)x)]
2 k=0 k
n

aplicando a integral segue

n ( )
n ( )
1 n
1
1 n
[cos((n2k)x)]dx = n
[
sen((n2k)x)]dx
cos (x)dx = n
2 k=0 k
2 k=0 k (n 2k)
n

n ( )
1 n
1
cos (x)dx = n
[
sen((n 2k)x)]dx.
2 k=0 k (n 2k)
n

Exemplo 10. Sabemos que

eix eix = 2isen(x)

CAPITULO 1. DERIVADAS

23

, elevamos a potencia n
n ( )

n ixk ix(n+k)
e e
(1)n+k = (2i)n senn (x)
) =
k
k=0

ix n

(e e
ix

n ( )

n ix(n+2k)
e
(1)n+k
(2i) sen (x) =
k
k=0
n

separamos o caso par do mpar, para 2n temos

)
)
2n (
2n (

2n ix(2n+2k)
2n ix(2n+2k)
2n+k
(4 )(1) sen (x) =
e
(1)
=
e
(1)k =
k
k
k=0
k=0
n

2n

nesse caso a parte complexa deve ser nula e a soma deve ser o valor da parte real
da
)
2n (
1 2n
sen (x) = n
cos[(2n 2k)(x)](1)n+k
4 k=0 k
2n

)
2n (

2n
sen[(2n 2k)(x)](1)k = 0.
k
k=0
Tomando agora o caso n mpar, tem-se
(2)

2n+1

2n+1

(1) .isen

(x) =

2n+1
(
k=0

)
2n + 1 ix(2n1+2k)
e
(1)k+1
k

agora a parte real deve ser nula e a parte complexa fornece a soma
sen

2n+1

2n+1
(2n + 1)
1
(x) =
sen[(2n + 1 2k)x](1)k+n
2n+1
(2)
k
k=0
2n+1
(
k=0

)
2n + 1
cos[(2n + 1 2k)x](1)k = 0.
k

Entao valem as expressoes

sen

2n+1

2n+1
(2n + 1)
1
(x) =
sen[(2n + 1 2k)x](1)k+n
k
(2)2n+1 k=0

)
2n (
1 2n
sen (x) = n
cos[(2n 2k)(x)](1)n+k .
4 k=0 k
2n

CAPITULO 1. DERIVADAS

Corol
ario 9. Podemos derivar e integrar as expressoes chegando em

)
2n (
1 2n
1
sen (x)dx = n
sen[(2n 2k)(x)](1)n+k
4 k=0 k (2n 2k)
2n

)
2n (
1 2n
Dsen (x) = n
(2n 2k)sen[(2k 2n)(x)](1)n+k
4 k=0 k
2n

Dsen

2n+1

sen

2n+1

2n+1
(2n + 1)
1
(x) =
(2n + 1 k)cos[(2n + 1 2k)x](1)k+n
2n+1
(2)
k
k=0

2n+1
(2n + 1)
1
1
(x)dx = 2n+1
cos[(2n + 1 2k)x](1)k+n
(2)
(2n
+
1

2k)
k
k=0

24