Documente Academic
Documente Profesional
Documente Cultură
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.
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.
Con esto veremos como se auto generan las filas del arreglo triangular.
FILA 0: C00 1
FILA 4: C04 C44 1 , C14 C03 C13 1 3 4 , C24 C13 C23 3 3 6 , C34 C23 C33 3 1 4
Ahora consideremos dos filas consecutivas, y analicemos la suma de trminos en la segunda fila
presentada.
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 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
Pgina 9
n
Fila n:
S (n) Cin 2n , para un n cualquier entero no negativo. Lo cual ser
i 0
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.
1 9 36 84 126 126 84 36 9 1
Lo mismo sucede en la fila diez:
C610 C691 C69 C59 C58 C68 C59 C58 C57 C67
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:
k
2) Ck Ck i , n Z , 0 k n
n 1 n i
i 0
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:
Obviamente los nmeros de estos arreglos son los mismos, esto indica que debe haber una
equivalencia entre los smbolos
H 610 H 510 H 59 H 58 H 57 H 56 H 55 H 54 H 53 H 52 H 51 H 60
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.
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
m
FIG. 1
H n0 H n1 H nk 1 H nk H nn
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)
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
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
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:
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
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
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 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
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.
( + ) =
=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 = +
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
( + )+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
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 1 , se tiene que A es un conjunto unitario. Los subconjuntos son dos, el vaco y el mismo.
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.
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:
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.
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