Ejercicios - Inducción matemática

Prof. Edwin Flórez G.

Utilice Inducción matemática para demostrar que la fórmula dada se cumple

para toda n ∈ Nk , los naturales iniciando desde cierto k. Determine el valor
de k.

1. Los de empezar
1. 1 + 3 + 5 + 7 + · · · + (2n − 1) = n2 .

2. 2 + 4 + 6 + 8 + · · · + 2n = n(n + 1).
n(3n + 1)
3. 2 + 3 + 5 + 8 + · · · + (3n − 1) = .
2
µ ¶n
1 1
4. < .
2 n
n[2a+(n−1)d]
5. a + (a + d) + (a + 2d) + · · · + (a + (n − 1)d) = 2
.

6. 2n < n! donde n! = 1 · 2 · 3 · · · (n − 1)n.

n(n + 1)(n + 2)
7. 1 · 2 + 2 · 3 + 3 · 4 + · · · + n(n − 1) = .
3
n(2n − 1)(2n + 1)
8. 12 + 32 + 52 + · · · + (2n − 1)2 = .
3
n(n + 1)(2n + 1)
9. 12 + 22 + 32 + · · · + n2 = .
6
· ¸2
3 3 3 3 n(n + 1)
10. 1 + 2 + 3 + · · · + n = .
2

1
 n(n + 1)(6n3 + 9n2 + n − 1)
11. 14 + 24 + 34 + · · · + n4 = .
30
12. 1 + 2 + 4 + 8 + · · · + 2n = 2n+1 − 1.
3n+1 − 1
13. 1 + 3 + 9 + 27 + · · · + 3n = .
2
1 1 1 1
14. 1 + + + ··· + n = 2 − n.
2 4 2 2
µ ¶ · µ ¶¸
1 1 1 3 1
15. 1 − + − · · · + − n = 1 − − n+1 .
3 9 3 4 3
1 1 1 1 3 1 1
16. + 2 + 2 +· · ·+ = − − .
22 −1 3 −1 4 −1 2
(n + 1) − 1 4 2(n + 1) 2(n + 1)
17. n2 + n es par.
18. n3 − n es divisible entre 6.
19. n(n2 + 5) es divisible entre 6.

2. Los intermedios
n2 − n
1. n < + 2.
12
2. n3 + (n + 1)3 + (n + 2)3 es divisible entre 9.
3. x + y es un factor de xn + y n .
4. 3n + 25 < 3n .
5. | sen nx| ≤ n| sen x| para todo x.
6. x − y es un factor de xn − y n .
7. Demuestre que si 2k − 1 es un entero par para algún entero k, entonces
2(k + 1) − 1 = 2k + 2 − 1 = 2k + 1 es también un entero par. ¿Puede
obtener una conclusión a partir de la demostración?
8. La suma de las medidas de los ángulos interiores de un polı́gono convexo
de n lados (sin hoyos ni aboyaduras) es (n − 2)π.

2
 n(n−3)
9. El número de diagonales de un polı́gono convexo de n lados es 3
.
1 1 1 1 3
10. + + + ··· + > .
n+1 n+2 n+3 2n 5
µ ¶µ ¶µ ¶ µ ¶
1 1 1 1 n+1
11. 1 − 1− 1− ··· 1 − 2 = .
4 9 9 n 2n
12. Sea f0 = 0, f1 = 1 y fn+2 = fn+1 + fn para n ≥ 0 (la sucesión de
Fibonacci). Entonces
"à √ !n à √ !n #
1 1+ 5 1− 5
fn = √ − .
5 2 2

13. Sea a0 = 0, a1 = 1 y an+2 = (an+1 + an )/2 para n ≥ 0. Entonces

· µ ¶n ¸
2 1
an = 1− −
3 2

3. Los interesantes
1. Demuestre que existen exactamente 2n subconjuntos de un conjunto
que contiene n elementos.
√
2. Demuestre que n 2 es un número irracional para n ≥ 3.
√
3. Demuestre que n se le puede asignar un segmento construido con
regla y compás.

4. ¿Cuáles el error en la siguiente demostración?

Teorema: Todos los caballos tienen el mismo color.
Demostración: Sea Pn la proposición ”Todos los caballos de un con-
junto de n caballos son del mismo color”.

a) P1 es claramente verdadera.
b) Supongamos que Pk es verdadera. Veamos que Pk+1 también es
verdadera. Sean c1 , c2 , c3 , ..., ck+1 los k + 1 caballos en un con-
junto de k + 1 caballos. Consideremos el conjunto de k caballos
{c1 , c2 , c3 , ..., ck }.

3
 Por hipótesis de inducción todos estos caballos son del mismo
color. En el conjunto anterior reemplacemos ck por ck+1 . Luego
el conjunto resultante {c1 , c2 , c3 , ..., ck−1 , ck+1 } de k caballos, por
hipótesis de inducción, todos son del mismo color; como c1 y ck
al igual que ck+1 y c1 son de igual color, todos los k + 1 caballos
son del mismo color. Luego Pk+1 es verdadera y por el principio
de inducción se sigue que todos los caballos son del mismo color.

5. Demostrar que n rectas en el plano, tales que dos cualesquiera de ellas

no son paralelas y tres cualesquiera de ellas no tienen un punto en
común, determinan un mapa coloreable con dos colores.

6. Probar que n rectas en el plano, tales que dos cualesquiera de ellas no

son paralelas y tres cualesquiera de ellas no tienen un punto en común,
determinan (n2 + n + 2)/2 regiones diferentes en el plano.