Sie sind auf Seite 1von 2

UNIVERSIDAD PEDAGGICA Y TECNOLGICA DE COLOMBIA.

FACULTAD DE CIENCIAS BSICAS.


ESCUELA DE FSICA.
Clculo diferencial.
Derivada Ensima del Producto de dos Funciones en R.
Cristian Fernando Rodrguez Cruz, Estudiante de fsica.
Cristian.Rodriguez01@Uptc.edu.co, 201311439.
31 de marzo de 2014
Resumen
ste es una ligera introduccin al metodo de comprobacin por induccin y una demostracin por induccin de la formula de
Leibnitz de la derivada n-esima de un producto de funciones en R.
1. Principio de Induccin Matemtica.[1]
Mtodo de demostracin por induccin Sea A(n) una armacin que contiene el entero n. Se puede concluir que A(n) es
verdadero para cada n n
1
, si es posible:
1. Probar que A(n
1
) es cierta.
2. Probar, que supuesta A( j) verdadera, siendo j un entero arbitrario pero jado n
1
, que A( j +1) es verdadera.
En la prctica, n
1
es generalmente igual a 1. La justicacin de este mtodo de demostracin es el Teorema I.36. Principio de
Induccin matemtica del clculo de Apstol [1].
2. Frmula de Leibniz
Teorema 2.1. Sean f y g funciones dependientes de x que admiten derivada n-sima cuando x I, entonces el producto f g es
una funcin que admite derivada n-sima en el mismo intervalo con:
d
n
dx
n
( f g) =
n

k=0

n
k

d
(nk)
f
dx
(nk)
d
k
g
dx
k
, (1)
3. Demostracin
3.1. Primera Derivada de un producto
Sea h una funcin de x tal que:
h = ( f g). (2)
Por denicin de primera derivada, y usando lgebra de funciones:
dh
dx
= lm
x0
h(x +x) h(x)
x
= lm
x0
f (x +x) (x +x) f (x)g(x)
x
, (3)
sumado y restando el numerador por g(x) f (x +x) se tiene:
dh
dx
= lm
x0
g(x) f (x +x) f (x)g(x) + f (x +x)g(x +x) g(x) f (x +x)
x
, (4)
distribuyendo x, y por la propiedad de distributividad del operador Lmite:
dh
dx
= lm
x0
g(x) f (x +x) f (x)g(x)
x
+ lm
x0
f (x +x)g(x +x) g(x) f (x +x)
x
, (5)
1
factorizando,
dh
dx
= lm
x0
g(x)
f (x +x) f (x)
x
+ lm
x0
f (x +x)
g(x +x) g(x)
x
, (6)
por denicin de derivada, y teniendo en cuenta que lm
x0
f (x +x) = f (x), se obtiene:
dh
dx
=
d f
dx
g+ f
dg
dx
. (7)
3.2. Demostracin por induccin del teorema 2.1
Para n = 1
d
dx
( f g) =
1

k=0

1
k

d
(1k)
f
dx
(1k)
d
k
g
dx
k
, (8)
d
dx
( f g) =
d f
dx
g + f
dg
dx
, (9)
lo cual es vlido gracias a (7), por otra parte suponiendo que:
d
j
dx
j
( f g) =
j

k=0

j
k

d
( jk)
f
dx
( jk)
d
k
g
dx
k
, (10)
entonces:
d
j+1
dx
j+1
( f g) =
d
dx

k=0

j
k

d
( jk)
f
dx
( jk)
d
k
g
dx
k

, (11)
=
j

k=0

j
k

d
( jk+1)
f
dx
( jk+1)
d
k
g
dx
k
+
j

k=0

j
k

d
( jk)
f
dx
( jk)
d
k+1
g
dx
k+1
, (12)
=
j

k=0

j
k

d
( j+1k)
f
dx
( j+1k)
d
k
g
dx
k
+
j+1

k=1

j
k 1

d
( j+1k)
f
dx
( j+1k)
d
k
g
dx
k
, (13)
=
d
j+1
f
dx
j+1
g+
j+1

k=1

j
k

j
k 1

d
( j+1k)
f
dx
( j+1k)
d
k
g
dx
k
+ f
d
j+1
g
dx
j+1
, (14)
=
j+1

k=0

j +1
k

d
( j+1k)
f
dx
( j+1k)
d
k
g
dx
k
, (15)
si n = j +1,
d
n
dx
n
( f g) =
n

k=0

n
k

d
(nk)
f
dx
(nk)
d
k
g
dx
k
. (16)
Referencias
[1] Apstol, T. (2001). El principio de la Induccin Matemtica En T.M. Apstol, CALCULUS Vol. I Clculo con funciones de
una variable, con una introduccin al lgebra lineal 2da edicin (pg. 42). Barcelona: Editorial Revert, S.A.
2

Das könnte Ihnen auch gefallen