Math 2.0

Combinatorics Proof

Proof of the closed formula for Catalan numbers by the reflection principle

Builds on Dyck words are counted by Catalan numbersDyck wordCatalan numbersBinomial coefficientNumber of k-element subsetsFactorial formula for binomial coefficientsComplement principleBijection principleFactorial

Proof

We count Dyck words as all balanced words minus the bad ones, and count the bad ones by reflection.

  1. Let nn be a natural number. By Dyck words are counted by Catalan numbers, the Catalan number CnC_n is the number of Dyck words of semilength nn.
  2. If n=0n = 0, then C0=1C_0 = 1, and 11(00)=1=0!1! 0!\frac{1}{1} \binom{0}{0} = 1 = \frac{0!}{1!\, 0!}. From now on let n≥1n \ge 1.
  3. For a word pp over {U,D}\set{U, D}, let h(p)h(p) be its number of letters UU minus its number of letters DD.
  4. Let AA be the set of words with nn letters UU and nn letters DD. Such a word is fixed by the set of positions of its letters UU, an nn-element subset of {1,…,2n}\set{1, \dots, 2n}.
  5. So by the number of kk-element subsets, ∣A∣|A| is the binomial coefficient (2nn)\binom{2n}{n}. Similarly, the set A′A' of words with n−1n - 1 letters UU and n+1n + 1 letters DD has ∣A′∣=(2nn−1)|A'| = \binom{2n}{n-1}.
  6. A word of AA is a Dyck word unless some prefix pp has h(p)<0h(p) < 0. Call such words bad, and let AbadA_{\mathrm{bad}} be their set.
  7. Let w∈Abadw \in A_{\mathrm{bad}}, and let w≤tw_{\le t} be its prefix of length tt. Each letter changes hh by ±1\pm 1, and hh of the empty prefix is 00. Take the least tt with h(w≤t)<0h(w_{\le t}) < 0. Then h(w≤t−1)≥0h(w_{\le t-1}) \ge 0, so h(w≤t)=−1h(w_{\le t}) = -1.
  8. Define ρ(w)\rho(w) by exchanging UU and DD in all letters after position tt. The suffix after tt has hh equal to h(w)−h(w≤t)=1h(w) - h(w_{\le t}) = 1, and the exchange turns this into −1-1.
  9. So h(ρ(w))=−1−1=−2h(\rho(w)) = -1 - 1 = -2. Since ρ(w)\rho(w) has length 2n2n, it has n−1n - 1 letters UU and n+1n + 1 letters DD. Thus ρ(w)∈A′\rho(w) \in A'.
  10. Conversely, let v∈A′v \in A'. Then h(v)=−2<0h(v) = -2 < 0, so as in step 7 the least tt with h(v≤t)<0h(v_{\le t}) < 0 has h(v≤t)=−1h(v_{\le t}) = -1. Exchanging UU and DD after position tt gives a word with h=−1+1=0h = -1 + 1 = 0, which is in AbadA_{\mathrm{bad}}.
  11. Both operations keep the first tt letters, and tt is defined from these letters alone. So they find the same tt. Hence they are inverse to each other.
  12. By the bijection principle, ∣Abad∣=∣A′∣=(2nn−1)|A_{\mathrm{bad}}| = |A'| = \binom{2n}{n-1}.
  13. By the complement principle, Cn=∣A∣−∣Abad∣=(2nn)−(2nn−1)C_n = |A| - |A_{\mathrm{bad}}| = \binom{2n}{n} - \binom{2n}{n-1}.
  14. By the factorial formula, (2nn)=(2n)!n! n!\binom{2n}{n} = \frac{(2n)!}{n!\, n!} and (2nn−1)=(2n)!(n−1)! (n+1)!\binom{2n}{n-1} = \frac{(2n)!}{(n-1)!\, (n+1)!}.
  15. By the definition of the factorial, n!=n⋅(n−1)!n! = n \cdot (n-1)! and (n+1)!=(n+1)⋅n!(n+1)! = (n+1) \cdot n!. So (2nn−1)=nn+1⋅(2n)!n! n!=nn+1(2nn)\binom{2n}{n-1} = \frac{n}{n+1} \cdot \frac{(2n)!}{n!\, n!} = \frac{n}{n+1} \binom{2n}{n}.
  16. By steps 13 and 15, Cn=(1−nn+1)(2nn)=1n+1(2nn)C_n = \left(1 - \frac{n}{n+1}\right) \binom{2n}{n} = \frac{1}{n+1} \binom{2n}{n}.
  17. By step 14 and (n+1)⋅n!=(n+1)!(n+1) \cdot n! = (n+1)!, this equals (2n)!(n+1)! n!\frac{(2n)!}{(n+1)!\, n!}.

