[math] \ log (x) [/ math] se define muy a menudo como la antiderivada de [math] 1 / x [/ math]. Formalmente, la definición es
[matemáticas] \ displaystyle \ log (x) = \ int_ {1} ^ {x} \ frac {dt} {t} [/ matemáticas]
de donde es evidente que [math] \ log ‘(x) = 1 / x [/ math]. Para demostrar que esta función es el logaritmo con base [math] e [/ math], primero demuestre que [math] \ log (ab) = \ log (a) + \ log (b) [/ math] para todos [math] ] a, \, b [/ math] de modo que los valores estén bien definidos, lo que (junto con la continuidad de la función) implica que es un logaritmo. Luego, defina la función inversa [math] \ exp (x) [/ math] y deje que [math] w = \ exp (1) [/ math] (muestre que [math] w <3 [/ math], usamos este resultado más adelante). Tenga en cuenta que debemos demostrar que [math] w = e [/ math].
Para hacer esto, observe la siguiente propiedad interesante de [math] \ exp (x) [/ math], que se puede ver a través de una aplicación de la regla de la cadena:
- ¿Cuál es la ecuación que te da un corazón en la gráfica?
- ¿Cuál es la diferencia entre una raíz y un cero de un polinomio?
- ¿Es x = x verdadero? ¿Por qué?
- ¿Cuál es la raíz cuadrada de x + y?
- Si n = a * b * c, ¿cuál es el algoritmo más rápido para obtener todos los valores enteros posibles para a, byc provistos de prueba si es posible?
[matemáticas] \ displaystyle \ frac {d} {dx} \ log (\ exp (x)) = \ frac {dx} {dx} = 1 [/ matemáticas]
[matemáticas] \ displaystyle \ frac {d} {dx} \ exp (x) \ cdot \ frac {1} {\ exp (x)} = \ frac {dx} {dx} = 1 [/ math]
[matemáticas] \ exp ‘(x) = \ exp (x) [/ matemáticas]
Podemos hacer un buen uso de esta propiedad para derivar una expresión para [math] w [/ math] de la siguiente manera. Tenga en cuenta que
[matemáticas] \ displaystyle w – 1 = \ int_ {0} ^ {1} \ exp (x) \, dx [/ math]
y por lo tanto, mediante la integración repetida por partes, tenemos
[matemáticas] \ displaystyle w – 1 = w – \ int_ {0} ^ {1} x \ exp (x) \, dx [/ math]
[math] \ displaystyle = 1 + \ int_ {0} ^ {1} (1-x) \ exp (x) \, dx [/ math]
[matemáticas] \ displaystyle = 1 + \ frac {1} {2} + \ frac {1} {2} \ int_ {0} ^ {1} (1-x) ^ 2 \ exp (x) \, dx = \ ldots [/ math]
[matemáticas] \ displaystyle = \ sum_ {k = 0} ^ {n} \ frac {1} {k!} + \ frac {1} {n!} \ int_ {0} ^ {1} (1-x) ^ n \ exp (x) \, dx [/ math]
El término restante se puede limitar desde arriba, como tenemos
[matemáticas] \ displaystyle R_n (x) = \ frac {1} {n!} \ int_ {0} ^ {1} (1-x) ^ n \ exp (x) \, dx \ leq \ frac {w – 1} {n!} <\ Frac {2} {n!} [/ Math]
y por lo tanto [math] \ lim_ {n \ to \ infty} R_n (x) = 0 [/ math] y podemos decir que
[matemáticas] \ displaystyle w = \ sum_ {k = 0} ^ {\ infty} \ frac {1} {k!} [/ math]
tras la iteración. Sin embargo, esta es precisamente la definición de [matemáticas] e [/ matemáticas].