a que conjunto pertenece la raiz cuadrada de 2
Esta contradicción nos hace concluir que la suposición de que "formula_22" y "formula_30" son números enteros es falsa y que formula_1 no puede ser una fracción formula_58 tal que formula_59. Por tanto, formula_1 debe ser un número irracional.