El diferencial de una función se definió como la relación de la ordenada al sub-tangente, multiplicada por el diferencial del argumento, cuyo valor puede tomarse arbitrariamente; Al mismo tiempo, Leibniz indicó que los diferenciales son proporcionales a incrementos infinitesimales de magnitudes y que, en base a esto, es fácil obtener una prueba de sus reglas.