Taller 4 - Universidad Nacional de Colombia
Taller 4 - Universidad Nacional de Colombia
Taller 4 - Universidad Nacional de Colombia
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