Sunteți pe pagina 1din 23

I. EL TRIANGULO DE PASCAL Y OPERACIONES.

Por una cuestin didctica se empezara considerando un problema, que puede decirse sacado de la
vida real: Los espaoles siempre que creaban una ciudad, sus calles formaban lo que podra decirse
un tablero de ajedrez. De este modo consideremos una ciudad de estas, en la cual me interesa saber
de cuantas maneras puedo ir de una esquina a otra usando siempre un camino de longitud mnima.

Esquematizando el problema, consideremos una ciudad, cuyas calles forman una cuadricula.
Donde la calles horizontales se denominaran como las letras del alfabeto: A, B, C, D, E, F, . . ., y
las calles verticales como los nmeros enteros positivos: 1, 2, 3, 4, 5, . . . .
Donde el problema se reduce a ir de la esquina A1, a cualquier otra esquina, C4, D6, B2, A1,
inclusive, y siempre usando el o los caminos de longitud mnima.

Vamos a resolverlo por partes, en el siguiente cuadro de doble entrada vamos ha intentar resolver
el problema en cuestin, indicando la cantidad de posibilidades existentes y la longitud de estos
caminos. Adems vamos ha indicar la ruta seguida.

De A1 Caminos Caminos de Longitud


a: longitud mnima
A1 A1-A1 1 0u
B1 A1-B1 1 1u
A2 A1-A2 1 1u
C1 A1-B1-C1 1 2u
B2 A1-B1-B2 2 2u

Pgina 4
A1-A2-B2
A3 A1-A2-A3 1 2u
D1 A1-B1-C1-D1 1 3u
A1-B1-C1-C2
C2 A1-B1-B2-C2 3 3u
A1-A2-B2-C2
A1-B1-B2-B3
B3 A1-A2-B2-B3 3 3u
A1-A2-A3-B3
A4 A1-A2-A3-A4 1 3u
E1 A1-B1-C1-D1-E1 1 4u
A1-B1-C1-D1-D2
A1-B1-C1-C2-D2
D2 A1-B1-B2-C2-D2 4 4u
A1-A2-B2-C2-D2
A1-B1-C1-C2-C3
A1-B1-B2-C2-C3
A1-B1-B2-B3-C3
C3 A1-A2-B2-C2-C3 6 4u
A1-A2-B2-B3-C3
A1-A2-A3-B3-C3
A1-B1-B2-B3-B4
A1-A2-B2-B3-B4
B4 A1-A2-A3-B3-B4 4 4u
A1-A2-A3-A4-B4
A5 A1-A2-A3-A4-A5 1 4u
... ... ... ...

Y as sucesivamente.
Pero aqu hay un detalle importante, para llegar al punto C3, desde A1, usando el camino de
longitud mnima; se debe llegar primero a las esquinas C2 y B3. y luego caminar una cuadra mas.
En general para llegar a una esquina cualquiera que no este en la calle 1 o en la calle A. Se tiene
que contar cuantos caminos hay des A1 hasta la esquina de la izquierda, y hasta la esquina de
arriba, y luego simplemente sumar estos valores.

Pgina 5
Adems para llegar desde A1 hasta cualquier esquina de las calles A o 1. Siempre habr un nico
camino de longitud mnima. Ahora ubicaremos estos nmeros en el lugar correspondiente, y
resulta el siguiente arreglo.

Este arreglo numrico se ve mucho mejor si lo rotamos 45 en sentido horario obtenindose una
1
forma de pirmide, llamado tambin como El Triangulo de PASCAL. El cual ser materia de
estudio de este trabajo de investigacin.

Pgina 6
Observando los nmeros que aparecen en el esquema triangular vemos que:
- La primera fila tiene un solo nmero.
- En cada fila siempre empieza y termina con el mismo nmero uno.
- El nmero de trminos de cada fila va aumentando de uno en uno.
- Cada trmino de una fila es igual, a la suma del trmino correspondiente de la fila anterior
ms el trmino anterior de esta misma fila.

Estas observaciones pueden ser reformuladas matemticamente, pero primero vamos a enumerar
los elementos del arreglo triangular, para esto hay que tener en cuenta que el arreglo esta
compuesto de filas y cada fila tiene una determinada cantidad de trminos.
La numeracin de las filas empezara en cero, por cuestiones didacticas, y la numeracin de los
trminos de una fila empezara tambin en cero.
Adems C kn representara el trmino k-esimo de la fila n. Donde n Z 0 , k Z 0 y 0 k n .
El arreglo triangular quedara como sigue:

