Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Luis Dissett
Facultad de Matemticas Ponticia Universidad Catlica de Chile
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?
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.
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.
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).
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).
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)
= =
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.
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).
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.
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.
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.
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.