Divulgaciones Matemticas v. 6, No. 1 (1998), 6168.

Sistema de Tabulacin de Coecientes o Binomiales o Tringulo de Pascal: un Modelo a Numrico Rasga el Telar de los Tiempos e Binomial Coecients Tabulation System or Pascals Triangle: a Numeric Model Rips the Loom of Time Mar Cristina Solaeche Galera (solaeche@luz.ve) a
Departamento de Matemticas a Facultad de Ingenier a La Universidad del Zulia Apartado Postal 10.063 (Bellavista) Maracaibo. Venezuela Resumen Uno de los modelos numricos ms famoso de la Historia de e a la Matemtica, el Tringulo de Pascal, nos muestra su origen a a y trajinar a travs del telar de los tiempos. Desde su creacin e o oriental casi mgica y olvidada, hasta su arraigo en el mundo a occidental. Palabras y frases clave: tringulo de Pascal, tringulo aritma a e tico, coecientes binomiales, mtodo celestial. e

Abstract One of the most famous numeric models of the History of Mathematics, Pascals triangle, shows us its origin and shuttling throug the loom of time, since its oriental creation, almost magical and forgotten, until becoming rooted in the occidental world. Key words and phrases: Pascals triangle, arithmetical triangle, binomial coecients, heavenly method.

62

Mar Cristina Solaeche Galera a

Introduccin o

La convergencia histrica, en su conuencia de hechos e ideas con sus propios o pasados, pone en movimiento nuevos acontecimientos, nuevos pensamientos . . . que con el transcurrir del tiempo participan a su vez en nuevas conjunciones conformando continuamente el hoy con parte del ayer. El retorno al or gen de las ideas y conceptos matemticos ayuda a tropezar acertadamente a 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 etapas de una misma idea, a conducirnos en un ir y regresar de conclusiones deducidas de tan sutiles como imprevistos razonamientos, hasta las ms arraia gadas y profundas ra ces que el tiempo y las circunstancias adentraron en el conocimiento humano, permitndonos, de alguna forma, asistir a la prodigioe sa evolucin de la Matemtica en su eslabonada continuidad y revolucionario o a carcter. Como ha dicho P. Boutroux [1]: Lo que ms nos asombra cuana a do comparamos la Matemtica de nuestro tiempo con la de pocas anteriores a e 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 llamado Sistema de tabulacin para calcular coecientes de binomios o o Mtodo celestial o Tringulo aritmtico o Rectngulo de Tartaglia o Tringulo e a e a a de Pascal es uno de los modelos numricos ms famoso en la Historia de la e a Matemtica; sencillo en su construccin y maravilloso como fuente, tal parea o ciera inagotable de riquezas matemticas, ofrece una notable correspondencia a entre su simple construccin, los coecientes del desarrollo del binomio de o Newton y los relevantes conceptos de combinaciones y variaciones del Anlisis a Combinatorio y el Clculo de Probabilidades. a Durante la Edad Media Oriental, en China, el matemtico Chia Hsien a (1100 d.C. Dinast Liao; Chitan trtara) lo dene como Sistema de tabulaa a cin para calcular coecientes de binomios; el poeta, matemtico, astrnomo o a o y lsofo persa Omar Khayyam lo describe alrededor del 1100 d.C., probableo mente basndose en fuentes chinas e indias ms antiguas, y se cree extraviado a a en la obra Potencias Acumulativas y Coecientes Calculados del matemtico a Liu Ju-Hsien (1218 d.C. Dinast Chin; Jurchen trtara). En la obra del maa a temtico chino Chu Shih Chieh (1270-1330 d.C. Dinast Yuan mongola), Ssu a a - yuan yu - chien (Espejo Precioso de los Cuatro Elementos) escrita en 1303 (ver [3]), aparece en la primera pgina un delicado diagrama (ver Figura 1) a del tringulo; la obra reere su estudio a los cuatro elementos como las cuaa tro incgnitas gurativamente llamadas cielo, tierra, hombre y objeto; estudia o

Sistema de tabulacin de coecientes binomiales . . . o

63

Figura 1: Diagrama del antiguo mtodo en la obra de Chu Shih Chieh e

