{\bf El N\'umero \e } \\ [6pt] {\bf Una breve introducci\'on}

El Nmero e Una breve introduccin

Wilman Brito
(0,-1)(14,7) (8,2) La belleza se despliega, pues, en las matemticas como en las otras ciencias, como en las artes, como en la vida y como en la naturaleza. Las emociones que despierta, comparables a veces a las que provienen de la msica pura, de la gran pintura o de la poesa, tienen por lo general una naturaleza diferente que no puede comprenderse cuando no se ha sentido dentro de s mismo su iluminacin. La belleza de las matemticas no garantiza, ciertamente, ni su utilidad ni su verdad. Pero permite, a unos la dicha de vivir momentos incomparables, y a otros la certidumbre de que las matemticas continuarn siendo cultivadas, para mayor beneficio de todos y mayor gloria de la aventura humana, por hombres que no esperan de ellas para s mismos ningn beneficio personal. Franois Le Lionnais

1 Introduccin.
Qu es lo que hace que un hecho se haga importante o especial? A qu se debe su existencia? Por qu su influencia es tan decisiva sobre otros? Que ellos ocurran con cierta frecuencia en todos los mbitos de
file:///c/Articulos_y_Libros\Numero_e/Numero_e.html (1 of 20) [09/03/2002 09:55:50 p.m.]

{\bf El N\'umero \e } \\ [6pt] {\bf Una breve introducci\'on}

nuestra vida diaria no ha de extraarnos, pero en matemticas adquieren una connotacin casi religiosa. Maravillado por la belleza lrica de ese hecho, el matemtico comienza por provocar vnculos y caminos que conducen a otros resultados que con frecuencia no se dibujaban en el paisaje pues los hilos que accedan a tan delicados parajes estaban ocultos. Armonizar con ellos y comprender que su existencia tiene irradiacin sobre otros aspectos importantes es una de las tareas ms difciles que enfrenta el matemtico, aunque a veces no es fcil imaginarse que pueda existir un cordn umbilical o puente entre dos hechos. Un ejemplo que nos viene a la memoria es la famosa frmula de Euler1, en donde cohabitan la belleza con lo complejo:

ei + 1 = 0 Quin sino un genio poda tender un puente entre y e\xspace? Pero, adems, esa maravillosa frmula le permiti a Lindemann, ms de un siglo despus de la muerte de Euler, demostrar que es un nmero transcendente2. Una consecuencia inmediata de esto es el hecho de que es imposible cuadrar el crculo con regla y comps, algo que nos asombra y seduce. Los nmeros 0,1,i, y e forman el quinteto de los ms renombrados y connotados de toda las matemticas, donde i representa la "unidad imaginaria"; es decir, la raz cuadrada de 1, i=(1), y e es la ``base" de los logaritmos naturales o neperianos. En estas notas nos ocuparemos de indagar algunos aspectos del nacimiento del nmero e y mostrar cmo ese hecho, en comunin con el clculo infinitesimal, permiti grandes desarrollos en algunas reas de las ciencias a pasos agigantados. Estas notas son tomadas, en su mayora, del excelente libro: e The Story of a Number de Eli Maor, Publicado por Princeton University Press, el ao de 1.994.

2 Napier y los logaritmos.

Las nuevas ideas matemticas que se precian de ser revolucionarias son, con muy raras excepciones, renuentes a una inmediata aceptacin en la comunidad matemtica, por lo que su aprobacin en el mbito cientfico como una herramienta til debe pasar por muchos filtros hasta ganarse el puesto que le corresponde. Por ejemplo, no tuvo la Teora de Conjuntos de G. Cantor, que soportar todos los embates de matemticos furibundos que consideraban a las nuevas nociones como una insolente estupidez que contradeca el sentido comn? Fueron necesarios los xitos repetidos de esta exuberante teora y sus logros en otras disciplinas ya clsicas, como la aritmtica y el anlisis, para que se terminara de admitir la existencia de cantidades mayores que el infinito y del terrorfico nmero que est situado del otro lado del infinito. Sin embargo, una de las ideas matemticas ms abstracta que fue recibida de modo entusiasta por la comunidad cientfica fue la invencin del logaritmo. El siglo XVI y los comienzos del
file:///c/Articulos_y_Libros\Numero_e/Numero_e.html (2 of 20) [09/03/2002 09:55:50 p.m.]

{\bf El N\'umero \e } \\ [6pt] {\bf Una breve introducci\'on}

siglo XVII fueron testigos de una expansin del trabajo cientfico en todos los campos del saber. La percepcin del hombre sobre el universo cambia drsticamente debido a los fantsticos avances en Geografa, Fsica y Astronoma. Ejemplos de ellos son el sistema heliocntrico de Copernico que comienza finalmente por aceptarse despus de casi un siglo de lucha contra los dictmenes de la iglesia. Los viajes de Magallanes alrededor del planeta que inauguran una nueva era de la exploracin marina. El mapamundi de Gerhard Mercator que sin lugar a dudas tuvo un impacto decisivo en el arte de la navegacin. En Italia, Galileo Galilei trabajaba sobre los fundamentos de la mecnica, mientras que en Alemania, Johannes Kepler formulaba sus tres leyes sobre el movimiento planetario destruyendo para siempre el universo geocntrico de los griegos. Todos esos descubrimientos requeran, por supuesto, una casi grosera cantidad de clculo numrico forzando a los cientficos dedicar mucho de su tiempo en realizar esos enormes clculos. Se precisaba entonces, con urgencia, de un dispositivo que pudiera reducir dichos clculos de manera apreciable. Es all donde hace su aparicin Napier. John Napier (o Neper) nace en Escocia en 1550, desconocindose con exactitud el da y el mes de su nacimiento. Despus de haberse paseado por varios trabajos en matemticas, hidrulica, ingeniera militar, etc. en su juventud, l comienza a interesarse por el clculo numrico. La idea de su invencin, los logaritmos, comienza con el hecho de su profundo conocimiento de la trigonometra de su poca por lo que se supone que la frmula

sin(A+B)+sin(AB) sin(A)cos(B)= 2 le era familiar. La importancia de sta frmula radica en que dos expresiones trigonomtricas tales como sin(A) y cos(B) pueden ser calculadas a travs de la suma y resta de otras expresiones trigonomtricas, en este caso sin(A+B) y sin(AB). Por ejemplo, si quisiramos efectuar el producto

0,173650,99027 todo lo que tendramos que hacer es mirar en una tabla trigonomtrica y hallar que

0,17365=sin(10) Usando ahora la frmula anterior veramos que

0,99027=cos(8).

file:///c/Articulos_y_Libros\Numero_e/Numero_e.html (3 of 20) [09/03/2002 09:55:50 p.m.]

{\bf El N\'umero \e } \\ [6pt] {\bf Una breve introducci\'on}

sin(18)+sin(2) sin(10)cos(8)= 2 Mirando una vez ms en la tabla los valores de sin(18) y sin(2) obtendramos que .

sin(18)=0,30902 y as,

sin(2)=0,03490

sin(18)+sin(2)=0,34392. Por esto, el valor buscado es:

sin(18)+sin(2) 0,173650,99027=sin(10)cos(8)= 2 Lo que realmente destaca en el fondo de este asunto es que es ms fcil sumar y restar que multiplicar y dividir por lo que esa frmula nos provee de un sistema primitivo de reduccin de una operacin aritmtica a otra, pero ms simple. En su libro Arithmetica integra, Michael Stifel (1847-1567), formula la siguiente relacin: si multiplicamos cualquiera dos trminos de la progresin geomtrica (en una progresin geomtrica el cociente entre dos trminos consecutivos siempre es constante) =0,17196.

1, q, q2, q3, q4, q5, q6, q7, q8, el resultado debera ser el mismo que si tuviramos que sumar sus correspondientes exponentes. Por ejemplo, multiplicando q3 por q4 obtenemos

q3q4=(qqq)(qqqq)=qqqqqqq = q7,
file:///c/Articulos_y_Libros\Numero_e/Numero_e.html (4 of 20) [09/03/2002 09:55:50 p.m.]

{\bf El N\'umero \e } \\ [6pt] {\bf Una breve introducci\'on}

un resultado que pudo haberse logrado sumando los exponentes 3 y 4; esto es,

q3q4=q3+4=q7. Similarmente, dividiendo un trmino de la progresin geomtrica por otro trmino es equivalente a la resta de sus exponentes:

q6 = q2

qqqqqq =qqqq=q4=q62. qq

Surge entonces, en este caso, un problema si el exponente del numerador es menor que el del denominador, como en

q5 . q7 Para subsanar esa dificultad se conviene en definir

1 qn= qn para cualquier nmero natural n. Con esta definicin en mente se puede ahora definir sin peligro alguno las reglas:

qm qmqn = qm+n y qn cualesquiera sean los nmeros enteros m y n, para obtener la progresin geomtrica expandida =qmn

file:///c/Articulos_y_Libros\Numero_e/Numero_e.html (5 of 20) [09/03/2002 09:55:50 p.m.]

{\bf El N\'umero \e } \\ [6pt] {\bf Una breve introducci\'on}

,q4, q3, q2, q1, q0=1, q, q2, q3, q4, Lo que queda establecido es una ntima relacin romntica entre esa progresin geomtrica y la correspondiente progresin aritmtica (en una progresin aritmtica la diferencia entre dos trminos consecutivos es siempre constante, en este caso, 1)

,3, 2, 1, 0, 1, 2, 3, Deslumbrado por ese acontecimiento, la mente de Napier fue iluminada por esos raros fuegos artificiales que alguna vez tocan el espritu del hombre para llevar esa relacin establecida por Stifel a cualquier nmero real. Es aqu donde comienza la verdadera historia. Cmo ataca Napier el problema?. Su lnea de pensamiento, llevada al lenguaje de hoy, comienza del modo siguiente:

Si pudiramos escribir cada nmero positivo r como una potencia de algn nmero fijo, digamos a, la cual llamaremos base; esto es, si pudiramos escribir r como

r=an entonces la multiplicacin y la divisin de nmeros debera ser equivalente a la suma y resta de sus exponentes. Ms an, elevando el nmero r a la m-sima potencia (es decir multiplicando r por s mismo m-veces) debera ser equivalente a sumar el exponente n a s mismo m-veces.

Veamos cuan admirable es este procedimiento eligiendo, por ejemplo, a=2. La siguiente tabla nos muestra potencias sucesivas de 2, comenzando con n=3 y finalizando con n=11.

file:///c/Articulos_y_Libros\Numero_e/Numero_e.html (6 of 20) [09/03/2002 09:55:50 p.m.]

{\bf El N\'umero \e } \\ [6pt] {\bf Una breve introducci\'on}

n 3 2 1 0 1 2 3 4 1 2n 8 4 2 1 1

10

11

1 2 4 8 16 32 64 128 256 512 1.024 2.048

Supongamos que deseamos multiplicar 16 por 128. Mirando en la tabla los exponentes correspondientes a 16 y 128, encontramos que ellos son 4 y 7, respectivamente. Sumando esos exponentes nos da 11, y ubicando la potencia a la cual l corresponde obtenemos 2.048, la repuesta deseada. Supongamos ahora que queremos hallar 45. Primero determinamos el exponente correspondiente a 4, el nmero 2, y a dicho resultado lo multiplicamos por 5 para obtener 10. Buscando en la tabla resulta que dicho nmero es 1.024. Brevemente,

5 10 =2 =1.024 45= 22 Con todo y lo hermoso que parece dicho procedimiento, el posee un gran defecto: no es prctico para multiplicar grandes nmeros. El principal problema al construir una tabla de logaritmos es conseguir que los intervalos entre dos valores sucesivos sean lo suficientemente pequeos. En el ejemplo anterior los valores eran las potencias 2, 4, 8,..., que estn bastante alejados entre s. El mtodo podra ser de utilidad si pudiera ser usado con cualquier nmero, enteros o fracciones. Pero para que tal cosa ocurra primero debemos llenar los grandes huecos que existen entre las entradas de nuestra tabla. Mirando de nuevo nuestra tabla uno observa que el mtodo no permite, por ejemplo, multiplicar de modo rpido 513 por 1998. De all que para que dicho argumento funcione habra que proceder de dos modos diferentes: o bien usando exponentes fraccionales, o bien escogiendo una base lo suficientemente pequea de modo que sus potencias crezcan razonablemente lentas. Debido a que para la poca los exponentes fraccionales, definidos por

a[m/n]=[n]am no eran del todo conocidos, a Napier no le quedaba ms alternativa que la segunda eleccin. La pregunta ahora era, qu tan pequea deba ser la base? La eleccin de una base muy pequea origina potencias que crecen tambin muy lentamente, haciendo que el sistema sea de poca utilidad. Parece que un nmero prximo a 1, pero no muy cercano, podra ser razonablemente adecuado. Despus de luchar varios aos con este problema, Napier se decidi por 0.9999999=1107. La razn de tal eleccin? La respuesta parece estar en el inters de Napier de minimizar el uso de las fracciones decimales y, por consiguiente, de reducir la inmensa labor que derivaba de los clculos trigonomtricos. El sigui la prctica, entonces
file:///c/Articulos_y_Libros\Numero_e/Numero_e.html (7 of 20) [09/03/2002 09:55:50 p.m.]

{\bf El N\'umero \e } \\ [6pt] {\bf Una breve introducci\'on}

usada en trigonometra, de dividir el radio de un crculo unitario en 107 partes iguales. De all que si substraemos de la unidad su 107 parte, obtenemos un nmero muy prximo a 1, el nmero 0.9999999=1 107. Con esta base en mano, a Napier le tomo veinte aos de su vida construir las tablas logartmicas comenzando con el nmero

107 y terminando, en una primera etapa, con

100 107 1107 Habiendo completado esa monumental tarea, a Napier slo le falta bautizar su criatura. Al principio, l decide llamar nmero artificial al exponente de cada una de sus potencias, pero posteriormente se decide por el de logaritmo, palabra latina que significa "nmero radio". En notacin moderna, esta cantidad dice que si

N=107(1107)L, entonces el exponente L es el logaritmo Neperiano de N, escrito como L=logNep N. La definicin de logaritmo de Napier difiere en muchos aspectos de la definicin moderna, introducida en 1.728 por L. Euler. En efecto, si

N=aL, donde a es un nmero real positivo distinto de 1, entonces L es el logaritmo (para la base a) de N, en notacin L=loga N. As, en el sistema de Napier, L=0 corresponde a N=107; es decir, logNep 107=0, mientras que en el sistema moderno, L=0 corresponde a N=1; esto es, loga1=0. Otro aspecto importante en la diferencia entre las dos definiciones es que en la definicin de Napier el logaritmo de un producto no es igual a la suma de los logaritmos, una de las reglas bsicas ms importante de los logaritmos. Finalmente, debido a que 1107 es menor que 1, los logaritmos de Napier decrecen a medida que N

file:///c/Articulos_y_Libros\Numero_e/Numero_e.html (8 of 20) [09/03/2002 09:55:50 p.m.]

{\bf El N\'umero \e } \\ [6pt] {\bf Una breve introducci\'on}

crece, mientras que en el sistema moderno (de base 10), el logaritmo crece. El trabajo de Napier fue publicado en Latn, en 1.614, bajo el titulo: Mirifici logarithmorum canonis descriptio. Corra el ao 1.615, cuando Henry Briggs (1.5611.631), quien para la poca era profesor de geometra en el Colegio Gresham en Londres, se entusiasm tanto con el trabajo de Napier que decidi ir a Escocia a conocer en persona al gran inventor. En ese encuentro Briggs, despus de discutir algunas ideas con Napier, le propone efectuar dos modificaciones a su mtodo, cosa que Napier acepta con gusto. La primera es reemplazar el logaritmo de 107 (que es igual a 0) por el logaritmo de 1; esto es, sustituir

logNep 107=0

por

logNep 1=0;

y la segunda, tener el logaritmo de 10 igual a una potencia apropiada de 10. Despus de considerar varias posibilidades, ellos deciden finalmente que dicho logaritmo valga 1; esto es:

logNep 10=1=100 Dos aos despus de ese encuentro muere Napier, quedndose Briggs con la inmensa tarea de reconstruir las tablas hecha por Napier, pero ahora con las modificaciones sugeridas por l. Por esta razn, a los logaritmos con base 10 se les llaman logaritmos Briggsianos o vulgares. A Briggs tambin se le debe la introduccin de la palabra mantisa que designa la parte decimal propiamente dicha y el trmino caracterstica para denotar la parte entera (positiva o negativa) del logaritmo. En 1.624, Briggs public sus resultados bajo el titulo: Arithmetica Logarithmica, primer tratado sobre los logaritmos vulgares o de Briggs, cuya base es el nmero 10. Briggs hizo el clculo de las tablas de logaritmos de 1 a 20.000 y de 90.000 a 100.000. Los huecos dejados por Briggs, de 20.000 hasta 90.000, fueron rellenados por Adriaan Vlacq (1.6001.667). Las primeras tablas de logaritmos contenan errores que fueron detectados y corregidos con el pasar de los tiempos. La casi mtica labor que se desarroll en su construccin fue enorme y estimul a muchos matemticos en la bsqueda de nuevos y mejores mtodos para minimizar sus clculos. Esto dio origen y fuerza al estudio de las series infinitas. Napier, casi sin saberlo, estuvo a punto de lograr el descubrimiento de un nmero que, un siglo despus llegara a ser reconocido como la base universal del logaritmo y que jugara, a partir de ese momento, un papel tan importante en matemticas como el propio , nos referimos al nmero e\xspace, el cual puede ser definido como el limite de (1+1/n)n o como una serie infinita: e = _n( 1+ 1 )^n = 1+1+1+1+1+1+1+1+1+1+ = 2,71828182845904523536028747135266249775724709369995957...

file:///c/Articulos_y_Libros\Numero_e/Numero_e.html (9 of 20) [09/03/2002 09:55:50 p.m.]

{\bf El N\'umero \e } \\ [6pt] {\bf Una breve introducci\'on}

3 Finanzas, el nacimiento del nmero e\xspace ?

Desde tiempos inmemoriales los asuntos monetarios han sido de inters para el ser humano. Cules aspectos en la vida del hombre han merecido mayor su atencin.? Sin duda alguna que lo atinente a la salud, el dinero y, por supuesto, el amor. Central a cualquier consideracin del dinero est el concepto de inters; es decir, el dinero que se paga por un prstamo. La prctica de cobrar honorarios por el dinero prestado es tan viejo como lo demuestra la tabla de barro encontrada en Mesopotamia alrededor del ao 1.700 antes de Cristo y que yace en el Museo de Louvre, Pars. En efecto, en dicha tabla est planteado el siguiente problema: Cunto tiempo deber transcurrir para que una cierta cantidad de dinero sea duplicada, sabiendo que ella devenga un inters anual de 20 %? Ya hemos mencionado que el final del siglo XVI y los comienzos del siglo XVII fueron marcados por avances cientficos sin precedentes. Pero, adems, ese perodo tambin fue testigo del crecimiento del comercio internacional originando todo tipo de transacciones financieras; como resultado de ello, se le prest mucha atencin a las leyes de inters compuesto y, es posible que, en ese momento, se comenzara la gestacin o nacimiento del nmero e\xspace. Cmo pudo ocurrir esto? Examinemos brevemente cmo trabaja el inters compuesto. El dinero depositado en una cuenta de ahorro crece en progresin geomtrica. Por ejemplo, supongamos que se depositan P bolvares en una cuenta de ahorro que paga el 12% de inters anual cada 3 meses. Entonces, el inters devengado al principio de un perodo de 3 meses es

0,12 P= 4

r P 4

12 r=0,12= . 100

Pero como el inters se suma a la cantidad original depositada P, el balance al final del perodo ser de

r P + P= 1+ P. 4 4 r Las cantidades al cabo de n perodos sucesivos de inters forman una progresin geomtrica

file:///c/Articulos_y_Libros\Numero_e/Numero_e.html (10 of 20) [09/03/2002 09:55:50 p.m.]

{\bf El N\'umero \e } \\ [6pt] {\bf Una breve introducci\'on}

r r2 rn P, 1+ P, 1+ P, , 1+ P. 4 4 4 En particular, al cabo de t aos el nmero de perodos de inters ser n=4t, y el balance final quedar determinado por la cantidad

r 4t A= 1+ P 4 En resumen, si se abre una cuenta de ahorro con una cantidad inicial de P bolvares en un Banco donde se paga el r por ciento de inters anual (donde r se expresa en forma decimal), y si el inters se va acumulando en la propia cuenta, entonces el balance, A, al final de t aos ser

r nt A=P 1+ , n donde n es el nmero de veces que se compone el inters. Por ejemplo, si Ud. abre una cuenta de ahorro con un depsito inicial de 300.000 bolvares con una tasa de inters del 15 % anual, entonces el balance, por un ao, compuesto n veces al ao, se muestra en la tabla adjunta

n 1 (anualmente)

Balance 345.000,00 Bs

2 (semestralmente) 346.687,50 Bs 4 (trimestralmente) 347.595,12 Bs 12 (mensualmente) 348.226,35 Bs 365 (diariamente) 348.539,53 Bs

Lo importante en este proceso es que, al crecer n, el balance se hace estable; es decir, no crece
file:///c/Articulos_y_Libros\Numero_e/Numero_e.html (11 of 20) [09/03/2002 09:55:50 p.m.]

{\bf El N\'umero \e } \\ [6pt] {\bf Una breve introducci\'on}

indefinidamente, sino que tiende a un valor fijo, el cual se expresa del modo siguiente

A=Pe\xspacert A este valor se le denomina inters compuesto de forma continua. As, para un depsito inicial de 300.000 Bs al 15 % de inters anual, compuesto de forma continua, el balance al final del ao sera

A=300.000e\xspace0,15(1)=348.550,27 Bs Ejemplo. Supongamos que Ud. se gana el premio mayor de la lotera cuyo monto es de 100 millones de bolvares y decide abrir una cuenta de ahorro en un Banco que para el momento paga una tasa de 20 % de inters anual. Calcule el balance al final de 2 aos si el inters se compone i) trimestralmente, ii) de forma continua. Solucin. i) El balance final, con inters compuesto cada trimestre, es A=P(1+r)^nt = 10^8(1+0,20)^4(2) = 147.745.544,37 B^s ii) El balance final, con inters compuesto de forma continua, es

A=Pe\xspacert=108 e\xspace0,2(2)=149.182.469,66 Bs Lo que sigue ahora no es una situacin real, es slo la manifestacin del espritu del matemtico en esa bsqueda incesante por hurgar, por descubrir, por obtener conocimientos. Consideremos de nuevo la ecuacin

r nt A=P 1+ , n pero, como caso especial, hagamos r=1, P=1 Bs y t=1. Nuestra ecuacin entonces toma la forma

file:///c/Articulos_y_Libros\Numero_e/Numero_e.html (12 of 20) [09/03/2002 09:55:50 p.m.]

{\bf El N\'umero \e } \\ [6pt] {\bf Una breve introducci\'on}

1n A= 1+ , n y nuestro objetivo es investigar el comportamiento de esa frmula a medida que n crece. Los resultados son mostrados en la siguiente tabla.

n (1+1/n)n 1 2 2 2,25 3 2,37037037 4 2,44140625 5 2,48832000 10 2,59374246 50 2,69158802 100 2,70481383 1.000 2,71692393 10.000 2,71814593 100.000 2,71826824 1.000.000 2,71828047 10.000.000 2,71828170 La tabla pareciera confirmar que no importa que tan grande tomemos n, el valor de (1+1/n)n estar muy prximo a 2,71828. En realidad, esa posibilidad quedar confirmada despus de un cuidadoso anlisis donde se prueba que el lmite de la expresin (1+1/n)n existe y se denota por la letra e\xspace; as,

e\xspace = lim (1+1/n)n

n

Teniendo en cuenta que el coeficiente binomial del trmino ankbk en la expansin de la expresin (a+b)n es

file:///c/Articulos_y_Libros\Numero_e/Numero_e.html (13 of 20) [09/03/2002 09:55:50 p.m.]

{\bf El N\'umero \e } \\ [6pt] {\bf Una breve introducci\'on}

Ckn=\cfracn!k!(nk)! y sabiendo que limn\cfrac 1n=0, se puede probar que _n(1+1/n)^n =_n=1^ =1 +1 + + + + + No se sabe quin fue la primera persona que not el peculiar comportamiento de la expresin (1+1/n)n cuando n tiende al infinito, de modo que la fecha exacta del nacimiento del nmero e\xspace permanece en el misterio.

4 Qu clase de nmero es e\xspace ?

Una vez establecida la existencia de e\xspace como el primer nmero definido explcitamente por un proceso de lmite, no era de extraar que a dicho nmero se le considerase como una bonita curiosidad, pero slo eso. El panorama comienza a cambiar cuando el Jesuita Belga, Grgory de Saint-Vincent, logra la cuadratura3 de la hiprbola llevando a la funcin logartmica y al nmero e\xspace a la primera fila en el concierto de las matemticas. El golpe definitivo para la coronacin del nmero e\xspace lo propina el nacimiento de una nueva disciplina conocida hoy en da como el Clculo Diferencial e Integral, cuando de su seno se levanta como un fnix que renace de sus cenizas un hecho que cambiar el panorama de la ciencia: la inversa de la funcin logartmica, denotada por e\xspacex, es igual a su propia derivada. Euler, quien es el inventor del smbolo e\xspace sugiere, alrededor del ao 1.750, que la variable real x en la definicin de e\xspacex asuma valores complejos, y cranlo, este hecho contribuy a que otra fantstica disciplina llamada la teora de las funciones complejas que con sus notables e impresionantes ramificaciones tuviera repercusiones formidables en el mbito cientfico. Quedaba sin embargo una cuestin que resolver: qu clase de nmero es e\xspace ?. La clasificacin ms importante de los nmeros reales consiste en separarlos en dos grandes categoras: los nmeros racionales y los nmeros irracionales. Los nmeros racionales son fundamentales en matemticas por poseer una propiedad distintiva y significativa: ellos forman un conjunto denso y numerable en los nmeros reales. Por denso queremos dar a entender que entre dos nmeros (racionales o irracionales) arbitrarios, por muy prximos que ellos estn, siempre se puede elegir otro nmero racional entre ellos, de hecho, se pueden elegir no uno sino infinitos. La numerabilidad es una nocin que en principio no permite conjurar los demonios que en apariencia posee. Ella dice que hay exactamente la misma cantidad de nmeros naturales como de nmeros racionales. Cmo exorcizar semejante fantasma? Ello se logra mediante el estudio de algo que se llama cardinalidad cosa que no haremos en estas notas. Pero vayamos a lo que vinimos. Los nmeros irracionales, por otro lado, son desde un punto de vista prctico (como por ejemplo: medir), innecesarios. Tremendo dilema! Uno puede, debido a la densidad de los racionales, aproximar a cualquier nmero irracional por un nmero racional con tanta exactitud como uno desee. Pero entonces, por qu se estudian a los susodichos nmeros irracionales? Ellos son importantes por su aspecto terico; vale decir, ellos se necesitan para rellenar los huecos
file:///c/Articulos_y_Libros\Numero_e/Numero_e.html (14 of 20) [09/03/2002 09:55:50 p.m.]

{\bf El N\'umero \e } \\ [6pt] {\bf Una breve introducci\'on}

dejados en la recta real por la existencia de puntos que no son racionales. Recordemos que 2 fue el primer nmero que se demostr no era racional. Ello dej a los Pitagricos en un estado de shock pues se haban tropezado con un monstruo: acababan de hallar una cantidad que se poda medir y, adems, que se poda construir con regla y comps y, sin embargo, no era un nmero racional. Muchos siglos despus, alrededor del ao 1.850, aparece en escena otra clasificacin de los nmeros reales; esta vez se les denominan nmeros algebraicos y nmeros transcendentes. Un nmero se llama algebraico si es solucin de una ecuacin polinomial con coeficientes enteros; esto es, si es solucin de una ecuacin de la forma

anxn+an1xn1++a1x+a0=0 donde los coeficientes ak son enteros y an 0. Claramente cualquier nmero racional a/b es algebraico ya que l satisface la ecuacin bxa=0. Si cualquier nmero algebraico fuese racional no tendra ningn inters su estudio. Por consiguiente, deben existir nmeros algebraicos que no sean racionales. Por ejemplo, ya sabemos que 2 es un nmero irracional, pero adems, es algebraico ya que es solucin de la ecuacin x2 2=0. De aqu se sigue que un nmero que no es algebraico es necesariamente irracional. La pregunta obvia es: existen nmeros irracionales que no son algebraicos?. Los nmeros e\xspace y sern los primeros conejillos de indias en la bsqueda de una respuesta positiva. Un nmero que no es algebraico se llama transcendente. En el ao 1.844, el matemtico francs Joseph Liouville prob la existencia de nmeros no algebraicos. Uno de sus ejemplos, conocidos como los nmeros de Liouville, fue

\cfrac1101!+\cfrac1102!+\cfrac1103!+\cfrac1104!+

Otro ejemplo es el nmero 0,123456789101112131415161718192021, donde los dgitos son los nmeros naturales en su orden natural. En contraste con los nmeros irracionales, cuyo descubrimiento proviene de un problema mundano en geometra, los primeros nmeros transcendentes fueron creados con el nico propsito de demostrar que ellos existan. Pero una vez que el objetivo fue logrado, se puso atencin en determinar si algunos nmeros especiales, tales como y e\xspace, eran o no transcendentes. Le cup el honor a Leonhard Euler, en el ao 1.737, probar la irracionalidad de e\xspace, as como tambin la de e\xspace2. Ms tarde, en el ao 1.768, Johann Heinrich Lambert demuestra que tambin forma parte del clan. Ms de un siglo despus de la hazaa de Euler, el matemtico francs Charles Hermite prueba, en el ao 1.873, la
file:///c/Articulos_y_Libros\Numero_e/Numero_e.html (15 of 20) [09/03/2002 09:55:50 p.m.]

{\bf El N\'umero \e } \\ [6pt] {\bf Una breve introducci\'on}

transcendencia de e\xspace y nueve aos ms tarde, en el ao 1.882, se termina el ciclo de e\xspace y , cuando el matemtico alemn Carl Louis Ferdinand Lindemann prueba la transcendencia de .

5 e\xspacex y algunas consecuencias.

Si a es un nmero positivo distinto de 1, a la funcin y=ax se le denomina una funcin exponencial. Esta funcin es de importancia capital en matemticas. Pero si, adems, el nmero e\xspace se toma como una base, entonces la funcin exponencial y=e\xspacex adquiere dimensiones insospechadas. Usando algunas herramientas de Clculo y ciertas propiedades de las series convergentes, se puede probar que

e\xspacex=1 +x +\cfracx22! + \cfracx33! + + \cfracxnn! + cualquiera sea el nmero real x. Lo que sigue a continuacin es slo una muestra de lo que se puede hacer con dicha funcin. y=e\xspacex es la nica funcin (y, por supuesto, el producto de ella por una constante: y=ke\xspacex) con la propiedad de que su derivada es igual ella misma; esto es,

y=e\xspacex

\cfracdydx=y.

Experimentalmente se ha determinado que el nmero de ciertas bacterias presentes en un cultivo en el tiempo t, viene expresada por la ecuacin

y=N0e\xspace5t Cuntas bacterias haba en el instante t=0? En qu momento habr el doble de la cantidad inicial? Solucin. Para t=0, tenemos que

y=N0 e\xspace0 = N0 por lo que la cantidad de bacterias presentes en el instante t=0 es N0.
file:///c/Articulos_y_Libros\Numero_e/Numero_e.html (16 of 20) [09/03/2002 09:55:50 p.m.]

{\bf El N\'umero \e } \\ [6pt] {\bf Una breve introducci\'on}

Por otro lado, para que halla el doble de bacterias de la cantidad inicial en el instante t deber ocurrir que

2N0=N0e\xspace5t, es decir,

e\xspace5t=2, o lo que es lo mismo

5t=ln2, de donde

ln2 t= 5

0,138629 unidades de tiempo.

Un cierto material radiactivo se descompone en el tiempo segn la ecuacin y=k0e\xspace0,038t, donde k0 representa la cantidad de material presente en el instante t=0. En cunto tiempo se habr descompuesto solamente la mitad de la cantidad original? Solucin. Para t=0, sabemos que y=k0 es la cantidad de material radiactivo que haba. En un tiempo t, que queremos determinar, se supone que el material se ha descompuesto la mitad de la cantidad original, por lo que debemos tener

k0 2

=k0e\xspace0,038t

Despejando t de esta ecuacin, obtenemos

file:///c/Articulos_y_Libros\Numero_e/Numero_e.html (17 of 20) [09/03/2002 09:55:50 p.m.]

{\bf El N\'umero \e } \\ [6pt] {\bf Una breve introducci\'on}

0,038t=ln(1/2),

es decir,

t 18,24 siglos

En trminos generales, la tasa de decrecimiento de una substancia radiactiva - y la cantidad de radiacin que esta emita- en cualquier momento, es proporcional a su masa m. Esto se expresa mediante la ecuacin diferencial

\cfracdmdt=am, donde a es una constante. La solucin de esta ecuacin diferencial es

m=m0e\xspaceat, donde m0 es la cantidad de masa inicial de la substancia en el tiempo t=0. Un breve anlisis de la solucin nos conduce a la conclusin que gradualmente m ir decreciendo a 0, pero nunca lo alcanzar; en consecuencia, la substancia nunca se desintregrar completamente. Esto explica el por qu los materiales radiactivos, considerados como desechos, despus de muchsimos aos continan siendo peligrosos para la salud humana. Cuando un objeto caliente, con una temperatura T0, es colocado en un ambiente de temperatura T1, el objeto se enfra a una tasa proporcional a la diferencia TT1 entre su temperatura en el tiempo t y la temperatura circundante:

\cfracdTdt=a(TT1) A esta ecuacin se le conoce con el nombre de Ley de Newton del enfriamiento y su solucin viene dada por

T=T1 + (T0T1)e\xspaceat. Cuando las ondas del sonido viajan a travs de aire (o cualquier otro medio), su intensidad es gobernada por la ecuacin diferencial

file:///c/Articulos_y_Libros\Numero_e/Numero_e.html (18 of 20) [09/03/2002 09:55:50 p.m.]

{\bf El N\'umero \e } \\ [6pt] {\bf Una breve introducci\'on}

\cfracdIdx=aI, donde x es la distancia recorrida. La solucin,

I=I0e\xspaceat muestra que la intensidad decrece exponencialmente con la distancia. El crecimiento poblacional se determina en forma aproximada mediante una ley exponencial. Un paracaidista salta desde un avin y en el tiempo t=0 su paracadas se abre. A qu velocidad l alcanza el suelo? La ecuacin que gobierna la cada del paracaidista viene dada por

m\cfracddt=mg k, donde m es la masa del paracaidista, g es la constante de gravitacin universal, y k(t) es la resistencia del aire en el tiempo t. La solucin de esta ecuacin es:

= \cfrac ga(1e\xspaceat) + 0e\xspaceat. Una ley matemtica, formulada por el fisiologo alemn Ernst Heinrich Weber, que mide la respuesta humana a varios estmulos fsicos, se expresa mediante la frmula

ds=k\cfracdWW, donde ds representa el crecimiento ms pequeo an discernible, dW el correspondiente crecimiento en peso, W el peso presente en ese momento y k una constante de proporcionalidad. Su solucin viene dada por

s=kln\cfracWW0.

Indice
file:///c/Articulos_y_Libros\Numero_e/Numero_e.html (19 of 20) [09/03/2002 09:55:50 p.m.]

{\bf El N\'umero \e } \\ [6pt] {\bf Una breve introducci\'on}

Footnotes:
1Leonhard

Euler, nace en Basel (Suiza) el 15 de Abril de 1.707 y muere en San Petersburgo (Rusia) el 18 de Septiembre de 1783.
2Un

nmero real o complejo se llama algebraico si satisface una ecuacin algebraica de la forma

anxn+an1xn1++a1x+a0=0 donde los coeficientes ak son enteros y an 0. Un nmero real o complejo se llama transcendente cuando no es algebraico
3Se

denomina cuadratura al problema de encontrar el rea de una figura plana cerrada.

File translated from TEX by TTH, version 2.84. On 17 Dec 2000, 19:11.

file:///c/Articulos_y_Libros\Numero_e/Numero_e.html (20 of 20) [09/03/2002 09:55:50 p.m.]