El número e es bien conocido en el mundo de las Matemáticas. Es la base de los logaritmos neperianos, y su valor redondeando a 5 decimales es e = 2′71828. Se sabe que es un número irracional1 y trascendente2. El post va a estar dedicado a demostrar que e es irracional. Demostraremos este hecho mediante reducción al absurdo (en este post vimos en qué consistía este método de demostración). Vamos con ella:
Comenzamos mostrando una propiedad bien conocida del número e:
(1)
Supongamos ahora que podemos obtener e como cociente de dos enteros positivos (por la expresión anterior claramente e debe ser positivo), es decir:
(2)
siendo p y q enteros positivos. Multiplicamos la expresión (1) por q! a ambos lados, obteniendo:
(3)
Por (2) tenemos que q!e es un número entero, y claramente la parte de la suma que aparece explícitamente en (3) también es un número entero. Por tanto la diferencia entre ellos, digamos R, también será un número entero (y positivo). Veamos qué forma tiene R:
Simplificamos los factoriales:
Como q + 2 > q + 1, q + 3 > q + 1, etc, se cumple la siguiente desigualdad:
Sacando factor común y usando la fórmula de la suma de una progresión geométrica:
Pero q era un entero positivo, por tanto q > 1. En consecuencia su inverso será menor que 1. Tenemos entonces que R es un número entero positivo que cumple la siguiente cadena de desigualdades:
Pero como no existe ningún número entero entre 0 y 1 tenemos que la esta situación no puede darse. Es decir, hemos llegado a una contradicción que partió del hecho de suponer que e era racional. Por tanto, utilizando reducción al absurdo, obtenemos que el número e es un número irracional.
Fuente: Math Forum
1: Un número real se dice irracional si no puede expresarse mediante como cociente de números enteros. Se caracterizan por tener una expresión decimal con infinitos decimales que no siguen ningún período.
2: Un número real se dice trascendente si no es solución de ninguna ecuación polinómica con coeficientes enteros. Es lo contrario de número algebraico
¿Te ha gustado la entrada? Puedes invitarme a un café, Gauss te lo agradecerá 😉
jejeje me ausente sin querer pero recuperare el tiempo,gracias por las aclaraciones pero entonces porque llamarlos diferente.
DiAmOn:no puedo ver la demostracion de pi,tal vez haya otro enlace,gracias de todos modos.
aaaaaaaaaaaaaaaaaaaaaaaaaaah!!! Ok, ok.
El “ii. reducción al absurdo o contradicción” y el “i. contrarrecíproco”.
A ver empezao por ahí!!. Si es que…
Muchas gracias
Sí, son cosas distintas. Una cosa es reducción al absurdo o contradicción y otra es contrarrecíproco.
uyyy, lo que me ha disho…
No sé, cuando tuve ese par de asignaturas, no me dió esa impresión. Es decir, ambas cosas valen para demostrar lo mismo “p implica q”. Pero cada una tenía sus cálculos.
¿No son caminos distintos? …si son la misma cosa…maestro, dime algo para iluminarme.
…Yo a matarme a diferenciarlos, y catapum! :_(
Sí, es lo mismo
Ay!, que ya me habéis hecho el hijo!!!
reducción al absudrdo y contradicción es lo mismo??
Guti tienes razón, reducción al absurdo y contradicción es lo mismo. Donde decía aquí contradicción quería decir contrarrecíproco.
Ok ^Diamond^, la última fue la vencida.
No Guti, no es lo mismo:
i. En contradicción, partes de “no q”, y trabajas con ello en toda la demostración hasta llegar a “no p”.
ii. En reducción al absurdo, trabajas con “no q”, pero APOYÁNDOTE en la hipótesis de que “p” es cierta. Y llegas a un absurdo.
Jajaja, seguimos montando el pollo.
Yo por reduccion al absurdo y contradiccion entiendo lo mismo. Ademas llamar contradiccion a lo que yo llamo (¬ q -> ¬ p) o bien “contrareciproco” puede llevar a confusion… o a contradiccion…:P
..
….
.
.
.
Es que la reduccion al absurdo es llegar a una contradiccion!! no? Yo digo.. venga… no q…. supongo que no q es cierto…ala… y termino formando un pollo terrible… y “q” me mira con cara de pocos amigos como diciendo: “tu ves.. eso te pasa por no confiar en mi…:(”
Voy a intentar explicar un poco mejor lo de reducción al absurdo:
Supongamos que queremos demostrar p implica q. Generalmente en estos casos sabemos que p es cierta, y con ello (por demostarción directa) podemos intentar demostrar la validez de q. Es decir, suponiendo que p es cierta demostramos q.
Por reducción al absurdo lo que haríamos sería suponer que p y no q son ciertas y a partir de ahí intentar llegar a una conclusión absurda, a una contradicción. Como sabemos de antemano que p es cierta (es la hipótesis de nuestro problema) concluímos que no q es falsa, y por tanto que q es cierta.
Espero haberme explicado un poco mejor ahora
Yo diria simplemente que la reduccion al absurdo consiste en suponer que p es falso. Si bajo esa hipoteisis llegas a una contradicción entonces p es cierto. Sin implicaciones ni q ni nada, ¿no?
Perdonad que me entrometa : ) en la reducción al absurdo se supone cierto lo contrario de lo que quieres demostrar. Es decir. Si quieres probar una implicación “p implica q” Debes partir de la hipotesis opuesta. La pregunta es: ¿Qué es lo contrario de “p implica q”?
Sigo sin comprender el punto 2.
No entiendo de que te vale saber q, para demostrar que p implica q.
…
Oh!, iluminación repentina: en la Reducción al absurdo partes de que “p implica no q”. Y llegas a un absurdo. Por lo tanto “p implica q”.
kaizen te lo explico:
1.- Contradicción: Para demostrar p implica q demuestro no q implica no p, ya que son equivalentes. Y para ello parto de no q para demostrar no p.
2.- Reducción al absurdo: Para demostrar p implica q supongo cierta no q y con ello llego a una contradicción. Eso me asegura que q es cierta.
¿Mejor?. Si hay dudas coméntalo
Perdón, en medio de [pq] tendría que haber una flecha biyectiva. Cosa que no sé pq no apareció.
^Diamond^
i. Contradicción: [p ->q] si y sólo si [no q -> no p], por eso demuestro “no q”.
ii. Reducción al absurdo: [p->q] supongo “no q” y hallo una contradicción. Por tanto “q” es cierta. Pero que “q” sea cierta, no me dice nada acerca de “p”. Otra cosa sería si [pq].
¿Me estoy equivocando en algo?
La de Pi es más complicada. Aquí puedes ver una.
Sobre las demostraciones:
1.- Contradicción: para demostrar que p implica q demostramos que la negación que q implica la negación de p.
2.- Reducción al absurdo: para demostrar que p implica q suponemos cierta la negación de q y llegamos a una conclusión contradictoria. Eso implica que q es cierta.
quiero confirmar.
cual es la diferencia entre demostraciones por reduccion al absurdo y por contradiccion.
bonita demostracion,y como es la de pi?.
Cierto, las veía por la caché.
He cambiado las imágenes a Flickr. Creo que ahora va todo bien. Si alguien detecta en algún post una imagen que no se ve que me lo comente y lo arreglo.
Gracias a todos. Saludos
Las ves en firefox pq están en la caché del navegador.
Auqneu siguiendo el link se ve al demostración “en modo texto” xD
Yo tampoco veo nada en Firefox ni IE
Pues yo con Firefox las veo perfectamente, pero me he dado cuenta de que con Internet Explorer no me aparecen.
Las tengo subidas en Zooomr. Si veo que la cosa sigue así las cambio.
Si a alguien más le pasa por favor que nos lo avise.
Saludos
No veo ninguna imagen con ningún explorador (Firefox 1.5, Firefox 2.0 Beta 2, Opera, iExplore). Creo que el servidor dónde las tienes actualmente alojadas está caído.
😉
Saludos!
[…] En Matemáticas hay igualdades muy útiles, interesantes o simplemente bellas. La identidad de Euler es, para mí, una igualdad que lo tiene todo. Relaciona los que podríamos considerar como los 5 números más importantes de las Matemáticas: e, π (Pi), i, 0 y 1. ¿Cómo los relaciona?. Pues de la siguiente forma: […]
NUEVA FORMULA PARA EL NUMERO PI
El metodo es circunscribir un poligono en una circunferencia
y calcular el perimetro de dicho poligono.El perimetro de un
poligono de infinitos lados su resultado es el numero pi.
El metodo es el de arquimedes para poligonos que estan fuera
de la circunferencia dicho con otras palabras.Asi pues la
formula no aporta una gran novedad simplemente dice con
otras palabras o sigue un camino paralelo al de la formula
de arquimedes para poligonos que estan fuera de la circunferencia.
La formula es el siguiente algoritmo iterativo.
2 * A[n] * B[n]
A[n+1] = ————————–
1 + B[n]
1 + B[n]
B[n+1] = RAIZ ( —————— )
2
los valores iniciales son A[0] = 4 y B[0] = RAIZ ( 1 / 2 )
El valor 4 de A[0] es igual a 4 * tangente [ pi/4 ]
considerando una circunferencia de radio 1 o lo que
es lo mismo un cuadrado que envuelve a una circunferencia
como valor inicial de partida.
El valor RAIZ ( 1 / 2 ) de B[0] es igual al coseno [ pi/4 ]
El valor de A[n] calculado cuando n tiende a infinito
es igual a PI
DEMOSTRACION
la demostracion que relaciona A[n] con A[n + 1] es la siguiente
seno [ pi/n ]
A[n] = tangente [ pi/n ] = ————————–
coseno [ pi/n ]
si lo dividimos por el inverso del coseno [ pi/n ]
seno [ pi/n ]
———————
coseno [ pi/n ]
—————————-
1
———————–
coseno [ pi/n ]
el coseno se anula.El seno [ pi/n ] que queda es igual a
2 * seno [ pi/(2*n) ] * coseno [ pi/(2*n) ]
si esta afirmacion la dividimos entre
2 * seno [ pi/(2*n) ] * coseno [ pi/(2*n) ]
—————————————————————–
coseno [ pi/(2*n) ] * coseno [ pi/(2*n) ]
el coseno se anula y lo que queda es
2 * seno [ pi/(2*n) ]
———————————–
coseno [ pi/(2*n) ]
asi pues A[n] = tangente [ pi/n ]
y A[n + 1] = 2 * tangente [ pi/(2*n) ]
asi pues la formula final sera
seno [ pi/n ]
————————–
coseno [ pi/n ]
————————————————————-
1
———————– * coseno [ pi/(2*n) ] * coseno [ pi/(2*n) ]
coseno [ pi/n ]
que es igual a
seno [ pi/n ]
—————————
coseno [ pi/n ]
————————————————————-
1 1 + coseno [ pi/n ]
———————— * ——————————-
coseno [ pi/n ] 2
que nos lleva finalmente a la identidad que hemos descrito al
principio
2 * A[n] * B[n]
A[n+1] = ——————————
1 + B[n]
por lo tanto el calculo de A[n] cuando n tiende a infinito
sera igual a PI
el calculo de B[n] es igual a calcular los sucesivos cosenos
mitad en numero de grados que en el paso anterior
para cualquier duda o consulta contactar con la direccion
de msn messenger oteropera@hotmail.com
R:
Hay una parte que no entiendo….
Pero q era un entero positivo, por tanto q > 1. En consecuencia su inverso será menor que 1.
… 1 es un entero positivo y no es mayor que 1.
O sea la demostración no esquiva el caso que e sea un entero, o no estoy viendo algo?
Salu2.
PD: Están interesantes los comentarios sobre la relación entre contrarecíproco y reducción al absurdo (podría crearse un tópico a parte).
perico tienes razón, ahí debería poner q mayor o igual que 1, y por tanto su inverso sería menor o igual que 1. De todas formas R seguiría siendo menor estrictamente que 1 y llegaríamos a la misma conclusión.
Buen comentario.
Saludos 🙂
Ja, no leí con suficiente calma, aunque debería decir «q mayor o igual que 1» como q + 2 > q + 1, q + 3 > q + 1 son desigualdades estrictas. El razonamiento para acotar R se mantiene más que firme.
Salu2 y gracias.
PD: No podemos quienes posteamos registrarnos?, pregunto porque (al menos en este tópico) solo veo
Ja, no leí con suficiente calma, aunque debería decir «q mayor o igual que 1» como q + 2 > q + 1, q + 3 > q + 1 son desigualdades estrictas; el razonamiento para acotar R se mantiene más que firme.
Salu2 y gracias.
PD: (Al menos en este tópico) solo veo que tú ^DiAmOnD^ tienes hipervínculo en tu nick. No hay forma de identificarse al postear?
Si en el campo de Web pones tu web tienes hipervínculo, sino nada. (Creo que está muy claro)
me refería a autentificarse, no a linkear
Autentificarse…¿quieres decir que cuando entres te reconozca tus datos: nick, mail y web? Creo que eso depende del navegador que uses, pero no me hagas mucho caso.
Si no es eso especifica más, que no nos enteramos 🙂
Sip a eso me refiería, conozco la página desde hace un par de días y no sé si un funciona como un foro en donde la gente se loguea ( algo así como la página http://www.subdivx.com ) o puede postear tb. como invitado.
Una última duda,¿Quiénes postean pueden hacerlo escribiendo con caracteres como en plataforma moodle y/o linkear algún documento como en el post de ^DiAmOnD^ (10 de Octubre de 2006 22:21)? ¿Si se puede, cómo hay que hacerlo?. Dejé mi e-mail esta vez. Me surgió la duda al leer leer el post de otero del 6 de Diciembre de 2006.
Salu2 nuevamente y felicitaciones por la página.
perico no, esto no funciona como un foro. Por ahora los artículos los escribimos Fran y yo. Vosotros podéis comentarlos.
Para escribir enlaces, negritas, cursivas, etc, hazlo con código html.
Saludos 🙂
El problema de esta demostración llega en el final, cuando supones que q, un número entero no es igual a 1, en este caso, lo que haría para afinar un poco es como q es uno, e=p/q–>e=p, entonces p es un número entero, ahora solo hay que demostrar que el número e está comprendido entre 23 con lo que lógicamente acabarías demostrando por completo dado que no existe un número entero entre 2 y 3.
Para esa demostración se puede hacer visualmente con una función F(x)=1/x (integrando o derivando según lo que busques), o mediante la fórmula (1+1/n)^n desarrollándola por el binomio de newton.
[…] tanto como son números irracionales (sobre esto último tenéis una demostración aquí y otra elemental aquí). Sí, el chiste es malo, pero venía que ni […]
En la discusion sobre la refuccion al absurdo y la contradiccion usais constantemente y erroneamente la expresion «p implica q». Lo correcto es leerlo «si p entonces q». De lo contrario, se cae en las paradojas de la implicacion material.
Hola, buenas noches.
Tengo una duda acerca de R, quisiera saber más de su obtención, me sería muy útil. Estudio matemáticas y estoy haciendo un proyecto que incluye dicha demostración
Hola, ¿qué tal?
Por muchas vueltas que le doy, no encuentro la manera de comprender cómo habéis calculado el valor de R. Cuando os referís a «la diferencia entre ellos», ¿a qué diferencia os referís exactamente?
Saludos!
Hola :).
Buen día, (no soy matemático).
No llego a ver la demostración. Veo que se demuestra que en el resto «R» es mayor de cero y menor que 1/q. Pero solo el resto, ¿que pasa con los primeros términos q!+q!/1!+q!/2!…..q!/q!? Tal vez la suma del resto «R» mas esta primera parte de la suma infinita si se pueda obtener como una fracción de dos enteros. No veo clara la demostración.
Buenas, Luis Miguel.
Lo que se hace es suponer que el número
es racional y, a partir de ahí, llegar a algo contradictorio. Dicha contradicción es la siguiente: se demuestra que R debería ser un númeroentero que está entre 0 y 
, pero resulta que entre esos dos números no hay ningún número entero (al ser latex]/frac{1}{q}[/latex] un numero real mayor o igual que 1).
Como se ha llegado a algo contradictorio, el resto de elementos no nos importan demasiado: ya sabemos que el número
no puede ser racional y, por tanto, es irracional.
Este método de demostración se llama «reducción al absurdo» y es muy utilizado en matemáticas. Conté algo más sobre él aquí.
Buenos días,
siento ser pesado, pero si no entiendo algo no puedo parar de hacerme preguntas. Entiendo el desarrollo hasta llegar al absurdo dentro de «R». Lo que me «cruje» es: «Por (2) tenemos que q!e es un número entero, y claramente la parte de la suma que aparece explícitamente en (3) también es un número entero. Por tanto la diferencia entre ellos, digamos R, también será un número entero (y positivo). Veamos qué forma tiene R:»
Pongamos que q!e = A + R; por hipótesis de partida «q!e» es entero, lo que implica que «A+R» es un número entero. Pero no implica que «A» sea entero y «R» sea entero, solo implica que la suma es entera.
Gracias
Efectivamente, tienes razón en lo que comentas, pero no has reparado en un detalle que se comenta en la demostración: la parte de la suma que aparece escrita en (3), que sería tu A, es claramente un número entero (ya que al simplificar las fracciones obtenemos números enteros en todas ellas). Por tanto,
también es un número entero.
Espero haberte aclarado la duda ahora.
OK, correcto. Que grandes son las matemáticas. Aunque me cuesta mucho entender algunas demostraciones.
Gracias y un saludo
Tranquilo, a todos nos cuesta a veces entender algunas demostraciones. Con tiempo y trabajo, conseguirás comprender todos los pasos.
Gracias a ti. Un saludo.