Demostracin "elemental" de que el nmero e es irracion...

http://gaussianos.com/demostracion-elemental-de-que-el...

noticias y ltima hora Home Archivo Quines somos? Contacto Ganadores del concurso #MatGaussianos

Porque todo tiende a innito...

Hay nuevos comentarios sin leer

Demostracin elemental de que el nmero e es irracional

Escrito por ^DiAmOnD^ el 17/09/2012 Categora(s): Demostraciones, Otras constantes 21 comentarios A estas alturas el hecho de que que el nmero e sea irracional (es decir, que no se puede expresar como cociente de dos nmeros enteros) es bien conocido por muchos de los que hemos tenido algn contacto con las matemticas. Pero, sabemos demostrarlo? En Gaussianos ya publicamos una demostracin de la irracionalidad del nmero e. Hoy vamos a ver otra que esencialmente es la misma, pero que ahorra un peln en uno de los ltimos pasos. Vamos a razonar, como en muchas ocasiones, por reduccin al absurdo (para quien todava no sepa en qu consiste este mtodo de demostracin, en este post expliqu cmo funciona). Supongamos que el nmero e es racional, es decir, , con Dando la vuelta a la fraccin y utilizando la expresin de nmeros enteros. como suma innita,

obtenemos lo siguiente:

Separamos esta suma en dos sumandos, uno en el que anterior queda de la siguiente forma:

va de

y otro en el que va de

a innito. La igualdad

Si pasamos restando la primera de esas sumas al miembro de la izquierda nos queda lo siguiente:

Multiplicamos ahora a ambos lados por

. Queda

Y simplicando obtenemos lo siguiente:

1 de 10

30/12/12 15:06

Demostracin "elemental" de que el nmero e es irracion...

http://gaussianos.com/demostracion-elemental-de-que-el...

Analicemos el lado izquierdo de la igualdad. El primer trmino, segundo, , tambin lo es, al ser

, es claramente un nmero entero. Y el

(hecho que, entre otras cosas, asegura que todas esas

fracciones son nmeros enteros). Por tanto, el lado izquierdo de esa igualdad es un nmero entero. Veamos ahora qu ocurre con el lado derecho. Desglosemos dicha suma:

Sabemos que esta serie alternada es convergente (por el criterio de Leibniz), y sabemos que su suma, , ser un valor real entre el primer trmino y la suma de los dos primeros trminos manteniendo los signos (por qu?), que son y que por ser son dos nmeros que estn entre 0 y 1. Por tanto, , por lo que , el lado derecho de la igualdad, no puede ser un nmero entero. Pero el lado izquierdo de la igualdad s lo era. sta es la contradiccin buscada: un nmero entero no puede ser igual a un nmero no entero. Esta contradiccin proviene del hecho de suponer que el nmero e es racional, por lo que esto implica que el nmero e es un nmero irracional. Cierto es que el concepto "elemental" es muy relativo y depende muy mucho de los conocimientos y de la soltura que tenga cada uno con estos temas. Pero teniendo en cuenta que los resultados utilizados no exceden de lo que debe saber un alumno de primero de una carrera cientca creo que la demostracin aqu explicada puede calicarse como elemental sin riesgo de exagerar. Qu pensis vosotros? Vista en Elementary proof that e is irrational.
0 1 0 43 46 9

Tags: irracionalidad del nmero e, nmero e

Artculos relacionados
Que tiene que ver el nmero e con los nmeros primos? El fractal de Fibonacci, una autntica belleza de construccin Poesa Una demostracin visual (explicada) del teorema de Ptolomeo Cmo demostrar que el nmero e es irracional

21 comentarios en Demostracin elemental de que el nmero e es irracional

1. Tito Eliatron dice: 17/09/2012 a las 11:40 Vtalo
0

Ciertamente, que es elemental. Responder 2. Bitacoras.com dice: 17/09/2012 a las 12:20 Vtalo
0

Informacin Bitacoras.com Valora en Bitacoras.com: A estas alturas el hecho de que que el nmero e sea irracional (es decir, que no se puede expresar como cociente de dos nmeros enteros) es bien conocido por muchos de los que hemos tenido algn contacto con las matemtic

2 de 10

30/12/12 15:06

