Who was the first person to prove the power rule for derivatives? The person could have proved the power rule using limits and the binomial theorem or difference of two nth powers, or the implicit differentiation method. I have no preference as to how the person proved it--as long as the person proved it correctly--I'm just wondering: who did it in the first place? Who first proved the power rule?
Asked
Active
Viewed 2,607 times
2
-
1My money is on either Newton or Leibniz. I don't there is a way to know for sure. – tylerc0816 Sep 27 '13 at 01:49
-
3Im guessing Newton? but I have no idea. By the way you can also prove that $d/dx(x^n)=nx^{n-1}$ for $n\in\mathbb{N}$ using the product rule and induction. – Daniel Montealegre Sep 27 '13 at 01:49
-
4Whether you mean "proved rigorously, subject to today's standards" or "discovered, understood, and used the result" changes the answer to this question by 100 years or so... – Daniel McLaury Sep 27 '13 at 01:59
-
I know Cavalieri found the quadrature formula, and the power rule is the inverse of the quadrature formula, so technically Cavalieri "discovered, understood, and used the result," and also Fermat. So who "proved rigorously, subject to today's standards?" @DanielMcLaury – BrookeW Sep 27 '13 at 02:28
-
Almost surely it was Cauchy. – Daniel McLaury Sep 27 '13 at 02:30
-
BTW, the power rule is essentially the same as Cavalieri's result only given that you know the fundamental theorem of calculus. – Daniel McLaury Sep 27 '13 at 02:33
-
Thanks I'll look into that. I'm also finding that Fermat proved f(x)'=n(x^n-1) geometrically using squares and cubes. I haven't yet found who is responsible for the algebraic proofs. @DanielMcLaury – BrookeW Sep 27 '13 at 02:35
-
I thought Fermat knew how to do this (but maybe only for squares and cubes as BrookeW says), though I don't know if his margin was large enough to contain a proof. – Michael Joyce Sep 27 '13 at 15:21
-
Related question on History of Science and Mathematics SE: Who discovered that the derivative of $x^n$ is $nx^{n−1}$? – Silverfish Nov 04 '15 at 00:28
2 Answers
4
The power rule was already in Fermat, Hudde, Wallis, and Barrow in the 17th century, a few decades before the invention of the calculus by Newton and Leibniz, and two centuries before Cauchy's work in the 19th century (for those who are curious, here is Cauchy's 1821 definition of a continuous function: $f$ is continuous if a change in $x$ by an infinitesimal $\alpha$ necessarily produces an infinitesimal change $f(x+\alpha)-f(x)$ in $y$). Fermat did it using a technique anticipating the calculus called adequality. More details can be found in this recent study.
Mikhail Katz
- 42,112
- 3
- 66
- 131
2
A lot of early calculus results were not rigorously proven at that time. For that it wouldn't be a bad idea to look into the live of Cauchy. You know, that man who also developed that mean epsilon-delta approach for the limit? He formalized at lot pertaining calculus what was taken to be for common acknowledgement before that.
imranfat
- 10,029
-
+1 for mentioning Cauchy, and yes as matter of fact rigor was not enter in math until Cauchy. – jimjim Sep 27 '13 at 02:54
-
@Arjang: these remarks about Cauchy are not really accurate. See e.g. my answer below. – Mikhail Katz Oct 02 '13 at 09:29
-
@User. Rigor was there before Cauchy's time as well. But to give you an example. Euler's proof about the sum of the reciprocal squares was a wonderful proof, but would not, and I repeat, would NOT stand the test of rigor after Cauchy's contribution in real and complex analysis. He developed epsilon delta approach and that means a great deal in terms of rigor. I am certainly not implying that his predecessors were mathematical "hobbyists" The power rule was probably also proven rigor enough before Cauchy. But rigor without Cauchy is like a car without petrol – imranfat Oct 02 '13 at 15:55
-
1While you may be correct about Euler's first proof for the Basel problem, he developed other proofs that are as rigorous as anything in Cauchy. This is dealt with in the Euler section of this text. Would it surprise you to find out that Cauchy never gave an epsilon, delta definition of either the limit concept or the concept of continuity of a function? – Mikhail Katz Oct 03 '13 at 08:24
-
2If you really want to have a sweet surprise about rigor, obtain a translation of Cauchy's Cours d'Analyse (1821). It was the standard of rigor of its time. – imranfat Oct 03 '13 at 15:51