Ayudanta de Algebra I, UNAB 1 Omar A.

Fabio Guerra

Resolviendo una induccin matemtica

Esta gua est hecha para mostrar y dar ejemplos de cmo responder o realizar un problema de induccin matemtica, est elaborada para que reconozcan, entiendan, y sepan cmo responder un problema de este tipo ya sea en control o en solemnes.

Conceptos y reconocimiento Una induccin matemtica tiene como funcin, demostrar bajo condiciones dadas si la preposicin que se est evaluando es verdadera. Es decir es esta preposicin valida siempre, segn las condiciones. Para esto podemos reconocer y evaluar preposiciones si leemos bien lo que se nos est pidiendo, por ejemplo:

Utilice el principio de induccin para demostrar la siguiente afirmacin

Lo primero es ver que se nos pide, claramente se nos pide demostrar una ecuacin, esta llamaremos la preposicin en la que trabajaremos, y la condicin, es en los nmeros( o conjunto) que trabajaremos, en este caso queremos demostrar que esta ecuacin es vlida para todos los naturales ( la condicin es que es vlida para todo natural). Como se hace una induccin Una vez reconocido la condicin y la preposicin podemos operar, en nuestro caso y segn la gua N5 trabajaremos siempre en los naturales, esto nos ayuda bastante en cmo hacer una induccin, para ello tenemos que considerar 4 pasos fundamentales: 1) 2) 3) 4) Verificar que se cumple n=1. Realizar la Hiptesis. Realizar la tesis. Concluir el ejercicio.

Lo que se hace en cada paso se explicara a continuacin con ejemplos.

Ayudanta de Algebra I, UNAB 2 Omar A. Fabio Guerra

Verificar n=1 En este paso vemos si la preposicin es cierta, cuando n se evala en 1, siguiendo el ejemplo anterior.

Paso 1) Verificar n=1. La ecuacin ser

Como la preposicin se cumple, pues 2=2 es una verdad indudable, entonces se cumple el primer paso. Hiptesis La hiptesis, como un nombre lo dice consiste en realizar una suposicin verdadera para luego evaluar su validez o bien contradecirla ( en lgica puede compararse a una reduccin a lo absurdo), cuando hacemos una induccin esto es bastante simple, tomaremos el ejercicio y lo consideraremos verdadero cambiando la variable por otra letra, siguiendo el ejemplo anterior. Paso 2) hiptesis.

Por qu cambiamos la letra?, la respuesta es simple , no podemos suponer que la preposicin es vlida para n, puesto que el motivo de todo el ejercicio es demostrar que es vlido para n, en realidad bajo esa explicacin es un tema de razonamiento lgico, sutileza y orden. Para efectos prcticos utilizare siempre la letra k. Tesis La tesis ahora es analizar la veracidad de la preposicin si se evala en k+1, para ello se remplazan todas las k por k+1. sea debemos evaluar la veracidad de la siguiente preposicin. Sigamos el ejemplo: Paso3) tesis

Ayudanta de Algebra I, UNAB 3 Omar A. Fabio Guerra

Como se puede ver se cambiaron las k por k+1, ahora solo basta evaluar la veracidad de la preposicin operando, sigamos el ejemplo:

De la hiptesis nosotros sabemos que

Si que podemos utilizarla en la tesis (este paso se ocupa para todas las inducciones, recurrimos a la verdad supuesta (hiptesis) para evaluar la veracidad de la tesis). Reemplazando

Resolviendo un poco

Como la preposicin se cumple puesto que es una verdad, entonces la tesis es verdadera. Conclusin La conclusin es sencilla y consiste en evaluar todo los pasos anteriores, La conclusin nos dicen si la preposicin es verdadera o falsa, y su estructura es prcticamente nica, la conclusin nos dir si la preposicin es verdadera solo si se cumplen los 3 pasos como verdades ( sea que el paso 1 y el paso 3 hallamos calculado satisfactoriamente que las preposiciones en paso 1 y 3 son ciertas), si llegase la primera o le tercera preposicin a no cumplirse, entonces la conclusin nos dice que la preposicin sobre la cual hacemos la induccin es falsa. Ejemplo sobre el ejercicio echo. Paso4) conclusin Se concluye del paso I, II y III que la preposicin verdadera para todos los valores de n en los naturales. es

Ayudanta de Algebra I, UNAB 4 Omar A. Fabio Guerra

Por qu se hace todo esto?, la respuesta es simple, usted piense que los naturales son 1,2,3,4,5,6,7 etc. En el primer paso nosotros demostramos que para n=1, la preposicin es vlida, sea sabemos que para al menos un numero natural se cumple, en el segundo caso nosotros suponemos esto a travs de que es vlido para k, cuando nosotros demostramos k+1, la idea es ir avanzando en los naturales, fjese que si suponemos para k y para k+1 cierto, entonces para k=1, nosotros sabemos que es cierto, pero automticamente k+1 sea k=2 tambin es cierto, y si k=2 es cierto entonces k=3 tambin es cierto y as hasta el infinito demostrando claro est, para todos los naturales.

Dos ejemplos resueltos de forma completa

Utilice el principio de induccin para demostrar las afirmaciones siguientes:

Desarrollo Paso I) verificar n=1

Esta preposicin es falsa, y no es necesario seguir a los paso II y III. Paso IV) Conclusin Dado que no es vlido para n=1, entonces la preposicin es falsa para dada la condicin inicial para todos los valores elementos de los naturales

Desarrollo Si es mltiplo de 8, la preposicin puede expresarse como .

Donde

es un nmero natural o entero.

Paso1) verificar n=1

Ayudanta de Algebra I, UNAB 5 Omar A. Fabio Guerra

La preposicin anterior se considera cierta si influye en el proceso. Paso2) Hiptesis

cosa que supondremos cierta y no

Paso3) tesis

Esta debemos demostrar su valides, por lo tanto operamos la preposicin.

Sabemos que de la hiptesis, reemplazar

se cumple por lo tanto podemos

Donde se demuestra que la tesis es cierta puesto que 8 es el mltiplo, y la combinacin de nmeros naturales 8,9 y P(k) , da como resultado un numero natural o entero, por formalidad dir que talque;

Y la tesis es cierta Paso4) conclusin De I, II y III se concluye que la elementos de los naturales. es mltiplo de 8, para todos los valores de n