Induccin

TEORIA (LO QUE DEBES SABER Y/O RECORDAR) 1) Lo nico que debes saber en esta parte es el PRINCIPIO DE INDUCCION: Sea ( ) una proposicin. Sea suponga que: a) ( ) es verdadero b) Si ( ) es verdadera, entonces ( ) es verdadera. Si las dos hiptesis se cumplen entonces ( ) es verdadera tal que .

notar que no dice que ( ) debe ser verdadero, esto se debe a que en algunas ocasiones la proposicin empieza a ser verdadera desde un valor superior a 1, lo que importa entonces es que debes tener un valor mnimo para el cual la proposicin debe ser verdadera.

*Cualquier consejo, correccin o recomendacin enviar un mensaje a chrollodark@gmail.com

Ejercicios Resueltos: 1) Demuestre por induccin: ( ) Desarrollo: Aplicamos el teorema de induccin con : ( ) ( )

Sea ( ) una proposicin. Sea suponga que: a) ( ) es verdadero b) Si ( ) es verdadera, entonces ( ) es verdadera. i) Verificamos que ( ) es verdadero: En efecto: ( ) ( Luego ( ) es verdadero. Aplicamos la hiptesis del enunciado b): Supongamos valido para es decir: ( ) (

ii)

iii) Ahora bien demostramos la tesis: Por demostrar que es vlido para ( ) ( En efecto: ( ) , es decir: ) (

( [( [ ( , ( ) )

) ) (

( ( ( ) )] )] ( )(

Factorizando por (

) nos queda: (

),

) tenemos ) ( )

Ahora bien llamando ( ( Por lo tanto (

) a lo que acompaa a ( ) ( ) (

) es verdadero. Luego por i), ii) y iii) se concluye que: ( ) ( ) ( )

*Cualquier consejo, correccin o recomendacin enviar un mensaje a chrollodark@gmail.com

2) Demuestre que para cualquier Desarrollo: Aplicamos el teorema de induccin con

se cumple que

es divisible por 6.

Sea ( ) una proposicin. Sea suponga que: a) ( ) es verdadero b) Si ( ) es verdadera, entonces ( ) es verdadera. i) Verificamos que ( ) es verdadero: En efecto: ( ) Luego ( ) es verdadero. Aplicamos la hiptesis del enunciado b): Supongamos valido para Es decir, es mltiplo de 6. iii) Ahora bien demostramos la tesis: Por demostrar que es vlido para ( ) ( En efecto: ( ) ( ) ( ( ) ( ( ) ) , es decir: ) ( ) es decir: ( )

ii)

Ahora bien, notemos que cualquier nmero multiplicado por su sucesor es mltiplo de dos, por lo que se tiene: ( ) ( ) Ahora bien llamando ( Por lo tanto ( ( ) ) ( tenemos ) ( )

) es verdadero. Luego por i), ii) y iii) se concluye que: es divisible por 6 para cualquier .

*Cualquier consejo, correccin o recomendacin enviar un mensaje a chrollodark@gmail.com

3) Determine para que valores de Desarrollo:

es verdadera la desigualdad:

Si probamos valores nos damos cuenta que recin para n=7 se cumple la desigualdad, as que aplicamos el teorema de induccin con : Sea ( ) una proposicin. Sea suponga que: c) ( ) es verdadero d) Si ( ) es verdadera, entonces ( ) es verdadera. i) Verificamos que ( ) es verdadero: En efecto: Luego ( ) es verdadero.

ii)

Aplicamos la hiptesis del enunciado b): es decir:

Supongamos valido para

iii) Ahora bien demostramos la tesis: Por demostrar que es vlido para ( ) En efecto: ( ( Ahora bien, notemos que ( Y finalmente: ( Por lo tanto ( ) ( ) ) ) para todo ) , luego tenemos: ( ) , es decir: ( )

) es verdadero. Luego por i), ii) y iii) se concluye que la desigualdad:

Es vlida para todo

con

*Cualquier consejo, correccin o recomendacin enviar un mensaje a chrollodark@gmail.com

Ejercicios propuestos (Nivel Fcil): 1) Sea ( ) ; definida por: ( ) ( ) en funcin de y demustrela por induccin.

Conjeture una frmula para 2)

Demuestre que un cajero automtico cargado con billetes de dos mil y cinco mil pesos siempre puede dispensar una cantidad de miles de pesos superior a cuatro mil pesos. Demuestre, por induccin, que: ( )

3)

4)

Demuestre, por induccin, que: ( )

5)

Demuestre que , (

)- es divisible por 4. ) ( ) ( ) demostrar por

6) Considere que una funcin tiene la propiedad ( induccin que ( ) ( ), para todo .

7) Demuestre que el producto de 3 nmeros consecutivos es siempre divisible por 6, es decir para todo : ( )( )

8) Demuestre que para todo natural , se cumple: ( ) 9) Demuestre que para todo natural , se cumple: ( )

10) Determine la falla del mtodo de induccin en la demostracin de: ( ) 11) Se define una sucesin ( ) como sigue:

