Demostracin de que 2 es irracional:

Supongamos que r es un nmero racional. Entonces, existe una fraccin irreducible de nmeros enteros p/q tal que r = p/q. Pueden ocurrir dos cosas, que q sea 1 o que no. Caso q = 1 En este caso, r es entero r = p. Si ! r ! es menor o igual que 1, entonces r 2 es menor o igual que 1 , por tanto, distinto de 2. Si ! r | es ma or que 1, entonces, como r es entero, r 2 , entonces, r 2" , por tanto, distinto de 2. Caso q 1 En este caso, ( p / q )2= p 2 / q2 tambi#n es una fraccin irreducible que tiene denominador distinto de 1 , por tanto, no es un nmero entero$ en particular, tampoco %ale 2. &, como r es p/q, tenemos que r 2 es distinto de 2. 'emos probado que si r es un nmero racional, entonces su cuadrado es distinto de 2. &, en consecuencia, 2 no puede ser un nmero racional, es decir, 2 es un nmero irracional.