Sistema de Tabulaci´
on de Coeficientes
Binomiales o Tri´
angulo de Pascal: un Modelo
Num´
erico Rasga el Telar de los Tiempos
Binomial Coefficients’ Tabulation System or Pascal’s
Triangle: a Numeric Model Rips the Loom of Time
Mar´
ıa Cristina Solaeche Galera
([email protected]) Departamento de Matem´aticasFacultad de Ingenier´ıa La Universidad del Zulia Apartado Postal 10.063 (Bellavista)
Maracaibo. Venezuela
Resumen
Uno de los modelos num´ericos m´as famoso de la Historia de la Matem´atica, el Tri´angulo de Pascal, nos muestra su origen y trajinar a trav´es del telar de los tiempos. Desde su creaci´on oriental casi m´agica y olvidada, hasta su arraigo en el mundo occidental.
Palabras y frases clave: tri´angulo de Pascal, tri´angulo aritm´e-tico, coeficientes binomiales, m´etodo celestial.
Abstract
One of the most famous numeric models of the History of Mathematics, Pascal’s triangle, shows us its origin and shuttling throug the loom of time, since its oriental creation, almost magi-cal and forgotten, until becoming rooted in the occidental world.
1
Introducci´
on
La convergencia hist´orica, en su confluencia de hechos e ideas con sus propios pasados, pone en movimiento nuevos acontecimientos, nuevos pensamientos
. . . que con el transcurrir del tiempo participan a su vez en nuevas conjun-ciones conformando continuamente el hoy con parte del ayer. El retorno al or´ıgen de las ideas y conceptos matem´aticos ayuda a tropezar acertadamente con la falsa creencia de la gratuidad mediata de los descubrimientos que ellos encierran, a asomarnos al abismo que suele a veces separar las diferentes eta-pas de una misma idea, a conducirnos en un “ir y regresar” de conclusiones deducidas de tan sutiles como imprevistos razonamientos, hasta las m´as arrai-gadas y profundas ra´ıces que el tiempo y las circunstancias adentraron en el conocimiento humano, permit´endonos, de alguna forma, asistir a la prodigio-sa evoluci´on de la Matem´atica en su eslabonada continuidad y revolucionario car´acter. Como ha dicho P. Boutroux [1]: “Lo que m´as nos asombra cuan-do comparamos la Matem´atica de nuestro tiempo con la de ´epocas anteriores es la extraordinaria diversidad y el aspecto imprevisto de los caminos y los atajos por los que esta ciencia se ha embarcado, es el desorden aparente con que ejecuta sus marchas y contramarchas, son las maniobras y los continuos cambios de frente”.
El llamadoSistema de tabulaci´on para calcular coeficientes de binomioso M´etodo celestialoTri´angulo aritm´eticooRect´angulo de TartagliaoTri´angulo de Pascal es uno de los modelos num´ericos m´as famoso en la Historia de la Matem´atica; sencillo en su construcci´on y maravilloso como fuente, tal pare-ciera inagotable de riquezas matem´aticas, ofrece una notable correspondencia entre su simple construcci´on, los coeficientes del desarrollo del binomio de Newton y los relevantes conceptos de combinaciones y variaciones del An´alisis Combinatorio y el C´alculo de Probabilidades.
Figura 1:
Diagrama del “antiguo m´etodo” en la obra de Chu Shih Chieh Ssu-yuan yu-chien oEspejo Precioso de los Cuatro Elementos.ecuaciones simult´aneas, ecuaciones elevadas a exponentes “tan altos” como el decimocuarto, el algoritmofan-fan(redescubierto por William Horner y Paolo Ruffini en 1819), la suma de series y progresiones geom´etricas y aritm´eticas, y una disposici´on del binomio (x+y)n
con los coeficientes dispuestos hasta la octava potencia, vali´endose para ello el autor del que llamam´etodo celestialo m´etodo muy antiguopara calcular las potencias hasta la octava inclusive.
al-gunos a˜nos atr´as, en 1527, un dibujo del tri´angulo hab´ıa aparecido decorando la portada del libro sobre aritm´etica comercialRechnungdel cosm´ografo y ma-tem´atico alem´an Petrus Apianus). El matem´atico italiano Niccolo Tartaglia estudia en su obra en parte p´ostuma que consta de tres vol´umenes publicados entre 1556 y 1560General trattato di numeri et misure (Tratado general sobre el n´umero y la medida)una disposici´on num´erica similar que llam´oRect´angulo aritm´etico.
El genial matem´atico, m´ıstico y polemista franc´es Blaise Pascal (1623-1662) es el primero en relacionar rigurosamente los n´umeros combinatorios con elTeorema del Binomio(ya en alguna forma conocidos desde el s. XIV), en un tratado escrito en 1653 y p´ostumamente publicado en 1665 (que in-clu´ıa tambi´en su muy particular m´etodo de inducci´on): Trait´e du triangle arithm´etique(Tratado del tri´angulo aritm´etico), deduciendo nuevas propieda-des y aplicaciones del Tri´angulo a la Teor´ıa Combinatoria y a la Teor´ıa de Probabilidades. En 1886 el mate’atico escoc´es George Chrystal lo denomina Tri´angulo de Pascalen el volumen I de su obraAlgebra.
2
Construcci´
on
Se disponen los n´umeros en un arreglo triangular con unos (1) en su v´ertice superior y en los lados adyacentes a dicho v´ertice; cada uno de los dem´as t´erminos es la suma de los dos n´umeros inmediatamente superiores a su iz-quierda y a su derecha, en una disposici´on infinita con simetr´ıa bilateral res-pecto a la bisectriz de su ´angulo fijo superior. Las l´ıneas o filas se enumeran de arriba hacia abajo y los t´erminos, las verticales o columnas y las diagonales, de izquierda a derecha, partiendo de cero y considerando la simetr´ıa.
1
1 1
1 2 1
1 3 3 1
1 4 6 4 1
1 5 10 10 5 1
1 6 15 20 15 6 1
1 7 21 35 35 21 7 1
1 8 28 56 70 56 28 8 1
1 9 36 84 126 126 84 36 9 1
3
Algunas interesantes propiedades
Las tres propiedades siguientes, son textualmente extra´ıdas del Trait´e du triangle arithm´etique de B. Pascal y referidas a un particular diagrama con un giro de 45◦ con respecto al actual (ver [4]):
1 1 1 1 1 1 1 1 1 1
1 2 3 4 5 6 7 8 9
1 3 6 10 15 21 28 36
1 4 10 20 35 56 84
1 5 15 35 70 126 1 6 21 56 126 1 7 28 84 1 8 36 1 9 1
• En todo tri´angulo aritm´etico, si dos c´elulas son contiguas en la misma base, la superior es a la inferior como el n´umero de c´elulas desde la superior hasta lo alto de la base es al n´umero de c´elulas desde la inferior hasta abajo inclusive.
• En todo tri´angulo aritm´etico, la suma de las c´elulas de una fila paralela cualquiera es igual al n´umero de combinaciones del exponente de la fila en el exponente del tri´angulo; propiedad que lo relaciona con la Teor´ıa Combinatoria.
• En un juego de dos jugadores, a cada uno de los cuales le falta un cierto n´umero de partidas para terminar el juego, encontrar mediante el tri´angulo aritm´etico el reparto que hay que hacer (si quieren separarse sin jugar), teniendo en cuenta las partidas que le faltan a cada uno. Soluci´on: T´omese en el tri´angulo la base en la que haya tantas c´elulas como partidas les falten a los dos juntos; a continuaci´on, t´omense en esta base tantas c´elulas seguidas, comenzando por la primera, como partidas le falten al primer jugador, y t´omese la suma de sus n´umeros. Por tanto quedan tantas c´elulas como partidas le faltan al otro jugador. T´omese de nuevo la suma de sus n´umeros. Estas sumas son la una a la otra como las ventajas rec´ıprocas de los jugadores. Esta particular propiedad, relaciona al Tri´angulo de Pascal con el problema de determinar las apuestas entre dos jugadores que juegan varias partidas.
Las siguientes propiedades se refieren al diagrama que actualmente se maneja y que representamos en la Figura 2.
• El t´ermino situado en la filany la columnames el n´umero n m
.
• Los unos en el v´ertice superior (o fila cero) y los lados adyacentes son f´acilmente verificables mediante
• La simetr´ıa bilateral, consecuencia de la relaci´on
n
que expresa la igualdad de los n´umeros colocados sim´etricamente res-pecto del eje vertical (eje de simetr´ıa del tri´angulo). Todas las filas son sim´etricas respecto a dicho eje, pues la propiedad de simetr´ıa se conserva al pasar de una fila a otra.
• Lan-´esima fila contienen+ 1 t´erminos.
• La diagonal nula da el equivalente en el espacio cero y s´olo puede con-cebirse como formada por un punto (el v´ertice) en el que aparece el n´umero 1.
• La primera diagonal est´a formada exclusivamente por unos (1).
• La segunda diagonal est´a formada por los n´umeros naturales.
• La tercera diagonal proporciona los n´umeros triangulares 1,3,6,10,15,
. . . as´ı llamados por ser el cardinal de un conjunto de puntos que com-ponen una disposici´on triangular con npuntos por lado en el espacio bidimensional. Cada uno de ellos se deduce del n´umero triangular an-terior sum´andole el n´umero de t´erminos anteriores incluyendo el selec-cionado.
• La expresi´on deln-´esimo n´umero triangular n+1 2
nos dice cu´antos t´er-minos del Tri´angulo de Pascal contienen sus nprimeras filas, desde la cero hasta la n−1.
• El n-´esimo n´umero tetra´edrico est´a dado por la expresi´on n+2 3
y geom´etricamente representa el n´umero de puntos de una red pirami-dal de base una red triangular de ordenn.
• La quinta diagonal 1,5,15,35,70,. . . da el n´umero de puntos que forman disposicioneshipertetra´edricas en el espacio de cuatro dimensiones.
• La n-´esima diagonal contiene los equivalentes n-dimensionales de los n´umeros triangulares en el espacio (n−1)-dimensional.
• La suma de los cuadrados de los n´umeros de una fila es igual al n´umero del mismo tri´angulo.
• La suma de los t´erminos de la n-´esima fila es equivalente al doble 2n
de la suma de la siguiente filan−1.
• La suma de los n´umeros de la filanes 2n .
• La suma de todos los n´umeros situados sobre cualquier diagonal hasta una cierta posici´on, es el n´umero situado directamente debajo y a la derecha.
• La suma de las diagonales de menor pendiente forman la famosa suce-si´on de Fibonacci1,1,2,3,5,8,13,. . . , propiedad no conocida por Pascal, pues fu´e descubierta reci´en a finales del s. XIX.
• Si se eliminan diagonales del lado izquierdo del tri´angulo se obtienen sumas parciales de la sucesi´on de Fibonacci (propiedad descubierta por el matem´atico Verner E. Hoggatt Jr.): si se eliminan k diagonales, se obtienen las sumas parciales de ordenk de la sucesi´on de Fibonacci.
• La filancontiene los coeficientes del desarrollo de las potenciasn-simas del Binomio de Newton (x+y)n, propiedad que relaciona inmediata-mente al Tri´angulo de Pascal con la Combinatoria elemental y la Teor´ıa de Probabilidades. Y la expresi´on:
n
dada por M. Stifel (1544), permite calcular recursivamente estos coefi-cientes binomiales.
• Todos los n´umeros de la fila nson impares si y s´olo sin= 2r
−1 para alg´un enteror.
Posteriormente se representaron por medio de tri´angulos similares los n´umeros de Stirling de primera y segunda clase y los n´umeros de Bell.
En este art´ıculo, intentamos una vez m´as recordar la Historia de la Ma-tem´atica, mirar hacia atr´as y maravillarnos ante tan grandiosa unidad hist´ o-rica, ante como un mismo conocimiento surge en mundos tan distantes, se asienta, perdura y rasga el telar de los tiempos desde dinast´ıas, terratenientes y levantamientos campesinos allende el Oriente hasta el Occidente a trav´es de creencias est´aticas y eg´olatras como: todo ha sido creado en beneficio del hombre, la tierra yace inm´ovil en el centro del Universo. . .
En momentos hist´oricos en que la ciencia tambaleaba dando sus prime-ros pasos mientras la tierra regalaba al hombre “nuevos mundos”, Corneille escribe sus primeros versos, Cop´ernico cede su manuscrito de la teor´ıa he-lioc´entrica, Descartes intenta hallar una verdad evidente a partir de la cual fuese posible alcanzar las verdades ´ultimas . . . Blaise Pascal [2] aporta su m´ıstica actitud filos´ofica :
“Dos excesos: excluir la raz´on o no admitir m´as que la raz´on.”
Referencias
[1] Boutroux, P.L’Ideal Scientifique des Math´ematiciens, dans l’Antiquit´e et dans les Temps Modernes, Paris, 1920.
[2] Pascal, B. Pens´ees, Editions Garnier, Paris, 1957.
[3] Presencia de China, Ediciones en Lenguas Extranjeras, Beijing, 1995. [4] Uspenski. V. A., Tri´angulo de Pascal, trad. L. B. Ermol´aev, Editorial