8
$\begingroup$

Do we have any idea of how Newton proved the generalised binomial theorem?

$\endgroup$
4
  • $\begingroup$ Related Math SE post: How did Sir Isaac Newton develop and formulate the famous binomial theorem?. $\endgroup$
    – user1709
    Commented Jul 16, 2016 at 18:30
  • 2
    $\begingroup$ I think it was Niels Abel who was the first to prove it. $\endgroup$
    – Omar Nagib
    Commented Sep 7, 2016 at 21:29
  • $\begingroup$ There's actually nothing to prove in the binomial theorem (I take it we're talking about the cases when the index is not a positive integer, so that we have an infinite series) other than that the series developed is well-defined. Newton did not prove this, but used a combination of physical insight and blind faith to work out when the series makes sense. In general, apart from issues of convergence, the binomial theorem is actually a definition -- namely an extension of the case when the index is a positive integer. As you may know, the latter case can be proved by induction. $\endgroup$
    – Allawonder
    Commented May 4, 2019 at 10:40
  • $\begingroup$ Here is an interesting review: quadrivium.info/MathInt/Notes/NewtonBinomial.pdf $\endgroup$
    – athos
    Commented Apr 11 at 23:42

1 Answer 1

11
$\begingroup$

According to William Dunham in his Journey Through Genius

[Newton's Binomial Theorem is] not a "theorem" in the sense of Euclid or Archimedes in that Newton did not furnish a complete proof. Yet his insight and intuition served him well enough to devise a germane formula... Further, his inherent belief in the persistence of patterns suggested to him that the formula that correctly generated coefficients for binomial powers like $(a + b)^2$ or $(a + b)^3$ should work just as well for powers like $(a + b)^{\frac12}$ or $(a + b)^{-3}$.

Although Newton did not prove this result, we do have some idea of how he arrived at it. Newton's explanation is presented in a pair of letters sent to Leibniz dated 1676 and delivered via Henry Oldenburg of the Royal Society. In it, he explains how he arrived at his result by a somewhat indirect route. He was investigating the areas under the curves $y = (1-x^2)^{\frac{n}{2}}$ from $0$ to $x$ for $n = 0, 1, 2, 3,\dots$. These are easy to calculate for even $n$. By observing patterns and interpolating, Newton was able to guess the answer for odd values of $n$. Then he realised that he could get the same answers by expressing $(1-x^2)^{\frac{n}{2}}$ as an infinite series.

Newton wrote : $$(P + PQ)^{\frac{m}{n}} = P^{\frac{m}{n}} + \frac{m}{n}AQ + \frac{m-n}{2n}BQ + \frac{m-2n}{3n}CQ + \dots$$ where $P+PQ$ is the binomial to be considered; where $\frac{m}{n}$ is the power to which we shall raise the binomial "whether that power is integral or (so to speak) fractional, whether positive or negative"; and where $A,B,C, \dots$ represent the immediate preceding term in the expansion. (See TL;DR)

This may look unfamiliar when compared to the modern form. When you factor out the $P^{\frac{m}{n}}$ term from the right hand side and cancel you arrive at the more familiar form :

$$(1+Q)^{\frac{m}{n}} = 1 + \frac{m}{n}Q + \frac{(m/n)(m/n-1)}{2}Q^2 + \frac{(m/n)(m/n-1)(m/n-2)}{2\times3}Q^3 + \frac{(m/n)(m/n-1)(m/n-2)(m/n-3)}{2\times3\times4}Q^4 + \dots$$


TL;DR

Thus, in Newton's notation, $$A = P^{\frac{m}{n}}$$ $$B = \frac{m}{n}AQ = \frac{m}{n}P^{\frac{m}{n}}Q$$ $$C = \frac{(m-n)}{2n} BQ = {\frac{(m-n)m}{(2n)n}}P^{\frac{m}{n}}Q^2 = {\frac{(m/n)(m/n-1)}{2}}P^{\frac{m}{n}}Q^2$$ etc.

$\endgroup$
2
  • $\begingroup$ A manuscript of Newton on the binomial theorem begins on p. 168 of The Correspondence of Isaac Newton Vol. II 1676-1687 edited by H. Turnbull (Cambridge Univ. Press, 1960). See footnote 2 on p. 170-1. $\endgroup$ Commented Dec 13, 2022 at 4:52
  • $\begingroup$ Also present in the manuscript are the Stirling numbers of the first kind. $\endgroup$ Commented Dec 13, 2022 at 5:05

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.