Documente Academic
Documente Profesional
Documente Cultură
irracionalidad de raíz de 2
Publicado por ^DiAmOnD^ el 2 de
noviembre de 2006
en Demostraciones, Otras
constantes, Teoremas | 45 comentarios
Como ya hemos dicho alguna que otra vez en este blog se sabe que raíz de 2 es
un número irracional, es decir, que no puede escribirse en forma de fracción.
Pero todavía no os habíamos mostrado ninguna demostración. En este post
vamos a ver dos demostraciones posibles de este hecho. La primera de ellas es la
que podíamos denominar clásica, la que suele aparecer en todos los escritos
sobre el tema, y que usa reducción al absurdo. La segunda no es ni mucho menos
común, ya que usa descenso infinito. Vamos a verlas:
Por tanto p2 debe ser múltiplo de 2, lo que implica que p también es un múltiplo de
2. Es decir, p = 2k para un cierto k. Sustituímos este valor de p en la expresión
anterior y simplificamos un 2 de esa igualdad:
Podemos suponer sin ningún problema que p y q son positivos. Nos va a interesar
concretamente que q > 0. A partir de aquí demostraremos que raíz de 2 es igual a
otra fracción cuyo denominador también es positivo y además menor que q. Esto
implicaría que podríamos encontrar una sucesión de número enteros positivos
decreciente infinitamente, lo cual es imposible.
El siguiente paso también es igual que en el caso anterior: