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.
- Let be a natural number. By Dyck words are counted by Catalan numbers, the Catalan number is the number of Dyck words of semilength .
- If , then , and . From now on let .
- For a word over , let be its number of letters minus its number of letters .
- Let be the set of words with letters and letters . Such a word is fixed by the set of positions of its letters , an -element subset of .
- So by the number of -element subsets, is the binomial coefficient . Similarly, the set of words with letters and letters has .
- A word of is a Dyck word unless some prefix has . Call such words bad, and let be their set.
- Let , and let be its prefix of length . Each letter changes by , and of the empty prefix is . Take the least with . Then , so .
- Define by exchanging and in all letters after position . The suffix after has equal to , and the exchange turns this into .
- So . Since has length , it has letters and letters . Thus .
- Conversely, let . Then , so as in step 7 the least with has . Exchanging and after position gives a word with , which is in .
- Both operations keep the first letters, and is defined from these letters alone. So they find the same . Hence they are inverse to each other.
- By the bijection principle, .
- By the complement principle, .
- By the factorial formula, and .
- By the definition of the factorial, and . So .
- By steps 13 and 15, .
- By step 14 and , this equals .
Idea
Among the words with letters of each kind, the bad ones first reach level somewhere. Flipping every letter after that point is a bijection onto all words with letters , so there are bad words. The difference simplifies to .
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.
- Binomial coefficient definition
- Cardinality of a finite set definition
- Catalan numbers definition
- Combination definition
- Definition by recursion concept
- Dyck word definition
- Element definition
- Factorial definition
- Mathematical induction concept
- Natural numbers object
- Peano axioms concept
- Proposition concept
- Proof of Pascal's rule from the recursive definition proof
- Set definition
- Successor function definition
- Conjunction definition
- Implication definition
- Predicate definition
- Pascal's rule statement
- Empty set object
- Ordered pair definition
- Intersection definition
- Addition of natural numbers definition
- Existential quantifier definition
- Universal quantifier definition
- The successor function is injective statement
- Zero is not a successor statement
- Cartesian product definition
- Disjoint sets definition
- Proof of the factorial formula for binomial coefficients by induction proof
- Subset definition
- Uniqueness quantifier definition
- Order on the natural numbers definition
- Binary relation definition
- Factorial formula for binomial coefficients statement
- Proof of strong induction from ordinary induction proof
- Function definition
- Strong induction statement
- Codomain definition
- Function composition definition
- Identity function definition
- Injective function definition
- Surjective function definition
- Left inverse definition
- Right inverse definition
- Proof that a composition of injections is injective proof
- Proof that a composition of surjections is surjective proof
- Bijective function definition
- Composition of injections is injective statement
- Composition of surjections is surjective statement
- Proof of the rule of sum proof
- Proof that a function is bijective iff it has a two-sided inverse proof
- Rule of sum statement
- Bijective iff it has a two-sided inverse statement
- Proof of the rule of product proof
- Proof of the complement principle proof
- Proof of the bijection principle proof
- Rule of product statement
- Complement principle statement
- Bijection principle statement
- Proof of the number of k-element subsets by induction proof
- Proof that Dyck words are counted by Catalan numbers, by first return decomposition proof
- Number of k-element subsets statement
- Dyck words are counted by Catalan numbers statement
- Proof of the closed formula for Catalan numbers by the reflection principle proof
Where this leads
1 page builds on this one.
Further reading
- Web https://en.wikipedia.org/wiki/Catalan_number, Proof of the formula, Second proof
About this page
| Tag | 9ZK3H3XEP9 |
|---|---|
| URI | m2://9ZK3H3XEP9 |
| Kind | proof |
| Writing | W0 stub |
| MSC | 05A15 |
| Proves | Closed formula for Catalan numbers |
| Uses | Dyck 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 |
| Changed | 4 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.