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 p0

! lim

sen x  (x  sen x
(x

(x p0

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

f '  x ! lim
(xp

cos (x  cos xs (x

(x  sx

! lim
( xp

?cos (x  1A  lim
(x
( xp

c os x s

(x

(x

! lim
(x p

1  cos (x
(x

lim s x  lim cos x lim

(x p

s (x
(x

(xp

(xp

Por medio de teoremas tenemos que:

(x p

lim

1  cos (x
(x

Y lim
(x p

(x

(x ! 1

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

f '  x !  0.sen x  c o s x .1 ! c o s x

De este modo se ha demostrado el teorema siguiente:

D x s


x ! cos x

Demostracin de la derivada de la funcin coseno:

cos(a  b) ! cos acos b  senasenb

Si g es la funcin coseno, entonces:

g(x) ! cos x
g x  (x  g( x)
(x

g '( x) ! lim

(x p0

! lim

cos x  (x  cos x
(x

(x p0

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

g '( x ) ! lim

(x p 0

cos x cos ( ( x )  sen x sen ( (x )  cos x (x

! lim

cos x ?cos( (x)  1A

(x

(x p0

 lim

senxsen (x
(x

(x p0

!  lim
(x p

1  cos (x
(x

lim cos x  lim s x lim

(x p


(x p

 

s  (x
(x

(x p

Por medio de teoremas tenemos que:



(x p

lim

1  cos (x
(x

y lim
(x p

s

(x

(x ! 1

Ahora sustituimos:

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

Y de este modo se demuestra el teorema:


(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 ! sen x cos x sec x ! 1 cos x

sen2x  cos2 x ! 1

Tenemos que:
D x (tan x ) ! s e c x

Ahora lo demostramos, teniendo que:

! x

senx (tan x ) ! !x co s x

Podemos decir que:

#$ #$ #$ #$

cos x.Dx (s

x )  s x.Dx (cos x ) (cos x )(cos x )  (s x )(s ! cos " x cos" x

% %

x)

% cos x  s&' x 1 % % ! ! ! sec x cos x cos x

Derivada de la funcin cotangente: La demostracin del teorema de la derivada de la funcin secante, emplea las siguientes identidades:
c ot x ! cos x ) s( x csc x ! 1 s0 x
1

El teorema dice:
2x

( c ot x ) !

2x

cos x !  csc 2 x sen x

Por lo tanto:

( c o s x ) ' sen x  c o s x ( c o s x ) sen 2 x

senx senx  cosx(cos x )

sen 2x

s45 x  cos x 3 ! s45 x

! s 1
8 7 6

!  csc x

Demostracin de la derivada de la funcin secante: El teorema de esta derivada nos dice:

9 x

(sec x ) !

9 x

1 cos x

El teorema es el siguiente:
@ x

(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:

c o s x .Ax (1)  1.Ax ( c o s x ) c o s x .0  1.( sen x ) ! cos 2 x cos 2 x

sen x 1 sen x ! 2 cos x cos x cos x

! sec x t

Demostracin de la derivada de la funcin cosecante: El teorema indica que:

Dx (csc x ) !  csc x cot x

Entonces:
! (1) ' sen x  1( sen x ) ' sen 2 x ! 0  cos x sen 2 x

! s

1
C B

cos x !  csc x cot x C x sB x