Una prueba de que la raz cuadrada de tres es irracional:

Por un momento supongamos que x es un nmero racional. Entonces, existe una fraccin irreducible de nmeros enteros a/b tal que x = a/b, siendo b un entero mayor o igual que 1. Pueden ocurrir dos cosas, que b sea 1 o que no. Caso en que b es igual a 1 En este caso, x es entero y x = a. Si | x | es menor o igual que 1, entonces el cuadrado de x es menor o igual que 1 y, por tanto, distinto de tres. Por otra parte, si | x | es mayor que 1, entonces, como x es un nmero entero, entonces x y, entonces, x ! y, por tanto, es distinto de tres. Caso en que b es disntinto de 1 En este caso, ( a / b ) , que es a / b , tambi"n es una fraccin irreducible que tiene denominador distinto de 1 y, por lo tanto, no puede ser un nmero entero y, en particular, tampoco puede #aler . $, como x en realidad es a/b, tenemos que x no #ale tres. %asta a&ora, &emos demostrado que si x es un nmero racional, entonces el resultado de ele#arlo al cuadrado da un nmero que no #ale tres. Por tanto, la ra'( cuadrada de tres debe ser un nmero irracional. CQD