Anlisis Combinatorio

Unidad 1 Actividad 1

INDUCCIN MATEMTICA
24 de julio de 2015
Autor: Laura Pontn

Anlisis Combinatorio
Unidad 1 Actividad 1
Resuelve los siguientes ejercicios usando induccin matemtica.
1. Demuestra que
factorial.

. Parte de la definicin recursiva de

Recursividad: Es la propiedad de aquellas secuencias en las que cualquier trmino se puede calcular
conociendo los precedentes. Tambin se le conoce como recurrencia. (upct.es, 2015)
En matemticas, una relacin de recurrencia es una ecuacin que define una secuencia recursiva; cada
trmino de la secuencia es definido en funcin de trminos anteriores. Una ecuacin recurrente es un
tipo especfico de relacin de recurrencia. Una relacin de recurrencia para la sucesin
es
una ecuacin que relaciona
con alguno de sus predecesores:
(Salazar, 2015)
Definicin por la relacin de recurrencia:

En este caso hay una sucesin recurrente, el clculo sucesivo de sus elementos se llama proceso
recurrente y la igualdad
se le nombra ecuacin recurrente.
Ejemplos:

Anlisis Combinatorio | 24/07/2015

Tal como se ve se aplica la recursividad de la funcin factorial.

Ahora, para el 3er paso de la induccin

Ejemplo:
Para

Demostracin:
Para

:
Comentario [LAPB1]: ecuacin recurrente

Para

Comentario [LAPB2]: ecuacin recurrente

Como

es un nmero natural, el factorial existe y por recurrencia,

tambin existe.

...

Comentario [LAPB3]: Conclusin

Tesis de induccin:
Se demuestra que

es verdadera, o bien, se tiene que:

2. Para cualquier conjunto , su conjunto potencia,

se define como el conjunto
formado por todos sus subconjuntos. Demuestra que si tiene elementos, entonces

Ahora:

Anlisis Combinatorio | 24/07/2015

Ejemplo:

Comentario [LAPB4]: Conjunto potencia

Comprobacin
Para

Comentario [LAPB5]: Tenemos un

conjunto con un elemento:
Comentario [LAPB6]: conjunto potencia:

Podemos decir que todo conjunto contiene al conjunto vaco, es decir, que el conjunto vaco es el
subconjunto de todos los conjuntos. (Infante, 2015)
Entonces, su potencia:

Para
Sea
, se cumple que si cualquier conjunto tiene
elementos.

elementos, su conjunto potencia tendr

Ejemplo,
sea

Para

Anlisis Combinatorio | 24/07/2015

Sea

, se cumple que si cualquier conjunto tiene

elementos.

elementos, su conjunto potencia tendr

Ejemplo,
sea
Comentario [LAPB7]: Siendo 3 elementos

Comentario [LAPB8]: Siendo 8 elementos

...

Comentario [LAPB9]: Conclusin

Tesis de induccin:

Se demuestra que

es verdadera, o bien, se tiene que:

3.

Para
...

Anlisis Combinatorio | 24/07/2015

Comentario [LAPB10]: Sustituyendo el

valor directamente al valor de la sumatoria:

Para

....

Comentario [LAPB11]: Sustituyendo el

valor directamente al valor de la sumatoria:

Anlisis Combinatorio | 24/07/2015

Sea que sea

Para

Comentario [LAPB12]: Por la propiedad de la

sumatoria:

Entonces, por demostrar

...

Anlisis Combinatorio | 24/07/2015

Comentario [LAPB13]: Por las

propiedades de las sumatorias:

Comentario [LAPB14]: Sustituyendo el

resultado del paso anterior:

Comentario [LAPB15]: Factorizacin

Comentario [LAPB16]: Demostramos

que:

...

Comentario [LAPB17]: Conclusin

Tesis de induccin:

Se demuestra que

es verdadera, o bien, se tiene que:

Anlisis Combinatorio | 24/07/2015

4.

Para
Comentario [LAPB18]: Sustituyendo el
valor directamente al valor de la sumatoria:

Para

Para

Para

Sustituyendo en la propiedad de la sumatoria:

Anlisis Combinatorio | 24/07/2015

Para

...

Comentario [LAPB19]: por propiedad de las

sumatorias:

...

Comentario [LAPB20]: Se desprende que

del paso anterior:

Comentario [LAPB21]: Sustitucin

Anlisis Combinatorio | 24/07/2015

Comentario [LAPB22]: Factorizacin

Conclusin:

Tesis de induccin:

Se demuestra que

es verdadera, o bien, se tiene que:

5. Un polgono es una figura geomtrica plana formada por una sucesin finita de
segmentos rectilneos, unidos consecutivamente hasta encerrar una regin. Los
segmentos rectilneos que lo forman son sus lados, y los puntos en que se unen son los
vrtices. Lo llamamos convexo si sus ngulos interiores los que forman los lados
dentro del polgono son menores a 180.

(b)

(c)

(d)

(e)

(f)

(g)

En la figura se muestra diversos polgonos, (b), (d), (e) y (g) son convexos. La diagonal de un polgono
es un segmento de recta que une dos vrtices que no son consecutivos.

En esta figura se muestran en rojo algunas diagonales de los polgonos convexos de la figura anterior.
Qu ocurre con el tringulo? Tiene diagonales?
Usando el principio de induccin matemtica, demuestra que un polgono de
exactamente

lados tiene

diagonales.
Anlisis Combinatorio | 24/07/2015

(a)

10

Comentario [LAPB23]: Definicin

Para

Para
Para

Para

Ahora, si realizamos la suma de un lado ms al nmero de diagonales de lados, tendramos:

lados del polgono, entonces se tendran ahora
diagonales, ms una diagonal que se forma
al aumentar este lado, entonces, la suma de diagonales es:

Comentario [LAPB24]: Factorizando y

reduciendo:

Conclusin: Tesis de induccin: Se demuestra que

es verdadera, o bien, se tiene que:

Anlisis Combinatorio | 24/07/2015

11

Con esto se demuestra que:

6. Uso de identidades
a) Una ruleta tiene los enteros de 1 a 25 colocados en forma aleatoria. Demuestra que,
independientemente de su posicin en la ruleta, existen tres de ellos adyacentes cuya suma es al menos
39.
Observaciones:
Fuente de consulta: (Grimaldi, 2004, pg. 196)
Los nmeros son:
Independientemente de la forma en la que se coloquen, una combinacin de las tripletas sera:

Se observa que cada elemento aparece exactamente 3 veces

Si sumamos todos los elementos, en el caso ordenado:

Comentario [LAPB25]: Factorizacin

Tal que

Siendo la suma efectiva independientemente del ordenamiento.

Anlisis Combinatorio | 24/07/2015

Comentario [LAPB26]: Aplicando la

propiedad:

12

Ahora, vamos a suponer, para que el resultado sea falso, segn el texto del problema, que la suma de
cada tripleta sera:

Se contabilizan 25 tripletas:

Anlisis Combinatorio | 24/07/2015

Por Excel:

13

Num Tripleta
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25

Tripleta
1,2,3
2,3,4
3,4,5
4,5,6
5,6,7
6,7,8
7,8,9,
8,9,10
9,10,11
10,11,12
11,12,13
12,13,14
13,14,15
14,15,16
15,16,17
16,17,18
17,18,19
18,19,20
19,20,21
20,21,22
21,22,23
22,23,24
23,24,25
24,25,1
25,1,2
suma

sumas
6
9
12
15
18
21
24
27
30
33
36
39
42
45
48
51
54
57
60
63
66
69
72
50
28

menor de 39
si
si
si
si
si
si
si
si
si
si
si
no
no
no
no
no
no
no
no
no
no
no
no
no
si
975

conteo
1
2
3
4
5
6
7
8
9
10
11

12

Observamos la suma de las tripletas es 975, y se forma 25 de ellas.

Aplicando esta desigualdad a la sumatoria:

Pero como tenemos que:

Que es una contradiccin

b) Determina el entero positivo

para el cual

Siendo las sumatorias que conocemos:

Entonces, la igualdad:

Anlisis Combinatorio | 24/07/2015

Para:

14

Queda como:

Comentario [LAPB27]: Reduciendo y

resolviendo:
Comentario [LAPB28]: Igualando a cero:

Comentario [LAPB29]: Factorizando y

resolviendo

Para el estudio discreto, tenemos:

Comentario [LAPB30]: Comprobacin

Comentario [LAPB31]: Sustitucin

Ahora:

Anlisis Combinatorio | 24/07/2015

El otro valor vlido sera cero, pero es evidente

15

c) Considera las cuatro ecuaciones siguientes:

(1)
(2)
(3)

+ 6

= 1

+ 3

+ 4

= 1

+ 8

+ 7

+ 8

+ 9

= 8

+ 27

(4)

10 + 11 + 12 + 13 + 14 + 15 + 16 = 27 + 64

Conjetura la frmula general sugerida por estas ecuaciones y demustrala.

Conjetura matemtica:
La conjetura consiste en una afirmacin que, al no haber sido probada pero tampoco refutada, se
concibe como cierta. Slo cuando se haya podido demostrar su veracidad, la conjetura pasar a ser un
teorema y, por lo tanto, podr usarse para desarrollar otras demostraciones formales.

Partimos de la suposicin que:

Puede ser una de:

Puede ser una de:

Anlisis para los primeros trminos de cada sumatoria:

Pues satisface para

Ahora, tenemos que deducir los primeros trminos de cada ecuacin:

Anlisis Combinatorio | 24/07/2015

Puede ser:

16

Comentario [LAPB32]: Para los segundos

trminos de la ecuacin tenemos:

La posibilidad:

No cumple

La posibilidad:

Cumple
Para las otras dos:

Comentario [LAPB33]: Cumple para:

Comentario [LAPB34]: Cumple para:

Suponiendo que:

Se deduce que el consecutivo puede ser

sumando.

Anlisis Combinatorio | 24/07/2015

Por anlisis

17

Tal que por secuencia, tenemos que

Comentario [LAPB35]: Por deduccin

tenemos que:
Comentario [LAPB36]: El
elemento es:

Entonces, para esta sumatoria, el valor del

el elemento es:

para el valor de,

Lo que podemos deducir como:

El

elemento es

, lo que podemos decir que es:

Ahora, la verdadera conjetura podra ser:

Para demostrar, desarrollamos:

Para la sumatoria,

es una constante:

Anlisis Combinatorio | 24/07/2015

Como sabemos que:

18

Bibliografa
Definicion.de. (24 de Julio de 2015). definicion.de. Obtenido de http://definicion.de/conjetura/
Grimaldi, R. (2004). Discrete and Combinatorial Mathematics. Boston: Pearson.
Infante, J. (24 de Julio de 2015). ipn.mx. Obtenido de http://azul2.bnct.ipn.mx/algebra/numeros.PDF:
http://azul2.bnct.ipn.mx/algebra/numeros.PDF
Sez, E., & Szant, I. (24 de Julio de 2015). mat.utfsm. Obtenido de http://esaez.mat.utfsm.cl/iii.pdf:
http://esaez.mat.utfsm.cl/iii.pdf

Anlisis Combinatorio | 24/07/2015

Salazar, A. (24 de Julio de 2015). Atlantic International University. Obtenido de cursos.aiu.edu:

http://cursos.aiu.edu/Matem%C3%A1ticas%20Avanzadas%20para%20la%20Ingenier%C3%ADa%2
0en%20Sistemas/PDF/Tema%203.pdf

19

upct.es. (24 de Julio de 2015). Universidad Politcnica de Cartagena. Obtenido de ocw.bib.upct.es:

http://ocw.bib.upct.es/pluginfile.php/7820/mod_resource/content/1/085_112_capitulo_6_REC
URRENCIA.pdf

Comentario [LAPB37]: Desarrollando,

ordenando y factorizando: