Nmeros de Catalan

Armando Alcal Vallejo

Instituto de Fsica y Mamtemticas
(953) 53 2 03 99 Ext. 500
avallejo@mixteco.utm.mx

Estos nmeros, los cuales son la solucin de varios problemas en diferentes reas de las
matemticas, deben su nombre al matemtico Belga Eugne Charles Catalan, (1814-1894),
quien los descubri en 1838 mientras estudiaba el problema de las sucesiones bien
formadas de parntesis. Aunque stos nmeros fueron nombrados en honor a Catalan, ya se
conocan antes de l; alrededor de 1751 Leonhard Euler, (1707-1783), los descubri
mientras estudiaba el problema de la triangulacin de polgonos convexos, sin embargo de
acuerdo a un artculo de 1988 escrito por el matemtico chino J. J. Luo, stos nmeros ya
eran conocidos por el matemtico chino Antu Ming, (1692? - 1763?), quien hace referencia
a ellos en algunos trabajos de 1730 sobre modelos geomtricos; el trabajo de Ming fue
publicado en chino, es sta la razn por la cual no se conoci en Occidente.
Hoy en da han aparecido alrededor de 400 artculos y problemas que tratan acerca de
los nmeros de Catalan, en 1965 William G. Brown de la Universidad de Columbia
Britnica en Canad present un antecedente histrico con una lista de 60 referencias.
En 1976, Henry W. Gould de la Universidad de West Virginia en Morgantown public
una extensa bibliografa acerca de los nmeros de Catalan conteniendo 470 referencias.
Richard P. Stanley del MIT ( Instituto Tecnolgico de Massachusetts) tiene enlistados,
en su libro Enumerative Combinatorics vol. 2, 66 problemas cuya solucin es un nmero
de Catalan.
En ste seminario se pretende dar una breve introduccin a los nmeros de Catalan,
algunos problemas sencillos donde surgen, su relacin con el tringulo de Pascal y algunas
propiedades.
Una de las diferentes formas de definir los nmeros de Catalan es

Los primeros 100 nmeros de Catalan

ALGUNOS EJEMPLOS DONDE SURGEN STOS NMEROS

Ejemplo 1: Encuentre el nmero de maneras
en que el interior de un polgono convexo
de lados, puede ser dividido en tringulos, dibujando diagonales que no se crucen, para
.
Solucin:
Hay exactamente una manera de triangular un tringulo
Hay exactamente dos maneras de triangular un cuadrado
Hay cinco diferentes maneras de triangular un pentgono
Hay 14 diferentes maneras de triangular un hexgono
Hay 42 maneras de triangular un polgono de 7 lados
Hay 132 maneras de triangular un polgono de 8 lados

Ejemplo 2: Supongamos que tenemos un conjunto de n+1 nmeros para multiplicarlos

juntos, lo que significa que hay n multiplicaciones para realizar.
Sin cambiar el orden de los nmeros, se pueden multiplicar de las siguientes maneras o en
los ordenes especificados en la figura.

1 manera
1 manera
,

2 maneras
,

5 maneras

,
,
,
,
,
,
,

,
,
,
,

14
maneras

Ejemplo 3: Suponga que tiene n pares de parntesis y que le gustara formar con ellos
agrupaciones vlidas, donde vlido significa que cada parntesis abierto tiene un
parntesis cerrado que le corresponde, o que hace juego con l, o que empata con l.

Por ejemplo; (() ()) es vlido pero ()) () ( no es vlido.

De cuntas maneras se pueden agrupar para cada valor de n?

1 manera
()

1 manera

() () , (())

2 maneras

() () () , () (()) , (()) () , (()()) , ((()))

5 maneras

() () () () , () () (()) , () (()) () , () (()()) , () ((( )))

14 maneras
(()) () () , (()) (()) , ( ()() ) () , ((())) () , ( ()()() )
( () (()) ) , ( (()) () ) , (( ()() )) , (((( ))))
() () () () () , () () () (()) , () () (()) () , () () (()()) , () () 42 maneras
((()))
() (()) () () , () (()) (()) , () (()()) () , () ((())) () , () ( ()()()
)
() ( () (()) ) , () ( (()) () ) , () ((() ())) , () (((()))) , (()) () ()
()
(()) () (()) , (()) (()) () , (()) (() ()) , (()) ((())) , (() ()) ()
()
( () () ) (()) , ((())) () () , ((())) (()) , (() () ()) () , ( () (()) )
()
( (()) () ) () , ((() ())) () , (((()))) () , (() () () ()) , ( () () (())
)
( () (()) () ) , (() (() ())) , (() ((()))) , ((()) () ()) , ( (()) (())
)
( (()()) () ) , ( ((())) () ) , ((() () ())) , (( () (()) )) , (( (()) ()
))
((( () () ))) , ( ((( () ))) )

Ejemplo 4: Supongamos que tenemos una cantidad infinita de monedas y que deseamos
acomodarlas en filas, sujetas a las siguientes condiciones.
i. La fila de abajo consiste de n monedas, cada una en contacto con las dos ms
prximas a sus lados, excepto las 2 de los extremos. n 1.
ii. Una moneda que no pertenece a un rengln se sita entre las dos monedas debajo de
ella.
iii. No se hace distincin entre cara o cruz.

Ejemplo 5: Encuentre el nmero de maneras en que 2n personas, sentadas alrededor de una

mesa redonda, pueden saludarse sin que sus manos se crucen. Para n 0
Solucin; La figura muestra los varios posibles saludos para
La respuesta en cada caso es un nmero de Cataln.

Ejemplo 6: Encuentre el nmero de trayectorias en que una torre se puede mover desde la
esquina superior izquierda hasta la esquina inferior derecha en un tablero de ajedrez de
sin cruzar la diagonal principal.
Solucin; La figura muestra las posibles trayectorias para

ALGUNAS FORMAS DE CALCULAR

Hay varias maneras en que los nmeros de Cataln pueden ser ledos del tringulo de
Pascal. La manera ms obvia para calcular Cn es usando la frmula explcita.
Cn =
Esta es dividiendo el coeficiente central binomial por la mitad del nmero del rengln ms
uno, es decir por n+1.

Ejemplo;

Otra forma de Calcular

Dado que
Cn =

Cn, puede tambin ser calculado dividiendo el trmino inmediatamente a la izquierda a la

derecha del coeficiente central binomial por la mitad del nmero de rengln.

Una forma ms

Dado que

Cn =

Cn puede ser calculado restando al coeficiente central binomial el nmero inmediato a su

izquierda o a su derecha.

NMEROS DE CATALAN GENERALIZADOS

Los nmeros de Cataln son un caso especial de una clase ms grande de nmeros C
definida por:
=

C
Claramente

Cn

Como en el caso de los nmeros de Cataln ordinarios todo nmero de Cataln

Generalizado. C
, es un entero. Para ver esto note que:
-

=
debido a que el lado Izquierdo es un entero, el lado derecho tambin debe serlo. Pero
y
son relativamente primos. Esto implica que
divide a
; Esto es C
Notar que C

puede tambin ser escrito como:

Cuando k = 0, C
la correspondiente sucesin consiste de unos.
La tabla muestra las sucesiones correspondientes a k = 0, 1, 2, 3 y 4

Debido a que C

los valores pueden ser calculados siguiendo la

diagonal que se origina en la parte alta del tringulo de Pascal y pasando a travs del
elemento
en el rengln
.

Referencia
Catalan Numbers with Applications . Thomas Koshy. Oxford University Press.