Ssu-yuan yu-chien o Espejo Precioso de los Cuatro Elementos. ecuaciones simultneas, ecuaciones elevadas a exponentes tan altos como el a decimocuarto, el algoritmo fan-fan (redescubierto por William Horner y Paolo Runi en 1819), la suma de series y progresiones geomtricas y aritmticas, e e y una disposicin del binomio (x + y)n con los coecientes dispuestos hasta la o octava potencia, valindose para ello el autor del que llama mtodo celestial o e e mtodo muy antiguo para calcular las potencias hasta la octava inclusive. e En el s. XV el matemtico y astrnomo al-Ks (1390-1450) indagando en a o a el observatorio de Samarkanda, en el Islam, en la antigua ruta entre el Prximo o Oriente y China, encuentra la forma del Tringulo de Pascal en relacin con el a o desarrollo binomial en potencias enteras. Pero ser muy posteriormente que a la Alemania renacentista dar a conocer su contenido al mundo matemtico a a europeo en la segunda mitad del s. XVI, con el matemtico alemn Michael a a Stifel (1487-1567) y su obra Arithmetica integra (1544) considerada como el ms importante de los libros de algebra impresos hasta esa poca (aunque ala e

64

Mar Cristina Solaeche Galera a

gunos aos atrs, en 1527, un dibujo del tringulo hab aparecido decorando n a a a la portada del libro sobre aritmtica comercial Rechnung del cosmgrafo y mae o temtico alemn Petrus Apianus). El matemtico italiano Niccolo Tartaglia a a a estudia en su obra en parte pstuma que consta de tres vol menes publicados o u entre 1556 y 1560 General trattato di numeri et misure (Tratado general sobre el nmero y la medida) una disposicin numrica similar que llam Rectngulo u o e o a aritmtico. e El genial matemtico, m a stico y polemista francs Blaise Pascal (1623e 1662) es el primero en relacionar rigurosamente los nmeros combinatorios u con el Teorema del Binomio (ya en alguna forma conocidos desde el s. XIV), en un tratado escrito en 1653 y pstumamente publicado en 1665 (que ino clu tambin su muy particular mtodo de induccin): Trait du triangle a e e o e arithmtique (Tratado del tringulo aritmtico), deduciendo nuevas propiedae a e des y aplicaciones del Tringulo a la Teor Combinatoria y a la Teor de a a a Probabilidades. En 1886 el mateatico escocs George Chrystal lo denomina e Tringulo de Pascal en el volumen I de su obra Algebra. a

Construccin o

Se disponen los nmeros en un arreglo triangular con unos (1) en su vrtice u e superior y en los lados adyacentes a dicho vrtice; cada uno de los dems e a trminos es la suma de los dos n meros inmediatamente superiores a su ize u quierda y a su derecha, en una disposicin innita con simetr bilateral reso a pecto a la bisectriz de su ngulo jo superior. Las l a neas o las se enumeran de arriba hacia abajo y los trminos, las verticales o columnas y las diagonales, e de izquierda a derecha, partiendo de cero y considerando la simetr a. 1 1 1 1 1 1 1 1 1 1 9 8 36 7 28 84 6 21 56 126 5 15 35 70 126 4 10 20 35 56 84 3 6 10 15 21 28 36 2 3 4 5 6 7 8 9 1 1 1 1 1 1 1 1 1

Figura 2. Diagrama del Tringulo de Pascal, donde aparecen los a coecientes binomiales con ndice menor o igual a nueve.

Sistema de tabulacin de coecientes binomiales . . . o

65

Algunas interesantes propiedades

Las tres propiedades siguientes, son textualmente extra das del Trait du e triangle arithmtique de B. Pascal y referidas a un particular diagrama con e 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 1 1 1 1 1 1 4 5 6 7 8 9 10 15 21 28 36 20 35 56 84 35 70 126 56 126 84

En todo tringulo aritmtico, si dos clulas son contiguas en la misma a e e base, la superior es a la inferior como el nmero de clulas desde la u e superior hasta lo alto de la base es al nmero de clulas desde la inferior u e hasta abajo inclusive. En todo tringulo aritmtico, la suma de las clulas de una la paralela a e e cualquiera es igual al nmero de combinaciones del exponente de la la u en el exponente del tringulo; propiedad que lo relaciona con la Teor a a Combinatoria. En un juego de dos jugadores, a cada uno de los cuales le falta un cierto n mero de partidas para terminar el juego, encontrar mediante el u tringulo aritmtico el reparto que hay que hacer (si quieren separarse a e sin jugar), teniendo en cuenta las partidas que le faltan a cada uno. Solucin: Tmese en el tringulo la base en la que haya tantas clulas o o a e como partidas les falten a los dos juntos; a continuacin, tmense en esta o o base tantas clulas seguidas, comenzando por la primera, como partidas e le falten al primer jugador, y tmese la suma de sus nmeros. Por tanto o u quedan tantas clulas como partidas le faltan al otro jugador. Tmese e o de nuevo la suma de sus nmeros. Estas sumas son la una a la otra como u las ventajas rec procas de los jugadores. Esta particular propiedad, relaciona al Tringulo de Pascal con el problema de determinar las a apuestas entre dos jugadores que juegan varias partidas. Es rara su fertilidad en propiedades (Pascal, [2]).

66

Mar Cristina Solaeche Galera a

Las siguientes propiedades se reeren al diagrama que actualmente se maneja y que representamos en la Figura 2. El trmino situado en la la n y la columna m es el n mero e u
n m

Los unos en el vrtice superior (o la cero) y los lados adyacentes son e fcilmente vericables mediante a n n = n 0 = 0 0 = 1, para todo n 0.

La simetr bilateral, consecuencia de la relacin a o n m = n nm

