Triángulo de Pascal

En las matemáticas, el triángulo de Pascal es una representación de los coeficientes binomiales ordenados en forma de triángulo. Es llamado así en honor al filósofo y matemático francés Blaise Pascal, quien introdujo esta notación en 1654, en su Tratado del triángulo aritmético.^[1]​ Si bien las propiedades y aplicaciones del triángulo las conocieron matemáticos indios, chinos, persas, alemanes e italianos antes del triángulo de Pascal, fue Pascal quien desarrolló muchas de sus aplicaciones y el primero en organizar la información de manera conjunta.^[2]​

El triángulo de Pascal se puede generalizar a dimensiones mayores. La versión de tres dimensiones se llama pirámide de Pascal o tetraedro de Pascal, mientras que las versiones más generales son llamadas simplex de Pascal.^{[cita requerida]}

La primera representación explícita de un triángulo de coeficientes binomiales data del siglo X, en los comentarios de los Chandas Shastra, un libro antiguo indio de prosodia del sánscrito escrito por Pingala alrededor del año 200 a. C.^[3]​

Las propiedades del triángulo fueron discutidas por los matemáticos persas Al-Karaji (953–1029)^[4]​ y Omar Khayyám (1048–1131); de aquí que en Irán sea conocido como el triángulo Khayyam-Pascal o simplemente el triángulo Khayyam. Se conocían también muchos teoremas relacionados, incluido el teorema del binomio.

En China, este triángulo era conocido desde el siglo XI por el matemático chino Jia Xian (1010–1070). En el siglo XIII, Yang Hui (1238–1298) presenta el triángulo aritmético, equivalente al triángulo de Pascal, de aquí que en China se le llame triángulo de Yang Hui.^[5]​^[6]​^[7]​^[8]​

Petrus Apianus (1495–1552) publicó el triángulo en el frontispicio de su libro sobre cálculos comerciales Rechnung^[9]​ (1527). Este es el primer registro del triángulo en Europa. En Italia, se le conoce como el triángulo de Tartaglia, en honor al algebrista italiano Niccolò Fontana Tartaglia (1500–1577). También fue estudiado por Michael Stifel (1486-1567)^[10]​ y por François Viète (1540-1603).

En el Traité du triangle arithmétique (Tratado del triángulo aritmético) publicado en 1654, Blaise Pascal reúne varios resultados ya conocidos sobre el triángulo, y los emplea para resolver problemas ligados a la teoría de la probabilidad; demuestra 19 de sus propiedades, deducidas en parte de la definición combinatoria de los coeficientes. Algunas de estas propiedades eran ya conocidas y admitidas, pero sin demostración. Para demostrarlas, Pascal pone en práctica una versión acabada de inducción matemática. Demuestra la relación entre el triángulo y la fórmula del binomio. Fue bautizado Triángulo de Pascal por Pierre Raymond de Montmort (1708) quien lo llamó: Tabla del Sr. Pascal para las combinaciones, y por Abraham de Moivre (1730) quien lo llamó: "Triangulum Arithmeticum PASCALIANUM" (del latín: "Triángulo aritmético de Pascal"), que se convirtió en el nombre occidental moderno.^[11]​

El triángulo de Pascal se construye siguiendo un patrón como el que se muestra en la figura de abajo. Se comienza desde la cúspide con el número «1» hacia abajo(infinito), a modo de "árbol"; se clasifica en filas, empezando por la fila cero(el «1» de la cúspide). Este "árbol" tiene nodos, que son cada número que compone el triángulo. Si sumamos dos nodos nos dará de resultado el nodo situado debajo de estos dos, y así sucesivamente.

Las diagonales que empiezan desde el «1» situado en la cabeza del triángulo valen siempre 1.

Este triángulo fue ideado para desarrollar las potencias de binomios. Las potencias de binomios vienen dadas por la fórmula: ${displaystyle (a+b)^{n}}$, dónde a y b son constantes cualesquiera y n el exponente que define potencia. Esta expresión se denomina binomio de Newton.

Esta fórmula del binomio de Newton desarrolla los coeficientes de cada fila en el triángulo de Pascal. Es por esto que existe una estrecha relación entre el triángulo de Pascal y los binomios de Newton.

Todas las cifras escritas en cada fila del triángulo corresponden a los coeficientes del desarrollo de las potencias del binomio de Newton. Unos ejemplos de la serie que describe este comportamiento son:

Con estos ejemplos se concluye que la serie de la expresión general que los desarrolla es:

De esta forma, los coeficientes desarrollados de la forma (a+b)ⁿ se encuentran en la fila «n+1» del Triángulo de Pascal.

También se puede generalizar este resultado para cualquier valor de ${displaystyle nin mathbb {N} }$ por inducción matemática.

Si a cada nodo de este triángulo en cada fila lo denominamos z, nos quedaría la serie que describe la expresión general del modo:

En esta serie ${displaystyle zin mathbb {N} }$, dónde z va desde 1 hasta n.

