¿Cómo motivar el logaritmo descomponiendo 1/x1/x1/x en segmentos cada vez más grandes y demostrando que el área bajo la curva se mantuvo igual?

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 registro a X como el inverso de a y . Luego, en la página 414 del § 6.4, demuestra que d d X yo norte | X | = 1 X en | X | + C = 1 X d X .

Segundo, en la p. 421 en §6.2*, primero define en X = 1 X 1 t d t , X > 0 . Luego, en la página 429 en §6.3*, define mi X = y en y = X .

En cualquier caso, ¿cómo agrega algo este comentario a la motivación o intuición detrás registro ?

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).

Respuestas (2)

Una de las propiedades más importantes de los logaritmos es que

registro a + registro b = registro a b .
De hecho, si tratamos de resolver la ecuación funcional
(*) F ( a ) + F ( b ) = F ( a b ) ,
entonces la solución es F ( X ) = C registro X , dónde C es una constante arbitraria y registro es el logaritmo natural. Ahora considere la tarea de encontrar el área bajo la curva de 1 / X . Como señala Stewart, 'si descompones el gráfico de 1 / X en segmentos cada vez más grandes... el área bajo la curva permaneció igual'. Simbólicamente,
1 2 1 t d t = 2 4 1 t d t = 4 8 1 t d t =
Si jugamos un poco con esta ecuación, encontramos una forma intrigante de calcular áreas. Por ejemplo,
1 4 1 t d t = 1 2 1 t d t + 2 4 1 t d t = 1 2 1 t d t + 1 2 1 t d t
De manera más general, deja norte ser un entero positivo. Entonces,
1 2 norte 1 t d t = 1 2 1 t d t + 2 4 1 t d t + 4 8 1 t d t + + 2 norte 1 2 norte 1 t d t = 1 2 1 t d t + 1 2 1 t d t + 1 2 1 t d t + + 1 2 1 t d t norte  términos
¿Qué tiene que ver esto con los logaritmos? Bueno, si dejamos
F ( X ) = 1 X 1 t d t ,
entonces la ecuación anterior se traduce en
F ( 2 norte ) = F ( 2 ) + F ( 2 ) + F ( 2 ) + + F ( 2 ) norte  términos
lo que significa que parece que estas integrales tienen la propiedad
F ( a ) + F ( b ) = F ( a b ) !
La investigación adicional sugiere que esta propiedad no es exclusiva de los poderes de 2 —funciona para potencias de 3 , y todos los demás poderes para el caso. Por lo tanto, es sensato conjeturar que
F ( a ) + F ( b ) = F ( a b ) ,
en otras palabras que la integral
1 X 1 t d t
es un logaritmo. Y podemos probar esto de la siguiente manera:
1 a b 1 t d t = 1 a 1 t d t + a a b 1 t d t
Dejar z = t / a , significa que d z = 1 a d t = z t d t . Entonces nosotros tenemos
1 a b 1 t d t = 1 a 1 t d t + 1 b 1 z d z F ( a b ) = F ( a ) + F ( b ) .
Dado que la solución a (*) es F ( X ) = C registro X ,
1 X 1 t d t = C registro X
por alguna constante C . Es sólo cuestión de tiempo antes de que descubramos que C = 1 , brindándonos la motivación detrás de definir
registro X = 1 X 1 t d t .
Como lo indica la extensión de esta publicación, la forma más fácil de dar sentido a esta definición es elegir otro punto de partida y luego descubrir que
registro X = 1 X 1 t d t
como un teorema. Una vez que hayamos hecho eso, tiene sentido usar la integral como una forma alternativa de definir la función exponencial.

Ese comentario al que te vinculaste no es particularmente significativo. La razón es porque cualquier función de la forma F ( X ) = C / X por alguna constante C > 0 obedece a la misma propiedad, a saber, que para a > 0 ,

X = a 2 a C X d X = X = 2 a 4 a C X d X .
Entonces esta propiedad en sí misma no hace la elección C = 1 "especial" o "natural", aunque es la elección por la cual el número mi satisface
registro mi X = t = 1 X 1 t d t , X > 0.

La pregunta básicamente se reduce a cómo mi , 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 mi , cada uno demostrable de cualquiera de los otros, como el artículo de Wikipedia sobre mi (ver "Caracterizaciones alternativas"). En consecuencia, cómo uno motiva la existencia de esta constante depende de qué propiedades son de interés.