Triángulo de Pascal

Triángulo de Pascal.

El triángulo de Pascal en matemáticas es un conjunto infinito de números

enteros ordenados en forma de triángulo que expresan coeficientes binomiales. El
interés del Triángulo de Pascal radica en su aplicación en álgebra y permite calcular
de forma sencilla números combinatorios lo que sirve para aplicar el binomio de
Newton.

En países orientales como China, India o Persia, este triángulo se conocía y fue

estudiado por matemáticos como Al-Karaji, cinco siglos antes de que Pascal expusiera
sus aplicaciones, o por el astrónomo y poeta persa Omar Jayyam (1048-1123). En
China es conocido como Triángulo de Yanghui, en honor al matemático Yang Hui,
quien lo describió el año 1303.1

[editar]Composición del Triángulo de Pascal

El Triángulo se construye de la siguiente manera: escribimos el número «1» centrado

en la parte superior; después, escribimos una serie de números «1» en las casillas
situadas en sentido diagonal descendente, a ambos lados; sumamos las parejas de
cifras situadas horizontalmente (1 + 1), y el resultado (2) lo escribimos debajo de
dichas casillas; continuamos el proceso escribiendo en las casillas inferiores la suma
de las dos cifras situadas sobre ellas (1 + 2 = 3)...

Las cifras escritas en las filas, tales como: «1 2 1» y «1 3 3 1» recuerdan los

coeficientes de las identidades:

Es más, se puede generalizar para cualquier potencia del binomio: 

[editar]Vínculo entre el triángulo de Pascal y el binomio de

Newton
La expresión que proporciona las potencias de una suma   se
denomina Binomio de Newton.

(1)

En esta expresión, lo único que se desconoce son los coeficientes de los

monomios.

Los coeficientes de la forma desarrollada de (a + b)n se encuentran en la línea «n +

1» del Triángulo de Pascal.

Hemos visto que era cierto para n = 2 y n = 3; también lo es para n = 0: (a + b)0 =

1 = 1·a0b0 y con n = 1: (a + b)1 = a + b = 1·a + 1·b.

Para obtener el resultado de cualquier valor de n ∈ N, se procede por inducción

matemática. Suponiendo que es cierto para un valor de n, deducimos que lo es
también para n+1. Observemos lo que sucede con n = 4.

El desarrollo de (a + b)4 consiste en el desarrollo de (a + b) (a + b)³.

Si sólo se escriben los coeficientes, obtenemos la siguiente suma:

Obviamente, aparecen las mismas cifras desplazadas en una posición:
la suma consiste en añadir a un coeficiente el coeficiente situado a su derecha, y
esto es justamente lo que se obtiene en el triángulo de Pascal.

[editar]Coeficientes del binomio de Newton

Se inscribe el triángulo de Pascal en una tabla para poder nombrar a cada

coeficiente del mismo. El número en la línea n y la columna p se denota:

o más raramente

(C por "combinación") y se dice "n sobre p", "'combinación de n en p"'

o "coeficiente binomial n, p". Las casillas vacías corresponden a valores
nulos. Por definición misma, tenemos, (para todo n natural):

para cualquier valor de a y b. De hecho, es una igualdad

de polinomios en Z[a, b]. Sin perder en generalidad, resulta a
veces más práctica la definición:
 vista como una igualdad de polinomios en Z[X]. De esta
fórmula se deducen dos consecuencias:

Tomando X = 1 se obtiene:

La suma de los coeficientes de una misma línea vale 2n. En

efecto: 1 = 20,1 + 1 = 2 = 21,1 + 2 + 1 = 4 = 22,1 + 3 + 3 + 1 = 8 =
23,1 + 4 + 6 + 4 + 1 = 16 = 24... Con X = − 1 se obtiene, (n > 0):

 : la suma alterna de los números de una

misma línea vale 0.

En efecto: 1 − 1 = 0,1 − 2 + 1 = 0,1 − 3 + 3 − 1 = 0,1 − 4 + 6 − 4 +