Idea

Among the (2nn)\binom{2n}{n} words with nn letters of each kind, the bad ones first reach level −1-1 somewhere. Flipping every letter after that point is a bijection onto all words with n−1n - 1 letters UU, so there are (2nn−1)\binom{2n}{n-1} bad words. The difference simplifies to 1n+1(2nn)\frac{1}{n+1}\binom{2n}{n}.

Reading path

To understand this page from the ground up, read these 65 pages in order. The foundations come first. The path takes the proofs Proof of the number of k-element subsets by induction, Proof that a composition of injections is injective, Proof that a function is bijective iff it has a two-sided inverse, Proof of the rule of product, Proof of strong induction from ordinary induction, Proof that Dyck words are counted by Catalan numbers, by first return decomposition, Proof of the complement principle, Proof of Pascal's rule from the recursive definition, Proof that a composition of surjections is surjective, Proof of the factorial formula for binomial coefficients by induction, Proof of the rule of sum, Proof of the bijection principle.

  1. Binomial coefficient definition
  2. Cardinality of a finite set definition
  3. Catalan numbers definition
  4. Combination definition
  5. Definition by recursion concept
  6. Dyck word definition
  7. Element definition
  8. Factorial definition
  9. Mathematical induction concept
  10. Natural numbers object
  11. Peano axioms concept
  12. Proposition concept
  13. Proof of Pascal's rule from the recursive definition proof
  14. Set definition
  15. Successor function definition
  16. Conjunction definition
  17. Implication definition
  18. Predicate definition
  19. Pascal's rule statement
  20. Empty set object
  21. Ordered pair definition
  22. Intersection definition
  23. Addition of natural numbers definition
  24. Existential quantifier definition
  25. Universal quantifier definition
  26. The successor function is injective statement
  27. Zero is not a successor statement
  28. Cartesian product definition
  29. Disjoint sets definition
  30. Proof of the factorial formula for binomial coefficients by induction proof
  31. Subset definition
  32. Uniqueness quantifier definition
  33. Order on the natural numbers definition
  34. Binary relation definition
  35. Factorial formula for binomial coefficients statement
  36. Proof of strong induction from ordinary induction proof
  37. Function definition
  38. Strong induction statement
  39. Codomain definition
  40. Function composition definition
  41. Identity function definition
  42. Injective function definition
  43. Surjective function definition
  44. Left inverse definition
  45. Right inverse definition
  46. Proof that a composition of injections is injective proof
  47. Proof that a composition of surjections is surjective proof
  48. Bijective function definition
  49. Composition of injections is injective statement
  50. Composition of surjections is surjective statement
  51. Proof of the rule of sum proof
  52. Proof that a function is bijective iff it has a two-sided inverse proof
  53. Rule of sum statement
  54. Bijective iff it has a two-sided inverse statement
  55. Proof of the rule of product proof
  56. Proof of the complement principle proof
  57. Proof of the bijection principle proof
  58. Rule of product statement
  59. Complement principle statement
  60. Bijection principle statement
  61. Proof of the number of k-element subsets by induction proof
  62. Proof that Dyck words are counted by Catalan numbers, by first return decomposition proof
  63. Number of k-element subsets statement
  64. Dyck words are counted by Catalan numbers statement
  65. Proof of the closed formula for Catalan numbers by the reflection principle proof

Where this leads

1 page builds on this one.

Further reading

  1. Web https://en.wikipedia.org/wiki/Catalan_number, Proof of the formula, Second proof
About this page
Tag9ZK3H3XEP9
URIm2://9ZK3H3XEP9
Kindproof
WritingW0 stub
MSC05A15
ProvesClosed formula for Catalan numbers
UsesDyck words are counted by Catalan numbers, Dyck word, Catalan numbers, Binomial coefficient, Number of k-element subsets, Factorial formula for binomial coefficients, Complement principle, Bijection principle, Factorial
Changed4 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.