Pgina 7
As la fila n-esima tendr n+1 trminos.

FILA n: C0n C1n C2n Ckn Cnn1 Cnn , n Z 0

Donde se plantearan los axiomas siguientes:

P1) C0n Cnn 1, n Z 0

P2) Ckn 1 Ckn1 Ckn , n Z ,1 k n

Con esto veremos como se auto generan las filas del arreglo triangular.

FILA 0: C00 1

FILA 1: C01 C11 1

FILA 2: C02 C22 1 , C12 C01 C11 1 1 2

FILA 3: C03 C33 1 , C13 C02 C12 1 2 3 , C23 C12 C22 2 1 3

FILA 4: C04 C44 1 , C14 C03 C13 1 3 4 , C24 C13 C23 3 3 6 , C34 C23 C33 3 1 4

FILA 5: C05 C55 1 , C15 C04 C14 1 4 5 , C25 C14 C24 4 6 10 ,


Y asi sucesivamente

Ahora consideremos dos filas consecutivas, y analicemos la suma de trminos en la segunda fila
presentada.

Fila n: C0n C1n C2n Cnn1 Cnn

Fila n+1: C0n 1 C1n 1 C2n 1 Cnn11 Cnn 1 Cnn11


Pgina 8
Hallando la suma de trminos de la fila n+1, tendremos el siguiente resultado:

S (n 1) C0n 1 C1n 1 C2n 1 Cnn11 Cnn 1 Cnn11


n 1 n
S (n 1) C i
n 1
C n 1
0 C n 1
n 1 Cin 1
i 0 i 1

S (n 1) 2 C 2 C
n n n
n
i 1 C i
n n
i 1 Cin
i 1 i 1 i 1

n 1 n n 1 n
S (n 1) 1 1 C C C C C Cin
n
j i
n n
n
n
j
n
0
j 0 i 1 j 0 i 1

n n n
S (n 1) C C 2 Cin 2S (n)
n
j i
n

j 0 i 0 i 0

Luego: S (n 1) 2S (n), n Z 0

En pocas palabras, la suma de trminos de una fila cualquiera, es el doble de la suma de trminos
de la fila anterior. De donde resulta que la suma de trminos por fila es:

Fila 0: S (0) C00 1 20

Fila 1: S (1) C01 C11 1 1 2 2 S (0) 21

Fila 2: S (2) C02 C12 C22 1 2 1 4 2 S (1) 22


3

Fila 3:
S (3) Ci3 1 3 3 1 8 2 S (2) 23
i 0

Fila 4:
S (4) Ci4 1 4 6 4 1 16 2 S (3) 24
i 0

De esto podemos deducir inductivamente que:

Pgina 9
n

Fila n:
S (n) Cin 2n , para un n cualquier entero no negativo. Lo cual ser
i 0

planteado como un teorema.

Teorema:
S (n) Cin 2n , n Z 0 .
i 0

En el arreglo triangular podemos ver adems que, si trazamos una lnea vertical

Los nmeros que estn en una fila cualquiera a ambos lados de esta lnea vertical son iguales.

Ejemplo la fila nueve es:

1 9 36 84 126 126 84 36 9 1
Lo mismo sucede en la fila diez:

1 10 45 120 210 252 210 120 45 10 1


Y en cualquier otra fila sucede lo mismo. Planteando esta propiedad matemticamente, tenemos:

Teorema: Ckn Cnnk , n Z 0 , 0 k n


Si n 0 , se tiene que k 0 , entonces Ckn C00 C000 Cnnk
Si consideramos que se cumple para cierto valor m, de n.
Esto es: Ckm Cmm k , para m Z 0 y 0k m
Ahora vemoslo para n m 1
Ckm1 Ckm1 Ckm Cmm( k 1) Cmmk por un teorema anterior y la hiptesis inductiva

Ckm1 C(mmk )1 Cmmk C(mm1k )1 C(mm11)k con lo cual se cumple para n m 1

Luego tenemos que: Ckn Cnn k , n Z 0 , 0 k n


