e

Monografa Matemtica NS

Magdalena Eterovic

Codigo Alumno: 0635-013

Nmero de Palabras: 3674

 Indice

Resumen (P 2)

Introduccin (P 2)

Definicin (P 3)

Irracionalidad (P 11)

Aplicaciones (P 12)

Concluciones (P 19)

Bibliografa (P 20)

1
 Resumen

El nmero irracional e vale aproximadamente 2,71828182845, y junto a los

nmeros 1, 0, , i es uno de los nmeros ms importantes en matemticas. En esta
monografa, hacemos lo siguiente. Primero, definimos conseptualmente el valor del
nmero e como aqul nmero a tal que

x a h 1
a lim = ax
h 0 h

Tambin mostramos que e se puede calcular equivalentemente como

1 n
e = lim1+
n n

E incluso como

xn
e =
x

n= 0 n!

Luego, demostramos por contradiccin que el nmero e es irracional, es decir,

suponemos que e se puede escribir como un cuosiente de dos nmeros naturales y
llegamos a una situacin absurda. Finalmente, mostramos algunas aplicaciones de
este nmero, tales como la resolucin de ciertas ecuaciones diferenciales, la
definicin de funciones hiperblicas y la determinacin de la ecuacin de la catenaria.

I. Introduccin

Probablemente muchos hemos escuchado sobre el famoso nmero e. e es un

nmero irracional y su valor es aproximadamente e = 2,71828182845. Junto con el
0, el 1, la constante y la unidad imaginaria i, e es uno de los nmeros ms
importantes en matemticas. En esta monografa responderemos las siguientes
preguntas: Por qu este nmero es tan importante? De dnde viene? Qu
representa?

Leonhard Euler (1707-1783), matemtico suizo, fue quien le dio el nombre al

nmero e.

Tal vez la definicin ms conocida del nmero e es que es la base de los

lograritmos naturales Pero qu quiere decir que e sea la base de los logaritmos
naturales? Primero, veamos brevemente el origen de los logaritmos.

Los logaritmos fueron inventados por el matemtico escocs John Napier (1550-
1617). Napier quera facilitar el clculo de las funciones trigonomtricas, por la va de
reemplazar las operaciones de multiplicacin y divisin por sumas y restas. Para
evitar introducir fracciones, Napier eligi el valor 107 para el radio del crculo; y

2
como base para sus potencias, eligi 1-10-7 = 0.9999999. Entonces un nmero N
puede escribirse como

N = 107 (1-10-7)L

En que el exponente L es el logaritmo naperiano de N. Napier acu la palabra

logaritmo a partir de las palabras griegas logos, que significa razn, y arithmos, que
significa nmero. Es interesante observar que:
7
1
10
1 n 1
1 7 lim1 = (como veremos ms adelante)
10 n n e

Es decir, aunque Napier no se lo propuso, l prcticamente obtuvo un sistema de

logaritmos en base 1/e.

Que e sea la base de los logaritmos naturales significa que el logaritmo natural de
un nmero x es la potencia a la que habra que elevar e para obtener x; es decir, el
logaritmo natural de x es r si y slo si er = x. Estos logaritmos en base e se llaman
naturales porque aparecen frecuentemente en matemticas; por ejemplo, cuando
diferenciamos una funcin logartmica:

d log b (e) 1
log b (x) = = (esto tambin lo veremos ms adelante).
dx x ln(b)x

En todo caso, el calificativo de natural le fue dado por Mergoli y Mercator

antes de que Newton (1643-1727) y Leibniz (1646-1716) desarrollaran el clculo.

II. Definicin

Hay varias formas de definir conceptualmente el valor del nmero e, y todas son,
naturalmente, equivalentes entre ellas. Para partir por una de stas, analizemos el
siguiente problema: derivar la funcin y = a x con respecto a x. Lo primero que
debemos hacer es recordar el concepto de derivada: geomtricamente hablando, la
derivada de la funcin f (x) en x = a , es la pendiente de la recta tangente a la curva
y = f ( x ) en el punto x = a . Analticamente, esta definicin puede escribirse como:

f (x + h) f (x)
f '(x) = lim [1]
h 0 h

Armado con esta herramienta, una forma de definir el valor de e es la siguiente.

Como dijimos antes, e es la base de los logaritmos naturales, es decir, e est
relacionado con los logaritmos. Si e est relacionado con los logaritmos, entonces e
tambin esta relacionado con las funciones de la forma a x , inversas de los logaritmos.

As, si queremos derivar y = a x usando la definicin anterior, obtenemos:

3
 ax +h ax ax ah ax
( a x )'= lim = lim (por propiedad de las potencias)
h 0 h h 0 h

Si se saca factor comn a x , esta expresin queda:

a h 1
a x lim
h 0 h

Aqu nos enfrentamos con el verdadero problema, cmo calculamos este lmite?
Desde el punto de vista prctico, lo mejor que nos podra pasar es que este lmite
fuese igual a 1, es decir, que la derivada de a x fuese igual a a x . Pero esto no es
necesariamente cierto para cualquier valor de a. Entonces, definamos e como aquel
nmero real que cumple esta condicin:

e h 1
lim = 1 [2]
h 0 h

Otra forma de enteder esto es que la derivada de e x es e x . Con este lmite hemos
logrado obtener una definicin para el nmero e. Sin embargo, en la prctica, no es
fcil calcularlo. Qu podemos hacer?

Primero, veamos si existe un nmero e que satisfaga el lmite anterior. Para ello,
calculamos el valor del limite sustituyendo e por distintos nmero enteros y, en cada
caso, evaluando la expresin para valores cada vez ms pequeos de h. La siguiente
tabla sugiere que e efectivamente existe, y debe ser mayor que 2 y menor que 3.

h 2 h 1 3h 1
h h
1 1 2
0.5 0.828... 1.464
0.2 0.743... 1.228
0.1 0.717... 1.161
0.05 0.705... 1.129
0.01 0.695... 1.104

An estamos muy lejos de tener el valor exacto de e. Veamos cmo podemos

aprovechar el hecho de que la derivada de e x es e x para esto.

Definamos la funcin ln x como la funcin logartmica con base e (ya veremos

que no solo tiene sentido hacer esta definicin, sino que tambin es muy til). A
continuacin, demostraremos que la derivada del ln x es 1/x. Consideremos la funcin

y = log a x
Esto significa que

ay = x

4
 Adems, sabemos que en general podemos expresar a como

z(logz a )
Para cualqueir valor de z, por lo tanto

z(logz a )y = x
Entonces, reemplazando z por e queda

e y(ln a ) = x
Ahora derivamos parcialmente esta igualdad con respecto a x; en el lado derecho
obtenemos 1, mientras que en el lado izquierdo aplicando la regla de la cadena queda

e y(ln a ) ln a y'
Es decir,

e y(ln a ) ln a y'= 1
Este es e el que definimos en [2], porque estamos usando el hecho que la
derivada de e x es e x . Si ahora despejamos y obtenemos

1 1 1
y'= = =
e y(ln a ) ln a a y ln a x ln a
Es decir, la derivada de la funcin

1
y = log a x es
x ln a

Finalmente, si sustituimos a por e, entonces y = ln x y la expresin anterior queda

1 1
y'= = [3]
x lne x
1
As hemos demostrado que la derivada del ln x es . Y para qu nos sirve esto?
x
Haber calculado la derivada del logaritmo natural de esta forma, nos ayudar a
calcular el valor de e. Si usamos la definicin de derivada para calcular la derivada
del logaritmo natural en el punto x=1, e igualamos esta expresin con el valor que nos
dio a nosotros, obtendremos la siguiente igualdad:

5
 ln(1+ h) ln1 ln(1+ h)
1 = lim = lim
h 0 h h 0 h
Esto porque ln1 = 0. Ahora, por propiedad de los logaritmos, esto es igual a

1
1 = lim ln(1+ h) h
h 0

Como las funciones logartmicas son contnuas, entonces:

1
1 = ln lim(1+ h) h
h 0

1
Reemplazando n = , esta expresin queda
h

1 n
1 = ln lim1+
n n

Aplicando la funcin inversa del logaritmo (que es la exponencial, es decir, e x ) a

ambos lados nos queda

1
n

e = lim1+ [4]
n n
Finalmente, hemos encontrado una forma de calcular el valor de e. La siguiente
tabla muestra cmo cambia el valor de este lmite a medida que aumenta el valor de n:

n 1
lim(1+ )n = e
n n
10 2,5937...
100 2,7048...
1000 2,7169...
2,7182...

6
 Notemos que de la misma forma que definimos e como un lmite, podramos
definir la funcin e x como:

x n
e x = lim 1+ [5]
n n

Ahora que tenemos esta definicin, buscaremos otras formas de definir el

nmero, que nos permitirn entender otras propiedades de e, y tambin encontrar
formas que quizs converjan ms rpido.

Definamos primero el siguiente trmino:

x n
t n = 1+
n

Usando el teorema del binomio, expresaremos t n como una sumatoria:

x n n n x k n
n(n 1)(n 2)L (n k 1)x k
tn = 1+ = k = 1+ x +
n k= 0 k n k= 2 k!n k
x 2 1 x 3 1 2 x! 1 2 n 1
= 1+ x + 1 + 1 1 + L + 1 1 L 1
2! n 3! n n n! n n n

xn
Como vemos en esta ltima expansin, cada trmino de la forma (excepto los
n!
dos primeros) estn multiplicados por nmeros menores que 1. Como n es natural,
n 1
entonces trminos de la forma 1 son necesariamente menores que 1. Adems,
n
el producto de trminos menores que 1, tambin genera un producto menor que 1.
Entonces, esta ltima expansin tendr que ser necesariamente menor o igual que la
siguiente sumatoria:

n
x2 x3 xn xk
1+ x + + +L + =
2! 3! n! k= 0 k!

7
 Tal como lo hicimos para t n , dmosle nombre a esta sumatoria:

n
xk
sn =
k= 0
k!

Hemos encontrado as una sumatoria que acota superiormente a t n . Ahora,

definamos un nmero natural m, que sea menor o igual que n, y generemos una
sumatoria parecida a la de t n y que se vea as:

x2 1 x m 1 2 m
1+ x + 1 + L + 1 1 L 1
2! n m! n n n

Esta sumatoria tiene una cantidad de trminos menor o igual que t n , por lo tanto,
el resultado de esta sumatoria debe ser menor o giual que t n . Hemos, entonces,
encontrado una cota inferior para t n . Unamos esta condicin junto con la cota
superior que habamos encontrado y expresmoslo como una desigualdad:

x2 1 x m 1 2 m
1+ x + 1 + L + 1 1 L 1 t n sn
2! n m! n n n

Habiendo hecho esto, tomemos lmite cuando n tiende a infinito de las tres
expresiones. Adems, recordemos la definicin de e x que tenemos.

x2 1 x m 1 2 m
lim 1+ x + 1 + L + 1 1 L 1 t n lim sn
n 2! n m! n n n lim n n

x2 xm xk
1+ x + +L + ex
2! m! k= 0 k!
Pongmosle un nombre a la suma que est en el lado izquierdo, llammosla sm .

xk
sm e
x

k= 0
k!

Ahora, tomemos lmite cuando m tiende a infinito en estas expresiones. Ntese

que al hacer esto, sm generar el mismo resultado que se obtuv con sn en el paso
anterior, ya que ambas sumatorias tienen la misma frmula general. Es decir:

xk xk xk
lim sm lim e lim
x
k! e k!
x

m m m k= 0 k! k= 0 k= 0

