Triángulo de Pascal: una Interpretación Recursiva1

Domandl, Juan.
FaMAF
2017

Abstract

El Triángulo de Pascal suele ser interpretado a través nociones de

combinatoria, a continuación introduciremos una definición
recursiva más «amena» para su introducción en lenguajes de
programación funcionales. Además, demostraremos algunas
propiedades.

1. Definición.
Definición 1. Llamamos Pirámide de Pascal a un arreglo de números Tn de tamaño n (la cantidad de
filas, i.e. i = n), denotamos ti,p (i.e. ti,p = t (i, p)) a la función de dos variables que devuelve el valor
de cada número de la pirámide; en donde i es la fila y p la posición de izquierda a derecha.
t1,1
t2,1 t2,2
t3,1 t3,2 t3,3
t4,1 t4,2 t4,3 t4,4
⋮
tn,1 tn,2 tn,3 tn,4 … tn,n

Cada número es 1 si es un extremo, los demás están definidos de manera recursiva por la
suma de los números inmediatamente superiores a él:
t : ℕ2 → ℕ

{ti−1,p−1 + ti−1,p
1 si p=1 ó p=i
ti,p = si i>2  y  p≠1  y  p≠ i

La cantidad de posiciones de una fila es igual al número de filas.

1 Work In Progress.

!1
2. Código en Haskell.
pascal :: Int -> Int -> Int
pascal i p
| p == 1 || p == i = 1
| p > i = error "La fila no tiene tantas posiciones."
| otherwise = pascal (i-1) (p-1) + pascal (i-1) p

3. Propiedades.
Proposición 1.
n
tn,r = 2n−1 , ∀n ∈ ℕ
∑
r=1

Prueba: hacemos inducción en n,

‣ Caso base: sea n = 1,
1
t1,r = 20
∑
r=1

t1,1 = 1

‣ Paso inductivo: suponiendo que vale para n = k veamos si es verdadera para n = k+1,
2k = 2k−12
k
2k = 2
∑
tk,r (Hipótesis inductiva.)
r=1
k+1
2k =
∑
tk+1,r (♤)
r=1

Probamos ♤ usando la definición recursiva de cada número de la pirámide:

k k+1

∑ ∑
2 tk,r = tk+1,r
r=1 r=1

2[1 + tk,2 + tk,3 + . . . + tk,k−1 + 1] = 1 + tk+1,2 + tk+1,3 + . . . + tk+1,k + 1

= 1 + (tk,1 + tk,2 ) + (tk,2 + tk,3) + . . . + (tk,k−1 + tk,k ) + 1
= 2[1 + tk,2 + tk,3 + . . . + tk,k−1 + 1]

!2
 ◼

Observación 1.
La suma de todas las filas del Triángulo de Pascal, es lo mismo que la serie geométrica
∞
2n−1 = 1 + 2 + 4 + 8 + 16 + . . . divergente puesto que la razón común entre términos es 2. ◼
∑
n=1

!3