Pgina 10
Ahora regresemos a la definicin del arreglo triangular
Ckn 1 Ckn1 Ckn , n Z ,1 k n
Vemoslo con valores concretos primero:

C610 C691 C69 C59 C58 C68 C59 C58 C57 C67

C610 C59 C58 C57 C56 C66 , pero C66 1 C55


6 1
C C C C C C , de donde tenemos: C
10
6
9
5
8
5
7
5
6
5
5
5
10
6 C59i
i 1

Tambien podemos ver que:

C610 C691 C69 C48 C58 C69 C37 C47 C58 C69

C610 C26 C36 C47 C58 C69 C15 C25 C36 C47 C58 C69

C610 C04 C14 C25 C36 C47 C58 C69 , Pero C04 1 C03
6
C610 C03 C14 C25 C36 C47 C58 C69 , de donde tenemos: C6 C6i
10 9 i

i 0

Pgina 11
Generalizando estas ideas tenemos las siguientes propiedades:

Teorema: Sea el arreglo triangular anterior, entonces:


k 1
1) C
n 1
k Ckn1i , n Z , 0 k n
i 1

k
2) Ck Ck i , n Z , 0 k n
n 1 n i

i 0

Adems si consideramos el arreglo original y el llamado triangulo de Pascal

En el arreglo rectangular, cada elemento esta ubicado en una fila (i), y una columna (j) del
arreglo, donde i y j son nmeros enteros no negativos, es decir empiezan de cero. Estos elementos
estn representados por el smbolo

H ij , i Z0 , j Z0
Con las siguientes condiciones bsicas:

1) H ij 0,si (i 0 o j 0)

2) H ij H ij 1 H ij1 , i, j Z

En el arreglo triangular, cada elemento esta ubicado en una fila (n), y en un lugar (k) en esta fila
del arreglo, donde n y k son nmeros enteros no negativos, es decir empiezan de cero. Estos
elementos estn representados por el smbolo
Ckn , n Z 0 , 0 k n
Con las siguientes condiciones bsicas:

P1) C0n Cnn 1, n Z 0


Pgina 12
P2) Ckn 1 Ckn1 Ckn , n Z ,1 k n

Obviamente los nmeros de estos arreglos son los mismos, esto indica que debe haber una
equivalencia entre los smbolos

Vemoslo con algunos nmeros de los arreglos:


56 H 35 C38 924 H 66 C612 210 H 46 C410
Lo primero que observamos es que para un nmero, que en el primer arreglo ocupa la columna j,
en el segundo arreglo triangular ocupara el lugar k igual a j. Y en cuanto al primer ndice, se tiene
que n es la suma de i mas j. As las formulas quedaran como sigue:

H ij C ij j Ckn Ckn H knk H ij

Adems tenemos la siguiente suma:

H 610 H 510 H 69 H 510 H 59 H 68 H 510 H 59 H 58 H 67 H 510 H 59 H 58 H 57 H 66


H 510 H 59 H 58 H 57 H 56 H 65 H 510 H 59 H 58 H 57 H 56 H 55 H 64
H 610 H 510 H 59 H 58 H 57 H 56 H 55 H 54 H 63
H 510 H 59 H 58 H 57 H 56 H 55 H 54 H 53 H 62
H 510 H 59 H 58 H 57 H 56 H 55 H 54 H 53 H 52 H 61

H 610 H 510 H 59 H 58 H 57 H 56 H 55 H 54 H 53 H 52 H 51 H 60

Pero H 60 H 50 1 , entonces tenemos que:


10
H 610 H510 H59 H58 H57 H56 H 55 H 54 H 53 H 52 H 51 H 50 H 6i 1 8008
j 0

De igual modo podemos tener que:


6
H 610 H 69 H59 H 49 H 39 H 29 H19 H 09 H 10
j
1
8008
j 0

Pgina 13
Estas propiedades en el arreglo rectangular, se pueden leer de la forma siguiente:
- Un elemento (i,j) cualquiera del arreglo rectangular, es igual a la suma de todos los
elementos que corresponden a la columna j-1, pero estn desde la fila cero hasta la fila
i.
- Un elemento (i,j) cualquiera del arreglo rectangular, es igual a la suma de todos los
elementos que corresponden a la fila i-1, pero estn desde la columna cero hasta la
columna j.

Combinando estas dos propiedades tenemos, que:


