¿Cómo comparar los logaritmos log45log4⁡5\log_4 5 y log56log5⁡6\log_5 6?

necesito comparar registro 4 5 y registro 5 6 . Puedo estimar ambos números como 1.16 y 1.11 . Luego tomé la fracción más pequeña 8 7 que es mayor que 1.11 y más pequeño que 1.16 y probar dos desigualdades:

registro 4 5 > 8 7
7 8 registro 4 5 > 1
registro 4 8 5 7 > 1
registro 65536 78125 > 1
y
registro 5 6 < 8 7
7 8 registro 5 6 < 1
registro 5 8 6 7 < 1
registro 390625 279936 < 1
por eso tengo registro 5 6 < 8 7 < registro 4 5 .

Pero para probar necesito estimar ambos logaritmos (sin esta estimación no puedo encontrar la fracción para comparar). ¿Me pueden ayudar a encontrar una solución más clara (sin gráficos)?

¿Qué pasaría si los expresaras en términos de un logaritmo con la misma base?
@MatthewLeingang ¿Qué base debo elegir? Traté de tomar la base 5 y tener registro 5 4 registro 5 6 comparar con 1.

Respuestas (5)

Usa la desigualdad Am-Gm y el hecho de que registro X esta incrementando:

registro 6 registro 4 < ( registro 6 + registro 4 ) 2 4 = registro 2 24 4 < registro 2 25 4 = registro 2 5

Entonces

registro 5 6 = registro 6 registro 5 < registro 5 registro 4 = registro 4 5

F ( X ) = registro X ( X + 1 )
es una función estrictamente decreciente para X > 1 .

Puedes ver esto encontrando F ( X ) y notando que F ( X ) < 0 para todos X > 1 .

Lema si v tu X > 1 y y / X > v / tu , entonces registro X y > registro tu v .

Prueba Let α = registro X y , y β = registro tu v 1 . Entonces X α 1 = y / X > v / tu = tu β 1 X β 1 , por lo tanto α > β .

Tenemos 5 / 4 > 6 / 5 , por lo que el lema da registro 4 5 > registro 5 6 .

La solución de @ aid78 (+1) explica esto mejor que yo. Solo tuve un vago presentimiento de que algo como este "lema" debe ser cierto, pero [s] ha demostrado la intuición detrás de esto: registro X y = registro X ( X ( y / X ) ) = 1 + registro X ( y / X ) > 1 + registro X ( v / tu ) 1 + registro tu ( v / tu ) = registro tu ( tu ( v / tu ) ) = registro tu ( v ) . ¡Eso es mucho mejor!

He encontrado una solución más

registro 4 5 > registro 5 6
registro 4 ( 4 + 1 ) > registro 5 ( 5 + 1 )
registro 4 4 ( 1 + 0.25 ) > registro 5 5 ( 1 + 0.2 )
1 + registro 4 ( 1 + 0.25 ) > 1 + registro 5 ( 1 + 0.2 )
registro 4 ( 1 + 0.25 ) > registro 5 ( 1 + 0.2 )
registro 4 ( 1 + 0.25 ) > registro 4 ( 1 + 0.2 ) registro 4 5
registro 4 ( 1 + 0.25 ) > registro 4 ( 1 + 0.2 ) > registro 4 ( 1 + 0.2 ) registro 4 5
QED

5 4 > 6 5 4 < 5 registro 5 4 registro 4 > registro 6 5 registro 5 registro 5 registro 4 > registro 6 registro 5 .