Sec. 12.5. Inducción matemática, Pág.

819:
4, 5.
Use inducción matemática para demostrar que la fórmula es verdadera para todos los
números naturales n.
4.
n (3 n−1)
1+4 +7+ …+ ( 3 n−2 ) =
2
Paso 1: verificar si cumple para n=1
1(3.1−1)
1=( 3.1−2 )=
2
1(3.−1)
1=3.−2=
2
2
1=
2
1=1
Por lo que se podemos demostrar que si aplica para 1, entonces n=1
Paso 2) asumir que se cumple para n=k
k (3 k −1)
1+4 +7+ …+ ( 3 k−2 )= En este paso solo reemplazamos n por k.
2

3) comprobación.
k (3 k −1) n(3 n−1)
+ ( 3 n−2 )= En este paso empezamos asumiendo k=n
2 2
k (3 k −1) k +1(3(k +1)−1)
+ ( 3( k +1)−2 )= Aquí reemplazamos n por k+1
2 2
k (3 k −1)+2 ( 3 k +3−2 ) (k +1)(3 k +2)
= Multiplicamos por dos y se coloca la primera
2 2
igualdad dentro de una misma división, también se resuelve las operaciones dentro del
paréntesis.
k ( 3 k−1 ) +6 k +6−4 3 k 2+2 k +3 k +2
= Se siguen resolviendo las operaciones.
2 2

3 k 2−1 k +6 k+ 2 3 k 2+5 k+ 2
= Se reducen los términos semejantes.
2 2
3 k 2 +5 k +2 3 k 2 +5 k +2
= Aquí no se pueden reducir más términos y se comprueba que son
2 2
completamente iguales.
n(3 n+7)
5. 5+8+ 11+…+ ( 3 n+2 )=
2
Paso 1: verificar si cumple para n=1
1(3.1+7)
1=( 3.1+2 ) =
2
1(3+7)
1=3+ 2=
2
5
1=
5
1=1
Por lo que se podemos demostrar que si aplica para 1, entonces n=1
Paso 2) asumir que se cumple para n=k
k (3 k +7)
5+8+ 11+…+ ( 3 k + 2 )= En este paso solo reemplazamos n por k.
2
3) comprobación.
k (3 k +7) n( 3 n+7)
+ ( 3 n+2 )= En este paso empezamos asumiendo k=n
2 2
k (3 k +7) k +1(3 ( k +1 ) +7)
+ ( 3 ( k +1 ) +2 ) = Aquí reemplazamos n por k+1
2 2
k (3 k −1)+2 ( 3 k +3+ 2 ) (k +1)(3 k +3+7)
= Multiplicamos por dos y se coloca la primera
2 2
igualdad dentro de una misma división, también se resuelve las operaciones dentro del
paréntesis.

3 k 2 +7 k +6 k + 6+4 (k + 1)(3 k + 10)

= Se siguen resolviendo las operaciones.
2 2

3 k 2 +13 k +6 k +10 3 k 2+10 k + 3 k +10

= Se reducen los términos semejantes.
2 2

3 k 2 +13 k +10 3 k 2 +13 k +10

= Aquí no se pueden reducir más términos y se comprueba que
2 2
son completamente iguales.