Aquí hay una respuesta motivada por la definición original del logaritmo natural (bueno, en lo que respecta a muchos textos de cálculo, de todos modos), y no invoca exponenciales de ninguna manera. De hecho, es suficiente mostrar que [math] \ log {a} + \ log {b} = \ log {ab} [/ math].
Ahora, la definición original de [math] \ log {x} [/ math] (algunos prefieren [math] \ ln {x} [/ math] pero en lo que a mí respecta, todos los logaritmos son iguales hasta un factor constante de todos modos, y que la base [matemática] e [/ matemática] es la original) viene dada por
[matemáticas] \ displaystyle \ log {x} = \ int_1 ^ x \! \ frac {1} {t} \, dt [/ math],
definido para [matemáticas] x> 0 [/ matemáticas].
Ahora tenemos
[matemáticas] \ log {a} + \ log {b} = \ int_1 ^ a \! \ frac {1} {t} \, dt + \ int_1 ^ b \! \ frac {1} {t} \, dt [/ math]
Para la segunda integral, haga sub [math] t = au, dt = a \, du [/ math] y obtenemos
[matemáticas] \ log {a} + \ log {b} = \ int_1 ^ a \! \ frac {1} {t} \, dt + \ int_ {a} ^ {ab} \! \ frac {1} {u} \, du [/ math]
[matemáticas] = \ int_1 ^ a \! \ frac {1} {t} \, dt + \ int_ {a} ^ {ab} \! \ frac {1} {t} \, dt [/ math]
[matemáticas] = \ int_1 ^ {ab} \! \ frac {1} {t} \, dt = \ log {ab} [/ math] como se desee.
La pregunta se sigue de allí.
Editar: por lo que Quora no admite el entorno \ align. Maldita sea. O incluso saltos de línea para el caso. Doble maldita sea.
- ¿Por qué [math] \ log x + \ log y = \ log (x \ times y) [/ math]?
- ¿Qué enteros no se pueden representar como la diferencia de dos cuadrados?
- ¿Cómo factorizas [matemáticas] x ^ 3-6x ^ 2 + 11x-6 = 0 [/ matemáticas]?
- ¿Cómo se puede integrar (x ^ 2 + 2x +2) ^ 0.5?
- Sea [matemáticas] N = 11 ^ 2 \ veces 13 ^ 4 \ veces 17 ^ 6 [/ matemáticas]. ¿Cuántos factores positivos de [matemática] N ^ 2 [/ matemática] son menores que [matemática] N [/ matemática] pero no un factor de [matemática] N [/ matemática]?