Lgica Unidad 4. Mtodos de demostracin y formalizacin lgica Actividad 4: Induccin matemtica Presenta: Maritza Finkenthal P.

1. Encuentra la suma de los primeros 100 nmeros naturales. Una forma de determina la suma de los primeros 100 naturales es la siguiente. Veamos que sucede con los primeros 10 1 +2 + 3 + 4 + 5 + 6 + 7 + 8 + 9 + 10 = 55 Lo anterior es fcil de resolver y nos servir de base para determinar la suma de los primeros 100 nmeros naturales En primer lugar se enlistan los 10 nmeros en forma creciente y debajo de ellos agregaremos la lista de los mismos nmeros en forma decreciente y sumamos cada una de las parejas que tenemos verticalmente.
Sumamos verticalm ente

1 10 11

2 9 11

3 8 11

4 7 11

5 6 11

6 5 11

7 4 11

8 3 11

9 2 11

10 1 11

Suma

Como podemos observar tenemos 10 veces 11 Lo anterior podemos indicarlo como n( n +1) n = ltimo digito de la serie Sabemos que el resultado de la anterior operacin es 110. Como duplicamos los nmeros enlistados significa que tambin duplicamos la suma; por lo tanto, n( n + 1) tenemos que determinar la mitad de la suma es decir . 2 10(10 + 1) 10(11) 110 = = = 55 Con lo anterior se demuestra que lo anterior 2 2 2 verdad. Ahora sumaremos los 100 primeros nmeros naturales utilizando el procedimiento anterior
Sumamos verticalm ente

1 100 101

2 101

3 98 101

4 97 101

5 96 101

6 95 101

7 94 101

8 93 101

100 1 101

Suma

Para no tener que utilizar una calculadora, se puede comprobar en Excel. n =100 n( n + 1) 100(100 + 1) 10(101) 10010 = = = = 5050 n +1 =101 2 2 2 2 2. Existe una frmula para la suma de los primeros n nmeros naturales, descubre cul es y demustrala utilizando el mtodo de induccin matemtica

Lgica Unidad 4. Mtodos de demostracin y formalizacin lgica Actividad 4: Induccin matemtica Presenta: Maritza Finkenthal P.

La frmula como ya pudimos demostrar es Demostraremos que la suma de los n( n + 1) 2 Para demostracin utilizar n = k

n( n + 1) 2

primeros nmeros naturales es igual a

Probaremos que lo anterior cumple satisface tres propiedades: 1.

k ( k + 1) = 1 ; Sustituyendo tenemos 2 es verdadero. p (1) =

p(1) =

1(1 + 1) 2 = = 1 ; lo cual 2 2

2. Se supone que la igualdad es verdadera para un cierto valor de k , es decir, k ( k + 1) 1 + 2 + 3 + 4... + k = 2 3. Sea k N , debemos probar que p ( k ) p ( k +1) es verdadero. Ntese que si p ( k ) es falsa la implicacin es verdadera, de modo que hay que hacer la demostracin suponiendo que p ( k ) es verdadera. Como p ( k + 1) : 1 + 2 + 3 + 4... + k + ( k + 1) =

( k + 1) ( ( k + 1) + 1) , p( k +1)
2

debe formarse

de p ( k ) sumando ( k +1) a ambos miembros de la igualdad:

( k + 1)( k + 2) k ( k + 1) + ( k + 1) = 2 2 Hemos demostrado que p ( k +1) es verdadera, suponiendo que p ( k ) lo es. n( n + 1) As, hemos demostrado que n N : 1 + 2 + 3 + 4... + n = , es verdadera. 2
1 + 2 + 3 + ... + k + ( k + 1) =
3. Demuestra por medio de un contraejemplo que las siguientes afirmaciones son falsas:

Lgica Unidad 4. Mtodos de demostracin y formalizacin lgica Actividad 4: Induccin matemtica Presenta: Maritza Finkenthal P.