Demostracin "elemental" de que el nmero e es irracion...

Responder 3. jjbbrr dice: 17/09/2012 a las 12:44 Vtalo
0

http://gaussianos.com/demostracion-elemental-de-que-el...

Hay una errata en la frmula que sigue a: Si pasamos restando la primera de esas sumas al miembro de la izquierda nos queda lo siguiente: falta un signo en el primer miembro, entre b/a y el sumatorio. Muy bonita la demostracin, si. Responder 4. bibliotranstornado dice: 17/09/2012 a las 13:40 Vtalo
0

S es elemental porque es la primera vez que entiendo la demostracin de la irracionalidad de e. Responder 5. gaussianos dice: 17/09/2012 a las 14:51 Vtalo
0

jjbbrr, no, no es una errata, es que se une a a lnea de la fraccin. Le pongo un espacio ahora mismo. Responder 6. Cristhian Camacho dice: 17/09/2012 a las 18:10 Vtalo
0

Muy Bien explicada la demostracin: Muy aclaratorio el nal: sta es la contradiccin buscada: un nmero entero no puede ser igual a un nmero no entero. Algunos se queran con sta es la contradiccin buscada y algunos nos quedariamos con a pregunta: Cual es la contradiccin? despus de habernos perdido a medio razonamiento. Les dejo un fragmento (que me vino a la mente, no se porque) de libro -Los Grandes Matemticos-E.T. Bell: _______________________________________________________________ El concepto de transcendencia es extraordinariamente simple y tambin extraordinariamente importante. Cualquier raz de una ecuacin algebraica cuyos coecientes son enteros racionales (0, 1, 2, ) se llama un , son nmeros algebraicos, debido a que son races de las respectivas ecuaciones nmero algebraico. As , , en las cuales los coecientes (1, 1, para el primero, 50, 139 para el segundo) algebraicas. son enteros racionales. Un nmero que no es algebraico se llama transcendente. Dicindolo con otras palabras, un nmero transcendente es aquel que no satisface una ecuacin algebraica de coecientes enteros racionales. El primero que demostr que ciertos nmeros son transcendentes fue Joseph Liouville (el mismo que alent a Hermite a escribir a Jacobi) As, cuando Hermite demostr, en 1873, que es transcendente, el mundo matemtico qued asombrado ante la maravillosa sencillez de la prueba. Desde los tiempos de Hermite se ha demostrado que muchos nmeros (y clases de nmeros) son transcendentes. Observaremos de pasada que probablemente se han de producir nuevas pleamares en las costas de este oscuro mar. En 1934, el joven matemtico ruso Alexis Gelfond demostr que todos , donde no es ni , y es cualquier nmero algebraico irracional son transcendentes. los nmeros del tipo Esto resuelve el sptimo de los 23 problemas matemticos sobresalientes sobre los que David Hilbert llam la atencin de los matemticos en el Congreso internacional de Pars en 1900. Obsrvese que irracional es , donde , son enteros racionales, entonces , necesario en el enunciado del teorema de Gelfond (si ), y puede demostrarse que esta ecuacin es donde es cualquier nmero algebraico, es una raz de equivalente a una cuyos coecientes son todos enteros racionales. La victoria inesperada de Hermite sobre la obstinada e hizo suponer a los matemticos que podra ser sometida siguiendo un procedimiento similar. Sin embargo, por lo que se reere a Hermite ya haba hecho bastante. No arriesgar nada, escriba a Borchardt, para intentar demostrarla transcendencia del nmero . Si otros

3 de 10

30/12/12 15:06

Demostracin "elemental" de que el nmero e es irracion...

http://gaussianos.com/demostracion-elemental-de-que-el...

