Historias de Matemticas Hermite y la trascendencia de e

Jos Manuel Snchez Muoz

Revista de Investigacin

Pensamient Matemtic
ISSN 2174-0410

G.I.E

26 de abril de 2011
Resumen Este artculo es en parte una traduccin de los trabajos que llev a cabo el francs Charles Hermite para determinar la trascendencia del nmero e, considerado ste como base de los logaritmos neperianos. Se han realizado algunas simplicaciones en dicha demostracin para hacerla ms asequible al lector. Se presenta adems una introduccin del nmero e a travs de quien invent su notacin, Leonhard Euler.

1. El Origen del Nmero e

Si tuviramos que destacar un matemtico sobre todos los dems en cuanto a sus contribuciones para el desarrollo de nueva notacin matemtica, sin lugar a duda tendramos que considerar al suizo Leonhard Euler. Una de sus precoces sugerencias la realiz siendo un joven de 21 aos en la corte de San Petesburgo, cuando hizo uso de la letra e como valor 2,718..., que serva de base del sistema de logaritmos naturales. Este hecho ocurre en un manuscrito que Euler titul Meditatio in Experimenta explosione tormentorum nuper instituta. Este manuscrito fue impreso por primera vez en 1862 como parte de la obra Opera postuma mathematica et physica. En este artculo Euler describe varios experimentos, considerando la letra e para representar el valor 2,718.... En una de las ms de 200 cartas que Euler mantuvo con su amigo y condente Christian Golbach fechada el 25 de Noviembre de 1731 (y publicada por primera vez en 1843), Euler resolva la ecuacin diferencial: dz 2z dv + z dz dv = v v

...si multiplicamos la ecuacin anterior por eln v2v , o lo que es lo mismo, e2v v (e representa el nmero, cuyo logartimo hiperblico es igual a 1

Historias de Matemticas - Hermite y la trascendencia de e

Jos Manuel Snchez Muoz

1), se obtiene e2v v dv 2e2v zv dv + e2v z dv = e2v dv, que integrada resulta 1 e2v vz = Const. e2v 2 2vz + 1 = ae2v Pero la ms temprana ocurrencia que Euler tuvo para considerar la letra e como representante del valor 2,718... se produjo en su Mechanica, en 1736. En el Vol.I, pgina 68 entre otras y tambin en el Vol.II, pgina 251 y en muchas de las 200 pginas siguientes. Traducimos aqu parte de lo extraido en el Vol.I, pgina 68, donde c representa la velocidad de un punto considerado:

Corolario II 171. Aunque en la ya mencionada ecuacin la fuerza p no tiene lugar, su direccin todava se mantiene, lo que la hace depender de la relacin de los elementos dx y dy. Dada por lo tanto la direccin de la fuerza que se mueve a lo largo de un punto de la curva, uno puede, slo con estos datos, dy ds derivar la velocidad de el punto en cualquier lugar. Se tendr dc c = z dx oc=e 1.
dy ds z dx

, donde e representa el nmero cuyo logaritmo hiperblico es

El uso de la letra e como base de los exponentes imaginarios en expresiones analticas que era totalmente novedoso para los matemticos, sucedi en una disertacin de Euler llamada De summis serierum reciprocarum ex protestatibus numerorum naturalium ortarum. En ella describe a s como el arco circular y desarrolla sen s con las ahora conocidas series innitas. En la pgina 177, Euler sin dar explicacin alguna, representa la expresin exponencial para sen s y el lmite fundamental para ez . En este punto soy capaz de expresar todas las races de los factores de la siguiente expresin innita S S5 S7 S9 S3 + &c. 123 12345 1237 1239
e s 1 e s 1 , 2 1 z y, como e =

Esta expresin es equivalente a esta

donde e representa
n

z , donde n el nmero cuyo logaritmo es igual a 1, 1+ n representa un nmero innito, la expresin innita se reduce a esta:

1+

n s 1 n

1 2 1

n s 1 n

Revista Pensamiento Matemtico- Nmero 0 - Abr11 ISSN 2174-0410

Historias de Matemticas - Hermite y la trascendencia de e

Jos Manuel Snchez Muoz

Se puede encontrar un desarrollo ms sistemtico en su obra Introductio in analysin innitorum, Vol.I, Lausanne 1748, donde la letra i hace referencia a un nmero innitamente grande: ...Sustituyendo tenemos cos v = y sen v = 1+ 1+
i v 1 i

+ 1
2

i v 1 i

i v 1 i

En el captulo anterior vimos que 1+

1 2 1

i v 1 i

z i = ez i e representa hiperblicos; expresando para z pri la base de los logaritmos mero +v 1, y despus v 1, tendremos: cos v = y sen v = e+v e+v
1

+ ev 2

ev 2 1

De estos se deducen como se reducen al seno y coseno de arcos reales las expresiones exponenciales imaginarias. Para ello e+v 1 = cos v + 1 sen v ev 1 = cos v 1 sen v Si en la frmula para e+v 1 se sustituye v por , entonces resulta la fa 1 = 1, que indica la extraa relacin entre y e. Euler mosa frmula e estableci esta relacin en forma logartmica y generalizada en su obra De la Controverse entre Mrs.Leibnitz & Bernoulli sur les logarithmes des nombres negatifs et imaginaires, Real Academia de Historia de las Ciencias y Bellas Artes, 1749, Berlin 1751, donde en la pgina 168 hace referencia a: ...esta frmula cos + 1 sen , cuyos logaritmos estn incluidos en la siguiente frmula general ln(cos + 1 sen ) = ( + p ) 1, donde p indica cualquier nmero entero par, o positivo o negativo o incluso cero. De esto deducimos... ln 1 = (1 + p) 1 = q 1, considerando q cualquier nmero entero impar. Por lo tanto se puede tener: ln 1 = 1; 3 1; 5 1; 7 1; &c.
Revista Pensamiento Matemtico- Nmero 0 - Abr11 ISSN 2174-0410

Historias de Matemticas - Hermite y la trascendencia de e

Jos Manuel Snchez Muoz

2. Charles Hermite (1822-1901)

Tras la muerte de Cauchy, Charles Hermite se erigi en lider indiscutible de las matemticas francesas. Recogi el testigo de Gauss y Cauchy sobre Aritmtica y Anlisis. Pudo adentrarse en los trabajos de Wierstrass y Riemman sobre Funciones Abelianas y en los de Kronecker y Smith acerca de las misteriosas relaciones que surgan entre la Teora de Nmeros y las funciones elpticas.

Siendo el sexto de siete hijos de Ferdinand y Madeleine Hermite, naci el 24 de Diciembre de 1822. Tena antepasados tanto franceses como alemanes ya que el pequeo pueblo donde naci, Dieuze, en el distrito de Lorraine, fue una vez reclamado tanto por Francia como por Alemania. Sin embargo, el futuro matemtico siempre se consider as mismo como francs. Su padre, un hombre de fuertes inclinaciones hacia el arte que haba estudiado ingeniera en sus tiempos de juventud, era un comerciante de ropas en Dieuze. Se trataba de un negocio de la familia de su mujer, a quien ms tarde conara con el n de dar rienda suelta y dedicarse por entero a sus inquietudes artsticas. En torno a 1829, trasladaron su negocio a la ciudad de Nancy. Ni Ferdinand ni Madeleine mostraron nunca gran inters por la educacin de sus hijos, quienes nicamente asistieron al Collge de Nancy. Sin embargo su hijo Charles continu con sus estudios en Paris, primero en el Collge Henri IV, ms tarde llamado Collge Napoleon, y despus, en 1840/1, en el famoso Lyce Louis-le-Grand, donde recibi clases de Richard, el mismo instructor que haba supervisado el trabajo de Galois tan slo haca quince aos. Richard le llam un petit Lagrange (un pequeo Lagrange), porque el joven Hermite pasaba la mayora de su tiempo leyendo clsicos de Lagrange como Trait sur la rsolution des quiations numriques. Ajeno a los estudios de Rufni y Abel, intent probar la imposibilidad de resolver ecuaciones de quinto grado por medio de radicales. Los dos primeros trabajos de investigacin de Hermite, se publicaron en las Nouvelles annales de mathmatiques, siendo an estudiante. En 1842, Hermite fue admitido en el prestigiossimo cole Polytechnique, ocupando un modesto puesto 68 en los exmenes de acceso debido a su dicultad con la geometra. Tras su primer ao se le retir el permiso para seguir all, ya que se le diagnostic un defecto congnito en su pie derecho, lo que signic que necesitara de un bastn para poder caminar. Debido a la intervencin de gente inuyente, la decisin pudo ser desestimada pero bajo unas condiciones que Hermite consider inaceptables. Como resultado, pas del cole Polytechnique a conformarse con uno de los Ecoles dApplications para realizar una carrera acadmica, realizando los exmenes de acceso en 1847. A lo largo de su carrera, Hermite adquiri cierta animadversin por los exmenes, por lo que desde el punto de vista pedaggico prefera utilizar vas alternativas a la de los exmenes nales. Fue su trabajo sobre funciones elpticas lo que le sirvi para ser considerado como un experto en anlisis. Tendra poco ms de treinta aos cuando Jacobi haba comenzado a investigar las funciones inversas obtenidas de las integrales hiperelpticas, cuyas propiedades esenciales eran an desconocidas. Entre

Charles Hermite

Revista Pensamiento Matemtico- Nmero 0 - Abr11 ISSN 2174-0410

Historias de Matemticas - Hermite y la trascendencia de e

Jos Manuel Snchez Muoz

otros logros, Hermite generaliz el Teorema de Abel sobre la divisin del argumento de las funciones elpticas al caso de las hiperelpticas. A comienzos de 1843 Hermite escribi a Jacobi sobre lo que haba estudiado, lo que impresion gratamente a este ltimo. Jacobi le contest: No ceje en su empeo, Seor, si alguno de sus descubrimientos coincide con antiguos resultados mios. Como usted debe comenzar donde yo termin, habr irremediablemente ciertas coincidencias. En el futuro, si me hace el honor de comunicarme sus progresos, slo me quedar aprender de ellos. De este modo Hermite comenz a enviar peridicamente sus resultados, publicndolos a menudo en el Crelles Journal entre otras publicaciones. Cuando nalmente retom la teora de funciones elpticas tras un periodo en el que haba tratado con mayor anidad la teora de nmeros, consigui llegar con exito a una sntesis de las teoras de Abel y Jacobi en su magnun opus1 , Sur quelques applications des functions elliptiques2 , la cual hizo su aparicin en 1877. Poco despus de 1880 comenz a dar clases sobre los estudios de Weierstrass, y podra decirse que este hecho hizo calar en l las ideas del gran berlins. Los libros de texto que Hermite escribi durante esta poca fueron ampliamente utilizados y apreciados. En 1848 Hermite lleg a ser tutor orientador y examinador de admisiones en el cole Polytechnique. Dos aos ms tarde sera elegido miembro de la Academia de Paris. En 1862 promocion al puesto de profesor, y a examinador de graduacin el siguiente ao. En 1869 lleg a ser profesor de anlisis en el cole Polytechnique, combinando este puesto con el mismo en la Sorbona. La siguiente cita de Haddamard ofrece una idea del trabajo de Hermite como profesor: No considero que aquellos que nunca le escucharan puedan darse cuenta de cuan magnca fue la enseanza de Hermite, rebosante de entusiasmo por la ciencia, que pareca tomar vida en su voz y cuya belleza nunca dej de comunicarnos, ya que as lo senta en lo ms hondo de su ser. Aunque tan slo despus de siete aos dej su puesto en el cole Polytechnique en 1876, continu en la Sorbona durante otros veintiun aos. Bajo la inuencia de Cauchy, Hermite se convirti en un devoto catlico tras haber haber enfermado de viruela en 1856. Su losofa matemtica fue inuenciada por el idealismo platnico. Consideraba que los matemticos nunca inventan nada pero que a veces se les concede la virtud de descubrir la armona del mundo matemtico que existe independientemente de la razn humana. Hadamard en sus recuerdos de antiguas conferencias impartidas por Hermite deca: Cuando era un joven estudiante, alguna feliz circunstancia me permita visitar al maestro de forma asidua durante algunos minutos. Al
2 Sobre 1 Del