La construcción del triángulo está relacionada con los coeficientes binomiales según la fórmula (también llamada regla de Pascal) combinatoria. Esta fórmula o regla explica que los coeficientes (nodos del "árbol") de una fila dada del triángulo, se pueden calcular con la fórmula combinatoria de combinaciones de ${displaystyle n}$ elementos de ${displaystyle k}$ en ${displaystyle k}$; expresado matemáticamente: ${displaystyle { binom {n}{k}}}$, dónde ${displaystyle n}$ es la fila - 1 y ${displaystyle k}$ la posición en la fila.

Todo esta propuesta de correlato entre combinatoria y el triángulo de Pascal viene dada por la regla general antes mencionada:

Por ejemplo, para el binomio ${displaystyle (a+b)^{3}}$, tendríamos lo siguiente:

Una vez sentadas las bases del intrínseco correlato existente entre estos dos campos de las matemáticas, véanse las propiedades de estos.

Esta imagen representa el triángulo de Pascal matricialmente, y además aplicable a combinatoria. Cada uno de los valores de un triángulo de Pascal escritos en forma de tabla corresponden a un coeficiente de la expansión de una potencia de sumas. Concretamente, el número de la fila n y la columna p, corresponde a ${displaystyle { binom {n}{p}}}$, o también denotado como ${displaystyle mathbf {C} _{n}^{p}}$ (${displaystyle mathbf {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 (0). Usando las propiedades de los coeficientes binomiales, se pueden obtener las siguientes propiedades de cualquier triángulo de Pascal con todo rigor:

Una consecuencia interesante del triángulo de Pascal es que la suma de todos los valores de una fila cualquiera del triángulo es una potencia de 2. Esto es debido a que, por el teorema del binomio, la expansión de la n-potencia de ${displaystyle (1+1)^{n}=2^{n}}$ es

que corresponde precisamente con la suma de todos los valores de la n-ésima fila de un triángulo de Pascal.

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: ${displaystyle 1,2,3,4,dots ,n,dots }$ La tercera columna deja dos filas vacías y comienza con la sucesión de los números triangulares: ${displaystyle 1,3,6,10,15,dots }$ Dibujado de esta manera es fácil ver que:

También se pueden encontrar las potencias en base 2 de la forma ${displaystyle 2^{n}, nin mathbb {N} }$ como las sumas sucesivas de los coeficientes de las filas, siendo n la fila en la que se encuentra la potencia ${displaystyle 2^{n}}$:

En el triángulo de Pascal se puede apreciar una relación entre un modo de sumar las diagonales y la sucesión de Fibonacci. Los primeros términos de esta sucesión son: ${displaystyle 1,1,2,3,5,8,13,21,34,55dots }$

Como se puede apreciar en la imagen de la derecha, las sumas sucesivas de las diagonales desde arriba a la derecha hacia abajo a la izquierda componen la sucesión de Fibonacci.

Existe una propiedad sobre el triángulo de Pascal que indica que si el primer elemento de una fila (sin contar los «1») es un número primo, entonces todos los demás elementos de la fila serán divisibles por él.

Ejemplo:

${displaystyle { ext{En la fila 11 }} ightarrow 1quad 11quad 55quad 165quad 330quad 462quad 462quad 330quad 165quad 55quad 1}$;

El 55, 165, 330 y 462 son divisibles por 11.

En vez de considerar las potencias de a + b, se puede considerar las del trinomio a + b + c. De esta manera, (a + b + c)ⁿ es una suma de monomios de la forma λ_{p, q, r} ·a^p·b^q·c^r, con p, q y r positivos, p + q + r = n, y λ_{p, q, r} un número natural que se llama coeficiente trinomial.^[12]​^[13]​ Los cálculos son similares a los del coeficiente binomial, y se dan mediante la siguiente expresión:

en subconjuntos de p, q y r elementos.

Estos coeficientes se pueden considerar como la analogía tridimensional del triángulo de Pascal. De hecho, a la distribución de estos coeficientes al estilo piramidal se le conoce como pirá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.

En esta pirámide 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.

De igual manera, todo esto se puede generalizar a dimensiones finitas cualesquiera, pero sin la posibilidad de hacer dibujos explicativos sencillos.

Los siguientes códigos del triángulo de Pascal se basan en la propiedad: ${displaystyle n=C(fila,posicion)}$, teniendo en cuenta que n es un valor perteneciente al triángulo de Pascal, fila es el número de nivel (altura) que nos encontramos del triángulo de Pascal, se empezaría por "1 1", el cual sería la fila 1, y la posición se refiere al índice del dato en la fila, leído de izquierda a derecha. Así pues, en la segunda fila del triángulo de Pascal tenemos: ${displaystyle 2=C(2,1)}$, ya que se encuentra en la posición 1 (empezamos por la posición 0) y se encuentra en el nivel 2. Teniendo en cuenta que C hace referencia a combinatoria, por lo que se sigue la siguiente fórmula para hallarlo: ${displaystyle C(x,y)={x! over y!(x-y)!}}$. Y teniendo en cuenta que se hace uso del factorial.

Por otro lado, en el código de Java el factorial se realiza mediante un bucle, siguiendo la definición: ${displaystyle x!=x(x-1)...1}$

En cambio, en el código de Python se realiza mediante la recursividad, siguiendo la siguiente definición: ${displaystyle x!=x(x-1)!}$

---