# When/How were the product and chain rules first proved?

Pretty much every proof of the product or chain rules presented today revolve around the definition of the derivative as a limit (e.g. this post).

However, when Newton/Leibniz were developing calculus, they would not have had access to the concepts of limits. How, then, were the product and chain rules proved correct? Or was it just generally accepted that, if calculus worked, then the product and chain rules would just have to be in the form they were?

• Did you look at en.wikipedia.org/wiki/Product_rule? It discusses Leibniz's approach. Any book on the history of calculus (there are a few) should provide some more details. – KCd Dec 31 '14 at 8:56
• The chain rule in Leibniz notation is $da/dc=(da/db)(db/dc)$, which makes it look pretty obvious if you think of the d's as infinitesimals. You do have to worry about the distinction between the derivative and the ratio of the infinitesimals. Today we would describe this as taking the standard part of the ratio. Back then, they would have described this in terms of adequality or neglecting squares of infinitesimals. – Ben Crowell Jan 2 '15 at 14:54
• – Ben Crowell Jan 2 '15 at 14:54
• I believe G.H. Hardy was the first to express doubt to the classical proof of the chain rule (appearing when the inner function has infinitely many zeros). – Mr AD Aug 28 '15 at 17:40
• The chain rule is not really even a rule when using differentials. An identity like $d(x^2) = 2xdx$ holds for any $x$, so that, for instance, $d\left(\left(\sin\theta\right)^2\right)=2\sin\theta d\left(\sin\theta\right)=2\sin\theta \cos\theta d\theta$. It would have been used implicitly. – user3339 Dec 6 '15 at 2:12

The chain rule appears implicitly in a memoir by Leibniz in 1676 (according to these authors, who cite The Early Mathematical Manuscripts of Leibniz, translated by J.M. Child). The idea seems to be the free use of differentials, presumably something like this computation: $$d\sqrt{a+bz+cz^2}=\frac{b+2cz}{2\sqrt{a+bz+cz^2}}dz$$ Differentials are treated by Leibniz as infinitesimal differences. In L’Hospital's 1696 textbook Analyse des infiniment petits, the rule $dx^r=rx^{r-1}dx$ is given (our authors even use the word "proved", though they don't say how). L'Hospital then uses it pretty much the way a modern textbook would use the chain rule.