Por teorema del emparedado o de la compresin, nos queda que otra definicin
para e es:

8

xn
e =
x
[6]
n= 0 n!

Esta definicin tambin nos da otra alternativa para tratar de calcular el valor de
e. La definicin no es demasiado asombrosa ya que esa sumatoria representa la serie
de Taylor de la funcin e x . Brook Taylor (1685-1731) busc la forma de poder
aproximar cualquier tipo funcin infinitamente derivable a una serie de potencias. De
esta forma se podra dar una solucin aproximada a varios problemas que existen en
el clculo. La ecuacin de la serie de Taylor de una funcin f (x ) alrededor de un
punto x = a (esto significa que la aproximacin es ms exacta alrededor de este punto)
es:

f (n) (a)
f (x ) =
n
(x a)
n= 0
n!

En que f (n) (a) representa la derivada n-sima de f (x ) evaluada en el punto x =

a. Si quisiramos calcular la serie de Taylor de la funcin e x alrededor del punto x = 0
diramos:

f (x ) = e x ; f (0) = 1
f (x ) = e x ; f (0) = 1
f (x ) = e x ; f (0) = 1
L
Ahora escribiramos la suma:

x2 xn
f (x ) = e = 1+ x +
x
+L =
2 n= 0
n!
La serie de Taylor de la funcin e x alrededor de x = 0 converge para todo x.
Desmostrmoslo usando el criterio de DAlambert. Tomemos la sumatoria que est
xn
sobre este prrafo, la cual tiene como trmino general an = . El criterio dice que si
n!
an +1
lim < 1, entonces la serie converge. Veamos:
n an

x n +1
(n + 1)! = x
lim
n x n lim n + 1 = 0 < 1
n
n!

Como el resultado del lmite nos dio 0, que es siempre menor que 1,
independientemente del x escogido, entonces la sumatoria converge para todo x, lo

9
que significa que podemos aproximar la funcin e x para cualquier x usando la
sumatoria, no solo alrededor del x = 0.

Ya que tenemos e expresado como un lmite, [4], y ahora tambin como una
sumatoria, [6], parece lgico que e debiese poder expresarse en trminos de una
1
integral. Como dijimos anteriormente, la derivada del logaritmo natural de x es [3].
x
A partir de este hecho, encontramos otra forma de tratar de calcular el valor de e. La
idea del logaritmo natural del que hablamos antes proviene de una propiedad especial
1
de la funcin , o, mejor dicho, del rea bajo la curva definida por esta funcin.
x
Supongamos que definimos el rea bajo esta curva, entre los puntos 1 y a, como ln(a);
es decir,

1

a
ln( a) = dx
1 x

Qu pasa si calculamos el rea entre los puntos 1 y ab, es decir, ln(ab)?

1

ab
ln( ab) = dx
1 x

Sabemos que esa rea se puede calcular como el rea entre 1 y a ms el rea entre
a y ab; es decir, ln(ab) es igual a ln(a) ms el rea entre a y ab:

1

ab
ln( ab) = ln(a) + dx
a x

Pero ahora, cunto vale el rea entre a y ab? Para resolver este problema,
usaremos la tcnica llamada cambio de variables. Supongamos que definimos

x
t=
a
Entonces,

1 1 dt 1 1
= y = dt = dx
x at dx a a
Como, adems, cuando x vale a, t vale 1, y cuando x vale ab, t vale b, tenemos
que

1 1

ab b
dx = dt = ln(b)
a x 1 t
Esto por la definicin que hicimos ms arriba de la funcin ln.

10
 Por lo tanto, hemos concluido que ln(ab) = ln(a) + ln(b); y sta es justamente una
propiedad de los logaritmos la posibilidad de convertir las multiplicaciones en
sumas.

Pero, cul sera la base de estos logaritmos? La base de un logaritmo es un

