Tringulo de Pascal

De Wikipedia, la enciclopedia libre

Saltar a navegacin, bsqueda Tringulo de Pascal o de Tartaglia El tringulo de Pascal en matemticas es un conjunto infinito de nmeros enteros ordenados en forma de tringulo que expresan coeficientes binomiales. El inter s del Tringulo de Pascal radica en su aplicacin en lgebra ! permite calcular de forma sencilla nmeros combinatorios lo que sirve para aplicar el binomio de "e#ton. Tambi n es conocido como Tringulo de Tartaglia. En pa$ses orientales como %&ina, 'ndia o Persia, este tringulo se conoc$a ! fue estudiado por matemticos como (l) *araji, cinco siglos antes de que Pascal expusiera sus aplicaciones. En %&ina es conocido como Tringulo de Yanghui.

Contenido
+ocultar, - %omposicin del Tringulo de Pascal . /$nculo entre el tringulo de Pascal ! el binomio de "e#ton

0 %oeficientes del binomio de "e#ton 1 'nterpretacin en combinatoria 2 3enerali4acin 5 6tra forma de dibujar el tringulo 7 Enlaces externos

Composicin del Tringulo de Pascal +editar,

El Tringulo se constru!e de la siguiente manera8 escribimos el nmero 9-: centrado en la parte superior; despu s, escribimos una serie de nmeros 9-: en las casillas situadas en sentido diagonal descendente, a ambos lados; sumamos las parejas de cifras situadas &ori4ontalmente <- = ->, ! el resultado <.> lo escribimos debajo de dic&as casillas;

continuamos el proceso escribiendo en las casillas inferiores la suma de las dos cifras situadas sobre ellas <- = . ? 0>... @as cifras escritas en las filas, tales como8 9- . -: ! 9- 0 0 -: recuerdan los coeficientes de las identidades8

pues son los coeficientes de sus monomios !, adems, se puede generali4ar para cualquier potencia del binomio8

Vnculo entre el tringulo de Pascal y el binomio de e!ton +editar,

@a expresin que proporciona las potencias de una suma Ainomio de "e#ton. se denomina

<-> En esta expresin, 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 lnea n + 1 del Tringulo de Pascal. Bemos visto que era cierto para n ? . ! n ? 0; tambi n lo es para n ? C8 <a = b= #= d>o ? - ? "DaobC ! con n ? -8 <a = b>E ? a = b ? "Da = "Db. Para obtener el resultado de cualquier valor de n , se procede por induccin matemtica. Suponiendo que es cierto para un valor de n, deducimos que lo es tambi n para n#". 6bservemos lo que sucede con n ? 1.

El desarrollo de <a = b>1 consiste en el desarrollo de <a = b> <a = b>F. Si slo se escriben los coeficientes, obtenemos la siguiente suma8

6bviamente, aparecen las mismas cifras despla4adas en una posicin8 la suma consiste en aGadir a un coeficiente el coeficiente situado a su derec&a, ! esto es justamente lo que se obtiene en el tringulo de Pascal.

Coe$icientes del binomio de e!ton +editar,

Se inscribe el tringulo de Pascal en una tabla para poder nombrar a cada coeficiente del mismo. El nmero en la l$nea n ! la columna p se denota8 o ms raramente <"C" por "combinacin"> ! se dice "n sobre p", HIcombinacin de n en pHI "coeficiente binomial n, p". @as casillas vac$as corresponden a valores nulos. Por definicin misma, tenemos, <para todo n natural>8

para cualquier valor de a ! b. Je &ec&o, es una igualdad de polinomios en K+a, b,. Sin perder en generalidad, resulta a veces ms prctica la "definicin" 8

vista como una igualdad de polinomios en K+L,. Je esta frmula se deducen dos consecuencias8

Tomando L ? - se obtiene8 @a suma de los coeficientes de una misma l$nea vale .n. En efecto8 - ? .C, - = - ? . ? .E, - = . = - ? 1 ? .M, - = 0 = 0 = - ? N ? .F, - = 1 = 5 = 1 = - ? -5 ? .1 ... D %on L ? )se obtiene, <n O C>8 8 la suma alterna de los nmeros de una misma l$nea vale C. En efecto8 - ) - ? C, - ) . = - ? C, - ) 0 = 0 ) - ? C, - ) 1 = 5 ) 1 = - ? C, - ) 2 = -C ) -C = 2 ) - ? C ... @as propiedades que &emos observado en el tringulo se pueden a&ora escribir con todo rigor8 . <costados i4quierdos ! derec&os del tringulo>.

. <"segunda capa">.

. <simetr$a respecto al eje vertical del tringulo>.

. cuando p % n <corresponde a la 4ona fuera del tringulo>. P claro, la regla de construccin del tringulo da la relacin fundamental de los coeficientes binomiales8 .

&nterpretacin en combinatoria +editar,

@os coeficientes binomiales son la base misma de la combinatoria. /eamos por qu 8 Tomemos de nuevo un binomio, por ejemplo <a = b>0, ! desarroll moslo, pero de una manera distinta del prrafo anterior8

luego quitemos las par ntesis, pero sin cambiar el orden en los productos, es decir sin aplicar la conmutatividad8

P agrupemos los t rminos que contienen el mismo nmero de a, <! de b>8