que expresa la igualdad de los nmeros colocados simtricamente resu e pecto del eje vertical (eje de simetr del tringulo). Todas las las a a son simtricas respecto a dicho eje, pues la propiedad de simetr se e a conserva al pasar de una la a otra. La n-sima la contiene n + 1 trminos. e e La diagonal nula da el equivalente en el espacio cero y slo puede cono cebirse como formada por un punto (el vrtice) en el que aparece el e n mero 1. u La primera diagonal est formada exclusivamente por unos (1). a La segunda diagonal est formada por los nmeros naturales. a u La tercera diagonal proporciona los nmeros triangulares 1,3,6,10,15, u . . . as llamados por ser el cardinal de un conjunto de puntos que com ponen una disposicin triangular con n puntos por lado en el espacio o bidimensional. Cada uno de ellos se deduce del nmero triangular anu terior sumndole el nmero de trminos anteriores incluyendo el seleca u e cionado. a e La expresin del n-simo n mero triangular n+1 nos dice cuntos tro e u 2 minos del Tringulo de Pascal contienen sus n primeras las, desde la a cero hasta la n 1. La cuarta diagonal contiene los n meros tetradricos o piramidales o u e tringulo-piramidales 1,4,10,20,35, . . . , que se obtienen por adicin de a o tringulos sucesivos en el espacio tridimensional. a

Sistema de tabulacin de coecientes binomiales . . . o

67

El n-simo n mero tetradrico est dado por la expresin n+2 y e u e a o 3 geomtricamente representa el n mero de puntos de una red piramie u dal de base una red triangular de orden n. La quinta diagonal 1,5,15,35,70, . . . da el n mero de puntos que forman u disposiciones hipertetradricas en el espacio de cuatro dimensiones. e La n-sima diagonal contiene los equivalentes n-dimensionales de los e nmeros triangulares en el espacio (n 1)-dimensional. u La suma de los cuadrados de los n meros de una la es igual al n mero u u del mismo tringulo. a La suma de los trminos de la n-sima la es equivalente al doble 2n e e de la suma de la siguiente la n 1. La suma de los n meros de la la n es 2n . u La suma de todos los n meros situados sobre cualquier diagonal hasta u una cierta posicin, es el n mero situado directamente debajo y a la o u derecha. La suma de las diagonales de menor pendiente forman la famosa sucesin de Fibonacci 1,1,2,3,5,8,13, . . . , propiedad no conocida por Pascal, o pues fu descubierta recin a nales del s. XIX. e e Si se eliminan diagonales del lado izquierdo del tringulo se obtienen a sumas parciales de la sucesin de Fibonacci (propiedad descubierta por o el matemtico Verner E. Hoggatt Jr.): si se eliminan k diagonales, se a obtienen las sumas parciales de orden k de la sucesin de Fibonacci. o La la n contiene los coecientes del desarrollo de las potencias n-simas del Binomio de Newton (x + y)n , propiedad que relaciona inmediatamente al Tringulo de Pascal con la Combinatoria elemental y la Teor a a de Probabilidades. Y la expresin: o n m = n1 n1 + m m1

dada por M. Stifel (1544), permite calcular recursivamente estos coecientes binomiales. Todos los n meros de la la n son impares si y slo si n = 2r 1 para u o alg n entero r. u Todos los n meros del interior de la la n (exceptuando los extremos) u son divisibles por n si y slo si n es primo. o

68

Mar Cristina Solaeche Galera a

Posteriormente se representaron por medio de tringulos similares los n meros a u de Stirling de primera y segunda clase y los n meros de Bell. u En este art culo, intentamos una vez ms recordar la Historia de la Maa temtica, mirar hacia atrs y maravillarnos ante tan grandiosa unidad hista a o rica, ante como un mismo conocimiento surge en mundos tan distantes, se asienta, perdura y rasga el telar de los tiempos desde dinast terratenientes as, y levantamientos campesinos allende el Oriente hasta el Occidente a travs e de creencias estticas y eglatras como: todo ha sido creado en benecio del a o hombre, la tierra yace inmvil en el centro del Universo . . . o En momentos histricos en que la ciencia tambaleaba dando sus primeo ros pasos mientras la tierra regalaba al hombre nuevos mundos, Corneille escribe sus primeros versos, Coprnico cede su manuscrito de la teor hee a liocntrica, Descartes intenta hallar una verdad evidente a partir de la cual e fuese posible alcanzar las verdades ultimas . . . Blaise Pascal [2] aporta su m stica actitud losca : o Dos excesos: excluir la razn o no admitir ms que la razn. o a o

Referencias
[1] Boutroux, P. LIdeal Scientique des Mathmaticiens, dans lAntiquit et e e dans les Temps Modernes, Paris, 1920. [2] Pascal, B. Penses, Editions Garnier, Paris, 1957. e [3] Presencia de China, Ediciones en Lenguas Extranjeras, Beijing, 1995. [4] Uspenski. V. A., Tringulo de Pascal, trad. L. B. Ermolev, Editorial a a MIR, Mosc, 1978. u