Unidad 2: Conjuntos de números

Actividad 2: Inducción matemática

Demuestra 1 y 2 utilizando inducción matemática.

1.
xn+1 − 1
1 + x + x2 + · · · + xn = , (x = 1)
x−1
Demostración:
Utilizando el principio de inducción matemática, primero se muestra la validez de la expre-
sión para el menor entero (n = 0); luego se asume que es cierta para n y se demuestra para
n + 1.

Para n = 0:

x0+1 − 1
x0 = , (x = 1)
x−1
x−1
1 = , (x = 1)
x−1
= 1

por tanto la fórmula es cierta para n = 0.

Ahora suponemos la validez para n y probamos para n + 1

Agregamos el (n + 1)-ésimo término a ambos lados de la igualdad

1
 xn+1 − 1
1 + x + x2 + · · · + xn + xn+1 = + xn+1 , (x = 1)
x−1
xn+1 − 1 + (x − 1)xn+1
=
x−1
x n+1
− 1 + xn+2 − xn+1
=
x−1
xn+1 − 1 + xn+2 − xn+1
= , factorizando xn+1
x−1
xn+1 (1 + x − 1) − 1
=
x−1
x n+1
(x) − 1
=
x−1
xn+2 − 1
=
x−1

por lo que la expresión es válida para n + 1, por lo tanto, por el principio de inducción
matemática, la fórmula es cierta para todos los naturales.*

2.
n(n + 1)
12 − 22 + 32 − 42 + · · · + (−1)n−1 n2 = (−1)n−1
2
Demostración:
Por inducción matemática, primero probamos para n = 1

1(1 + 1)
12 = (−1)1−1
2
1(2)
= (−1)0
2
= 1

por lo que la expresión se cumple para n = 1.

Ahora supongamos que la expresión es válida para n, y demostrar que se cumple para n + 1
agregamos el (n + 1)-ésimo término

n(n + 1)
12 − 22 + 32 − 42 + · · · + (−1)n−1 n2 + (−1)n (n + 1)2 = (−1)n−1 + (−1)n (n + 1)2
2

2
en la igualdad anterior se utiliza el hecho de que la expresión es cierta para n,
ahora factorizamos en el miembro derecho de la igualdad, y reacomodamos:

n(n + 1)
12 − 22 + 32 − 42 + · · · + (−1)n−1 n2 + (−1)n (n + 1)2 = (−1)n−1 + (−1)n (n + 1)2
2

−1 n
= [(−1) (n + 1)] (−1)
n
+ (n + 1)

n 2 
= [(−1)n (n + 1)] − + (n + 1)
 2 
−n + 2(n + 1)
= [(−1) (n + 1)]
n
2
 
−n + 2n + 2
= [(−1) (n + 1)]
n
2
 
n+2
= [(−1)n (n + 1)]
2
 
(n + 1) + 1
= (−1) (n + 1)
n
2

por lo que la expresión se cumple para n + 1, por lo tanto por el principio de inducción se
cumple ∀ n ∈ N.

3
Bibliografía

Albert, A. A. (1969). Álgebra superior. Grupo Noriega Editores.

Cárdenas, H. (1998). Álgebra superior. Editorial Trillas.

Spiegel, M. R. (1991). Álgebra superior. McGraw Hill.