Está en la página 1de 25

MAT1012 lgebra

Luis Dissett
Facultad de Matemticas Ponticia Universidad Catlica de Chile

Diapositivas sobre induccin y sucesiones

Induccin Matemtica

Imaginemos la siguiente situacin: usted est en Blockbuster, observando una larga la de gente que espera su turno para comprar el ltimo DVD de Harry Potter, y de pronto observa dos hechos: 1. El vendedor le informa a la primera persona de la la que al da siguiente el DVD estar rebajado en un 20%. 2. Cada persona, al escuchar esta noticia, se la cuenta a la persona que est inmediatamente detrs en la la. Qu puede concluir de esta informacin?

Otra versin: hileras de domins


Un juego muy popular consiste en ordenar domins de modo que al botar uno de ellos todos los otros caigan, creando efectos muy atractivos. Por ejemplo:

Hasta en la tele . . .
Esta idea ha sido usada incluso en comerciales (Chicago, 1986):

Y as al innito . . .

Qu pasara si pudiramos hacer una hilera innita de domins con la propiedad de que cada uno, si llega a caer, botar al siguiente? Si el primer domin de esta hilera cae, entonces . . . La conclusin anterior es una forma intuitiva de entender el Primer Principio de Induccin. En su forma ms simple, este principio dice que si: 1. el nmero 1 cumple una cierta propiedad, y 2. cada vez que un nmero cumple dicha propiedad su sucesor (o sea, el nmero siguiente) tambin la cumple, entonces todos los nmeros naturales cumplen esa propiedad.

Un enunciado ms formal del principio de induccin.

Sea P(n) una propiedad que cada nmero n N puede tener o no tener, y supongamos que: 1. P(1) se cumple, y 2. cada vez que se cumple P(k) se cumple P(k + 1). Entonces tenemos derecho a concluir que P(n) se cumple para todo n N.

Ejemplo de uso del principio de induccin


Usaremos el principio de induccin para demostrar que, para todo n N, 4n 1 es divisible por 3. En efecto: aqu, nuestra propiedad P(n) es 4n 1 es divisible por 3. Vemos que: 1. 41 1 = 3, que es claramente divisible por 3. 2. Supongamos ahora que k satisface la propiedad P, o sea, que se cumple P(k), o en otras palabras, que 4k 1 es divisible por 3. As, existe algn natural t tal que 4k 1 = 3t. Debemos demostrar que k + 1 satisface la propiedad P, o sea, se cumple P(k + 1), a saber, que 4k+1 1 es divisible por 3.

Ejemplo de induccin (cont.)

Para demostrar que 4k+1 1 es divisible por 3 tenemos que hacer uso de una pizca de trucologa algebraica: 4k+1 1 = 44k 1 = 44k 4+41 = 4(4k 1)+41 = 4(4k 1)+3. Como 4(4k 1) es mltiplo de 3 (por qu?), debe tenerse que 4k+1 1 es mltiplo de 3, ya que es la suma de dos mltiplos de 3.

Tecnicismos

Una demostracin por induccin consta de dos partes: la base (donde se demuestra que la propiedad P(n) se satisface para n = 1) y el paso inductivo, donde se demuestra que para todo k N, si se satisface P(k) entonces se satisface P(k + 1). En el paso inductivo, a lo que se da por cierto (P(k)) se le llama la Hiptesis de induccin (HI) y a lo que se quiere demostrar a partir de all se le llama la Tesis de Induccin (TI).

Otra forma de plantear el paso inductivo

Note que otra forma de demostrar el paso inductivo es demostrar que, dado cualquier k > 1, si P(k 1) es cierto entonces P(k) tambin lo es. En este caso, la HI es P(k 1) y la TI es P(k). Note tambin que aqu la variable k es muda, o sea, podemos reemplazarla por cualquier otra variable. As, por ejemplo, podemos demostrar que P(n) implica P(n + 1), o incluso que P( ) implica P( + 1).

Otro ejemplo de induccin


Demostraremos que la suma de los primeros n nmeros impares es n2 , o sea, que 1 + 3 + 5 + + (2n 1) = n2 . En efecto: Base: Si sumamos los primeros 1 impares, obtenemos 1, o sea, 12 . HI: Supondremos que 1 + 3 + 5 + + (2k 1) = k2 . TI: Demostraremos que 1 + 3 + 5 + + (2(k + 1) 1) = (k + 1)2 , o sea, que 1 + 3 + 5 + + (2k 1) + (2k + 1) = (k + 1)2 .

Continuacin del ejemplo

Demostramos el paso inductivo, o sea, que HI TI. En efecto, supongamos que TI es verdadera. Entonces 1 + 3 + 5 + + (2k 1) + (2k + 1) =
(por HI)

(1 + 3 + 5 + + (2k 1)) + (2k + 1) k 2 + ( 2k + 1) k2 + 2k + 1 (k + 1)2 .

= =

Otro ejemplo
Un triomin L es un objeto formado por tres cuadrados, como sigue:

Demostraremos, usando el principio de induccin, que si se tiene un tablero de ajedrez de 2n 2n (en que cada casilla es del mismo tamao que los cuadrados que forman el triomin L), y se marca uno de los 22n cuadrados, entonces es posible cubrir todos los cuadrados, excepto el marcado, por triomins L.

