19.05.2013 Views

Taller 4 - Universidad Nacional de Colombia

Taller 4 - Universidad Nacional de Colombia

Taller 4 - Universidad Nacional de Colombia

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

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

Matemáticas Discretas – Marzo 1, 2010<br />

1. Pruebe por inducción que<br />

n<br />

k=1<br />

<strong>Taller</strong> 4<br />

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

n(n + 1)(2n + 1). (∗)<br />

6<br />

2. Pruebe usando inducción que para todo entero n ≥ 0 se tiene que<br />

n<br />

(k + 1)2 k = n2 n+1 + 1.<br />

k=0<br />

3. Pruebe usando inducción que para todo entero n ≥ 0, se tiene que n 3 − n<br />

es divisible por 3.<br />

4. Por <strong>de</strong>finición, un número entero es par si se pue<strong>de</strong> escribir como 2k para<br />

algún entero k, y es impar si se pue<strong>de</strong> escribir como 2k+1 para algún entero<br />

k. Use inducción para probar que todo entero positivo es par ó es impar.<br />

5. Pruebe usando inducción que para todo entero par n ≥ 0, 5 n mod 6 = 1.<br />

(Recuer<strong>de</strong> que n mod d es el residuo <strong>de</strong> dividir n por d.)<br />

6. Pruebe que un tablero con una cuadrícula 2 n × 2 n pue<strong>de</strong> ser cubierto, con<br />

la excepción <strong>de</strong> un cuadrado, por triominós en forma <strong>de</strong> L (ejemplo 1.7.6 <strong>de</strong><br />

Johnsonbaugh, 6a ed.)<br />

7. Pruebe por inducción que para n entero positivo<br />

1 + 3 + 6 + 10 + · · · + 1<br />

1<br />

n(n + 1) = n(n + 1)(n + 2).<br />

2 6<br />

1


8. Una barra <strong>de</strong> chocolate viene en un arreglo rectangular con n pastillas. La<br />

barra o un pedazo ya obtenido sólo se pue<strong>de</strong> quebrar a lo largo <strong>de</strong> una <strong>de</strong><br />

las líneas verticales u horizontales que separan las pastillas. Asumiendo que<br />

sólo pue<strong>de</strong> quebrar un pedazo a la vez, pruebe que se necesitan exactamente<br />

n − 1 quiebres para separar las n pastillas in<strong>de</strong>pendientemente <strong>de</strong> como<br />

se realicen estos. (El rectángulo inicial pue<strong>de</strong> ser arbitrario p × q tal que<br />

n = pq.)<br />

9. Pruebe que las siguientes <strong>de</strong>sigualda<strong>de</strong>s son válidas para cualquier entero<br />

n ≥ 5:<br />

2n + 1 < n 2 < 2 n < n!<br />

10. Pruebe por inducción que<br />

√ 1<br />

n ≤ √1 + 1<br />

1<br />

√ + · · · + √ +<br />

2 n − 1 1<br />

√ .<br />

n<br />

2

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

Saved successfully!

Ooh no, something went wrong!