Taller/Tarea 1 - Universidad Nacional de Colombia

Taller/Tarea 1 - Universidad Nacional de Colombia Taller/Tarea 1 - Universidad Nacional de Colombia

unalmed.edu.co
from unalmed.edu.co More from this publisher
19.05.2013 Views

Universidad Nacional de Colombia, Medellín – Escuela de Matemáticas Conjuntos y Combinatoria – Febrero 19, 2011 Taller/Tarea 1 Tarea: 7 ejercicios entre los 8 siguientes: 1, 8, 11, 17, 20, 23(b), 25, 28. Para el miércoles 2 de marzo. 1. Asuma ya definidas la adición y la multiplicación sobre los números naturales N (con las propiedades usuales). (a) Use el teorema de la recursión para obtener la existencia de la operación de exponenciación base m ∈ N, f(n) = m n , tal que satisface m 0 = 1; m s(n) = m n · m. (b) Pruebe que para p, q ∈ N, satisface m p+q = m p · m q . 2. Use el teorema de la recursión (forma básica) para probar la siguiente versión: Dados un conjunto E, elementos e0, e1, e2 ∈ E, y una función g : E × E × E → E, existe una función única f : N → E que satisface f(0) = e0, f(1) = e1, f(2) = e2, y para n ≥ 2, f(n + 1) = g(f(n), f(n − 1), f(n − 2)). 3. Sea ⌊n/2⌋ el cociente (entero) de dividir n por 2; el residuo correspondiente es 0 ó 1 y esto corresponde por definición a n par e impar. Considere la siguiente función f(n, m) definida recursivamente como ⎧ ⎨ 0 si n = 0 f(m, n) = m si n es impar ⎩ f(2m, ⌊n/2⌋) + si n > 0 0 si n es par Sin preocuparse por justificar la existencia (teniendo en cuenta los teoremas de recursión), identifique la función, y pruebe su conjetura usando inducción. 4. Use inducción para probar que para todo entero n ≥ 0, 10 n − 1 es divisible por 9. 5. Use inducción para probar que a − b divide a n − b n . 1

<strong>Universidad</strong> <strong>Nacional</strong> <strong>de</strong> <strong>Colombia</strong>, Me<strong>de</strong>llín – Escuela <strong>de</strong> Matemáticas<br />

Conjuntos y Combinatoria – Febrero 19, 2011<br />

<strong>Taller</strong>/<strong>Tarea</strong> 1<br />

<strong>Tarea</strong>: 7 ejercicios entre los 8 siguientes: 1, 8, 11, 17, 20, 23(b), 25, 28. Para el<br />

miércoles 2 <strong>de</strong> marzo.<br />

1. Asuma ya <strong>de</strong>finidas la adición y la multiplicación sobre los números naturales<br />

N (con las propieda<strong>de</strong>s usuales).<br />

(a) Use el teorema <strong>de</strong> la recursión para obtener la existencia <strong>de</strong> la operación<br />

<strong>de</strong> exponenciación base m ∈ N, f(n) = m n , tal que satisface<br />

m 0 = 1; m s(n) = m n · m.<br />

(b) Pruebe que para p, q ∈ N, satisface<br />

m p+q = m p · m q .<br />

2. Use el teorema <strong>de</strong> la recursión (forma básica) para probar la siguiente<br />

versión: Dados un conjunto E, elementos e0, e1, e2 ∈ E, y una función<br />

g : E × E × E → E, existe una función única f : N → E que satisface<br />

f(0) = e0, f(1) = e1, f(2) = e2, y para n ≥ 2,<br />

f(n + 1) = g(f(n), f(n − 1), f(n − 2)).<br />

3. Sea ⌊n/2⌋ el cociente (entero) <strong>de</strong> dividir n por 2; el residuo correspondiente<br />

es 0 ó 1 y esto correspon<strong>de</strong> por <strong>de</strong>finición a n par e impar. Consi<strong>de</strong>re la<br />

siguiente función f(n, m) <strong>de</strong>finida recursivamente como<br />

⎧<br />

⎨ 0<br />

<br />

si n = 0<br />

f(m, n) =<br />

m si n es impar<br />

⎩ f(2m, ⌊n/2⌋) +<br />

si n > 0<br />

0 si n es par<br />

Sin preocuparse por justificar la existencia (teniendo en cuenta los teoremas<br />

<strong>de</strong> recursión), i<strong>de</strong>ntifique la función, y pruebe su conjetura usando inducción.<br />

4. Use inducción para probar que para todo entero n ≥ 0, 10 n − 1 es divisible<br />

por 9.<br />