El primer par ntesis contiene todas las palabras constituidas de un b ! dos a. En este caso, es fcil ver que &a! exactamente tres. En el caso general, para contar las palabras, &a! que aplicar la conmutatividad, pues las palabras que contienen el mismo nmero de a ! b darn el mismo t rmino8

El primer factor 0, que es El segundo factor 0, que es

cuenta las tres palabras mencionadas <aab, aba ! baa>. cuenta las palabras &ec&as de dos b ! un a <abb, bab ! bba>.

6bviamente, slo &a! una palabra de tres letras constituidas de a solamente, ! esto corresponde al monomio "'a(, con - ? < 9C : por ninguna b>.

En ve4 de &ablar de palabras formadas con a ! b, es equivalente imaginar una &ilera de n cajones inicialmente vac$os, ! p bolas intercambiables que se tienen que repartir, en cada cajn no cabiendo ms de una. Se trata en todos casos de repartir p objetos entre n sitios posibles, o de escoger un grupo de p objetosQsitios entre n objetosQsitios. Je a&$ la apelacin p entre n. Todo lo anterior lleva al teorema8 Ba! exactamente maneras de escoger un conjunto de p elementos entre n elementos.

En matemtica formal, se prefiere &ablar de conjuntos8 Existen subconjuntos de cardinal p en un conjunto de cardinal n.

Este punto de vista permite &allar la frmula para los coeficientes binomiales. En efecto, para elegir el 9 primer : elemento, &a! n posibilidades, luego para escoger el segundo quedan n-1 posibilidades ! as$ sucesivamente &asta el elemento nmero p, que tiene np+1. El orden en el que se &a elegido estos p elementos no importa, se pod$a &aber obtenido el mismo subconjunto de p elementos en otro orden. Ba! pR permutaciones posibles de estos p elementos, es decir pR maneras de obtener el mismo conjunto. Por tanto &a! En conclusin8 subconjuntos posibles.

Verifiqumoslo en un ejemplo:

En el tringulo, el valor en la quinta l$nea ! segunda columna es -C. Para rematar, listemos las palabras de cinco letras formadas de . a ! 2). ? 0 b <en el orden alfab tico, o en el orden creciente considerando que a es la cifra 0 ! b la cifra 1>8 aabbb, ababb, abbab, abbba, baabb, babab, babba, bbaab, bbaba, bbbaa. @a frmula permite verificar todas las propiedades del prrafo anterior, sin embargo se puede prescindir de los clculos en la ma!or$a de los casos, con tal de manipular los conceptos idneos.

Sn subconjunto ( de E define una particin de E en dos partes E ? ( A , con ( T A ? UV? <conjunto vac$o>. (qu$ es el complementario de ( en E. Ja lo mismo escoger los p elementos de ( que los n-p elementos de Esto justifica, sin clculo, la simetr$a .

Si p O n, no &a! subconjuntos de E con p elementos, porque E contiene slo n, luego Tambi n son evidentes las igualdades ! porque, en el primer caso,

&a! tantas maneras de escoger subconjunto de tamaGo - que de elementos de E, ! en el segundo caso, slo existe un conjunto con cero elemento8 el conjunto vac$o. @a regla fundamental tambi n tiene explicacin grfica8

Prueba8 se escoge un elemento e cualquiera de E, que contiene n=- elementos8 E ? EI UeV. @uego se consideran los subconjuntos A de E de cardenal p=-. Son de dos tipos8 o contienen e, o no. Si e A, entonces falta elegir p elementos de EI para completar A. Ba! posibilidades.

Si e (, entonces falta elegir p+1 elementos de EI para definir A. Ba!

posibilidades.

Sumando los dos casos, se obtiene todos las partes de p=- elementos de E, constituido de n=- elementos. Ba! por tanto Sn ejemplo8

(qu$ va una propiedad aritm tica, sin interpretacin geom trica8 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 ->. Escrito formalmente8 Teorema)

Si p es primo entonces p di ide a

para k!"#$#...#n%1.

En la figura, los ejemplos estn en verde, ! los contraejemplos <cuando n no es primo ! p divide n> en amarillo. Prueba8 en la fraccin el factor primo

n aparece una ve4 en el numerador ! jams en el denominador. <El denominador es un producto de nmeros entre - ! n)->. Por tanto la fraccin es divisible por n.

*enerali+acin +editar,
En ve4 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 DapDbqDcr, con p, q y r positi os, p = q = r ? n, y p, q, r un natural que se tendr!a que llamar coeficiente trinomial"

@os clculos son similares a los del coeficiente binomial, ! dan la expresin siguiente8

%orresponde al nmero de particin en tres de un conjunto de n elementos, en subconjuntos de p, q ! r elementos. Sn ejemplo8

Estos coeficientes se pueden &allar en la analog$a tridimensional del tringulo de Pascal8 Se podr$a llamar la pir#mide de $ascal, es tambi n infinita, con secciones triangulares, ! el valor en cada casilla es la suma de los valores de las tres casillas encima de ella. Se &a dibujado las primeras secciones a partir de la cumbre. Se observa una invariante por rotacin de -.C grados alrededor de un eje vertical que pasa por el v rtice. El tringulo de Pascal aparece en las tres caras de la pirmide. Est claro que todo esto se puede generali4ar a dimensiones finitas cualquieras, pero sin la posibilidad de &acer dibujos explicativos.