Su irracionalidad se prueba asumiendo que es un número racional; esto es que existe un racional formula_16, que cumple la ecuación formula_17; supuesto que lleva a una contradicción.