1.5. Using Generating Functions to Prove Identities#
A wide variety of combinatorial identities can be proven using generating functions. Without their help, we would typically rely on proof by induction and some messy Algebra.
This section is for illustrative purposes only. We won’t rely on it for our main applications, but it gives an impressive introduction to the power of the generating function side of the Taylor Series interpretation. As Yoda warned, if once you start down this path, forever will it dominate your proofs, seem amateur to you induction will. If you find yourself drawn to these methods, then a good reference to learn more is Herbert S. Wilf’s book generatingfunctionology.
The typical approach is to take a generating function whose coefficients are the combinatorial quantities of interest. Then use algebraic steps or other methods to rewrite the generating function so that the we can find its Taylor Series in a different way. Then by matching coefficients we arrive at a new identity.
1.5.1. Partial Fractions#
Example 1.12
Consider the function
for which \([x^n]f(x) = F_n\) is the \(n\)’th Fibonacci number. We saw in Example 1.4 that
The quadratic formula shows us that the denominator factors as \(-(x+\phi)(x+\psi)\) where \(\phi = (1+\sqrt{5})/2\) and \(\psi= (1-\sqrt{5})/2\).
If we knew \(f(x)\) in a partial-fractions-like expansion \(c_1/(1-ax) + c_2/(1-bx)\), then we would be able to use the rule for a geometric series to write out the coefficients of \(f(x)\) explicitly. We will convert the factors in the denominator to resemble \(1-ax\). Since
the denoimator is
We now expand \(f(x)\) in partial fractions.
Setting \(x= 1/\phi\) gives
and using similar steps after setting \(x = 1/\psi \) gives
So
So \([x^n]f(x) = \frac{\phi^n - \psi^n}{\sqrt{5}}\), but it also equals \(F_n\). Hence we have proven
1.5.2. Binomial Expansions#
Binomial coefficients often arise in combinatorial identities.
Example 1.13 (Vandermonde’s Identity)
Consider the identity
We expand both sides:
if \(k>m+n\) then the right hand side turns out to be \(0\). For \(k \leq m+n\), we can match coefficients of \(x^k\) and conclude
Remark 1.6 (The product \((1+x)^m(1+x)^n\))
To help illustrate the product \(\left( \binom{m}{0} + \binom{m}{1} x + \cdots + \binom{m}{m} x^m\right)\left( \binom{n}{0} + \binom{n}{1} x + \cdots + \binom{n}{n} x^n\right)\) we use a table:
\(\color{blue}{\binom{m}{0}}\) |
\(\color{blue}{\binom{m}{1}x}\) |
\(\color{blue}{\binom{m}{2}x^2}\) |
\(\color{blue}{\binom{m}{3}x^3}\) |
\(\color{blue}{\binom{m}{4}x^4}\) |
\(\color{blue}{\binom{m}{5}x^5}\) |
\(\cdots\) |
||
|---|---|---|---|---|---|---|---|---|
\(\color{blue}{\binom{n}{0}}\) |
\(\binom{m}{0}\binom{n}{0}\) |
\(\binom{m}{1}\binom{n}{0}x\) |
\(\binom{m}{2}\binom{n}{0}x^2\) |
\(\binom{m}{3}\binom{n}{0}x^3\) |
\(\binom{m}{4}\binom{n}{0}x^4\) |
\(\binom{m}{5}\binom{n}{0}x^5\) |
\(\cdots\) |
|
\(\color{blue}{\binom{n}{1}x}\) |
\(\binom{m}{0}\binom{n}{1}x\) |
\(\binom{m}{1}\binom{n}{1}x^2\) |
\(\binom{m}{2}\binom{n}{1}x^3\) |
\(\binom{m}{3}\binom{n}{1}x^4\) |
\(\binom{m}{4}\binom{n}{1}x^5\) |
\(\binom{m}{5}\binom{n}{1}x^6\) |
\(\cdots\) |
|
\(\color{blue}{\binom{n}{2}x^2}\) |
\(\binom{m}{0}\binom{n}{2}x^2\) |
\(\binom{m}{1}\binom{n}{2}x^3\) |
\(\binom{m}{2}\binom{n}{2}x^4\) |
\(\binom{m}{3}\binom{n}{2}x^5\) |
\(\binom{m}{4}\binom{n}{2}x^6\) |
\(\binom{m}{5}\binom{n}{2}x^7\) |
\(\cdots\) |
|
\(\color{blue}{\binom{n}{3}x^3}\) |
\(\binom{m}{0}\binom{n}{3}x^3\) |
\(\binom{m}{1}\binom{n}{3}x^4\) |
\(\binom{m}{2}\binom{n}{3}x^5\) |
\(\binom{m}{3}\binom{n}{3}x^6\) |
\(\binom{m}{4}\binom{n}{3}x^7\) |
\(\binom{m}{5}\binom{n}{3}x^8\) |
\(\cdots\) |
|
\(\color{blue}{\binom{n}{4}x^4}\) |
\(\binom{m}{0}\binom{n}{4}x^4\) |
\(\binom{m}{1}\binom{n}{4}x^5\) |
\(\binom{m}{2}\binom{n}{4}x^6\) |
\(\binom{m}{3}\binom{n}{4}x^7\) |
\(\binom{m}{4}\binom{n}{4}x^8\) |
\(\binom{m}{5}\binom{n}{4}x^9\) |
\(\cdots\) |
Each cell gives the product of the terms at the boundaries. Summing all of these together gives the product \((1=x)^m(1+x)^n\). The terms with the same power of \(x\) appear on diagonals.
1.5.3. Snake Oil#
The following method is referred to as “snake oil” by Wilf due to switching of the order of summation. We first remind ourselves that \(\binom{N}{M} =0\) if \(M<0\) or \(M>N\) and \(\binom{0}{0}=1\).
Example 1.14 (Snake oil)
Consider the sum
for \(n=0, 1, \ldots\).
We write
Then rearranging and switching the order of summations:
Here \(g(x)\) is \(1/x\) times the generating function of the Fibonacci sequence that we have seen in previous examples. Setting \(f(x)=x g(x)\), we have
and
So the \(n\)th Fibonacci number is given by
(using the convention that \(F_0=0\) and \(F_1=1\))