Si en lugar de aproximar el valor de la función en xx lo hacemos con el incremento o variación de la función Δy=f(x+h)f(x)\Delta y = f(x+h) - f(x), tendríamos que Δyf(x)h\Delta y \simeq f'(x) h o bien Δyf(x)Δx\Delta y \simeq f'(x) \Delta x, pues h=(x+h)xh = (x + h) - x es la variación o incremento de la variable independiente. Por tanto, Δy\Delta y podemos aproximarlo por la siguiente función en la que vamos a denotar la variable dependiente como dydy y la independiente como dxdx y que viene definida como dy=f(x)dxdy = f'(x) dx. Esta función sí que es estrictamente lineal y se denomina diferencial.

La definición anterior tiene relación con la notación de Leibniz para la derivada: dydx=f(x)\frac{dy}{dx}= f'(x) y, como hemos visto, es especialmente útil para cálculos en los que dx es pequeño ya que en esos casos dy aproxima muy bien a Δy\Delta y y por tanto f(x+dx)f(x)+dyf(x+ dx) \simeq f(x)+dy, o bien en razonamientos como el siguiente (x+dx)2=x2+2xdx+dx2x2+2xdx(x + dx)^2=x^2+2 x dx+ dx^2 \simeq x^2+2 x dx porque si dxdx es un valor próximo a cero dx2dx^2 es más pequeño aún y, por tanto, "despreciable" frente al primero. Pero insistamos que siempre hay un error ϵ\epsilon que es necesario controlar para realizar operaciones matemáticamente correctas Δy=dy+ϵ\Delta y = dy + \epsilon.

En la siguiente escena puede observarse geométricamente la relación entre Δy\Delta y y dydy. También rescribiremos el álgebra de derivadas expresadas como diferenciales.