Puesto que todo conjunto A es subconjunto de s mismo, se dir que A es un subconjunto propio de B; si A es subconjunto de B y A no es igual a B y por esta misma razn B tampoco puede ser igual a C Lo que significa que lo anterior es falso en ambos casos.

4. Elabora un diagrama de Venn donde se muestren tus resultados.

5. Responde las preguntas de la lectura John, James y William y analiza cmo fue que llagaste a la solucin DATOS: *sabemos que John y James siempre mienten. *sabemos que Williams siempre dice la verdad. De la lectura determinamos que existen 3 casos: Caso 1: que la persona que encuentre sea John (el que miente) William contestar que no es John (porque el siempre dice la verdad). James contestar que el si es John, porque el siempre miente. Pero, las respuestas que nos dar John, ya que l miente sern las siguientes: Uno de mis hermanos (William) te dir que el s es John. Como John siempre miente, l no puede Decir que William no es John, ya que si lo hace, John estara diciendo la verdad (Pero John siempre miente). James le dir que el s es John (James tambin miente). John no puede decir que James no es John porque si l dice eso, entonces estara diciendo la verdad. En resumen: en este caso, la respuesta de John ser mis dos hermanos te dirn que son John (Con esa respuesta sabremos que la persona a la que estamos preguntado es John)

Lgica Unidad 4. Mtodos de demostracin y formalizacin lgica Actividad 4: Induccin matemtica Presenta: Maritza Finkenthal P.

Caso 2: Que la persona que encuentre sea William (el que dice la verdad) Las respuestas que los hermanos daran son las siguientes: John: me dir que l no es John, porque el siempre miente. James: me dir que el s es John porque el siempre miente. Luego, cuando yo le pregunte a William la respuesta de sus hermanos el responder lo siguiente: Uno de mis hermanos (John) te dir que l no es John; esto, porque William siempre dice la verdad y si dijera que John dir que si es John, entonces William est mintiendo. Como l siempre dice la verdad, entonces no puede decir que John dir que l es John y John jams va a decir que l es John porque siempre miente. El otro de mis hermanos (James) te dir que el si es John, esto porque William siempre dice la verdad y si William respondiera diciendo que la respuesta de James va a ser No soy John, entonces William estara mintiendo (y William siempre dice la verdad), ya que sabemos que James es un mentiroso y el jams va a decir que l no es John. En resumen: la respuesta que William que nos dar ser uno de mis hermanos te dir que no es John y el otro de dir y el otro re dir que s lo es. Caso 3: que la persona que me encuentre sea James (el que miente) Las respuestas originales que darn los hermanos de james son: William: me dir que l no es John porque el siempre dice la verdad. John: me dir que l no es John porque el siempre miente Luego, cuando yo le pregunte a James el me contestar lo siguiente: James dir que uno de sus hermanos (William) dir que es John, porque como James siempre miente (es mentira que William sea John); si James mencionar que William no es John, entonces james estara diciendo la verdad, pero sabemos que james siempre miente (el planteamiento anterior no puede ser, debido a que james miente) Otro de mis hermanos (John), dir que no es John, James dir que uno de sus hermanos (John) dir que l no es John (Porque James es un mentiroso y el apoya la mentira de su hermano). James no que John es John de lo contrario estara diciendo la verdad.

Lgica Unidad 4. Mtodos de demostracin y formalizacin lgica Actividad 4: Induccin matemtica Presenta: Maritza Finkenthal P.

En resumen: James responder algo as Uno de mis hermanos negar ser John y otro afirmar serlo Conclusin: Si nos topamos con William o James (cualquiera de los dos) la respuesta que ellos nos darn ser Un hermano te dir que es John y el otro dir que no lo es Si nos topamos con John, la nica respuesta que nos puede dar es Mis dos hermanos te dirn que son John. (Por lo tanto l ser John)

Si la persona que te encontraste es John como siempre miente, dir que SI. Si la persona que te encontraste es James como siempre miente dir que NO. Si la persona que te encontraste es William como siempre dice la verdad te dir que NO.