Creo que el uso de contradicción es bueno.
Suponga $\log_23$ es racional
Entonces $\exists p\in \Bbb{Z}, q\in \Bbb{Z}^*: \log_23 = \frac{p}{q}$ $p, q$%#% no tiene factores comunes.
A continuación, $3^{q}=2^{p}$
...
Aquí no pude continuar. Podría alguien dar algún consejo?