Solucin del ejemplo


Base: Que un cuadrado de 21 21 casillas, menos una casilla cualquiera, puede ser cubierta por triomin Ls, es obvio, ya que un cuadrado de 2 2 sin una casilla es un triomin L. As, hemos demostrado lo que queremos para n = 1 (base de la induccin). HI: Supongamos ahora que, para k N, k 1, es posible cubrir con triomins L cualquier tablero cuadrado de 2k 2k casillas con una casilla menos. TI: Supongamos que tenemos un cuadrado de 2k+1 2k+1 casillas, con una de ellas marcada. Queremos demostrar que este tablero puede ser cubierto con triomins L, dejando la casilla marcada sin cubrir.

Paso inductivo
Dividiremos nuestro tablero de 2k+1 2k+1 casillas en 4 sub-tableros de 2k 2k casillas. Como nuestro tablero original tiene marcada una casilla, sta est en uno de los sub-tableros (ver gura).

Paso inductivo (cont.)


En el punto de unin de los cuatro sub-tableros, marcaremos las casillas pertenecientes a los otros tres sub-tableros, y aplicaremos la hiptesis de induccin a los cuatro sub-tableros (ver gura).

Conclusin de la demostracin

Por hiptesis de induccin, cada uno de los cuatro sub-tableros (sin las casillas marcadas) puede ser cubierto por triomins L. Las tres ltimas casillas marcadas forman un cuadrado de 2 2 menos una casilla, el cual por el caso base puede ser cubierto por un triomin L. As, nuestro tablero de 2k+1 2k+1 , menos una casilla, puede ser cubierto por triomins L. Esto completa la demostracin de que HI TI.

Algunos ejercicios adicionales


1. Suponga que se tiene un conjunto de n lneas rectas en el plano, tal que entre ellas no hay dos paralelas ni tres concurrentes. En cuntas regiones queda dividido el plano? Demuestre su respuesta usando induccin. 2. Demuestre que para todo n N, 7n 2n es divisible por 5. 3. Demuestre que para todo n N, 11n+1 + 122n1 es divisible por 133. 4. Demuestre que, si n N y x R, x 1, (1 + x)n 1 + nx. 5. Evale la suma 1 2 3 n + + + + . 2! 3! 4! (n + 1)!

Factoriales
Informalmente, el factorial de un nmero natural n se dene como sigue: n! = 1 2 3 n. El problema es que esta denicin es imprecisa: intuitivamente, entendemos lo que debe ir en lugar de los punttos suspensivos, pero en estricto rigor . . . podra ir cualquier cosa! Cmo hacer ms precisa esta denicin? Una manera razonable de resolver esto es la siguiente: decimos (denimos) que 1! = 1, y, si n > 1, denimos n! como n (n 1)!. Pero esto dene factorial en trminos de factorial! Cmo puede esto estar bien?

Factoriales (cont.)

La gracia de la denicin anterior es que, aunque estamos deniendo factorial en trminos de factorial, este proceso eventualmente termina. As, por ejemplo, para calcular 4!, vemos que 4! = 43! = 4(32!) = 4(3(21!)) = 4(3(21)) = 4(32) = 46 = 24. As, podemos denir n! = 1 n (n 1)! si n = 1, si n > 1.

Factoriales (cont.)

Ejercicio
Cmo deberamos denir 0! para que el resto de la denicin quede igual? En otras palabras: Qu valor debe tomar X en la frmula n! = X n (n 1)! si n = 0, si n > 0.

para que esta denicin de factorial coincida con la anterior?

Deniciones recursivas

Las deniciones de factorial que dimos antes son ejemplos de deniciones recursivas, o sea, de deniciones en que un concepto se dene en trminos de s mismo. Para que estas deniciones no caigan en crculos, debemos tener un caso base (en los ejemplos anteriores, n = 0 o n = 1). Otro ejemplo de concepto que puede ser denido recursivamente es el de potencia. As, por ejemplo, podemos denir 2n para todo n N como sigue: 2 si n = 1, 2n = n 1 22 si n > 1.

Sucesiones

Denicin
Una sucesin1 es una funcin s : D R, donde D N (aunque tambin es posible denir sucesiones con dominio D Z). Cada valor que toma la sucesin es un trmino de sta.

Un nombre ms preciso sera sucesin de nmeros reales.

Notacin

Dada una sucesin s : D R y n N, en lugar de s(n) escribimos sn . Para referirnos a la sucesin como un todo, escribimos (sn ) o {sn }, aunque tambin se usan las notaciones (sn )nN , {sn }nN , (sn ) n=1 o {sn }n=1 . Note que aqu la variable n es muda: la sucesin (an ) dada por an = n2 + 1 es la misma que la sucesin (ak ) dada por ak = k 2 + 1.

Ejemplos
la sucesin constante an = c (donde c R es un nmero jo); la sucesin alternante an = (1)n ; la sucesin de Fibonacci , denida por si n = 0, 0 fn = 1 si n = 1, fn1 + fn2 si n > 1; la sucesin dada por an = 2n 3n si n es impar, si n es par.