He aqui una demostración muy bonita de que la raíz de 2 es un número irracional;
esta demostración la dio Euclides, claro que con otro tipo de argumentos
La escribí en LaTeX y quedó como un .pdf, si quieren verla sólo hagan click en la imagen para verla más grande