UNIVERSIDAD MARIANO GÁLVEZ

FACULTAD DE INGENIERÍA EN SISTEMAS DE INFORMACIÓN Y CIENCIAS DE LA

COMPUTACIÓN

EJERCICIO 1
Demostrar que

Paso 1, verificamos que cumpla para k=1

Suponemos que es válido para cualquier valor de k, por tanto, validamos para (k+1)

1 + 3 + 5 + 7 + ⋯ + (2𝑘 − 1) + (2(𝑘 + 1) − 1) = (𝑘 + 1)2

Ahora operamos (n+1)

1 + 3 + 5 + 7 + ⋯ + (2𝑘 − 1) + (2(𝑘 + 1) − 1) = 𝑘 2 + (2(𝑘 + 1) − 1)

𝑘 2 + (2𝑘 + 2 − 1) 𝑘 2 + 2𝑘 + 1 (𝑘 + 1)2

EJERCICIO 2
Demostrar que

Paso 1, verificamos que cumpla para n=1

1(1 + 1)(2 ∗ 1 + 1) 1(2)(3) 6
12 = = = =1
6 6 6
Suponemos que es válido para cualquier valor de n, por tanto, validamos para (n+1)
(𝑛 + 1)((𝑛 + 1) + 1)(2(𝑛 + 1) + 1)
12 + 22 + ⋯ + 𝑛2 + (𝑛 + 1)2 =
6
Simplificando
(𝑛 + 1)(𝑛 + 2)(2𝑛 + 3)
6
Ahora operemos (n+1)
𝑛(𝑛 + 1)(2𝑛 + 1)
12 + 22 + ⋯ + 𝑛2 + (𝑛 + 1)2 = + (𝑛 + 1)2
6
𝑛(𝑛+1)(2𝑛+1)+6(𝑛+1)2 𝑛(𝑛+1)(2𝑛+1)+6(𝑛+1)(𝑛+1)
6 6
(𝑛+1)[𝑛(2𝑛+1)+6(𝑛+1)] (𝑛+1)[2𝑛2 +𝑛+6𝑛+6] (𝑛+1)(2𝑛2 +7𝑛+6)
6 6 6
 UNIVERSIDAD MARIANO GÁLVEZ
FACULTAD DE INGENIERÍA EN SISTEMAS DE INFORMACIÓN Y CIENCIAS DE LA
COMPUTACIÓN

(𝑛+1)(2𝑛+3)(𝑛+2)
6

Ejercicio 3
Demuestre, utilizando el principio de la inducción matemática, que es divisible
por 3 para todo
Sea la hipótesis de inducción
𝑛3 − 𝑛
3
Verificamos que cumpla para n=1

13 − 1 1 − 1 0
= = 𝑉𝑎𝑙𝑖𝑑𝑜
3 3 3
Suponemos que es válido para cualquier valor de n, por tanto, validamos para (n+1)
(𝑛 + 1)3 − (𝑛 + 1)
3
𝑛3 +3𝑛2 + 3𝑛+1−𝑛−1 𝑛3 +3𝑛2 +2𝑛 𝑛3 +3𝑛2 +3𝑛−𝑛 (𝑛3 −𝑛)+(3𝑛2 +3𝑛)
3 3 3 3
(𝑛3 −𝑛)+3(𝑛2 +𝑛) (𝑛3 −𝑛) 3(𝑛2 +𝑛)
+
3 3 3
(𝑛3 −𝑛)
Por la hipótesis de inducción sabemos que es valido
3

3(𝑛2 +𝑛)
El otro operando también es válido.
3
 UNIVERSIDAD MARIANO GÁLVEZ
FACULTAD DE INGENIERÍA EN SISTEMAS DE INFORMACIÓN Y CIENCIAS DE LA
COMPUTACIÓN

EJERCICIOS PROPUESTOS