latn magnun opus u opus magnun; Gran obra. varias aplicaciones de funciones elpticas.

Revista Pensamiento Matemtico- Nmero 0 - Abr11 ISSN 2174-0410

Historias de Matemticas - Hermite y la trascendencia de e

Jos Manuel Snchez Muoz

momento, causaba una profunda impresin en nosotros, no slo con sus mtodos, sino con su entusiasmo y amor por la ciencia. En nuestras breves pero productivas conversaciones, a Hermite le gustaba dirijirse a mi diciendo El que se desva del camino de la Providencia se bloquea. Estas eran las palabras de un hombre profundamente religioso. Pero un ateo como yo le comprenda perfectamente, especialmente cuando en otras ocaciones aada En matemticas nuestro papel es mas de sirvientes que de maestros. La vida familiar de Hermite reeja su posicin de privilegio dentro del mundo matemtico francs. Su mujer era hermana del matemtico Joseph Bertrand, y una de sus hijas se cas con Emile Picard, quien se encarg de recopilar y publicar sus obras tras su muerte. Durante su poca en el cole Polytechnique, Hermite dedic un gran esfuerzo a trabajar con los estudiantes a todos los niveles. En contraste con Weierstrass, le daba un gran valor a la intuicin y no consideraba necesario utilizar demasiado rigor en la enseanza de materias elementales. En investigacin, Hermite llev a cabo formidables progresos en anlisis, lo que le convirti en especialista en la materia. Como ejemplo, la solucin de la ecuacin general cuadrtica haba sido conocida desde tiempos inmemoriables. Las soluciones de las ecuaciones cbicas y curticas en trminos similares a la anterior haban sido elaboradas durante el Renacimiento italiano. Cuando Galois demostr la imposibilidad de resolver mediante mtodos algebraicos comunes la ecuacin general de quinto grado (o quntica), este hecho pareci dejar por zanjado el asunto. Sin embargo, Hermite demostr que la ecuacin general quntica, poda ser resuelta mediante el uso de funciones modulares elpticas. Pero el resultado por el que Hermite es ms conocido, es la demostracin de la trascendencia del nmero e (considerado ste ltimo como base de los logaritmos naturales) o lo que es lo mismo, la imposibilidad de que resulte ser la raz de una ecuacin polinomial con coecientes enteros. Los Nmeros Trascendentales haban sido estudiados ya por Lioville, quien haba demostrado que tales nmeros existan, adems de demostrar que e no poda resultar ser la raz de una ecuacin cuadrtica con coecientes racionales, pero hasta Hermite, no se haba demostrado que ninguna de las constantes aparecidas de forma natural resultara ser trascendental. De hecho el mtodo usado por Hermite en el caso de e publicado en 1873 sirvi unos aos despus (en 1882) mediante ciertas adaptaciones a Carl Louis Ferdinan von Lindemann, un matemtico menor si lo comparamos con Hermite, para demostrar la trascendencia de . Este hecho fue sin duda alguna la nica ocasin en que las ideas de Hermite fueron desarrolladas por otros. Hermite fue galardonado en gran cantidad de ocasiones con honores acadmicos tanto en Francia, convirtindose en Gran Ocial de la Legin de Honor, como en el extranjero, llegando a serle otorgado por ejemplo la Gran Cruz de la Estrella Polar de Suecia. A los setenta aos, gozaba de admiracin por toda Europa, reejada en su reputacin, no slo como el ms longevo de los matemticos franceses, sino tambin por su costumbre de mantener una vasta red de correspondencia con los lderes matemticos de su poca. En investigacin 6

Revista Pensamiento Matemtico- Nmero 0 - Abr11 ISSN 2174-0410

Historias de Matemticas - Hermite y la trascendencia de e

Jos Manuel Snchez Muoz

