Calculus 7e 2011 de James Stewart (no Early Transcendentals) presenta las dos formas de definir un logaritmo. Primero, en la página 404 del § 6.3, Stewart define como el inverso de . Luego, en la página 414 del § 6.4, demuestra que .
Segundo, en la p. 421 en §6.2*, primero define . Luego, en la página 429 en §6.3*, define .
En cualquier caso, ¿cómo agrega algo este comentario a la motivación o intuición detrás ?
Voy a retroceder en el tiempo hasta el desarrollo del logaritmo. El registro era una forma de realizar la multiplicación (en alguna base) simplemente usando la suma. Es decir, cada vez que agrega un número, su salida es proporcional a la última salida.
En algún momento poco después, los matemáticos estaban trabajando en técnicas de integración. Se dieron cuenta de que los métodos básicos para encontrar antiderivados funcionaban para todo excepto para 1/x. Sin embargo, se dio cuenta de que si se descompone el gráfico de 1/x, en segmentos cada vez más grandes (1-2, 2-4, 4-8, 8-16...) el área bajo la curva permanece igual. . esto es en realidad muy fácilmente demostrable! Pero ahora mira lo que encontraron... Descubrieron que el área bajo la curva aumenta por simple suma a medida que duplicas el intervalo. (Es decir, sumar el intervalo de área (1-2) + (2-4) + (4-8), es simplemente la misma área sumada 3 veces).
Esto debería llamarte la atención, porque así es exactamente como definimos un logaritmo para que funcione. Suma realizando multiplicaciones con algún número base.
Debido a que este logaritmo parecía ser tan "natural" (surgió por sí solo), se le llamó "logaritmo natural". Entonces se sabía la relación que ln(x) = integral de 1/x, antes de saber cuál era ese número base. Euler fue realmente capaz de calcular el número, ¡y la prueba de eso también es muy interesante! (Vea mi artículo para la prueba).
Una de las propiedades más importantes de los logaritmos es que
Ese comentario al que te vinculaste no es particularmente significativo. La razón es porque cualquier función de la forma por alguna constante obedece a la misma propiedad, a saber, que para ,
La pregunta básicamente se reduce a cómo , la base del logaritmo natural, está definida. Y la "explicación" en el comentario es una motivación inadecuada por la razón que describí.
En realidad, hay varias definiciones equivalentes para , cada uno demostrable de cualquiera de los otros, como el artículo de Wikipedia sobre (ver "Caracterizaciones alternativas"). En consecuencia, cómo uno motiva la existencia de esta constante depende de qué propiedades son de interés.