( ) a) Escriba los primeros 6 trminos de la sucesin. b) Obtenga una expresin para y demustrela por induccin. *Cualquier consejo, correccin o recomendacin enviar un mensaje a chrollodark@gmail.com

Ejercicios propuestos (Nivel Medio): 1) Demostrar que para cualquier 9. el nmero ( ) ( ) es divisible por

2) Considere la desigualdad: . Encuentre el menor satisfaga. Usando induccin, demuestre la desigualdad para todo 3) Demuestre que todo numero de la forma para probar que todo numero de la forma 4) Demostrar que se cumple para todo 5) Dados , , demuestre que: , donde

que la .

, es divisible por 4. Use eso , con es divisible por 8.

Para todo

6) Determine todos los naturales para los cuales es cierta la desigualdad:

7) Demuestre por induccin:

8) Demuestre que: ( )

9) Hallar una expresin para la suma: ( ) ( ) ( ) se cumple que

10) Demostrar que para cualquier numero natural

11) Conjeture una frmula para la siguiente expresin y prubela por induccin: ( )( )( , ) ( ) es divisible por .

12) Demuestre que para todo numero natural

*Cualquier consejo, correccin o recomendacin enviar un mensaje a chrollodark@gmail.com

Ejercicios propuestos (Nivel Difcil): 1) Demostrar usando induccin que: ( ) ( 2) Demostrar que para cualquier 3) Pruebe la desigualdad: ( ) ( ) 4) Sea h un nmero real mayor que -1. Pruebe que para todo ( ) se cumple que: ) el nmero es mltiplo de 17.

A la desigualdad anterior se le conoce como desigualdad de Bernoulli. 5) Demuestre que para todo se cumple: ( ) , ( ) 7) 8) Pruebe que divide a .

( ) y para todo natural

6)

Sea (

) una sucesin tal que . Demuestre que:

La sucesin de Lucas (Anatole Lucas, 1842-1891), es una sucesin de la forma

Y es definida por la regla inductiva:

Sean que:

y nmeros enteros fijos. Sea

la sucesin de Lucas. Demostrar

Si se sabe que es verdadera para

*Cualquier consejo, correccin o recomendacin enviar un mensaje a chrollodark@gmail.com

9)

Demuestre por induccin: ( ) (( )) terminan en esas mismas

10) Pruebe que todas las potencias (naturales) de cuatro cifras. 11) Considere la sucesin ( Pruebe que para todo entero n positivo, definida por: ) (

12) Sea la sucesin de Fibonacci: Demostrar: a) ( b) ( ) ( ) )

*Cualquier consejo, correccin o recomendacin enviar un mensaje a chrollodark@gmail.com

Ejercicios tipo pep (hacerlos una vez terminados los ejercicios anteriores) 1) Demuestre que un nmero escrito en la forma cualquier valor de n en los naturales. (PAS 2 semestre 2013). 2) Demuestre que es divisible por 6 para

)(

se cumple para todo valor de

en los naturales. (1 Control, 2 semestre de 2012). 3) Sea f una funcin definida por ( ) Induccin demuestre que ( ) (1 Control, 2 semestre de 2012). , ( ) ( ) si , se cumple para todo valor de . Usando .

4) Demuestre usando Induccin Matemtica que es verdadera la frmula: ( ) ( ) es divisible por 6 (1 Control, 1 semestre de 2012). 5) Demuestre que: ( (1 Control, 1 semestre de 2013). 6) Demuestre usando induccin matemtica que: ( ) (PAS 1 semestre 2012). 7) Demuestre que: ( (1 Control, 1 semestre de 2012). 8) Demuestre que si un numero entero positivo se escribe como divisible por 5 para todo valor de en los naturales, (1 Control, 1 semestre de 2012). 9) Demostrar por induccin: (1 Control, 1 semestre de 2012). 10) Demuestre que ( ) ( )( ) entonces es ) )

*Cualquier consejo, correccin o recomendacin enviar un mensaje a chrollodark@gmail.com

Se cumple para todo valor n en los naturales. (1 Control, 2 semestre de 2012).

Ejercicios para ayudantas: 1) Algn ejercicio bsico a) Demuestre usando induccin que se cumple para todo nmero natural :

b) Demuestre usando induccin que se cumple para todo nmero natural : ( ) ( )

c) Demostrar que se cumple para todo nmero natural :

d) Sea

tal que:

Demuestre que:

2) Algn ejercicio con desigualdad a) Encuentre todos los que satisfacen:

Use induccin para justificar la respuesta b) Demuestre usando induccin que se cumple para todo nmero natural : ( ) ( )

c) Demuestre la desigualdad de Bernoulli: ( ) 3) Algn ejercicio con multiplicidad a) Demuestre usando induccin que ( ) es mltiplo de 7.

*Cualquier consejo, correccin o recomendacin enviar un mensaje a chrollodark@gmail.com

d)

son divisibles por 8. es divisible por 6.

e) Demuestre que

4) Algn ejercicio que no empiece desde el 1. a) A partir de que valores naturales n se cumple:

b) A partir de que valores naturales n se cumple: (

*Cualquier consejo, correccin o recomendacin enviar un mensaje a chrollodark@gmail.com