nmero que tiene la propiedad de que el logaritmo en esa base de ese mismo nmero
es 1. Por ejemplo, el logaritmo en base 10 de 10 es 1, y el logaritmo en base 2 de 2 es
1. Por lo tanto, la base de estos logaritmos naturales es un nmero a tal que ln(a) = 1.
En este caso, se define e como el nico valor de a tal que ln(a) = 1; es decir, e es un
nmero tal que el rea bajo la curva 1/x entre x = 1 y x = e es igual a 1.

Nuevamente, nos encontramos con que tenemos una deficin de e a partir de la

cual no es fcil calcular el valor de e.

III. Irracionalidad

Hasta ahora hemos encontrado distintas definiciones y formas de calcular e.

Cuando tratamos de obtener su valor, nos damos cuenta que ninguna de las
definciones se puede expresar directamente como un valor conocido, y que en las
aproximaciones que hemos hecho, no hay un patrn en las cifras decimales. Esto nos
da razn para pensar que e es irracional. A continuacin demostraremos este hecho.

xn
Utilizando la propiedad [6] que dice que n! = e x
, podemos demostrar la
n= 0
irracionalidad de e por contradiccin (reduction ad absordum) de la siguiente forma.

Supongamos que e es un nmero racional, entonces e se puede escribir como el

cuociente de dos nmero naturales

a
a b e =
b

Definamos ahora un nmero x de la siguiente forma:

b
1
b
b!
x = b! e = a(b 1)!
n= 0 n! n= 0
n!

Es facil ver que x es un nmero entero, porque a(b 1)! es un producto de enteros
b!
(que da por resultado un entero) y, como es b n , es siempre entero, y por lo tanto
n!
b
b!
n! es una suma de nmeros enteros, que tambin es un nmero entero. As, x es la
n= 0
resta de dos nmeros enteros, y por lo tanto es entero.

11
 Ahora, trataremos de acotar el valor de x. En primer lugar, sabiendo que

1
e = , podemos sustituir este valor en la definicin de x:
n= 0
n!

1 b 1
1
x = b! = b!
n= 0 n! n= 0 n! n= b +1
n!

Vemos as que x es claramente mayor que 0.

Por otra parte, ntese que en esta ltima expresin n tiene valores estrictamente
mayores que b. En estas condiciones, se da que:

b! 1 1
=
n! (b +1)(b + 2)L n (b + 1) n b

Por lo tanto

b! 1
x= k
n= b +1 n! k=1 (b + 1)

Esta ltima sumatoria es la suma de una serie geomtrica infinita de razn

1/(b+1), cuyo valor es:

1 1 1 1
(b + 1)k b + 1 1 = b
=
k=1 1
b +1

Como por suposicin b es un nmero natural, 1/b es menor o igual que 1, y como
x es menor que la suma de la serie geomtrica infinita, entonces x es estrictamente
menor que 1. En consecuencia, tenemos que x es un nmero entero que es a la vez
mayor que 0 y menor que 1; esta es una contradiccin que invalida nuestra suposicin
de que e es un nmero racional.

IV. Aplicaciones

Cuando uno tiene ecuaciones diferenciales lineales homogneas a coeficientes

constantes, se utiliza la propiedad de que e x = e x para resolverlas, de la siguiente
( )
forma: si tenemos la siguiente ecuacin

c n y n + c n1 y n1 + L + c1 y + c 0 y = 0

12
 x
Una solucin fcil de encontrar es una de la forma y = e . Al hacer esto, nos
quedar un polinomio para . Por esta razn, este mtodo para solucionar este tipo de
ecuaciones diferenciales es preferiblemente usable para los rdenes del 1 al 4, ya que
no existe una frmula general que nos determine soluciones de polinomios de mayor
grado. Veamos un par de ejemplos numricos para entender mejor esta aplicacin

Si tenemos que

y + 3y + 2y = 0
Como dijimos antes, reemplazamos y con ex , entonces, nos quedara que

y = e x
y = e x
y = 2ex

2ex + 3ex + 2ex = 0

