Duda en demostrar que ln(2)ln⁡(2)\ln(2) es irracional

Traté de probar en ( 2 ) es irracional usando el método de la contradicción sabiendo que mi es irracional:

Dejar

en 2 = pag q
estar en su forma más simple donde pag y q son enteros positivos.

Ahora tenemos

mi pag q = 2
2 q = mi pag
Ahora 2 q es siempre un entero positivo par.

¿Cómo podemos razonar eso? mi pag nunca puede ser un entero?

Hay una prueba de que mi es trascendental, en particular, mi pag es irracional para enteros distintos de cero pag .

Respuestas (1)

Bueno, si uno acepta el hecho de que mi es trascendental sobre q , entonces mi pag no puede ser racional, ya que si

(1) mi pag = r q ,

entonces mi sería una raíz de

(2) X pag r q [ X ] ;

es decir, mi sería un número algebraico , no trascendental.