- Un elemento (i,j) cualquiera del arreglo rectangular menos uno, es igual a la suma de todos
los elementos que corresponden a las filas desde cero hasta i-1, y todas las columnas
desde la cero hasta la fila i-1.

Pgina 14
Lo cual puede ser enunciado de la siguiente forma:
i
1) H ij H kj 1 H 0j 1 H 1j 1 H 2j 1 H 3j 1 H ij11 H ij 1 , i, j Z
k 0

j
2) H ij H ki 1 H 0i 1 H1i 1 H 2i 1 H 3i 1 H ij11 H ij1 , i, j Z
k 0

j
i 1
3) H ij H kp1 , i, j Z
k 0 p 0

Pgina 15
II. PROBLEMA DE LA VIII OLIMPIADA MATEMATICA DE MOSCU

En la VIII olimpiada matemtica de Mosc (1945), a sus participantes, alumnos de los 9 10


grados, fue propuesto el siguiente problema:
1000
Se tiene una red de caminos (fig. 1). Desde el punto A parten 2 hombres. Una mitad de
ellos se encaminan en la direccin l , otra , en la m. Al llegar al primer cruce cada grupo se divide:
una mitad sigue la direccin l, la otra la m. Lo mismo ocurre en cada cruce. Cuntos hombres
llegarn a todos los cruces de la milsima serie?
A

m
FIG. 1

Anunciemos, ante todo, que todava no conocemos si es resoluble el problema, es decir, si


pueden moverse. En efecto, si a un cruce cualquiera, en que va a dividirse por mitad la afluencia de
gente, llega un nmero impar de hombres, el movimiento se detendr. Por consiguiente, para que
el problema tenga solucin, es necesario y suficiente que a cada cruce de cualquiera de las
primeras series (filas), de 0 hasta 999, llegue un nmero para de hombres. De que esto es as, nos
cercioraremos re solviendo el problema.

H n0 H n1 H nk 1 H nk H nn

H n01 H n11 H nk H nn11

FIG. 2

Al principio introduciremos las designaciones para las cantidades de hombres que dejaron atrs
cada cruce de nuestra red de caminos. Numeremos los cruces de cada fila, de izquierda a derecha,
partiendo de cero; por lo tanto, los cruces de la n-sima fila se numerarn de cero hasta n.
Denotaremos por H nk el nmero de hombres que pasaron por el k -simo cruce de la n -sima fila.
Puesto que no se sabe todava si es resoluble el problema, no podemos estar seguros de que
existan todos los nmeros H nk , es decir, que exista cada uno de nmeros H nk con todo n de 0 hasta
Pgina 16
1000 y todo k de 0 hasta n . Es indudable que algunos de ellos existen. De modo que, en virtud de
las designaciones introducidas,

H 00 21000 (1-1)

Veamos ahora cmo se vinculan entre s los nmeros


H nk (k 0,1, 2,..., n) y H nk1 (k 0,1, 2,..., n 1)
a condicin de que existan todos. Ms tarde veremos que s existen y son pares todos los nmeros
H nk , existen tambin todos los nmeros H nk1 .Consideremos las filas n y (n+1) de los cruces y los
tramos de los caminos que los unen; pongamos frente a cada cruce la designacin del nmero
respectivo de hombres (vase la fig 2). El nmero de hombres que salieron del cruce 0 de la fila n
(es decir, H n0 ) se dividir en dos partes iguales y una mitad llegar al cruce 0 de la fila (n+1); por
eso, 2)