Podemos dividir la ecuacin por ex , ya que la funcin es estrictamente positiva,
y nos quedara

2 + 3 + 2 = 0
Es decir, una ecuacin cuadrtica que se podra escribir de la siguiente forma:

( + 1)( + 2) = 0
As que los valores para seran -1 y -2, es decir, las dos soluciones de la
ecuacin diferencial son:

y = ex
y = e2x
Qu pasa en los casos particulares? Cualquier ecuacin diferencial lineal
homognea de orden n a coeficientes constantes, tiene n soluciones linealmente
independientes. Vemos en el ejemplo anterior que la ecuacin era de orden 2 y nos
quedaron dos soluciones linealmente independientes. Pero existen casos que no son
tan agradables. Por ejemplo, qu hubiese pasado si los valores de hubiesen sido
iguales? En ese caso, si la ecuacin es de orden 2, el mtodo de reduccin de orden
dice que las soluciones seran ex ; xe x . En el caso que sea un nmero imaginario,
es decir, = a + ib, las soluciones son de la forma e ax cos(bx ); e ax sin (bx ), lo que se
demuestra usando el teorema de De Moivre, que veremos ms adelante.

13
 Las ecuaciones diferenciales que hemos discutido hasta ahora son homogneas y
a coeficientes constantes. Pero qu pasa si esto no se cumple? En el caso de las
ecuaciones de primer orden, la misma propiedad que nos permiti resolver los casos
anteriores nos puede ayudar a resolver este caso. Analicemos entonces una ecuacin
diferencial de primer orden no homognea a coeficientes no constantes.

y + p(x ) y = q(x )

Hay un tipo de ecuaciones diferenciales de primer orden a coeficientes no

constantes, no homognea y que no son lineales, cuyo mtodo de solucin es bastante
directo. Las ecuaciones diferenciales de variables separables tienen la siguiente
forma:

y g(y ) = r (x )
Estas ecuaciones diferenciales a veces se pueden resolver simplemente
integrando a ambos lados (esto ocurre cuando las funciones g(y) y r(x) son
integrables). Pero la ecuacin diferencial lineal que nosotros estamos tratando no
tiene esta forma. Sin embargo, nos podemos preguntar si acaso existe algn trmino
por el que podramos multiplicar la ecuacin de tal forma que justo nos quede una
ecuacin diferencial de variables separables. Busquemos este trmino. Para buscarlo,
supongamos primero que existe y que se llama I (x ). Si multiplicamos la ecuacin por
I (x ), nos queda:

I(x ) y + I (x ) p(x ) y = I (x ) q(x )

Si nosotros queremos que quede una ecuacin de variables separables, debera

verse algo as

(I(x ) y ) = I (x ) g(x)
Podemos igualar ambas ecuaciones y nos queda:

(I(x ) y ) = I(x ) y + I(x ) p(x ) y

Desarrollamos el lado izquierdo de la igualdad como derivada del producto:

I (x ) y + y I (x ) = I(x ) y + I (x ) p(x ) y
Se nos elimina el trmino I (x ) y a ambos lados de la ecuacin.

I (x ) y = I (x ) p(x ) y

Se nos elimina la funcin y, y luego despejamos p(x ) y nos queda

14
 I (x )
= p(x )
I (x )

Esto que tenemos ahora es una ecuacin diferencial de variables separables para
I (x ). Integramos a ambos lados:

dI (x )
I(x) = p(x )dx p(x )dx I(x ) = e
p (x )dx
ln(I(x )) =

Hemos encontrado un trmino I (x ), el cual se conoce con el nombre de

factor integrante, que cumple la condicin. Sin embargo, esto no significa
que I (x ) siempre exista. Hemos definido nuestro factor integrante de esta
forma: I x = e . Esto significa que el factor integrante existir siempre que p x
p (x )
() ()
tenga como antiderivada una funcin conocida. An as, hemos generado un
mtodo que nos resuelve varias de las ecuaciones diferenciales lineales de
primer orden.