sus intereses fueron amplios. Fue fundamentalmente un estudioso del lgebra y el anlisis ms que de la geometra, aunque por ejemplo le encantaba la geometra de nmeros de Minkowski. Sin embargo, al igual que el matemtico britnico Sylvester, con el que comparta correspondencia ms asiduamente, nunca asimil completamente la profundidad de ideas desarrolladas en la Alemania del siglo XIX, nacin abanderada de la geometra durante este siglo. Hermite muri el 14 de Enero de 1901, a la edad de setenta y ocho aos. Muchos de los principales matemticos franceses de nales del siglo XIX recibieron clases de Hermite. Entre ellos puede destacarse Appel, Borel, Darboux, Hadamard, Jordan, Painlev, y Poincar.

3. Introduccin a la demostracin
La investigacin que Hermite llev a cabo para probar la trascendencia de e se desarroll en una memoria de no ms de una treintena de pginas. Esta memoria puede ser dividida fundamentalmente en tres partes. En las dos primeras partes, se muestran dos demostraciones de la trascendencia de e, aunque Hermite admite que la segunda es la ms rigurosa de las dos. En la tercera, Hermite obtiene aplicando el mtodo sugerido en la segunda demostracin, las siguientes aproximaciones para e y e2 :3 e= 58291 158452 ; e2 = 21444 21444

La traduccin que aqu se presenta, muestra an con alguna omisin, la parte referida anteriormente como la segunda de la memoria. Desde el momento que la demostracin apareci publicada por primera vez, se han realizado muchas simplicaciones, por lo que ahora uno raramente, si no es nunca, puede valorar la existencia e importancia de esta demostracin. Sin embargo, el llamado Teorema de Hermite es an asociado al hecho de que e es un nmero trascendental. La siguiente seccin pretende mostrar una traduccin lo ms el posible de la investigacin realizada por Hermite con su puo y letra.

4. El Teorema de Hermite y la trascendencia de e

... Pero, como un caso ms general, tomamos F ( z ) = ( z z0 ) 0 ( z z1 ) 1 ( z z n ) n

para cualquier valor entero cualquiera que sean los exponentes, integrando ambos miembros de la identidad d [ez F (z)] = ez [ F (z) F (z)], dz
da el valor de e = 2, 718289, siendo la cifra de seis decimales correcta e = 2, 718282. La correccin del error numrico fu puntualizado por Picard, en su publicacin Oeuvres de Charles Hermite donde aumenta la precisin de esta aproximacin.
3 La fraccin

Revista Pensamiento Matemtico- Nmero 0 - Abr11 ISSN 2174-0410

Historias de Matemticas - Hermite y la trascendencia de e

Jos Manuel Snchez Muoz

se obtiene ez F ( z) = de la cual resulta que4

Z z0

ez F (z) dz

ez F (z) dz,

ez F (z) dz =

Z z0

ez F (z) dz

Ahora la frmula F (z) n 0 1 ++ = + F (z) z z0 z z1 z zn lleva a la siguiente descomposicin,

Z z0 Z z0

ez F (z) dz = 0

ez F ( z) dz + 1 z z0
Z z0

Z z0

ez F ( z) dz + z z1

+ m

ez F ( z) dz, . . . z zn

...Demostraremos que es siempre posible determinar dos integrales polinmicas de grado n, (z) y 1 (z), tales que representando una de las races z0 , z1 , . . . , zn por la letra , se llega a la siguiente relacin5 : ez F ( z) f ( z) dz = z e z F ( z ) 1 ( z ) dz ez F (z) (z) f (z)

...E incluso, si se expresa (z, ) en lugar de (z), para enfatizar la presencia de , tenemos6 ( z, ) = z n + 1 ( ) z n 2 + 2 ( ) z n 3 + . . . + n ( ) De esto se deduce, para el polinomio 1 (z), la frmula 1 ( z ) ( z , ) 1 ( z 1 , ) n ( z n , ) . = 0 0 + ++ f (z) z z0 z z1 z zn ...Es suciente considerar las integrales entre los lmites z0 y Z en la relacin ez F ( z) f ( z) dz = z
4 Donde 5 f ( z)

e z F ( z ) 1 ( z ) dz ez F (z) (z), f (z)