1 = 0,1 − 5 + 10 − 10 + 5 − 1 = 0.... Las propiedades que hemos
observado en el triángulo se pueden ahora escribir con todo
rigor:
. (costados
izquierdos y
derechos del
triángulo).
.
("segund
a capa").

. (simetría
respecto al eje
vertical del
triángulo).
cuando p >
n (corresponde a la zona
fuera del triángulo).

Y claro, la regla de construcción del triángulo da la relación

fundamental de los coeficientes binomiales:
.
por todo lo anterior notamos estas similitudes y la mente de
estos grandes genios que fueron Pascal y Newton.

[editar]Interpretación en combinatoria
Los coeficientes binomiales son la base misma de
la combinatoria. Veamos por qué: Tomemos de nuevo
un binomio, por ejemplo (a + b)3, y desarrollémoslo, pero de
una manera distinta del párrafo anterior:

luego quitemos las paréntesis, pero sin cambiar el orden

en los productos, es decir sin aplicar la conmutatividad:

Y agrupemos los términos que contienen el mismo

número de a, (y de b):

El primer paréntesis contiene todas las

palabras constituidas de un b y dos a. En este
caso, es fácil ver que hay exactamente tres. En
el caso general, para contar las palabras, hay
que aplicar la conmutatividad, pues las
palabras que contienen el mismo número de a
y b darán el mismo término:
El primer cuenta las tres palabras
factor 3, que mencionadas (aab, aba y
es baa).
El segundo cuenta las palabras hechas
factor 3, que de dos b y un a (abb, bab y
es bba).

Obviamente, sólo hay una palabra de tres

letras constituidas de a solamente, y esto
corresponde al monomio 1·a³, con 1

=   ( «0 » por ninguna b).

En vez de hablar de palabras formadas

con a y b, es equivalente imaginar una
hilera de n cajones inicialmente vacíos,
y p bolas intercambiables que se tienen
que repartir, en cada cajón no cabiendo
más de una. Se trata en todos casos de
repartir p objetos entre n sitios posibles, o
de escoger un grupo de p objetos/sitios
entre n objetos/sitios. De ahí la
apelación p entre n.

Todo lo anterior lleva al teorema:

maneras de escoger un
Hay
conjunto de p elementos
exactamente
entre n elementos.

En matemática anormal, se prefiere hablar

de conjuntos:

subconjuntos de cardinal p en un
Existen
conjunto de cardinal n.

Este punto de vista permite hallar la

fórmula para los coeficientes binomiales.
En efecto, para elegir el « primer »
elemento, hay n posibilidades, luego para
escoger el segundo quedan n-
1 posibilidades y así sucesivamente hasta
el elemento número p, que tiene n-p+1. El
orden en el que se ha elegido
estos p elementos no importa, se podía
 haber obtenido el
mismo subconjunto de p elementos en
otro orden. Hay p!permutaciones posibles
de estos p elementos, es decir p! maneras
de obtener el mismo conjunto.
Por
subconju
tant
ntos
o
posibles.
hay

En conclusión:

Verifiquémoslo en un ejemplo:

En el triángulo, el valor en la quinta línea y segunda columna es 10. Para rematar,

listemos las palabras de cinco letras formadas de 2 a y 5-2 = 3 b (en el orden
alfabético, o en el orden creciente considerando que a es la cifra 0 y b la cifra 1):
aabbb, ababb, abbab, abbba, baabb, babab, babba, bbaab, bbaba, bbbaa.

La fórmula permite verificar todas las propiedades del párrafo anterior, sin embargo se
puede prescindir de los cálculos en la mayoría de los casos, con tal de manipular los
conceptos idóneos.

Un subconjunto A de E define una partición de E en dos partes E = A ∪ B , con A ∩ B

= {}= ∅ (conjunto vacío). Aquí   es el complementario de A en E.

Da lo mismo escoger los p elementos de A que los n-p elementos de  .

Esto justifica, sin cálculo, la simetría

.
Si p > n, no hay subconjuntos de E
con p elementos, porque E
contiene sólo n, luego
También
porque,
son
en el
evidentes y
primer
las
caso,
igualdades

hay tantas maneras de escoger

subconjunto de tamaño 1 que de
elementos de E, y en el segundo caso,
sólo existe un conjunto con cero elemento:
el conjunto vacío.

La regla fundamental también tiene

explicación gráfica:

Prueba: se escoge un
elemento e cualquiera de E, que contiene
n+1 elementos: E = E' ∪ {e}. Luego se
consideran los subconjuntos A de E de
cardenal p+1. Son de dos tipos: o
contienen e, o no.
Si e ∈ A, entonces falta
elegir p elementos de
posibilidades.
E' para completar A.
Hay

Si e ∉ A, entonces falta

elegir p+1 elementos de posibilidades.
E' para definir A. Hay

Sumando los dos casos, se obtiene todos

las partes de p+1 elementos de E,
constituido de n+1 elementos.

Hay por
tanto

Un ejemplo:
Aquí va una propiedad aritmética, sin
interpretación geométrica: cuando n es
primo, los coeficientes binomiales en la
línea n son divisibles por n, excepto los
dos bordes de la misma (que valen 1).
Escrito formalmente:

Teorema:

Si p es primo entonces p divide a   

para k=2,3,...,n-1.

En la figura, los ejemplos están en verde,

y los contraejemplos (cuando n no es
primo y p divide n) en amarillo.

Prueba: en la el factor
fracción primo
n aparece una vez en el numerador y
jamás en el denominador. (El
denominador es un producto de números
entre 1 y n-1). Por tanto la fracción es
divisible por n.

Generalización

En vez de considerar las potencias de a +

b, se puede mirar las del trinomio a + b +
c.
(a + b + c)n es una suma de monomios de
la forma λp, q, r ·ap·bq·cr,
con p, q y r positivos, p + q + r = n, y λp, q,
 un natural que se tendría que
r

llamar coeficiente trinomial.

Los cálculos son similares a los del

coeficiente binomial, y dan la expresión
siguiente:

<, en subconjuntos de p, q y r elementos.

Un ejemplo:

Estos coeficientes se pueden hallar en la

analogía tridimensional del triángulo de
 Pascal: Se podría llamar lapirámide de
Pascal, es también infinita, con secciones
triangulares, y el valor en cada casilla es
la suma de los valores de las tres casillas
encima de ella.

Se ha dibujado las primeras secciones a

partir de la cumbre.
Se observa una invariante por rotación de
120 grados alrededor de un eje vertical
que pasa por el vértice.
El triángulo de Pascal aparece en las tres
caras de la pirámide.

Está claro que todo esto se puede

generalizar a dimensiones finitas
cualquieras, pero sin la posibilidad de
hacer dibujos explicativos.

Otra forma de dibujar el triángulo

La ilustración al comienzo del artículo

muestra el triángulo de Pascal dibujado
como un triángulo equilátero. Es posible
«enderezarlo» de tal forma que su dibujo
quede como un triángulo rectángulo. De
esta forma, a la izquierda queda una
columna de números «1». La siguiente
columna deja un lugar vacío en la primera
fila y sigue con la sucesión de números
naturales: 1, 2, 3, 4, ..., n, .... La tercera
columna deja dos filas vacías y comienza
con la sucesión de los números
triangulares: 1, 3, 6, 10, 15, .... Dibujado
de esta manera es fácil ver que:

Cada número en una columna cualquiera es igual a la suma parcial de los elementos
de la columna anterior (a la izquierda) hasta la fila anterior en orden descendente.
La tercera columna es la sucesión de los números triangulares; la cuarta, la de los
números tetraédricos; la quinta, la de los números pentaédricos, y así sucesivamente.