5. Use inducción para probar que a − b divi<strong>de</strong> a n − b n .<br />

1


6. Pruebe usando inducción que<br />

n<br />

k=1<br />

k 3 = 1 3 + 2 3 + 3 3 + · · · + (n − 1) 3 + n 3 =<br />

7. Pruebe usando inducción que para todo n ∈ N, se tiene que<br />

n<br />

i=0<br />

(2i + 1) 2 = 1<br />

3<br />

8. Pruebe usando inducción que<br />

para α = 1,<br />

n<br />

kα k−1 =<br />

k=0<br />

· (n + 1)(2n + 1)(2n + 3).<br />

1 − αn αn<br />

+<br />

(α − 1) 2 α − 1 n.<br />

9. Pruebe usando inducción que para n ≥ 15, se tiene que<br />

80n2 2n ≤ n! ≤ 1<br />

1000 2n2<br />

.<br />

2 1<br />

n(n + 1)<br />

2<br />

10. Use inducción para verificar que para reales x1, x2, . . . , xn ∈ [0, 1], se tiene<br />

que<br />

n<br />

n<br />

(1 − xi) ≥ 1 − xi.<br />

i=1<br />

Deduzca que si 0 ≤ a ≤ 1 y N ∈ N entonces (1 − a) n ≥ 1 − na.<br />

11. Use inducción para probar que para n ∈ N y x, y ≥ 0, se satisface que<br />

n x + y<br />

2<br />

i=1<br />

≤ xn + yn .<br />

2<br />

12. Use inducción para verificar que para n ≥ 1,<br />

1 + 1 1<br />

+<br />

4 9<br />

1 1<br />

+ · · · + < 2 −<br />

n2 n .<br />

13. Los números armónicos Hn se <strong>de</strong>finen como<br />

Hn =<br />

n<br />

k=1<br />

1<br />

k<br />

Pruebe por inducción que para n ≥ 0,<br />

1 + n<br />

2<br />

1 1 1<br />

= 1 + + + · · · +<br />

2 3 n .<br />

≤ H2 n ≤ 1 + n.<br />

2


14. Deduzca que un polinomio p(X) (con coeficientes en R) <strong>de</strong> grado n tiene a<br />

lo más n ceros/raíces en R <strong>de</strong> la siguiente manera:<br />

(a) Verifique usando inducción que para todo a, b y n ∈ N se tiene que<br />

a n −b n = (a−b)(a n−1 +a n−2 b+a n−3 b 2 +· · ·+a 2 b n−3 +ab n−2 +b n−1 )<br />

(b) Muestre que si p(c) = 0 entonces p(X) = (X − c)q(X) don<strong>de</strong> q(X) es<br />

un polinomio <strong>de</strong> grado n − 1. Sugerencia: Consi<strong>de</strong>re p(X) − p(c).<br />

(c) Use inducción para concluir la afirmación inicial.<br />

15. Recuer<strong>de</strong> que los números <strong>de</strong> Fibonacci Fn para n ≥ 0, se <strong>de</strong>finen recursivamente<br />

como<br />

⎧<br />

⎨ 1 si n = 0<br />

Fn = 1<br />

⎩<br />

Fn−1 + Fn−2<br />

si n = 1<br />

si n > 1<br />

Use inducción para probar que<br />

16. Consi<strong>de</strong>re la sucesión 〈an〉 ∞ n=0<br />

era:<br />

an =<br />

⎧<br />

⎨<br />

⎩<br />

n<br />

i=0<br />

(Fi) 2 = FnFn+1.<br />

<strong>de</strong>finida recursivamente <strong>de</strong> la siguiente man-<br />

0 si n = 0<br />

an−1 + 1 si n es impar<br />

2an/2<br />

si n es par<br />

Determine una expresión sencilla para an (conjeturando a partir <strong>de</strong> unos<br />

pocos valores) y verifíquela usando inducción.<br />

17. Consi<strong>de</strong>re una sucesión <strong>de</strong>finida por<br />

b1 = b2 = 1,<br />

bn = 1<br />

<br />

bn−1 +<br />

3<br />

3<br />

bn−2<br />

Muestre que 1 ≤ bn ≤ 3/2 para n ∈ N.<br />

18. Consi<strong>de</strong>re la sucesión 〈an〉 ∞ n=0<br />

an =<br />

Verifique usando inducción que<br />

para todo n ∈ N.<br />

<br />

, para n ≥ 3.<br />

<strong>de</strong>finida recursivamente como<br />

<br />

0 si n = 0<br />

2an−1 + (n − 1) si n > 0<br />

