Académique Documents
Professionnel Documents
Culture Documents
P1.- Demostrar las siguientes afirmaciones, usando induccion. Indicar sobre que vari-
able se est
a aplicando la inducci
on y cual es la hipotesis inductiva en cada caso.
P3.- Sean a, b n
umeros reales distintos tales que a + b > 0, demostrar que:
Usando inducci
on.
1
P9.- Dada una familia de conjuntos finitos {Ai }ni=1 , demostrar por induccion que:
[n X n
Ai |Ai | n 2.
i=1 i=1
a(1) = 1
a(2) = 1
a(n) = 3[ a(n 1) + a(n 2) ] + 1 n 2.
12 2 + 22 22 + 32 23 + + n2 2n = 2n+1 (n2 2n + 3) 6. n 1.
P15.- Sea E 6= y << una relaci on de orden total definida sobre E. Demostrar
que si A es un subconjunto finito no vaco de E entonces, existe un elemento
a A tal que para cada b A se tiene a << b.
Ind: Demuestrelo por inducci
on sobre el numero de elementos de A.
2
P16.- Sea p > 3 un numero primo. El objetivo de este problema es demostrar que
2
p 1 es divisible por 24. Para ello siga los siguientes pasos:
P17.- En Hanoi, un templo budista tiene tres torres. Existe una leyenda que cuenta
que inicialmente hubo en una de las torres 64 argollas, todas de distinto tama
no,
colocadas de manera ascendente o creciente, es decir desde la de mayor diametro
hasta la de menor di ametro. Por mision divina, los monjes del templo deben
trasladar las argollas a otra torre, trasladando solo una a la vez y sin colocar
una argolla sobre otra m as peque na. Ademas, seg
un la leyenda, cuando los
monjes terminen su misi on, el fin del mundo habra llegado.
(a) Demostrar por inducci on, que el problema de las torres de Hanoi tiene
soluci
on para cualquier n
umero de argollas.
(b) Calcular, en a
nos, el tiempo que demoraran los monjes en trasladar las 64
argollas. Suponga, pesimistamente, que los monjes se demoran 1 segundo
en trasladar una argolla, de una torre a otra.
n
P18.- Se define an = 22 + 1 para cada n = 0, 1, 2 . . .. En este problema se de-
mostrar a que mcd (an , am ) = 1 si n 6= m, donde mcd denota el maximo com
un
divisor. Para ello:
a0 a1 . . . an1 + 2 = an n 1.
(b) Probar que si p > 1 tal que p|an y p|am para n 6= m, entonces p es par e
impar a la vez. Concluya el resultado, es decir que mcd (an .am ) = 1 para
n 6= m.
Obs: Sean a y b n umeros enteros entonces a|b significa que a divide a b.