La regla de poder es:
[matemáticas] \ int x ^ n = \ frac {1} {n + 1} x ^ {n + 1} + C [/ matemáticas].
Al poner -1 para n, obtienes:
[matemática] \ frac {1} {0} x ^ {0} + C [/ matemática], que no está definida. Es por eso que la regla de poder normal no funciona.
- ¿Hay lugar para la imaginación y las conjeturas en matemática pura?
- ¿Alguien puede resolver estos problemas matemáticos?
- ¿Dónde debo comenzar a buscar REU de matemáticas?
- ¿Quién ha reprobado las matemáticas de nivel A y ha obtenido un título en Matemáticas?
- ¿Qué tiene que ver el cálculo matemático con el cálculo dental?
Algunas personas simplemente dirán que es [math] \ ln x [/ math], por definición, al final de la historia, sin justificar por qué [math] \ ln [/ math] es un logaritmo. Sin referirnos a [math] \ ln [/ math] en absoluto, podemos mostrar que es un logaritmo. Comience definiendo:
[matemáticas] F (x) = \ int_1 ^ x \ frac {dt} {t} [/ matemáticas].
Ahora veamos [matemáticas] F (ab) [/ matemáticas]:
[matemáticas] F (ab) = \ int_1 ^ {ab} \ frac {dt} {t} [/ matemáticas].
Usando una propiedad básica de integrales:
[matemáticas] F (ab) = \ int_1 ^ {a} \ frac {dt} {t} + \ int_a ^ {ab} \ frac {dt} {t} [/ matemáticas].
Sustituyendo [math] t = au [/ math]; [matemáticas] dt = a \; du [/ matemáticas] en la segunda integral:
[matemáticas] F (ab) = \ int_1 ^ {a} \ frac {dt} {t} + \ int_1 ^ {b} \ frac {a \; du} {au} [/ matemáticas].
[matemáticas] F (ab) = \ int_1 ^ {a} \ frac {dt} {t} + \ int_1 ^ {b} \ frac {du} {u} [/ matemáticas].
[matemáticas] F (ab) = F (a) + F (b) [/ matemáticas].
Eso es interesante. Esta función [matemática] F [/ matemática] aparentemente convierte la multiplicación en suma. Esto nos recuerda los logaritmos.
Veamos qué les hace a los poderes.
[matemáticas] F (a ^ b) = \ int_1 ^ {a ^ b} \ frac {dt} {t} [/ matemáticas].
Sustituya [matemática] t = u ^ b [/ matemática], [matemática] dt = bu ^ {b-1} du [/ matemática]:
[matemáticas] F (a ^ b) = \ int_1 ^ {a} \ frac {bu ^ {b-1} du} {u ^ b} [/ matemáticas]
[matemáticas] F (a ^ b) = b \ int_1 ^ {a} \ frac {du} {u} [/ matemáticas]
[matemáticas] F (a ^ b) = b F (a) [/ matemáticas].
Entonces [math] F [/ math] también convierte poderes en multiplicación. De nuevo, como un logaritmo.
Deje [math] G [/ math] ser el inverso de [math] F [/ math]. Aplicando [matemática] G [/ matemática] a ambos lados de [matemática] F (a ^ b) = b F (a) [/ matemática]:
[matemáticas] G (F (a ^ b)) = G (b F (a)) [/ matemáticas]
[matemáticas] a ^ b = G (b F (a)) [/ matemáticas]
Ahora voy a sustituir algunas cosas raras por [matemáticas] a [/ matemáticas] y [matemáticas] b [/ matemáticas].
[matemáticas] a = G (1) [/ matemáticas], [matemáticas] b = F (x) [/ matemáticas]:
[matemáticas] G (1) ^ {F (x)} = G (F (x) F (G (1))) [/ matemáticas]
[matemáticas] G (1) ^ {F (x)} = G (F (x) \ cdot 1) [/ matemáticas]
[matemáticas] G (1) ^ {F (x)} = G (F (x)) [/ matemáticas]
[matemáticas] G (1) ^ {F (x)} = x [/ matemáticas]
De esto, parece que:
[matemáticas] F (x) = \ log_ {G (1)} x [/ matemáticas]
Entonces, a partir de la definición, hemos demostrado que [math] F [/ math] es algún tipo de función de logaritmo, con un número extraño para una base.
Volviendo a la integral,
[matemáticas] \ int_1 ^ x \ frac {dt} {t} = \ log_ {G (1)} x [/ matemáticas]
Desde el FTOC,
[matemáticas] \ int \ frac {dt} {t} = \ log_ {G (1)} x + C [/ matemáticas]
Lo único que queda por hacer es descubrir qué es [matemáticas] G (1) [/ matemáticas]. Recuerde que [matemática] F [/ matemática] es el área bajo la curva [matemática] 1 / t [/ matemática], desde [matemática] 1 [/ matemática] a [matemática] x [/ matemática]. Esto significa que [matemática] G (1) [/ matemática] es el valor de [matemática] x [/ matemática] donde esta área es [matemática] 1 [/ matemática]. Más grande que [matemáticas] 2 [/ matemáticas], menor que [matemáticas] 3 [/ matemáticas].