Usando límites
La prueba habitual tiene el truco de sumar y restar un término, pero si ves de dónde viene, ya no es un truco.
Suponga que tiene el producto [matemática] f (x) g (x) [/ matemática] y desea calcular su derivada. Ese es el limite
[matemáticas] \ displaystyle \ lim_ {h \ to0} \ frac {f (x + h) g (x + h) -f (x) g (x)} {h} [/ matemáticas]
- ¿Por qué realizamos cálculos de derivadas en matemáticas? ¿Por qué usamos derivados?
- ¿Cómo funciona la técnica de diferenciación bajo el signo integral?
- ¿Cuál es la derivada de x ^ n con respecto a x para cualquier n irracional?
- ¿Cuáles son algunas aplicaciones de la vida real de integración y diferenciación?
- ¿Qué entiendes de Curl y Div de un campo vectorial F?
No es obvio a dónde ir desde allí. El numerador
[matemáticas] f (x + h) g (x + h) -f (x) g (x) [/ matemáticas]
es una diferencia que implica que [matemática] x [/ matemática] cambie a [matemática] x + h [/ matemática] tanto para [matemática] f [/ matemática] como [matemática] g [/ matemática]. Necesitamos aislar el cambio para [math] f [/ math] del cambio para [math] g [/ math].
Míralo geométricamente donde [math] f [/ math] y [math] g [/ math] representan longitudes y su producto [math] fg [/ math] representa un área. (Para fines heurísticos, suponga que son funciones positivas y crecientes).
En [matemáticas] x + h [/ matemáticas] tienes rectángulos más grandes. El numerador [matemático] f (x + h) g (x + h) -f (x) g (x) [/ matemático] es la diferencia entre los rectángulos más grande y más pequeño, es decir, es la suma de los tres áreas etiquetadas A, B y C.
Reescribe el numerador como la suma de tres términos, uno para las áreas de A, B y C:
[matemáticas] (f (x + h) -f (x)) g (x) [/ matemáticas]
[matemáticas] + \; f (x) (g (x + h) -g (x)) [/ matemáticas]
[matemáticas] + \; (f (x + h) -f (x)) (g (x + h) -g (x)) [/ matemáticas]
Luego divida cada término entre [matemáticas] h [/ matemáticas] y tome el límite como [matemáticas] h \ to0 [/ matemáticas].
El primer término lleva a [matemáticas] f ‘(x) g (x) [/ matemáticas], el segundo a [matemáticas] f (x) g’ (x) [/ matemáticas], y el tercero a 0. Por lo tanto, la derivada es igual a [matemáticas] f ‘(x) g (x) + f (x) g’ (x) [/ matemáticas].
La prueba de que el tercer término se convierte en 0 cuando toma el límite requiere una observación especial. Tenga en cuenta que
[matemáticas] \ displaystyle \ lim_ {h \ to0} \ frac {(f (x + h) -f (x)) (g (x + h) -g (x))} {h} [/ matemáticas]
= [matemáticas] \ displaystyle \ lim_ {h \ to0} \ frac {f (x + h) -f (x)} {h} \ lim_ {h \ to0} (g (x + h) -g (x) )[/matemáticas]
El primer límite en el producto es [matemática] f ‘(x) [/ matemática], pero el segundo es 0 ya que suponemos que [matemática] g [/ matemática] es diferenciable, por lo tanto, continua.
Infinitesimales
También puede probar la regla del producto para diferenciales
[matemáticas] d (uv) = u \, dv + v \, du [/ matemáticas]
usando el mismo diagrama. Reemplace la expresión [math] f (x + h) -f (x) [/ math] por [math] du [/ math] y la expresión [math] g (x + h) -g (x) [/ math ] por [math] dv [/ math]. El área C con valor [math] du \, dv [/ math] no contribuirá en nada al diferencial ya que es producto de diferenciales de primer orden.