H n0
H 0
n 1 (1-
2
Otra mitad de H n0 se aproximar al primer cruce de la fila (n+1) y se reunir all con la mitad de

hombres que han abandonado al primer cruce de la fila n, o sea, con la mitad H n1 .

H n0 H n1
De ah H n11 . En general, el nmero de hombres que llegaron al cruce k de la fila (n+1)
2
era la suma de mitad de hombres que partieron del cruce (k-1) de la fila n (esta mitad era igual a
H nk 1
con la de hombres que partieron del cruce k de la fila n.
2

H nk
esta mitad era igual a . Por lo tanto,
2

H nk 1 H nk
H 1
n1 con 1 k n (1.3)
2

Por fin, el nmero de hombres que alcanzaron el cruce (n+1) de la fila (n+1) es equivalente a la
mitad de hombres que salieron del cruce n de la fila n:

Pgina 17
H nn
H nn11 (1.4)
2

Las relaciones (1.1) (1.4) permiten establecer que el problema admite realmente su solucin. En
efecto, de las igualdades (1.2) (1.4) se deduce que si con cierto n fijo todos los nmeros de la fila
n: H n0 , H n1 ,..., H nn existen y son divisibles por 2a, todos los nmeros de la fila (n+1):

H n01 , H n11 ,..., H nn11 tambin existen y son divisibles por a. Por consiguiente, puesto que todos los

nmeros de la fila 0 (su total es un solo H 00 existen y son divisibles por 21000 (en virtud de (1.1),
todos los nmeros de la primera fila.

H10 , H11

Existen y son divisibles por 2999 ; todos los nmeros de la segunda fila

H 20 , H 21 , H 22

Existen y son divisibles por 2998 ; todos los nmeros de la 999-sima fila

0 1 999
H 999 , H 999 , ..., H 999

Existen y son divisibles por 2; todos los nmeros de la 1000-sima fila

0 1 1000
H1000 , H1000 , ..., H1000
Existen (y son divisibles por 1).
Las relaciones (1.2) (1.4) no slo demuestran que existe la solucin del problema, sino que
sealan cmo de una lnea de nmeros

H n0 , H n1 , ..., H nn
Se obtiene la otra

H n01 , H n11, ..., H nn11

Pgina 18
Empleando sucesivamente estas relaciones, a partir de la lnea cero [es decir, aprovechando la
relacin (1.1)] podemos calcular, en principio, los valores de H nk para todos los 501501 cruces,
que se contienen en las filas hasta el milsimo inclusive, en particular, para todos los cruces de la
milsima fila, resolviendo, por lo tanto, el problema. De manera que para las primeras filas por
clculo directo resulta:

H 00 21000 H 00 21000 H10 2999


H
0
1 2 ; H1
999 1
2 ; H2
999 0
2998 ;
2 2 2 2 2 2
H10 H11 2999 2999 H11 2999 H 20 2998
H
1
2 2 ; H2
999 2
2 ; H2
998 0
2997 ;
2 2 2 2 2 2
H 20 H 21 2998 2999
H
1
3 3.2997 , etc.
2 2

Pgina 19
III. COEFICIENTES BINOMIALES

Sean a y b nmeros reales tales que la suma a b , es no nula. Adems podemos ver que las
diferentes potencias enteras son como sigue:

a b 1
0

Esto porque todo nmero real positivo y no nulo elevado al exponente cero, resulta uno.

a b a b 1 a 1 b
1

Aqu el exponente es uno, la expresin queda tal como esta.

a b a b a b a b a a b b (aa ba ) (ab bb) a 2 2ab b 2


2

En donde vemos que la expresin a b , se multiplica primero por a y luego por b . Luego
teniendo en cuenta las propiedades de los nmeros reales: distributiva, conmutativa y asociativa de
la adicin y la multiplicacin, obtenemos el resultado final.

a b a 2 2ab b 2
2

Para hallar a b tambin se usa el mismo procedimiento anterior, esto es:


3

a b a b a b a 2 2ab b 2 a b
3 2

a 2 2ab b 2 a a 2 2ab b 2 b
a b a 2 a 2aba b2 a
3

a 2b 2abb b2b a3 3a 2b 3ab2 b3


De donde por transitividad de la igualdad, tenemos que:

a b a 3 3a 2b 3ab 2 b3
3

De donde ya podemos ver que los coeficientes del desarrollo del polinomio, son las respectivos
filas del triangulo de Pascal

a b 1
0
Fila cero: 1

a b ab
1
Fila uno: 1 1

a b a 2 2ab b 2
2
Fila dos: 1 2 1

a b a 3 3a 2b 3ab 2 b3
3
Fila tres: 1 3 3 1

Una sorpresa verdad!. Pasara lo mismo con la potencia cuarta, vemoslo:

a b a b a b a 3 3a 2b 3ab 2 b3 a b
4 3

a 3 3a 2b 3ab 2 b3 a a 3 3a 2b 3ab 2 b3 b

Pgina 20
a b a3a 3a2ba 3ab2a b3a a3b 3a 2bb 3ab2b b3b
4

a b a 4 4a 3b 6a 2b 2 4ab3 b 4
4

Nuevamente estos coeficientes son los correspondientes de la fila cuatro del Triangulo de Pascal

a b a b a b a 4 4a 3b 6a 2b 2 4ab3 b 4 a b
5 4

a 4 a 4a3ba 6a 2b 2 a 4ab3a b 4 a
a 4b 4a3bb 6a 2b 2b 4ab3b b 4b a 5 5a 4b 10a 3b 2 10a 2b3 5ab 4 b5
As vemos que cada trmino de estos desarrollos es la suma de productos, salvo el primero y el
ltimo, cuyos coeficientes son unos.

Por ejemplo mirando la potencia quinta de a b , tenemos lo siguiente:


- El primer y ltimo coeficiente son unos.
- El desarrollo de la potencia quinta resulta un polinomio completo y homogneo de grado 5.
- Es un polinomio ordenado en forma creciente respecto a la letra b, y en forma decreciente
respecto a la letra a.
- Es un polinomio simtrico en cuanto a los coeficientes.

As podemos plantear el siguiente resultado:

Teorema: Sea 0+ y sean a, b nmeros reales, donde a + b 0. Entonces


( + ) =

=0

Demostracin:
La demostracin se har usando el Principio de Induccin Matemtica (P.I.M.) para n entero no
negativo.
Para = 0 ( + )0 = 1 = 0=0 = 00 0 0 = 1

Para = 1 ( + )1 = + = 1=0 1 1 = 01 1 0 + 11 0 1 = +

Supongamos cierto para algn 0+ , de donde: ( + ) =


=0

Probaremos que se cumple para + 1

Pgina 21

( + )+1 = ( + ) ( + )1 = ( ) ( + ) =
=0

= +1 + +1
=0 =0
1

= 0 +1 0 + +1 + +1 +
0 +1

=1 =0

= 0 +1 0 + +1 +1
+ 1 0 +1
+
=1 =1

= 0 +1 0 + ( + 1

)+1 +
0 +1

=1

Pero hay que tener en cuenta que:


0 = 0+1 =
+1
= +1 = 1, adems de que + 1

= +1
+1

( + )+1 = 0+1 +1 0 + +1 +1 + +1
+1 0 +1
= +1 +1
=1 =0
+1

( + )+1 = +1 +1
=0

Luego tenemos: ( + ) = =0 , 0+ .
Veamos que mas podemos hacer con esta frmula que parece un poco cientfica y oscura, que
pasara si = = 1, veamoslo:


(1 + 1) = 1 1 = , 0+
=0 =0

De donde vemos que desarrollando la sumatoria, nos queda


2 = 0 + 1 + 2 + + , 0+

Pgina 22
IV. LOS SUBCONJUNTOS
Sea A un conjunto con n elementos, donde n es un entero no negativo. Se quiere saber cuantos
subconjuntos tendr el conjunto dado.
Teniendo en cuenta que el nmero de elementos de un subconjunto de A, tendr como mnimo
cero elementos y como mximo n elementos, pasando por los valores intermedios. Podemos
construir el siguiente diagrama:

Subconjuntos de A, de m elementos
n A
con m entre 0 y n, inclusive
0 1
1
1 a
a 1
1
2 a, b a, b 2
a, b 1
1
a, b, c 3
3 a, b, c
a, b, a, c , b, c 3
a, b, c 1
1
a, b, c, d 4
4 a, b, c, d a, b, a, c , a, d , b, c, b, d , b, c 6
a, b, c , a, b, d , a, c, d, b, c, d 4
a, b, c, d 1
1
a, b, c, d , e 5
a, b, a, c , a, d , a, e, b, c, b, d , b, e, c, d, c, e, d, e 10
5 a, b, c, d , e c, d , e , e, b, d , b, c, e , b, c, d , a, d , e , a, c, e , a, c, d, 10
a, b, e , a, b, d , a, b, c
a, b, c, d , a, b, c, e , a, b, d , e , a, c, d , e , b, c, d , e 5
a, b, c, d , e 1
..

Pgina 23
Donde se ve que los nmeros que van apareciendo en la ultima columna, son los que corresponden
a las filas del Triangulo de Pascal.
Analicemos el caso general, si suponemos que seguirn apareciendo los nmeros del triangulo de
Pascal, entonces vamos a probarlo por induccin respecto al numero n de elementos del
conjunto. Donde este valor es un entero no negativo.


Asi considrese un conjunto A, con n elementos, donde n 0 .

Si n 0 , el resultado es que A es vaco, y tiene un nico subconjunto, el mismo vaco.

Fila cero de TRIANGULO DE PASCAL: C00 1

Si n 1 , se tiene que A es un conjunto unitario. Los subconjuntos son dos, el vaco y el mismo.

Fila uno del TRIANGULO DE PASCAL: C01 1 C11 1


Sea el conjunto A, con m elementos, para algn m 0

Donde se tiene que los subconjuntos de A, estn agrupados de acuerdo al numero de elementos de
la fila m del TRIANGULO DE PASCAL.

Fila m C0m C1m C2m C3m C mm1 Cmm


m
Donde Ck representa el nmero de subconjuntos de k elementos, del conjunto A que tiene m

elementos, con 0 k m . Pero cuanto puede valer este numero?.


Primero en un conjunto, un elemento repetido no cuenta.
Segundo en un conjunto no interesa el orden de los elementos.

Ahora consideremos que el conjunto A x1 , x2 , x3 , xm2 , xm1, xm , xm1 , tiene m+1


elementos.
Demostraremos que los subconjuntos de A, estn agrupados de acuerdo al numero de elementos de
la fila m+1 del TRIANGULO DE PASCAL. Para tal efecto la indicada fila es:

Fila m+1 C0m 1 C1m 1 C2m 1 C3m 1 Cmm 1 Cmm11

Busquemos todos los subconjuntos de A, que tienen k+1 elementos. Adems se sabe que esta
m
suma de trminos, es: C
k 0
m
k 2m

Pgina 24
Ahora miremos el triangulo de Pascal de una forma diferente, para relacionarlo con la sucesin de
Fibonacci. Para ello consideremos el arreglo triangular del triangulo de pascal:

Consideramos a estos nmeros en forma Diagonal, tal como sigue:

Y vamos sumando de acuerdo al mismo color, tendremos lo siguiente:


1 = 00 = 1
2 = 01 = 1
3 = 02 + 11 = 1 + 1 = 2
4 = 03 + 12 = 1 + 2 = 3
5 = 04 + 13 + 22 = 1 + 3 + 1 = 5
6 = 05 + 14 + 23 = 1 + 4 + 3 = 8
7 = 06 + 15 + 24 + 33 = 1 + 5 + 6 + 1 = 13
8 = 07 + 16 + 25 + 34 = 1 + 6 + 10 + 4 = 21
9 = 08 + 17 + 26 + 35 + 44 = 1 + 7 + 15 + 10 + 1 = 34
10 = 09 + 18 + 27 + 36 + 45 = 1 + 8 + 21 + 20 + 5 = 55

1+8+21+20+5=55
1+9+28+35+15+1=89
Pgina 25
1+10+36+56+35+6=144
1+11+45+84+70+21+1=233
1+12+55+120+126+56+7=377
Etc, etc.

Matemticamente estas sumas son como sigue:


Si es empieza en fila par
02 + 121 + 222 + + , 0+
Si se empieza en fila impar
02+1 + 12 + 221 + + +1 , 0+
Donde se tienen las siguientes propiedades
Con las siguientes condiciones bsicas:

P1) C0n Cnn 1, n Z 0


P2) Ckn 1 Ckn1 Ckn , n Z ,1 k n

(02 + 121 + 222 + + ) + (02+1 + 12 + 221 + + +1 ) =


02+1 + (02 + 12 ) + (121 + 221 ) + (222 + 322 ) + + (1
+1
+ +1 ) + =
02+2 + 12+1 + 22 + 321 + +2 + +1
+1

02+1 + 12 + 221 + + +1 , 0+
02 + 121 + 222 + + , 0+
02+1 + 12 + 221 + + +1 , 0+
02 + 121 + 222 + + , 0+
02+1 + 12 + 221 + + +1 , 0+
02 + 121 + 222 + + , 0+
02+1 + 12 + 221 + + +1 , 0+
02 + 121 + 222 + + , 0+
02+1 + 12 + 221 + + +1 , 0+
02 + 121 + 222 + + , 0+
02+1 + 12 + 221 + + +1 , 0+

Pgina 26

S-ar putea să vă placă și