Volvamos ahora, por un momento, a las ecuaciones diferenciales homogneas a

coeficientes constantes. Analicemos el siguiente problema:

y y = 0
Resolvamos este problema con el mtodo ya presentado para esta situacin.
Suponemos una solucin exponencial.

y = e x
y = 2ex
Reemplazamos en la ecuacin y nos queda que

2ex ex = 0
Dividimos por ex y nos da que

2 1 = 0

es decir

2 = 1 = 1

Por lo tanto, las soluciones son:

15
 y = ex
y = ex

Ahora definimos las siguientes condiciones iniciales para el problema

y (0) = 1
y (0) = 0

La solucin general del problema es:

y = c1e x + c 2ex

Usamos la condicin de que y (0) = 1 y nos queda que

1 = c1 + c 2
Ahora usamos la otra condicin y (0) = 0 y nos da que

0 = c1 c 2
c1 = c 2
As obtenemos un sistema de dos ecuaciones para dos incgnitas. De donde se
obtiene:

1
2c1 = 1 c1 =
2
Y como c1 = c 2

1
c2 =
2
Esta solucin del problema tiene un nombre especial. se le conoce como
coseno hiperblico. Es decir

e x + ex
y= = cosh x
2
Las funciones hiperblicas nacen de las hiprbolas, a diferencia de las funciones
trigonomtricas que salen de la circumferencia. Se llaman de la misma manera que las
trigonomtricas, solo que aadiendo la palabra hiperblico al final.

Las funciones hiperblicas principales son:

16
 e x e x
sinh x =
2
e x + ex
cosh x =
2
Las dems funciones hiperblicas aparecen de las mismas relaciones que existen
entre las funciones trigonomtrcias. Ahora derivemos la funcin sinh x :

d d e x ex e x + ex
(sinh x ) = = = cosh x
dx dx 2 2

Al igual que las funciones trigonomtricas, en que la derivada del sin x es cos x .

Ahora derivemos la funcin cosh x , y obtenemos que

d d e x + ex e x ex
(cosh x ) = = = sinh x
dx dx 2 2

Ntese la diferencia con las funciones trigonomtricas en que la derivada del

cos x es sin x . De aqu podemos ver por qu ambas funciones hiperblicas son
soluciones de la ecuacin diferencial que analizamos antes. Lo que determinar cul
solucin es la que se usar finalmente son las condiciones inciales.

Habiendo definidio entonces las funciones hiperblicas, surge la pregunta: para

qu sirven? Jakob Bernoulli (1654-1705) propuso un problema en mayo de 1690 para
la comunidad matemtica. El problema era encontrar la ecuacin que describa la
forma de una cadena que cuelga de dos puntos a igual altura. Este problema fue
resuelto por Gottfried Wilhelm Leibniz (1646-1716) usando el clculo y por varios
ms. Esta ecuacin, que hoy se llama la ecuacin de la catenaria, se usa para la
construccin de puentes colgantes, arcos, etc

x
La ecuacin es y = c + a cosh , en que c y a son constantes.
a

Cuando en la pgina 13 hablamos de las ecuaciones diferenciales, hubo un punto

que dejamos pendiente y que era el teorema de De Moivre. Una de las ms

17
importantes aplicaciones de e es su directa relacin con los nmeros complejos, ya
que este teorema nos permite expresar cualquier nmero complejo como el resultado
de una exponencial. Cuando uno tiene un nmero complejo z cualquiera, lo primero
es expresar este nmero de la forma z = r(cos + i sin ), siendo r el mdulo de z y
el ngulo que forma con el eje x medido en sentido antihorario y en radianes. Esta
forma de escribir los nmeros complejos se llama a veces r cis . El teorema de De
Moivre dice lo siguiente:

n
z n = r n (cos + isin ) = r ne in

A continuacin demostraremos este teorema. Primero, definamos al nmero

