Demostración de derivadas de identidades trigonométricas.

Demostración de la derivada de la función seno:

sen  a  b   senac os b  cos asenb

Sea f la función seno, de modo que:

f ( x )  senx

De la definición de la derivada:

f  x  x   f  x  sen  x  x   sen  x 
f '( x )  lim  lim
x  0 x x  0 x

sen  x  x 
Se emplea la primera fórmula para , por lo que:

senx cos  x   cos xsen  x   senx senx  cos x  1 cos xsen  x 

f '  x   lim  lim  lim
x 0 x x 0 x x 0 x

1  cos  x 
 lim
x 0 x
 lim senx    lim cos x  lim senxx 
x 0 x 0 x  0

Por medio de teoremas tenemos que:

1  cos  x  sen  x 
lim 0 lim 1
x  0 x Y x  0 x

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

f '  x   0.senx  cos x.1  cos x

De este modo se ha demostrado el teorema siguiente:

Dx  senx   cos x

Demostración de la derivada de la función coseno:

cos(a  b)  cos a cos b  senasenb

Si g es la función coseno, entonces:

g( x )  cos x

g  x  x   g ( x ) cos  x  x   cos x
g '( x )  lim  lim
x  0 x x  0 x

Se emplea la primera fórmula para cos x  x , de donde se obtiene:

cos x cos( x )  senxsen( x )  cos x

g '( x )  lim
x  0 x

cos x  cos( x )  1 senxsen  x 

 lim  lim
x  0 x x  0 x

1  cos  x 
  lim
x  0 x
 lim cos x    lim senx  lim senxx 
x  0 x  0 x  0

Por medio de teoremas tenemos que:

1  cos  x  sen  x 
lim 0 lim 1
x  0 x y x  0 x
Ahora sustituimos:

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

Y de este modo se demuestra el teorema:

Dx (senx )  cos x

Demostración de la derivada de la función tangente:

Las derivadas de las funciones tangentes, cotangente, secante y cosecante, se

obtiene de las identidades trigonométricas que contienen al seno y coseno, así
como las derivadas de seno y coseno y los teoremas de diferenciación. Para la
derivada de las identidades:

senx 1
tan x  sec x 
cos x cos x sen 2 x  cos2 x  1

Tenemos que:

Dx (tan x )  sec 2 x

Ahora lo demostramos, teniendo que:

 senx 
Dx (tan x )  Dx  
 cos x 

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
 2
 2
 sec 2 x
cos x cos x
Derivada de la función cotangente:

La demostración del teorema de la derivada de la función secante, emplea las

siguientes identidades:

cos x 1
cot x  csc x 
senx senx

El teorema dice:

cos x
Dx (cot x )  Dx   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  cos 2 x

sen 2 x

1

sen 2 x   csc x

Demostración de la derivada de la función secante:

El teorema de esta derivada nos dice:

 1 
Dx (sec x )  Dx  
 cos x 

El teorema es el siguiente:

Dx (sec x )  sec x tan x

Y luego lo demostramos, teniendo en cuenta que:

 1 
Dx (sec x )  Dx  
 cos x 

Lo cual indicamos de esta manera:

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

 
cos2 x cos2 x

senx 1 senx
 2
 
cos x cos x cos x

 sec x tan x

Demostración de la derivada de la función 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