emprenden esta empresa, nadie ms feliz que yo si triunfan en ella, pero creo, mi querido amigo, que ser a costa de muchos esfuerzos. Nueve aos ms tarde (en 1882), Ferdinand Lindemann, de la Universidad de Munich, usando mtodos muy semejantes a los seguidos por Hermite para la solucin de , demostr que es transcendente, resolviendo as para siempre el problema de la cuadratura del crculo. De lo que Lindemann demostr se deduce que es imposible construir con regla y comps un cuadrado cuya rea sea igual a la de un crculo dado, problema que ha atormentado a generaciones de matemticos, ya antes de la poca de Euclides. Todos los charlatanes que aun se sienten atormentados por el problema deben plantearse concisamente la forma como resolvi la cuestin Lindemann. Este autor demostr que no es un nmero algebraico. Pero cualquier problema geomtrico que es resoluble con la ayuda de la regla y el comps, cuando se lleva a su forma algebraica equivalente, conduce a una o ms ecuaciones algebraicas con coecientes enteros racionales, que pueden ser resueltas por sucesivas extracciones de races cuadradas. Como no satisface tal ecuacin, el crculo no se puede cuadrar con dichos instrumentos. _______________________________________________________________ Me encanta ese libro, hallar alguien que explica las matemticas y que dice un poco de historia es fantstico, es como que las matemticas son un arte y como cualquier arte el estudiante debe aprender las distintas tcnica existentes por ejemplo en la pintura: Pintura renacentista, Pintura barroca, Pintura neoclsica, Pintura romntica, Impresionismo, Simbolismo, Modernismo y Vanguardismo, Expresionismo, Cubismo, Arte abstracto, Surrealismo, Art dec, Pop-art, Arte postmoderno, etc. Y as el estudiante del arte de la pintura al conocer acerca de las tcnicas existentes, la cultura en la que vivan los hombres que generaron esas ideas, recin despus conocer lo existente el estudiante puede lanzarse a descubrir su propia tcnica. Responder 7. pcrdeg dice: 17/09/2012 a las 21:59 Vtalo
0

Corregidme si me equivoco pero esta demostracin no muy retocada permitira probar la irracionalidad de e^x con x racional no nulo. Creo que voy a intentar demostrarlo, porque la cosa promete Responder 8. pcrdeg dice: 17/09/2012 a las 22:57 Vtalo
0

Grrrr. He fallado en intentar demostrar de que con ligeros retoques de la demostracin elemental se poda demostrar que e^x es irracional para todo x racional no nulo. Como dato positivo, mi conjetura no iba desencaminada: en efecto e^x es irracional para todo x racional no nulo. Si suponemos conocido que e es transcendente la demostracin es muy sencilla: Suponiendo que e^(p/q) es racional, tambin lo sera e^p pues e^p=[e^(p/q)] ^q . Pero de ser e^p racional tendramos que e^p=a/b luego e sera raz del polinomio de coecientes enteros bx^p-a luego e no sera transcendente. Contradiccin. Responder 9. Ratoncillo de biblioteca dice: 17/09/2012 a las 23:37 Vtalo
0

Se podra dar un argumento ms directo observando que laserie decrecen en valor absoluto: Sea

es una serie alternada cuyos trminos

la sucesin de sumas parciales de dicha serie, entonces se verica que luego

Observemos es entero para todo . Si fuese racional, tomando sucientemente grande, tambin es entero. Pero entonces tendramos un entero en el intervalo lo que es imposible. Responder 10. Zurditorium dice:

4 de 10

30/12/12 15:06

Demostracin "elemental" de que el nmero e es irracion...

17/09/2012 a las 23:40 Vtalo
0

http://gaussianos.com/demostracion-elemental-de-que-el...

Uhm, creo que hay una pequea errata, despus de donde dice y sabemos que su suma, S, ser un valor real entre el primer trmino y la suma de los dos primeros trminos Ciertamente el primer trmino es una cota de la serie, pero una cota superior, y por cota inferior efectivamente podemos tomar la suma de los dos primeros trminos, pero respetando el signo, vamos, que que donde pone

debera de poner

De nuevo ambos nmeros estn entre 0 y 1 y por tanto el resto de demostracin vale igualmente.

Responder 11. Ratoncillo de biblioteca dice: 17/09/2012 a las 23:45 Vtalo

0

En mi comentario anterior, quise decir hacer copy/paste). Responder 12. gaussianos dice: 18/09/2012 a las 03:17 Vtalo
0

es entero para todo

