Existen varias pruebas de la irracionalidad de basadas en el método del descenso infinito y en el método de reducción al absurdo, que se fundamenta en suponer que es un número racional y llegar, utilizando razonamientos rigurosamente correctos, a una contradicción, lo que hace concluir que la primera suposición tiene que ser falsa.