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,… Lee más »
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] = ————————–… Lee más »
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… Lee más »
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… Lee más »
[…] 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 :).