an = 2 n − n − 1<br />

3


19. Consi<strong>de</strong>re la sucesión<br />

a1 = 1<br />

an = 1 + 1/an−1 para n > 1<br />

Los primeros valores <strong>de</strong> esta secuencia son<br />

a1 = 1<br />

a2 = 2<br />

a3 = 3/2 = 1.5<br />

a4 = 5/3 = 1.666666 · · ·<br />

a5 = 8/5 = 1.6<br />

Note que<br />

y<br />

a6 = 13/8 = 1.625<br />

a7 = 21/13 = 1.615385 · · ·<br />

a8 = 34/21 = 1.619048 · · ·<br />

a9 = 55/34 = 1.617647 · · ·<br />

a10 = 89/55 = 1.618181 · · ·<br />

a1 < a3 < a5 < a7 < a9 < · · ·<br />

a2 > a4 > a6 > a8 > a10 > · · ·<br />

Aparentemente los términos impares forman una sucesión creciente mientras<br />

que los términos pares forman una sucesión <strong>de</strong>creciente. Verifique esto<br />

usando inducción. Sugerencia: Exprese an en términos <strong>de</strong> an−2 y consi<strong>de</strong>re<br />

los casos n par y n impar separadamente. En un caso. se quiere probar que<br />

si an−2 > an, entonces an > an+2.<br />

20. Representación binaria. Pruebe que para todo n ∈ N existe m ∈ N tal<br />

que 2 m ≤ n < 2 m+1 . Concluya que todo n ∈ N se pue<strong>de</strong> escribir como la<br />

suma <strong>de</strong> potencias <strong>de</strong> 2 diferentes (por ejemplo 27 = 16 + 8 + 2 + 1).<br />

21. Pruebe usando inducción lo siguiente:<br />

Si S es un subconjunto <strong>de</strong> {1, 2, 3, . . . , 3n − 1, 3n} con 2n + 1 elementos,<br />

entonces S contiene tres números consecutivos.<br />

22. Fracción irreducible. Pruebe que cualquier número racional positivo r<br />

es igual a una fracción irreducible p/q. Es <strong>de</strong>cir p, q son enteros positivos<br />

que no tienen factores comunes que se pue<strong>de</strong>n cancelar. Sugerencia: Todo<br />

racional positivo por <strong>de</strong>finición es igual a un cociente m/n <strong>de</strong> dos enteros<br />

positivos. Use inducción (fuerte) sobre m (cuando se consi<strong>de</strong>ra un m, n<br />

pue<strong>de</strong> ser arbitrario).<br />

23. Recubrimiento <strong>de</strong> un tablero <strong>de</strong> damas con fichas. La figura <strong>de</strong> la<br />

izquierda muestra un tablero <strong>de</strong> 2 n × 2 n cuadrados, excepto una esquina<br />

faltante. Se trata <strong>de</strong> recubrirlo con fichas <strong>de</strong> tres cuadrados en forma <strong>de</strong> L<br />

(por supuesto, cada cuadrado sólo es cubierto una vez).<br />

4


n<br />

2<br />

n<br />

2<br />

(a) Justifique usando inducción que un tablero 2 n × 2 n sin una esquina<br />

pue<strong>de</strong> ser recubierto. Sugerencia: La posición <strong>de</strong> la ficha en la figura<br />

sugiere el paso inductivo.<br />

(b) Justifique que un tablero 2n × 2n con un cuarto faltante, como se<br />

muestra en la figura <strong>de</strong> la <strong>de</strong>recha, también pue<strong>de</strong> ser recubierto. Sugerencia:<br />

La figura sugiere un bor<strong>de</strong> que al ser removido resulta en un<br />

tablero 2(n − 1) × 2(n − 1) similar. Para el paso inductivo muestre que<br />

ese bor<strong>de</strong> se pue<strong>de</strong> recubrir.<br />

24. Una barra <strong>de</strong> chocolate viene en un arreglo rectangular con n = p × q<br />

pastillas (p, q arbitrarios). La barra o un pedazo ya obtenido sólo se pue<strong>de</strong><br />

quebrar a lo largo <strong>de</strong> una <strong>de</strong> las líneas verticales u horizontales que separan<br />

las pastillas. Asumiendo que sólo pue<strong>de</strong> quebrar un pedazo a la vez, pruebe<br />

que se necesitan exactamente n − 1 quiebres para separar las n pastillas<br />

in<strong>de</strong>pendientemente <strong>de</strong> como se realicen estos.<br />

25. Torres <strong>de</strong> Hanoi con 4 postes. Consi<strong>de</strong>re una modificación <strong>de</strong>l problema<br />

