Demostracin de derivadas de identidades trigonomtricas.

Demostracin de la derivada de la funcin seno:

( ) os cos sen a b senac b asenb + = +


Sea f la funcin seno, de modo que:


( ) f x senx =


De la definicin de la derivada:


( ) ( ) ( ) ( )
0 0
'( ) lim lim
x x
f x x f x sen x x sen x
f x
x x
A A
+ A + A
= =
A A



Se emplea la primera frmula para
( ) sen x x + A , por lo que:


( )
( ) ( ) | | ( )
0 0 0
cos cos cos cos 1
' lim lim lim
x x x
senx x xsen x senx xsen x senx x
f x
x x x
A A A
A + A A A
= = +
A A A



( )
( ) ( )
( )
0 0 0 0
1 cos
lim lim lim cos lim
x x x x
x sen x
senx x
x x
A A A A
A A
= +
A A



Por medio de teoremas tenemos que:


( )
0
1 cos
lim 0
x
x
x
A
A
=
A
Y
( )
0
lim 1
x
sen x
x
A
A
=
A



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

( ) ' 0. cos .1 cos f x senx x x = + =

De este modo se ha demostrado el teorema siguiente:

( ) cos
x
D senx x =


Demostracin de la derivada de la funcin coseno:


cos( ) cos cos a b a b senasenb + =


Si g es la funcin coseno, entonces:


( ) cos g x x =


( ) ( )
0 0
( ) cos cos
'( ) lim lim
x x
g x x g x x x x
g x
x x
A A
+ A + A
= =
A A



Se emplea la primera frmula para cosx x + A , de donde se obtiene:


0
cos cos( ) ( ) cos
'( ) lim
x
x x senxsen x x
g x
x
A
A A
=
A



| | ( )
0 0
cos cos( ) 1
lim lim
x x
senxsen x x x
x x
A A
A A
=
A A



( )
( ) ( )
( )
0 0 0 0
1 cos
lim lim cos lim lim
x x x x
x sen x
x senx
x x
A A A A
A A
=
A A




Por medio de teoremas tenemos que:


( )
0
1 cos
lim 0
x
x
x
A
A
=
A
y
( )
0
lim 1
x
sen x
x
A
A
=
A



Ahora sustituimos:

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


Y de este modo se demuestra el teorema:

( ) cos
x
D senx 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
cos
senx
x
x
=
1
sec
cos
x
x
=
2 2
cos 1 sen x x + =


Tenemos que:

2
(tan ) sec
x
D x x =

Ahora lo demostramos, teniendo que:


(tan )
cos
x x
senx
D x D
x
| |
=
|
\ .



Podemos decir que:


2
2
cos . ( ) . (cos ) (cos )(cos ) ( )( )
cos cos
x x
x D senx senx D x x x senx senx
x x

= =


2 2
2
2 2
cos 1
sec
cos cos
x sen x
x
x x
+
= = =




Derivada de la funcin cotangente:

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

cos
cot
x
x
senx
=
1
csc x
senx
=


El teorema dice:

2
cos
(cot ) csc
x x
x
D x D x
senx
= =


Por lo tanto:


2
(cos )' cos (cos ) x senx x x
sen x

=

( )
2
(cos ) senx senx cosx x
sen x

=

2 2
2
cos sen x x
sen x
+
=


2
1
sen x
= cscx =


Demostracin de la derivada de la funcin secante:

El teorema de esta derivada nos dice:

1
(sec )
cos
x x
D x D
x
| |
=
|
\ .


El teorema es el siguiente:

(sec ) sec tan
x
D x x x =


Y luego lo demostramos, teniendo en cuenta que:


1
(sec )
cos
x x
D x D
x
| |
=
|
\ .


Lo cual indicamos de esta manera:


2 2
cos . (1) 1. (cos ) cos .0 1.( )
cos cos
x x
x D D x x senx
x x

= =


2
1
cos cos cos
senx senx
x x x
= =


sec tan x x =


Demostracin de la derivada de la funcin cosecante:

El teorema indica que:

(csc ) csc cot
x
D x x x =


Entonces:

2
(1)' 1( )' senx senx
sen x

=

2
0 cos x
sen x

=

1 cos x
senx senx
= csc cot x x =