(se me olvid quitar lo que sobra al

Cierto Zurditorium, lo cambio ahora mismo. por cierto, ya he arreglado lo de tus comentarios. El problema es que el plugin de edicin de comentarios se lleva mal con las contrabarras. Lo que hace cada vez que editas es quitar una de donde la encuentre, por lo que una solucin para que no se cargue el comentario es poner dos contrabarras . donde deba haber una. As quitar una y dejar la otra Aunque bueno, siempre se puede utilizar la Vista Previa antes de publicar el comentarioaunque creo que nadie la . usa grrrr Responder 13. Demostracin "elemental" de que el nmero e es irracional dice: 18/09/2012 a las 04:31 Vtalo
0

[...] Demostracin "elemental" de que el nmero e es irracional gaussianos.com/demostracion-elemental-de-queel-numero-e- por gabrielin hace nada [...] Responder 14. Demostracin "elemental" de que el nmero e es irracional dice: 18/09/2012 a las 08:19 Vtalo
0

[...] de Queso y Caramelo 4 alma 20 Demostracin "elemental" de que el nmero e es irracional top por Goefry en ciencia | matemticas hace [...] Responder 15. futurama dice: 20/09/2012 a las 18:25 Vtalo
0

5 de 10

30/12/12 15:06

Demostracin "elemental" de que el nmero e es irracion...

http://gaussianos.com/demostracion-elemental-de-que-el...

Porqu es entera la segunda parte del lado izquierdo de la desigualdad? El -1 elevado vale, pero el sumatorio? Responder 16. gaussianos dice: 20/09/2012 a las 19:09 Vtalo
0

futurama, como el sumatorio llega hasta tenemos que es siempre menor que , por lo que mltiplo de , y en consecuencia esa divisin es un nmero entero positivo. Entendido? Responder 17. Luis Felipe Villavicencio Lpez dice: 21/09/2012 a las 04:41 Vtalo
0

es siempre un

Disculpen pero 0.9999999 (peridico puro) = 1 ok lo s ese = en realidad signica converge a Responder 18. Juanjo Escribano dice: 21/09/2012 a las 08:47 Vtalo
0

No Luis Felipe el N 0.9999 (peridico puro) es =1 (no converge, es el mismo N en otra representacin) Responder 19. Juanjo Escribano dice: 21/09/2012 a las 09:13 Vtalo
0

1 = 3/3 = 3 * (1/3) = 3 * 0.33333 (p.p.) = 0.999999 (p.p.) Responder 20. gaussianos dice: 21/09/2012 a las 14:49 Vtalo
0

Luis Felipe, echa un ojo a esto: igualdad extraa Responder 21. e | , dice: 30/10/2012 a las 22:05 Vtalo
0

[...] : http://gaussianos.com/demostracion-elemental-de-que-el-numero-e-es-irracional/ [...] Responder Puedes utilizar cdigo LaTeX para insertar frmulas en los comentarios. Slo tienes que escribir
[latex]cdigo-latex-que-quieras-insertar[/latex]

o
$latex cdigo-latex-que-quieras-insertar$.

Si tienes alguna duda sobre cmo escribir algn smbolo puede ayudarte la Wikipedia. Utiliza la Vista Previa antes de publicar tu comentario para asegurarte de que las frmulas estn correctamente escritas.

6 de 10

30/12/12 15:06

Demostracin "elemental" de que el nmero e es irracion...

http://gaussianos.com/demostracion-elemental-de-que-el...

Deja un comentario
Tu direccin de correo electrnico no ser publicada. Los campos necesarios estn marcados * Nombre * Correo electrnico * Web Comentario

Puedes usar las siguientes etiquetas y atributos HTML: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>

Vista Previa

Publicar

Comments will be closed on 30/10/2013. Avsame de nuevos comentarios por correo electrnico. Recibir un email con cada nuevo post.

Encuentra a Gaussianos en

Suscrbete a Gaussianos
Por RSS Por email

Vota a Gaussianos en los Premios 20Blogs

7 de 10

30/12/12 15:06

Demostracin "elemental" de que el nmero e es irracion...

http://gaussianos.com/demostracion-elemental-de-que-el...

Gaussianos
Entra en LaBlogoteca a valorar este blog Puntuacin: 23 comentarios

Premios 20Blogs
Este blog participa en los Premios 20Blogs 2012 en la categora: Ciencia, Tecnologa e Internet

Buscar

Buscar
Yo constru el poliedro de Csszr
nete a la iniciativa Yo constru el poliedro de Csszr. Haz click en la imagen para conocer todo los detalles.

Y visita este set de Flickr para ver las construcciones de los lectores de Gaussianos.

Matemticos Clebres
Si quieres saber cundo nacieron los matemticos ms importantes de la historia, entonces ste es tu calendario. Matemticos Clebres
lun mar mi jue vie sb dom 26 27 28 29 30 1 de dic 2 3 10 4 5 6 BonaventuraIvanovich Lobach Nikolai Cavalieri 7 8 9 +2 ms 11 Werner Heisenberg 16 12 13 Leopold Kronecker 14 15

Carl Jacobi 19 George Plya Vite 17 18 Ludwig Sylow Jnos 23 20 Franois Bolyai 21 22 +3 ms Sophus Lie Mikhail Leonidovich Grom 24 25 26 27 28 29 30 Charles Hermite 3 John Thomas Stieltjes 31 1 de ene 2 Jacob Bernoulli 6 4 von Neumann 5 +2 ms Isaac Newton Camille Jordan

Puedes acceder al mismo haciendo click en este enlace.

Imprimir artculos
Puedes imprimir cada artculo de Gaussianos de forma individual. Visita la entrada Imprime los artculos de Gaussianos y sigue las instrucciones.

Gaussianos en Facebook
Find us on Facebook

Gaussianos
Like 2,344 people like Gaussianos.

Facebook social plugin

8 de 10

30/12/12 15:06

Demostracin "elemental" de que el nmero e es irracion...

http://gaussianos.com/demostracion-elemental-de-que-el...

Categoras

Elegir categora
Blogroll
Acertijos y ms cosas Acertijos y pequeos enigmas Blog de Juan de Mairena Ciencia de Bolsillo Ciencia Kanija Cuentos Cunticos Curioso Pero Intil (CPI) Division by Zero dy/dan Edumat Matemticas Educativas Edumate Per El Agujero: la web de Ozarfreo El blog de Terry Tao El Espejo Ldico El Paraso de las Matemticas Eulerianos Eureka Genciencia God Plays Dice Grado 361 Guirnalda Matemtica Historias de la Ciencia Juegos Topolgicos La Covacha Matemtica Mathblogging Mati y sus mateaventuras Mati, una profesora muy particular Microsiervos RSME To Petros Tito Eliatron Dixit Topologa I

Comentarios recientes
Bitacoras.com en (Lo que yo considero) Lo mejor de 2012 en Gaussianos Andrs Muoz en Este juego tiene ganancia esperada innita. Cunto pagaras por jugar? (Lo que yo considero) Lo mejor de 2012 en Gaussianos - Gaussianos en Cambiando la regla y el comps por piezas de mecano para construir distintos tipos de nmeros (Lo que yo considero) Lo mejor de 2012 en Gaussianos - Gaussianos en La hiptesis del continuo: del susto de Cantor a la prueba de Cohen (Lo que yo considero) Lo mejor de 2012 en Gaussianos - Gaussianos en Recopilacin de relojes matemticos (Lo que yo considero) Lo mejor de 2012 en Gaussianos - Gaussianos en Algunas lecciones de lgica para el da a da (Lo que yo considero) Lo mejor de 2012 en Gaussianos - Gaussianos en Calcular el rea bajo la campana de Gauss con clculo en una variable (Lo que yo considero) Lo mejor de 2012 en Gaussianos - Gaussianos en Frikismo matemtico plasmado en exmenes (Lo que yo considero) Lo mejor de 2012 en Gaussianos - Gaussianos en La representacin fractal de la conjetura de Collatz gaussianos en Este juego tiene ganancia esperada innita. Cunto pagaras por jugar?

Gaussianos colabora con

9 de 10

30/12/12 15:06

Demostracin "elemental" de que el nmero e es irracion...

http://gaussianos.com/demostracion-elemental-de-que-el...

Premios Carnaval de Matemticas

2012 Gaussianos Gaussianos utiliza WordPress con el theme NewsLayer y con logo y favicon creados por Alpoma Powered by WordPress | Designed by: FThemes.com | Thanks to YouTube to Mp3 Converter, free photo editor and WordPress 3.4 Themes

10 de 10

30/12/12 15:06