Beruflich Dokumente
Kultur Dokumente
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