Z representa cualquiera de las races z0 , z1 , , zn = ( Z z0 )( z z1 ) ( z zn ). La demostracin de esta armacin se hace en en detalle en el texto de Hermite pero aqu est omitida 6 Se demuestra en el texto que ( ) es un polinomio de grado i en , teniendo por funciones i integrales con coecientes las races z0 , z1 , . . . , zn . i ( ) para i = 1 no debe confundirse con 1 ( z), mencionado en el texto en relacin con ( z).

Revista Pensamiento Matemtico- Nmero 0 - Abr11 ISSN 2174-0410

Historias de Matemticas - Hermite y la trascendencia de e

Jos Manuel Snchez Muoz

y por lo tanto obtener la ecuacin

Z z0

ez F ( z) f ( z) dz z

Z z0

e z F ( z ) 1 ( z ) dz f (z)
Z z0 Z z0 Z z0

= 0 ( z 0 , ) + 1 ( z 1 , ) + + n ( z n , )
Usamos esta ecuacin en particular en el caso

ez F ( z) dz z z0 ez F ( z) dz z z1 ez F ( z) dz. z zn

0 = 1 = = n = m ; en este caso si se expresa m (zi , zk ) = (ik) y se considera sucesivamente igual a z0 , z1 , , zn , y las anteriores expresiones se convierten evidentemente en
Z z0

e z f m +1 ( z ) dz z zi

= (i 0) = (i 1) + ... + (in)

Z z0 Z z0 Z z0

ez f m ( z) dz z z0 ez f m ( z) dz z z1 ez f m ( z) dz. z zn

para i = 0, 1, 2, . . . , n. Pero para el caso general, debemos demostrar an el siguiente teorema. Sean y los determinantes ( z0 , z0 ) ( z0 , z1 ) ( z0 , z n ) y 1 z0 z0 2 z0 n entonces 7 = 2
7 Una

( z1 , z0 ) ( z1 , z1 ) ( z1 , z n ) 1 z1 z1 2 z1 n

( z n , z0 ) ( z n , z1 ) (zn , zn )

1 zn zn 2 ; zn n

demostracin simple y corta de esta armacin se presenta en el texto.

Revista Pensamiento Matemtico- Nmero 0 - Abr11 ISSN 2174-0410

Historias de Matemticas - Hermite y la trascendencia de e

Jos Manuel Snchez Muoz

Consideremos ahora m = im = 1 12m

Z z0

ez f m (z) dz,
Z

la relacin demostrada anteriormente

Z z0

1 12m1
Z z0

z0

ez f m ( z) dz, z zi
Z z0

ez f m (z) dz = m

ez f m ( z) dz + m z z0
Z z0

ez f m ( z) dz + . . . z z1

...+m se transforma de forma simple en

ez f m ( z) dz z zn

1 n m = 0 m + m + . . . + m,

y la relacin
Z z0

e z f m +1 ( z ) dz z

= m ( z0 , ) = m ( z1 , ) + ... + m(zn , )

Z z0 Z z0 Z z0

ez f m ( z) dz z z0 ez f m ( z) dz z z1 ez f m ( z) dz z zn

considerando igual sucesivamente a z0 , z1 , . . . , zn , nos da la siguiente expresin, que representaremos por Sm , a saber
0 1 n 0 m +1 = ( z0 , z0 ) m + ( z1 , z0 ) m + . . . + ( z n , z0 ) m , 0 1 n 1 m +1 = ( z0 , z1 ) m + ( z1 , z1 ) m + . . . + ( z n , z1 ) m ,

n m +1

( z 0 , z n ) 0 m

n + ( z 1 , z n ) 1 m + . . . + (zn , zn ) m .

Si ahora, se construye a su vez S1 , S2 , . . . , Sm1 , se determina a partir de 1 n 0 1 n estas, expresiones para 0 m , m , . . . , m en trminos de 1 , 1 , . . . , 1 lo que expresaremos como sigue.
0 1 n 0 m = A0 1 + A1 1 + . . . + A n 1 , n 0 1 1 m = B0 1 + B1 1 + . . . + Bn 1 ,

n m

L0 0 1

n + L1 1 1 + . . . + Ln 1 ,

Revista Pensamiento Matemtico- Nmero 0 - Abr11 ISSN 2174-0410