complejo unitario (mdulo = 1) como una funcin de .

y = (cos + i sin )

Ahora derivemos la funcin con respecto a .

dy
= icos sin = i(cos + isin )
d
Notemos que en esta ltima expresin aparece y en el parntesis. Es decir:

dy
= i y
d
Esto que tenemos es una ecuacin diferencial de variables separables para y.
Resolvemos:

dy dy
y
= i d y
= id ln y = i

Despejando y obtenemos:

y = ei
Ahora bien, si nosotros consideramos ahora que el nmero complejo tiene
mdulo r, esto lo escribiramos as en trminos de y:

z = r(cos + isin ) = ry
Y por lo que acabamos de mostrar:

ry = re i
Si elevamos ambos lados a n, entonces:

18
 n n
r n y n = r n (cos + isin ) = r n (e i ) = r n e ni

Hemos demostrado entonces el teorema de De Moivre. Este teorema lo

mencionamos cuando hablamos de las ecuacines diferenciales lineales homogneas a
coeficientes constantes de segundo orden. Dijimos que haba que buscar una solucin
de la forma ex . El caso complicado se presenta cuando resulta ser complejo. Si es
as, podemos expresar de esta forma:

= a + ib
Reemplazamos en nuestra solucin tipo y usamos el teorema:

e(a + ib )x = e ax e ibx = e ax (cos(bx ) + isin(bx ))

Cuando buscamos soluciones para ecuaciones diferenciales de segundo orden,

buscamos dos soluciones que sean linealmente independientes. Las funciones seno y
coseno son linealmente independientes. Entonces, podemos considerar la parte real de
la solucin que est arriba separadamente de la parte imaginara, y cada una de estas
partes aporta una solucin. Es por eso que la solucin general de este caso particular
de ecuaciones diferenciales ser:

y = e ax (c1 cos(bx ) + c 2 sin(bx ))

Para terminar con el teorema de De Moivre, revisemos una caracterstica. Al
hablar de dijimos que era un ngulo medido en radianes. Enfoqumosnos en el caso
particular en que = . Usemos el teorema para este caso en que el nmero complejo
adems tiene mdulo unitario.

e i = cos + isin = 1+ 0 = 1
Esta identidad es bastante famosa y en particular fue catalogada por el fsico
norteamericano Richard Feynman (1918-1988) como la identidad ms espectacular en
matemticas. En general, escribimos la identidad as:

e i + 1 = 0
De esta forma, aparecen en una sola igualdad los nmeros e, , el neutro
multiplicativo 1, el neutro aditivo 0 y adems el componente imaginario i.

Conclusiones

Son varios los mitos que hay con respect al nmero e, como por ejemplo que fue
descubierto y nombrado de ese modo por Leonhard Euler. Pero como hemos podido
descubrir en esta monografa Euler slo le dio el nombre a este nmero. Este nmero

19
fue descubierto mucho antes por el mtemtico escocs John Napier, inventor de los
logaritmos.

El nmero e es un nmero que cumple con muchas propiedades y aplicaciones

muy importantes en la matemtica y que adems es muy til en el mbito de la
ingeniera; como por ejemplo las funciones hiperblicas que nos ayudan en la
construccin de puentes y las ecuaciones diferenciales.

Bibliografa

- Mathematics from the birth os numbers, Jan Gullberg, impreso en Estados

Unidos, 1997
- e: The story of a number, Eli Maor, impreso en Estados Unidos
- Natural Logarithm, http://en.wikipedia.org/wiki/Natural_logarithm fecha en
que se utiliz esta pgina: 21/07/08
- e Eulers number, http://www.mathsisfun.com/numbers/e-eulers-
number.html, fecha en que se utiliz est pgina: 21/07/08
- puente.jpg 682x721 pixceles
http://mecfunnet.faii.etsii.upm.es/nematostatica/puente.jpg, fecha en que se
utiliz est pgina
- Calculo, James Stewart, impreso en Mexico, 2004

20