Equivalence of Three Catalan Number Interpretations

Requires a Wolfram Notebook System
Interact on desktop, mobile and cloud with the free Wolfram Player or other Wolfram Language products.
The Catalan numbers count:
[more]
Contributed by: Robert Dickau (March 2011)
Open content licensed under CC BY-NC-SA
Snapshots
Details
Snapshots 1, 2: The correspondence is built up by labeling the sides of a polygon. In the parenthesized expression, the innermost pair or pairs of items being multiplied correspond to a new edge drawn from the "beginning" (proceeding counterclockwise) of one polygon side to the "end" of the other: edge (bc) in Snapshot 1 and (ab) in Snapshot 2. Another edge is then drawn based on products involving the original pairs: in Snapshot 1, beginning of side a to end of edge (bc), resulting in (a(bc)); in Snapshot 2, beginning of edge (ab) to end of side c, resulting in ((ab)c).
Snapshot 3: the process is repeated until no products remain in the parenthesized expression, at which point the parenthesized expression corresponding to the triangulation appears at the top side of the polygon
Snapshot 4: in the tree corresponding to a triangulation, each fork connects two terms in each multiplication
M. Gardner, Chapter 20, Time Travel and Other Mathematical Bewilderments, New York: W. H. Freeman, 1988.
Permanent Citation