10

Historias de Matemticas - Hermite y la trascendencia de e

Jos Manuel Snchez Muoz

y el determinante de esta nueva sustitucin, siendo igual al producto de determinantes de las sustituciones parciales, ser 2( m1). Esto nos lleva a reempla1 n zar 0 1 1 , . . . , 1 , por sus valores lo que nos dar expresiones para las cantidades i m adecuadas a nuestro propsito. Estos valores son fcilmente obtenidos como se ver. Para este propsito, aplicamos la frmula general ez F (z) dz = ez (z), tomando F (z) = que resulta F (z) f (z) z

= zn

+ +

p1

z n 1

+ +

2 p1 p2

z n 2

+ ...

Se puede ver fcilmente que (z) ser una expresin integral de z y , totalmente similar a (z, ), tal que si se representa por (z, ) se tiene ( z, ) = z n + 1 ( ) z n 1 + 2 ( ) z n 2 + . . . + n ( ) , donde i ( ) es un polinomio en de grado i, en el que el coeciente de i es la unidad... y en analoga a la forma (z, ), demuestra que el determinante ( z0 , z0 ) ( z0 , z1 ) ( z0 , z n ) ( z1 , z0 ) ( z1 , z1 ) ( z1 , z n )

( z n , z0 ) ( z n , z1 ) ( zn , zn )

tambin es igual a 2 . Por consiguiente, concluimos de la expresin

Z z0

ez f ( z) dz = ez0 ( z0, ) e Z( Z, ) , z i1 = ez0 ( z0,zi ) e Z( Z,zi ) .

considerando = zi , el valor deseado

Consecuentemente tenemos las expresiones dadas para im . Sean A = A0 ( Z , z0 ) + A1 ( Z , z1 ) + . . . + A n ( Z , z n ) , B = B0 ( Z, z0 ) + B1 ( Z, z1 ) + . . . + Bn ( Z, zn ), L = L0 ( Z , z 0 ) + L1 ( Z , z 1 ) + . . . + L n ( Z , z n ) ,

Revista Pensamiento Matemtico- Nmero 0 - Abr11 ISSN 2174-0410

11

Historias de Matemticas - Hermite y la trascendencia de e

Jos Manuel Snchez Muoz

y sean A0 , B0 , . . . , L0 los valores obtenidos para Z = z0 ; se obtiene

z0 0 A0 e Z A m =e z0 B0 e Z B 1 m = e z0 n L0 e Z L. m =e

En estas frmulas, Z representa cualquiera de las cantidades z0 , z1 , . . . , zn , ahora si se desea armar el resultado para Z = zk , se expresar por un lado por 0 , 1 , . . . , n , los valores que asumen estos Ak , Bk , . . . , Lk , y por otro lado por k k k 1 n en este caso para los coecientes A, B, . . . , L, y las cantidades 0 m , m , . . . , m . De este modo se obtienen las ecuaciones
0 k = e z 0 A0 e z k A k 1 k = ez0 B0 ezk Bk

...

n k

=e

z0

lo que nos lleva a la segunda demostracin ya mencionada de la imposibilidad de tener una expresin de la forma ez0 N0 + ez1 N1 + . . . + ezn Nn = 0, donde tanto los exponentes z0 , z1 , . . . , zn , como los coecientes N0 , N1 , . . . , Nn son considerados nmeros enteros. Obsrvese en primer lugar, que im puede llegar a ser ms pequeo que cualquier cantidad dada para un valor sucientemente grande de m. Para la exponencial ez esta ser siempre positiva, resultando como se sabe,
Z z0

L0 ezk Lk

ez F (z) dz = F ( )

Z z0

ez dz = F ( )(ez0 e Z ),

