En la derivada del producto de dos funciones, ¿por qué se ignora (dx)²?

Estaba profundizando en los fundamentos del cálculo, encontré que en el famoso canal '3Blue1Brown', al demostrar el proceso de encontrar la derivada del producto de dos funciones, (dx) ² se ignora porque se vuelve muy pequeño cuando dx es acercándose cada vez más a cero.

Creo que nuestro cálculo puede ser más preciso si no lo ignoramos, en realidad creo que no deberíamos ignorarlo ya que esto es matemática y no física o algo así, la pregunta es cómo nuestro cálculo sigue siendo válido y confiable si damos hasta un poquito de precisión.

La siguiente imagen muestra los detalles de la demostración:

Porque si vas tras ese enfoque, entonces d X es infinitesimal y el cuadrado de un infinitesimal es cero. Alternativamente, escribe todo con Δ X en cambio; en algún momento, terminarás con ( Δ X ) 2 / Δ X , que tiende a cero cuando Δ X hace.
No renunciamos a la precisión, es solo que realmente se desvanece en el límite, como explicó @T.Bongers. 3Blue1Brown solo da una intuición, no explica la formalización real.
Claro, aceptaría su respuesta si agrega alguna referencia a ella, no quiero eliminar esta pregunta, ya que alguien más la encontraría útil, gracias ^^
La variación cuadrática de x, y, etc. es cero.

Respuestas (1)

Con todos los términos en

d F = pecado ( X ) d ( X 2 ) + X 2 d pecado ( X ) + d ( X 2 ) d pecado ( X )
para avanzar, dividirás por d X :
d F d X = pecado ( X ) d ( X 2 ) d X + X 2 d pecado ( X ) d X + d ( X 2 ) d pecado ( X ) d X
(Estoy usando d como una cantidad positiva antes de tomar el límite.)

Ahora toma el límite como d X 0 (que obliga d ( X 2 ) 0 ).

d F d X = pecado ( X ) 2 X + X 2 porque ( X ) + 0 porque ( X )

Entonces, después de tomar el límite, este término adicional ciertamente contribuye 0 . (Tenga en cuenta que podría haber emparejado el último denominador con d ( X 2 ) en cambio, pero luego d pecado ( X ) 0 y el resultado final es el mismo).