Definicion Elemental de la funcion exponencial

Luis Arenas-Carmona

February 6, 2011

El proposito de estas notas es dar una definicion elemental de la exponencial y

demostrar sus propiedades principales utilizando solo conceptos basicos de lmites
y derivadas.
Lemma 1. Si n es par o bien x 1 se tiene que (1 + x)n 1 + nx.

Demostracion Consideremos la funcion f (x) = (1 + x)n nx 1. Basta probar

que f es positiva en el rango indicado.
Si n es par, (1 + x)n1 es creciente. Se sigue que la derivada f 0 (x) = n[(1 +
x)n1 1] tiene un unico 0 para x = 0 y es creciente. Se sigue que x = 0 es un
mnimo para f y de hecho f (0) = 0.
Si n es impar, (1 + x)n1 tiene un mnimo para x = 1 y es creciente para
x > 1. Se sigue que la derivada f 0 (x) = n[(1 + x)n1 1] tiene un unico 0 para
x = 0 y es creciente en ] 1, [. Se sigue que x = 0 es un mnimo para f en
] 1, [, y nuevamente f (0) = 0.
Lemma 2. Para todo numero natural par n se tiene (1 + n1 )n 4.

Demostracion Por el lema anterior se tiene

 n/2 n  1  1
1
1 1 = .
n 2 n 2

1
L. Arenas-Carmona 2

Se sigue que
 n/2
1
1 2.
1 n
1
Elevando al cuadrado y observando que 1x 1 + x se tiene lo pedido.
Lemma 3. El lmite
x  2n

exp(x) = lim 1 + n ,
n 2
existe para todo x [0, 1] y es una funcion creciente.

Demostracion Sea x [0, 1]. Afirmamos que la sucesion

x  2n
 
1+ n
2 n

es creciente. Estando acotada por 4, es una sucesion convergente. Para probar la

y 2 y
afirmacion, observamos que (1 + 2 ) 1 + 2 2 = 1 + y. Tomando y = 2xn se tiene

 x 2 x
1 + n+1 1 + n ,
2 2
y elevando esta desigualdad a 2n se tiene lo pedido. Para ver exp(x) es creciente

2n
basta ver que cada funcion x 7 1 + 2xn es creciente.
Lemma 4. La funcion exp(x) satisface la identidad: exp(x) = [exp(x/2)]2 .

Demostracion Observese que

" 2n #2
 x 2n+1 x/2
1+ = 1+ n ,
2n+1 2

por lo que tomando el lmite n se obtiene lo pedido.

Lemma 5. La funcion exp(x) es continua en 0 por la derecha.
L. Arenas-Carmona 3

Demostracion La funcion exponencial es creciente, por lo que el lmite limx0+ exp(x)

existe y es mayor o igual a exp(0) = 1. Sea L dicho lmite. Entonces
    2
1 1
L = lim exp n = lim exp n+1 = L2 .
n 2 n 2
Como L 1, se tiene L = 1.
Lemma 6. La funcion exp(x) es continua y satisface exp(x) exp(y) = exp(x + y)
cuando x + y < 1.

Demostracion Observemos que:

xy 2n
x 2n  y 2n

 x+y+ 2n
1+ n 1+ n = 1+ , (1)
2 2 2n
de donde, para todo  0, se concluye que
2n
x 2n  y 2n

 x+y+
1+ n 1+ n = 1+ , (2)
2 2 2n
xy
puesto que 2n <  para n suficientemente grande. Tomando el lmite n se
tiene que
exp(x + y) exp(x) exp(y) exp(x + y + ), (3)
para todo  > 0. En particular, poniendo y =  en la primera desigualdad se
tiene exp x +  exp(x) exp(), por lo que al tomar el lmite  0+ se tiene la
desigualdad siguiente:
lim exp(x + ) exp(x),
0+
la que por cierto solo puede ser una igualdad. Utilizando nuevamente (3) se obtiene
exp(x) exp(y) = exp(x + y). De aqu se concluye facilmente que exp(x y) =
exp(x)[exp(y)]1 para y x < 1. Por otro lado, para x > 0, se tiene
lim exp(x ) = lim exp(x)[exp()]1 = exp(x).
0+ 0+
L. Arenas-Carmona 4

Proposition 1. La funcion exp(x) se extiende unvocamente a una funcion cre-

ciente y continua que satisface exp(x) exp(y) = exp(x + y) en todo R.

2n
Si x 0, existe n tal que 2xn < 1 y se define exp(x) = exp 2xn

Demostracion .
Esta definicion es la unica posible y no depende de la eleccion de n. Si tomamos n
tal que x+y
2n < 1, veremos que
  2n h  x i2n h  y i2n
x+y
exp(x + y) = exp = exp n exp n = exp(x) exp(y).
2n 2 2
Se extiende ahora exp a los reales negativos mediante exp(x) = exp(x)1 , lo que
es continuo ya que exp(x) exp(0) = 1 para todo x positivo. Dejamos al lector la
tediosa comprobacion de que exp(x) exp(y) = exp(x + y) en cada caso.
Proposition 2. La funcion exp(x) satisface exp(rx) = [exp(x)]r para todo numero
racional r.

Demostracion Es inmediato que exp(nx) = [exp(x)]n para todo n entero. Esto

implica exp(x) = [exp(x/q)]q para q entero, luego exp(x/q) = [exp(x)]1/q . El
resultado sigue de estas dos identidades.
En consecuencia tiene sentido definir [exp(x)] = exp(x) para todo par de
numeros reales y x.
Proposition 3. La funcion exp(x) es estrictamente creciente.

Demostracion Supongamos que exp(x) = exp(y) con x > y. Entonces exp(x

y) = 1. Se sigue que exp[n(x y)] = 1 para todo n y por ser exp creciente,
exp(z) = 1 para todo real positivo z. En particular exp(1) = 1. Por otro lado
 n  
1 1
exp(1) 1 + 1+n = 2.
n n

Proposition 4. La funcion exp(x) satisface exp(R) = R+ y es inyectiva.

L. Arenas-Carmona 5

Demostracion Toda funcion estrictamente creciente es inyectiva. Por otro lado, el

lmite limx+ exp(x) existe o es +. Por otro lado
n
lim exp(x) = lim exp(2n ) = nlim [exp(1)]2 = .
x+ n

Por otro lado

lim exp(x) = lim exp(x) = lim [exp(x)]1 = 0.

x x+ x+

Definition 1. En particular, exp tiene una funcion inversa, tambien continua,

llamada el logaritmo y 7 ln(y). En particular,
 para todo a > 0 y todo numero
real se puede definir a = exp ln(a) . Sea e = exp(1). Entonces ln(e) = 1 y
se tiene ex = exp(x).
Proposition 5. ln(xy) = ln(x) + ln(y).

Demostracion Sea u = ln(x) y sea v = ln(y). Entonces eu+v = eu ev = xy, de

donde ln(xy) = u + v.
Proposition 6. ln(ax ) = xln(a).

Demostracion Es inmediato de la definicion que exln(a) = ax .

Proposition 7. (ab)x = ax bx .

Demostracion

(ab)x = exp[x ln(ab)] = exp[x ln(a)] exp[x ln(b)] = ax bx .

Proposition 8. ax+y = ax ay .
L. Arenas-Carmona 6

Demostracion

ax+y = exp[(x + y) ln(a)] = exp[x ln(a)] exp[y ln(a)] = ax ay .

Proposition 9. (ax )y = axy .

Demostracion Por definicion ax = exp[xln(a)], de donde aplicando ln,

ln(ax ) = xln(a).
Ahora por definicion
(ax )y = exp[yln(ax )] = exp[xyln(a)] = axy .

Proposition 10. La funcion exp es diferenciable en todo R y se tiene exp0 (x) =

exp(x).

Demostracion Observemos que exp(x) 1 + x. Por otro lado lema 1 implica que
 x 2n
1 n (1 x),
2
de donde  2n
x 2n

 1 1
1+ n
2 1 2xn 1x
para x suficientemente pequeno. Se concluye que
1
(1 + x) 1 exp(x) 1 ( 1x ) 1
.
x x x
Tomando el lmite x 0+ se tiene
exp(x) 1
lim = 1.
x0 x
L. Arenas-Carmona 7

En particular, exp0 (0) existe y es 1. Como exp(x + r) = exp(x) exp(r), se tiene

exp0 (r) existe y es exp(r) para todo r.
Aplicando la regla de la cadena y el teorema de la funcion inversa se obtienen
las formulas:
(ax )0 = ax ln(a),
ln0 (x) = x1 .
Proposition 11.  x n
lim 1 + = ex
n n
.

Demostracion Por la continuidad de la exponencial y el logaritmo, esto es equiv-

alente a  x
lim n ln 1 + = x,
n n
o en otras palabras:
ln 1 + nx


lim 1 = x.
n
n
Por otro lado, utilizando la regla de lHopital, se tiene que
1
ln (1 + xy) 1+xy (x)
lim = lim = x,
y0 y y0 1
1
por lo que basta poner y = n en este ultimo lmite.