siendo F (z) cualquier funcin, y una cantidad tomada entre z0 y Z, lmites estos de la integral. Tomando ahora F (z) = se obtiene la expresin im = f ( ) z0 f m 1 ( ) e Z ), (e 1 2 m 1 zi f m (z) , z Zi

lo que demuestra la propiedad antes mencionada. Ahora, se obtiene de las ecuaciones 0 1 = e z 0 A0 e z 1 A1 ,

0 = e z 0 A0 e z 2 A2 , 2

Revista Pensamiento Matemtico- Nmero 0 - Abr11 ISSN 2174-0410

12

Historias de Matemticas - Hermite y la trascendencia de e

Jos Manuel Snchez Muoz

... la siguiente relacin

0 n = e z 0 A0 e z n A n ,

0 0 0 N2 + . . . + ezn n Nn = ez1 1 N1 + ez2 2

= ez0 (ez1 N1 + ez2 N2 + . . . + ezn Nn ) (A1 N1 + A2 N2 + . . . + An Nn ).

Si se sustituye la condicin ez0 N0 + ez1 N1 + . . . + ezn Nn = 0 en la anterior expresin, se llega a
0 0 0 N2 + . . . + ezn n Nn = (A0 N0 + A1 N1 + . . . + An Nn ). ez1 1 N1 + ez2 2

Sin embargo, se asume que z0 , z1 , . . . , zn son enteros, al igual que las cantidades (zi , zk ), (zi , zk ) y consecuentemente tambin A0 , A1 , . . . , An . Entonces tenemos un nmero A0 N0 + A1 N1 + . . . + An Nn ,
0 , 1 , . . . , n cuando m decrece; a esto se que disminuye indenidamente con 1 1 1 le aade que para cierto valor de m y para todos los valores mayores,

A0 N0 + A1 N1 + . . . + An Nn = 0, y como de igual manera se obtienen las expresiones B0 N0 + B1 N1 + . . . + Bn Nn = 0,

L0 N0 + L1 N1 + . . . + Ln Nn = 0. la relacin ez0 N0 + ez1 N1 + . . . + ezn Nn = 0

establece que el determinante A0 B0 = L0 A1 B1 L1

An Bn Ln

ser igual a cero. Pero, debido a las expresiones de A0 , B0 , . . . , L0 ,resulta que es el producto de estos dos otros determinantes A0 B0 L0 A1 B1 L1

An Bn Ln

Revista Pensamiento Matemtico- Nmero 0 - Abr11 ISSN 2174-0410

13

Historias de Matemticas - Hermite y la trascendencia de e

Jos Manuel Snchez Muoz

y ( z0 , z0 ) ( z0 , z1 ) ( z0 , z n ) ( z1 , z0 ) ( z1 , z1 ) ( z1 , z n )

de los cuales el primero vale 2( m1), y el segundo 2 . Resulta entonces = 2m , y se muestra de forma sencilla de manera rigurosa que la relacin asumida es imposible8 , y por lo tanto, el nmero e no puede ser un nmero irracional algebraico.

( z n , z0 ) ( z n , z1 ) ( zn , zn )

Referencias
[1] B ECKMANN, Petr. A History of , pp. 148-157, St. Martins Press, New York, 1971. [2] J AMES, Ioan. Remarkable Mathematicians, pp. 173-177, Cambridge University Press, The Mathematical Association of America, Cambridge, 2002. [3] K ATZ, Victor J. A History of Mathematics: An Introduction, 2nd. Ed., pg. 664, Adisson Wessley Educational Publishers, Inc., USA, 1998. [4] S MITH, David Eugene. A Source Book in Mathematics, pp. 95-106, McGrawHill Book Company,Inc., New York, 1929.

Sobre el autor: Nombre: Jos Manuel Snchez Muoz Correo Electrnico: jmanuel.sanchez@gmx.es Institucin: Grupo de Innovacin Educativa Pensamiento Matemtico. Universidad Politcnica de Madrid, Espaa.

Esta obra est registrada

1103308846277 INFORMACIN SOBRE DERECHOS

8 Se

puede demostrar que 1 z0 n z0 1 z1 n z1

1 zn = ( zn zn 1 )( zn zn 2 ) ( zn z0 )( zn 1 zn 2 ) ( z1 z0 ) n zn

y por lo tanto es distinto de cero, asumiendo, como de hecho se hace, que los exponentes z0 , z1 , . . . , zn son distintos.

Revista Pensamiento Matemtico- Nmero 0 - Abr11 ISSN 2174-0410

14