Traté de probar es irracional usando el método de la contradicción sabiendo que es irracional:
Dejar
estar en su forma más simple donde y son enteros positivos.Ahora tenemos
Ahora es siempre un entero positivo par.
¿Cómo podemos razonar eso? nunca puede ser un entero?
Bueno, si uno acepta el hecho de que es trascendental sobre , entonces no puede ser racional, ya que si
entonces sería una raíz de
es decir, sería un número algebraico , no trascendental.
angina de pecho