Demostracin de derivadas de identidades trigonomtricas.

Demostracin de la derivada de la funcin seno:

sen a b senac os b cos asenb

Sea f la funcin seno, de modo que:

f ( x ) senx
De la definicin de la derivada:

f '( x ) lim

f x x f x
x

x 0

Se emplea la primera frmula para

f ' x lim

lim

sen x x

lim

, por lo que:

lim

senx cos x 1
x

x 0

1 cos x

x 0

x 0

senx cos x cos xsen x senx

x 0

sen x x sen x

x 0

lim senx lim cos x lim senxx

x 0

x 0

x 0

Por medio de teoremas tenemos que:

lim

x 0

lim

1 cos x
x

lim

x 0

sen x
x

Al sustituir estas dos ecuaciones en la anterior, tenemos que:

f ' x 0.senx cos x.1 cos x

cos xsen x
x

De este modo se ha demostrado el teorema siguiente:

Dx senx cos x

Demostracin de la derivada de la funcin coseno:

cos(a b) cos a cos b senasenb

Si g es la funcin coseno, entonces:

g ( x ) cos x

g '( x ) lim

g x x g ( x )
x

x 0

lim

cos x x cos x
x

x 0

Se emplea la primera frmula para cos x x , de donde se obtiene:

cos x cos( x ) senxsen( x ) cos x
x 0
x

g '( x ) lim

lim

cos x cos( x ) 1
x

x 0

lim

1 cos x
x

x 0

lim

senxsen x
x

x 0

lim cos x lim senx lim senxx

x 0

x 0

x 0

Por medio de teoremas tenemos que:

lim

x 0

1 cos x
x

lim

x 0

sen x
x

Ahora sustituimos:

g '( x ) 0.cos x senx.1 senx

Y de este modo se demuestra el teorema:
Dx (senx ) cos x
Demostracin de la derivada de la funcin tangente:
Las derivadas de las funciones tangentes, cotangente, secante y cosecante, se
obtiene de las identidades trigonomtricas que contienen al seno y coseno, as
como las derivadas de seno y coseno y los teoremas de diferenciacin. Para la
derivada de las identidades:
tan x

senx
cos x

sec x

1
cos x

sen 2 x cos2 x 1

Tenemos que:
Dx (tan x ) sec 2 x

Ahora lo demostramos, teniendo que:

senx

cos x

Dx (tan x ) Dx

Podemos decir que:

cos x.Dx (senx ) senx.Dx (cos x ) (cos x )(cos x ) (senx )( senx )

cos2 x
cos2 x

cos2 x sen 2 x
1

sec 2 x
2
2
cos x
cos x

Derivada de la funcin cotangente:

La demostracin del teorema de la derivada de la funcin secante, emplea las
siguientes identidades:
cot x

cos x
senx

csc x

1
senx

El teorema dice:
Dx (cot x ) Dx

cos x
csc 2 x
senx

Por lo tanto:

(cos x )' senx cos x(cos x )

sen 2 x

senx senx cosx(cos x )

sen 2 x

sen 2 x cos2 x
sen 2 x

1
sen 2 x csc x

Demostracin de la derivada de la funcin secante:

El teorema de esta derivada nos dice:

cos x

Dx (sec x ) Dx
El teorema es el siguiente:

Dx (sec x ) sec x tan x

Y luego lo demostramos, teniendo en cuenta que:

cos x

Dx (sec x ) Dx
Lo cual indicamos de esta manera:

cos x.Dx (1) 1.Dx (cos x ) cos x.0 1.(senx )

cos2 x
cos 2 x

senx
1
senx

2
cos x cos x cos x
sec x tan x

Demostracin de la derivada de la funcin cosecante:

El teorema indica que:
Dx (csc x ) csc x cot x
Entonces:

(1)' senx 1(senx )'

sen 2 x

0 cos x
sen 2 x

1
cos x

senx senx csc x cot x