Eli A. Wolfhagen
Abstract: In this paper, we shall prove the Chung-Feller Theorem in several ways. We provide an inductive proof, bijective proof, and proofs using generating functions, and the Cycle Lemma of Dvoretzky and Motzkin.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to prove and explain the Chung - Feller theorem. Specifically, the Chung - Feller theorem states that:
Among the paths from the point \((0, 0)\) to the point \((n, n)\) composed of steps \((0, 1)\) and \((1, 0)\), the number of paths with exactly \(2k\) steps above the line \(x = y\) is independent of \(k\), and for all \(k\) values satisfying \(0\leq k\leq n\), the number of these paths is equal to the \(n\) - th Catalan number \(C_{n}\).
Expressed by the formula, that is:
\[ C_{n}=\frac{1}{n + 1}\binom{2n}{n} \]
To prove this conclusion, the author adopts a variety of methods, including induction, bijective proof, generating function approach and the Cycle Lemma of Dvoretzky and Motzkin. Through these different proof methods, the author not only verifies the correctness of the Chung - Feller theorem, but also provides an in - depth understanding of this classic combinatorial mathematics problem.
### Overview of specific content
1. **Proof by induction**: By assuming that the situation of a smaller scale holds, gradually derive that the situation of a larger scale also holds.
2. **Proof by bijective method**: Construct a bijective function \(\phi^{+}\), map \(k\)-negative paths to \((k + 1)\)-negative paths, and prove that this mapping is bijective, thus showing that the number of paths under different \(k\) values is equal.
3. **Generating function method**: Use the generating function \(c(x)\) to represent the Catalan number, and construct the generating function \(N(t, x)\) through weighted paths, and finally prove that the number of paths is \(C_{n}\).
4. **Rearrangement method**: Use the Cycle Lemma of Dvoretzky and Motzkin, prove the theorem by cyclically shifting the paths.
Through these methods, the paper discusses in detail the different proof methods of the Chung - Feller theorem and shows its importance and wide application in combinatorial mathematics.