<strong>de</strong> las torres <strong>de</strong> Hanoi en la que el número <strong>de</strong> postes es 4 (en lugar <strong>de</strong> 3).<br />

El problema es todavía mover los n discos <strong>de</strong> diferentes tamaños que están<br />

inicialmente en un poste a otro poste, haciendo uso como sea conveniente <strong>de</strong><br />

los otros dos postes, pero nunca colocando un disco sobre uno más pequeño.<br />

Se mn el mínimo número <strong>de</strong> movimientos necesarios para completar la tarea.<br />

Determine m0 y m1 y justifique que mn satisface la ecuación<br />

2n<br />

mn ≤ 2mn−2 + 3.<br />

(La justificación consiste en <strong>de</strong>scribir un procedimiento (algoritmo) recursivo<br />

para el problema; la <strong>de</strong>sigualdad aparece porque no sabemos si el algoritmo<br />

sugerido es el mejor posible).<br />

26. Otra variante <strong>de</strong> las Torres <strong>de</strong> Hanoi. Consi<strong>de</strong>re la siguiente modificación<br />

<strong>de</strong>l problema <strong>de</strong> las “Torres <strong>de</strong> Hanoi”: A<strong>de</strong>más <strong>de</strong> la regla usual<br />

<strong>de</strong> nunca colocar un disco sobre uno más pequeño, se tiene que un disco<br />

sólo se pue<strong>de</strong> mover <strong>de</strong> un poste a otro adyacente (asumiento los postes A,<br />

B y C están en or<strong>de</strong>n). Por ejemplo, mover un disco <strong>de</strong> A a B y <strong>de</strong> B a<br />

C es permitido, pero moverlo <strong>de</strong> A a C no lo es. Para n ≥ 1, sea an el<br />

5<br />

n<br />

2n<br />

n<br />

n<br />

n


número mínimo <strong>de</strong> movidas necesarias para transferir una torre <strong>de</strong> n discos<br />

<strong>de</strong> el poste A al poste C. Determine un (in)ecuación <strong>de</strong> recurrencia para an<br />

como en el problema anterior.<br />

27. Asociaciones. Recuer<strong>de</strong> que la suma<br />

a1 + a2 + a3 + · · · + an<br />

se pue<strong>de</strong> precisar con la recurrencia s1 = a1 y sn = sn−1 + an para n ≥ 2.<br />

En particular, esto introduce un or<strong>de</strong>n particular <strong>de</strong> realizar las sumas:<br />

(((((a1 + a2) + a3) + a4) + · · ·) + an−1) + an<br />

Para referencia llamamos esta la asociación canónica <strong>de</strong> a1, a2, . . . , an. La<br />

propiedad asociativa garantiza que para tres números a1, a2, a3, las dos formas<br />

<strong>de</strong> asociar dan el mismo resultado:<br />

a1 + (a2 + a3) = (a1 + a2) + a3.<br />

En el caso <strong>de</strong> 4 números se tienen las siguientes posibles asociaciones:<br />

a1 + (a2 + (a3 + a4))<br />

a1 + ((a2 + a3) + a4)<br />

(a1 + (a2 + a3)) + a4<br />

((a1 + a2) + a3) + a4<br />

(a1 + a2) + (a3 + a4).<br />

Note que en esta secuencia cada una es igual a la anterior por la propiedad<br />

asociativa para tres términos; por lo tanto todas las asociaciones llevan<br />

al mismo resultado. Más general, cualquier asociación para la suma <strong>de</strong><br />

cualquier n números a1, a2, . . . , an, en ese or<strong>de</strong>n, lleva al mismo resultado<br />

que la asociación canónica. Concretamente, pruebe usando inducción fuerte<br />

que<br />

Para todo n y cualquier n números a1, a2, . . . , an, el resultado <strong>de</strong><br />

sumarlos con una asociación arbitraria (en el or<strong>de</strong>n listado) es<br />

igual al resultado <strong>de</strong> sumarlos con la asociación canónica.<br />

28. En este y el siguiente ejercicio, [1, n] <strong>de</strong>nota {1, 2, 3, . . . , n}. Use inducción<br />

para probar lo siguiente: Sea n ∈ N y f : [1, n] → N, entonces existe<br />

k ∈ [1, n] tal que<br />

f(k) ≥ f(i) para todo i ∈ [1, n].<br />

29. Use inducción para probar lo siguiente: Para k, m ∈ N y f : [1, m] → [1, k],<br />

entonces si f es una biyección, entonces m = k.<br />

6

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!