Skip to main content
\(\newcommand{\set}[1]{\{1,2,\dotsc,#1\,\}} \newcommand{\ints}{\mathbb{Z}} \newcommand{\posints}{\mathbb{N}} \newcommand{\rats}{\mathbb{Q}} \newcommand{\reals}{\mathbb{R}} \newcommand{\complexes}{\mathbb{C}} \newcommand{\twospace}{\mathbb{R}^2} \newcommand{\threepace}{\mathbb{R}^3} \newcommand{\dspace}{\mathbb{R}^d} \newcommand{\nni}{\mathbb{N}_0} \newcommand{\nonnegints}{\mathbb{N}_0} \newcommand{\dom}{\operatorname{dom}} \newcommand{\ran}{\operatorname{ran}} \newcommand{\prob}{\operatorname{prob}} \newcommand{\Prob}{\operatorname{Prob}} \newcommand{\height}{\operatorname{height}} \newcommand{\width}{\operatorname{width}} \newcommand{\length}{\operatorname{length}} \newcommand{\crit}{\operatorname{crit}} \newcommand{\inc}{\operatorname{inc}} \newcommand{\HP}{\mathbf{H_P}} \newcommand{\HCP}{\mathbf{H^c_P}} \newcommand{\GP}{\mathbf{G_P}} \newcommand{\GQ}{\mathbf{G_Q}} \newcommand{\AG}{\mathbf{A_G}} \newcommand{\GCP}{\mathbf{G^c_P}} \newcommand{\PXP}{\mathbf{P}=(X,P)} \newcommand{\QYQ}{\mathbf{Q}=(Y,Q)} \newcommand{\GVE}{\mathbf{G}=(V,E)} \newcommand{\HWF}{\mathbf{H}=(W,F)} \newcommand{\bfC}{\mathbf{C}} \newcommand{\bfG}{\mathbf{G}} \newcommand{\bfH}{\mathbf{H}} \newcommand{\bfF}{\mathbf{F}} \newcommand{\bfI}{\mathbf{I}} \newcommand{\bfK}{\mathbf{K}} \newcommand{\bfP}{\mathbf{P}} \newcommand{\bfQ}{\mathbf{Q}} \newcommand{\bfR}{\mathbf{R}} \newcommand{\bfS}{\mathbf{S}} \newcommand{\bfT}{\mathbf{T}} \newcommand{\bfNP}{\mathbf{NP}} \newcommand{\bftwo}{\mathbf{2}} \newcommand{\cgA}{\mathcal{A}} \newcommand{\cgB}{\mathcal{B}} \newcommand{\cgC}{\mathcal{C}} \newcommand{\cgD}{\mathcal{D}} \newcommand{\cgE}{\mathcal{E}} \newcommand{\cgF}{\mathcal{F}} \newcommand{\cgG}{\mathcal{G}} \newcommand{\cgM}{\mathcal{M}} \newcommand{\cgN}{\mathcal{N}} \newcommand{\cgP}{\mathcal{P}} \newcommand{\cgR}{\mathcal{R}} \newcommand{\cgS}{\mathcal{S}} \newcommand{\bfn}{\mathbf{n}} \newcommand{\bfm}{\mathbf{m}} \newcommand{\bfk}{\mathbf{k}} \newcommand{\bfs}{\mathbf{s}} \newcommand{\bijection}{\xrightarrow[\text{onto}]{\text{$1$--$1$}}} \newcommand{\injection}{\xrightarrow[]{\text{$1$--$1$}}} \newcommand{\surjection}{\xrightarrow[\text{onto}]{}} \newcommand{\nin}{\not\in} \newcommand{\prufer}{\mbox{prüfer}} \DeclareMathOperator{\fix}{fix} \DeclareMathOperator{\stab}{stab} \DeclareMathOperator{\var}{var} \newcommand{\inv}{^{-1}} \newcommand{\lt}{<} \newcommand{\gt}{>} \newcommand{\amp}{&} \)

Section8.3Newton's Binomial Theorem

In Chapter 2, we discussed the binomial theorem and saw that the following formula holds for all integers \(p\ge1\text{:}\)

\begin{equation*} (1+x)^p =\sum_{n=0}^{p}\binom{p}{n} x^n. \end{equation*}

You should quickly realize that this formula implies that the generating function for the number of \(n\)-element subsets of a \(p\)-element set is \((1+x)^p\text{.}\) The topic of generating functions is what leads us to consider what happens if we encounter \((1+x)^p\) as a generating function with \(p\) not a positive integer. It turns out that, by suitably extending the definition of the binomial coefficients to real numbers, we can also extend the binomial theorem in a manner originally discovered by Sir Isaac Newton.

We've seen several expressions that can be used to calculate the binomial coefficients, but in order to extend \(C(p,k)\) to real values of \(p\text{,}\) we will utilize the form

\begin{equation*} \binom{p}{k}=\frac{P(p,k)}{k!}, \end{equation*}

recalling that we've defined \(P(p,k)\) recursively as \(P(p,0)=1\) for all integers \(p\geq 0\) and \(P(p,k)=p P(p-1,k-1)\) when \(p\geq k > 0\) (\(k\) an integer). Notice here, however, that the expression for \(P(p,k)\) makes sense for any real number \(p\text{,}\) so long as \(k\) is a non-negative integer. We make this definition formal.

Definition8.8

For all real numbers \(p\) and nonnegative integers \(k\text{,}\) the number \(P(p,k)\) is defined by

  1. \(P(p,0)=1\) for all real numbers \(p\) and
  2. \(P(p,k) = p P(p-1,k-1)\) for all real numbers \(p\) and integers \(k>0\text{.}\)

(Notice that this definition does not require \(p\geq k\) as we did with integers.)

We are now prepared to extend the definition of binomial coefficient so that \(C(p,k)\) is defined for all real \(p\) and nonnegative integer values of \(k\text{.}\) We do this as follows.

Definition8.9

For all real numbers \(p\) and nonnegative integers \(k\text{,}\)

\begin{equation*} \binom{p}{k}=\frac{P(p,k)}{k!}. \end{equation*}

Note that \(P(p,k)=C(p,k)= 0\) when \(p\) and \(k\) are integers with \(0\le p\lt k\text{.}\) On the other hand, we have interesting new concepts such as \(P(-5,4)=(-5)(-6)(-7)(-8)\) and

\begin{equation*} \binom{-7/2}{5}=\frac{(-7/2)(-9/2)(-11/2)(-13/2)(-15/2)}{5!}. \end{equation*}

With this more general definition of binomial coefficients in hand, we're ready to state Newton's Binomial Theorem for all non-zero real numbers. The proof of this theorem can be found in most advanced calculus books.

Note that the general form reduces to the original version of the binomial theorem when \(p\) is a positive integer.