UNIVERSIDAD ESTATAL A DISTANCIA VICERRECTORÍA

ACADÉMICA ESCUELA DE CIENCIAS EXACTAS Y NATURALES

CÁTEDRA DE MATEMÁTICAS PARA LA ADMINISTRACIÓN Y
COMPUTACIÓN

Asignatura: Matemática para Computación I

Código: 03068

Material complementario Capı́tulo 1

Conjuntos, elementos y subconjuntos

1. Sea N = {1, 2, 3, 4, 5, 6, ...} el conjunto de los números naturales, escriba los siguientes conjuntos
por extensión (enumerando todos sus elementos).

(a) A= {x/x ∈ N, 2 < x 6 8}

(b) B= {x/x ∈ N, x impar, x < 15}
(c) C= {x/x ∈ N, x + 2 6 8}

Solución:

(a) A= {x/x ∈ N, 2 < x 6 8}: corresponde a todos los números naturales entre 2 y 8, sin incluir
el 2 e incluyendo el 8, por lo que

A = {x/x ∈ N, 2 < x 6 8} = {3, 4, 5, 6, 7, 8}

(b) B= {x/x ∈ N, x impar, x < 15}: corresponde a todos los números naturales, impares y
menores que 15, por lo que

B = {x/x ∈ N, x impar, x < 15} = {1, 3, 5, 7, 9, 11, 13}

(c) C= {x/x ∈ N, x + 2 6 8}: corresponde a todos los números naturales para los cuales la suma
de él más dos da por resultado un número menor o igual que 8, por lo que

C = {x/x ∈ N, x + 2 6 8} = {1, 2, 3, 4, 5, 6}

1
2. Siendo R el conjunto de los números reales, Z el conjunto de los números enteros y N el conjunto
de los números naturales. Escriba los siguientes conjuntos por extensión (enumerando todos sus
elementos).

(a) A= {x/x ∈ R, x2 − 5x + 6 = 0}
(b) B= {x/x ∈ N, x primo, x < 10}
(c) M= {x/x ∈ Z, x2 < 20}

Solución:

(a) A= {x/x ∈ R, x2 − 5x + 6 = 0}: corresponde a los números reales que satisfacen la igualdad
x2 − 5x + 6 = 0 , la cual corresponde a una ecuación cuadrática con soluciones x = 2 y x = 3,
por lo que
A = {x/x ∈ R, x2 − 5x + 6 = 0} = {2, 3}

(b) B= {x/x ∈ N, x primo, x < 10}: corresponde a todos los números naturales, que sean primos
y menores que 10. Recuerde que un número es primo si sus únicos divisores son el 1 y él
mismo, por lo que
B = {x/x ∈ N, x primo, x < 10} = {2, 3, 5, 7}

(c) M= {x/x ∈ Z, x2 < 20}: corresponde a todos los números enteros, para los cuales su
cuadrado es menor que 20, por lo que

M = {x/x ∈ Z, x2 < 20} = {−4, −3, −2, −1, 0, 1, 2, 3, 4}

Note que: 02 = 0 < 20, (−1)2 = 12 = 1 < 20, (−2)2 = 22 = 4 < 20....

2
3. Siendo R el conjunto de los números reales y N el conjunto de los números naturales. Pruebe que
los siguientes conjuntos (A y B) son iguales.

A = {x/x ∈ R, x2 − 4x + 3 = 0} y B = {x/x ∈ N, x impar, x < 5}

Solución:

Considere que A = {x/x ∈ R, x2 − 4x + 3 = 0} corresponde al conjunto de los números reales

que satisfacen la expresión x2 − 4x + 3 = 0, la cual corresponde a una ecuación cuadrática con
soluciones x = 1 y x = 3 por lo que

A = {x/x ∈ R, x2 − 4x + 3 = 0} = {1, 3}

Además B = {x/x ∈ N, x impar, x < 5} corresponde al conjunto de los números naturales, que
sean impares y menores a 5, por lo que

B = {x/x ∈ N, x impar, x < 5} = {1, 3}

Por lo que A = B = {1, 3}

3
4. Considere los conjuntos M = {1, 2, 3, 4}, R = {1, 3, 5}, Q = {6, 7, 8} y P = {x/x ∈ N, x ≤ 8}
Determine si las siguientes expresiones son falsas o verdaderas

(a) M ⊆ P
(b) R ⊆ P
(c) 2 ∈ P
(d) 4 ∈
/R
(e) P ⊆ R
(f) Q ⊆ P
(g) Los conjuntos R y P son disjuntos
(h) Los conjuntos Q y R son disjuntos

Solución: Primero observe que

M = {1, 2, 3, 4}
R = {1, 3, 5}
Q = {6, 7, 8}
P = {x/x ∈ N = {1, 2, 3, 4, 5, 6, 7, 8}

Por lo que se tiene que

(a) M ⊆ P es verdadero, puesto que para todo elemento x ∈ M se tiene que x ∈ P .

(b) R ⊆ P es verdadero, puesto que para todo elemento x ∈ R se tiene que x ∈ P .

(c) 2 ∈ P es verdadero 2 es un elemento de P .

(d) 4 ∈
/ R es verdadero 4 no es un elemento de R.

(e) P ⊆ R es falso , puesto que existen elementos en P que no pertenecen a R, por ejemplo
6∈P y6∈ / R.

(f) Q ⊆ P es verdadero, puesto que para todo elemento x ∈ Q se tiene que x ∈ P .

(g) Los conjuntos R y P son disjuntos, es falso dado que R y P tienen elementos en común, por
ejemplo el 1.

(h) Los conjuntos Q y R son disjuntos, es verdadero dado que Q y R no tienen elementos en
común.

4
5. Considere los conjuntos A = {2, 3, 4, 6}, B = {x/x ∈ N, x < 7} y C = {x/x ∈ N, x par, x < 10}
Determine si las siguientes expresiones son falsas o verdaderas

(a) A ⊆ B
(b) A ⊆ C
(c) C ⊆ B
(d) B ⊆ A
(e) A es un subconjunto propio de B
(f) Los conjuntos A y C son disjuntos

Solución: Primero observe que

A = {2, 3, 4, 6}
B = {x/x ∈ N, x < 7} = {1, 2, 3, 4, 5, 6}
C = {x/x ∈ N, x par, x < 10} = {2, 4, 6, 8}

Por lo que se tiene que

(a) A ⊆ B es verdadero, puesto que para todo elemento x ∈ A se tiene que x ∈ B.

(b) A ⊆ C es falso , puesto que 3 ∈ A y 3 ∈

/ C.

(c) C ⊆ B es falso , puesto que 8 ∈ C y 8 ∈

/ B.

(d) B ⊆ A es falso , puesto que existen elementos en B que no pertenecen a A, por ejemplo
1∈B y1∈ / A.

(e) A es un subconjunto propio de B es verdadero, puesto que para todo elemento x ∈ A se

tiene que x ∈ B, además A 6= B, por lo que se puede escribir A ⊂ B.

(f) Los conjuntos A y C son disjuntos: es falso dado que A y B tienen elementos en común, por
ejemplo el 2.

5
 Operaciones y álgebra con conjuntos

Observe el siguiente cuadro, el cual se presenta a manera de resumen de las operaciones básicas con
conjuntos

Ejercicios:

1. Sea A = {2, 4, 6}, B= {2, 3, 4} y el conjunto universo U= {1, 2, 3, 4, 5, 6} tal que A ⊆ U y B ⊆ U

determine el conjunto resultante de las siguientes expresiones

(a) A\B =
(b) A ∩ B =
(c) A ∪ B =
(d) B C =
(e) B ⊕ A =
(f) (A ∩ B)c =
(g) A ∪ (B ∩ A) =
(h) (A ∩ B) ⊕ AC =
(i) (A ∪ B)C ∪ (B C ⊕ A) =
(j) [(A\B) ∩ A]C =

6
Solución:

(a) A\B corresponde al conjunto de los elementos que pertenecen a A pero no pertenecen B, por
lo que
A\B = {2, 4, 6}\{2, 3, 4} = {6}

(b) A ∩ B corresponde al conjunto de los elementos que pertenecen a A y a B simultáneamente,

por lo que
A ∩ B = {2, 4, 6} ∩ {2, 3, 4} = {2, 4}

(c) A ∪ B corresponde al conjunto de los elementos que pertenecen a A o a B, por lo que

A ∪ B = {2, 4, 6} ∪ {2, 3, 4} = {2, 3, 4, 6}

(d) B C corresponde al conjunto de los elementos que pertenecen a U pero que no pertenecen a
B, por lo que
B C = {1, 5, 6}

(e) B ⊕ A corresponde al conjunto de los elementos que pertenecen a A o a B, pero no a ambos,

por lo que
B ⊕ A = {2, 3, 4} ⊕ {2, 4, 6} = {3, 6}

(f) (A ∩ B)c primero se determina la intersección de A con B para luego buscar el complemento

A ∩ B = {2, 4}
(A ∩ B)c = {1, 3, 5, 6}

(g) A ∪ (B ∩ A) primero se determina B ∩ A para después unirlo con A, por lo que

B ∩ A = {2, 3, 4} ∩ {2, 4, 6}
= {2, 4}
A ∪ (B ∩ A) = {2, 4, 6} ∪ {2, 4}
= {2, 4, 6} = A

7
(h) (A ∩ B) ⊕ AC siguiendo el orden de resolución de operaciones combinadas se tiene

A ∩ B = {2, 4}

AC = {1, 3, 5}

(A ∩ B) ⊕ AC = {2, 4} ⊕ {1, 3, 5}
= {1, 2, 3, 4, 5}

(i) (A ∪ B)C ∪ (B C ⊕ A)siguiendo el orden de resolución de operaciones combinadas se tiene

A ∪ B = {2, 3, 4, 6}

(A ∪ B)C = {1, 5}

B C = {1, 5, 6}

B C ⊕ A = {1, 5, 6} ⊕ {2, 4, 6}
= {1, 2, 4, 5}

(A ∪ B)C ∪ (B C ⊕ A) = {1, 5} ∪ {1, 2, 4, 5}

= {1, 2, 4, 5}

(j) [(A\B) ∩ A]C siguiendo el orden de resolución de operaciones combinadas se tiene

A\B = {2, 4, 6}\{2, 3, 4}

= {6}
(A\B) ∩ A = {6} ∩ {2, 4, 6}
= {6}

[(A\B) ∩ A]C = {1, 2, 3, 4, 5}

8
2. Si A = {a, b, g}, B= {b, d, e, g} y C= {a, b, d, f, g} con U= {a, b, c, d, e, f, g} como el conjunto
universo, determine el conjunto resultante de las siguientes expresiones

(a) A ∩ C =
(b) B ∪ C =
(c) A\C =
(d) AC =
(e) A ⊕ C =
(f) (A ∪ B)C =
(g) A ∪ (B ∩ C) =
(h) (A ∩ C) ⊕ B C =
(i) [C\(A ∪ B)C ] ∪ A =

Solución:

(a) A ∩ C corresponde al conjunto con los elementos que pertenecen a A y a C simultáneamente,

por lo que
A ∩ C = {a, b, g} ∩ {a, b, d, f, g} = {a, b, g} = A
ya que A ⊂ C.

(b) B ∪ C corresponde al conjunto con los elementos que pertenecen a B o a C, por lo que
B ∪ C = {b, d, e, g} ∪ {a, b, d, f, g} = {a, b, d, e, f, g}

(c) A\C corresponde al conjunto con los elementos que pertenecen a A pero no pertenecen a C,
por lo que
A\C = {a, b, g}\{a, b, d, f, g} = {} = ∅
ya que todo elemento de A pertenece a C

(d) AC corresponde al conjunto con los elementos que pertenecen a U pero que no pertenecen a
A, por lo que
AC = {c, d, e, f }

(e) A ⊕ C corresponde al conjunto con los elementos de A o de C, pero no de ambos, por lo que
A ⊕ C = {a, b, g} ⊕ {a, b, d, f, g} = {d, f }

9
(f) (A ∪ B)C primero se determina la unión de A con B para luego buscar el complemento

A ∪ B = {a, b, g} ∪ {b, d, e, g}
= {a, b, d, e, g}
(A ∩ B)c = {c, f }

(g) A ∪ (B ∩ C) primero se determina B ∩ C para después unirlo con A, por lo que

B ∩ C = {b, d, e, g} ∩ {a, b, d, f, g}
= {b, d, g}
A ∪ (B ∩ C) = {a, b, g} ∪ {b, d, g}
= {a, b, d, g}

(h) (A ∩ C) ⊕ B C siguiendo el orden de resolución de operaciones combinadas se tiene

A ∩ C = {a, b, g} ∩ {a, b, d, f, g}
= {a, b, g}

B C = {a, c, f }

(A ∩ C) ⊕ B C = {a, b, g} ⊕ {a, c, f }
= {b, c, f, g}

(i) [C\(A ∪ B)C ] ∪ A siguiendo el orden de resolución de operaciones combinadas se tiene

A ∪ B = {a, b, g} ∪ {b, d, e, g}
= {a, b, d, e, g}

(A ∪ B)C = {c, f }

[C\(A ∪ B)C ] = {a, b, d, f, g}\{c, f }

= {a, b, d, g}

[C\(A ∪ B)C ] ∪ A = {a, b, d, g} ∪ {a, b, g}

= {a, b, d, g}

10
3. Sean los conjuntos A = {1, 2}, B= {2, 4} y C= {3, 4, 5}. Pruebe la validez de la siguiente expresión.

A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C)

Solución: Resolviendo cada expresión por separado y siguiendo el orden de resolución de operaciones
combinadas se tiene

(B ∩ C) = {4}
A ∪ (B ∩ C) = {1, 2} ∪ {4}
= {1, 2, 4}

Por su parte

A ∪ B = {1, 2, 4}
A ∪ C = {1, 2, 3, 4, 5}
(A ∪ B) ∩ (A ∪ C) = {1, 2, 4}

Por lo que para los conjuntos dados se cumple que

A ∪ (B ∩ C) = {1, 2, 4} = (A ∪ B) ∩ (A ∪ C)

4. Si A = {a, b, g}, B= {b, d, e, g} y C= {a, b, d, f, g} con U= {a, b, c, d, e, f, g} como el conjunto

universo. Pruebe la validez de cada una de las siguientes expresiones

(a) A ∩ AC = ∅
(b) A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C)

Solución:

(a) A ∩ AC = ∅

AC = {c, d, e, f }

A ∩ AC = {a, b, g} ∩ {c, d, e, f }
=∅

Por lo que para los conjuntos dados se cumple que A ∩ AC = ∅

11
 (b) A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C), resolviendo cada expresión se obtiene
B ∪ C = {a, b, d, e, f, g}
A ∩ (B ∪ C) = {a, b, g} ∩ {a, b, d, e, f, g}
= {a, b, g}

Por su parte
A ∩ B = {b, g}
A ∩ C = {a, b, g}
(A ∩ B) ∪ (A ∩ C) = {b, g} ∪ {a, b, g}
= {a, b, g}

Por lo que para los conjuntos dados se cumple que

A ∩ (B ∪ C) = {a, b, g} = (A ∩ B) ∪ (A ∩ C)

5. Sean los conjuntos A = {a, b, c, d}, B= {d, e, f, g} y C= {d, g, h}. Pruebe la validez de la ley
asociativa de la diferencia simétrica, es decir pruebe que

(A ⊕ B) ⊕ C = A ⊕ (B ⊕ C)
Solución: Resolviendo cada expresión por separado y siguiendo el orden de resolución de operaciones
combinadas se tiene
A ⊕ B = {a, b, c, e, f, g}
(A ⊕ B) ⊕ C = {a, b, c, e, f, g} ⊕ {d, g, h}
= {a, b, c, d, e, f, h}

Por su parte
B ⊕ C = {e, f, h}
A ⊕ (B ⊕ C) = {a, b, c, d} ⊕ {e, f, h}
= {a, b, c, d, e, f, h}

Por lo que para los conjuntos dados se cumple que

(A ⊕ B) ⊕ C = {a, b, c, d, e, f, h} = A ⊕ (B ⊕ C)

12
6. Escriba el dual de cada una de las siguientes expresiones

(a) (U ∩ A) ∪ (B ∩ A) = A
(b) A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C)

Solución: Recuerde que el dual de una expresión de álgebra de conjuntos, se obtiene de susti-
tuir cada aparición de ∩, ∪, U y ∅ en la expresión original por ∪, ∩, ∅ y Uen la nueva expresión
respectivamente, por lo que el dual de cada una de las siguientes expresiones corresponde a:

(a) (U ∩ A) ∪ (B ∩ A) = A
(∅ ∪ A) ∩ (B ∪ A) = A

(b) A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C)

A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C)

13
 Clases de conjuntos, conjuntos potencia y particiones

1. Sea A= {2, 4, 6, 8} determine:

(a) El valor de n(A)

(b) El número de elementos en el conjunto potencia de A
(c) El conjunto potencia de A
(d) La clase de A cuyos subconjuntos contienen exactamente al elemento ”2” y otro elemento de A

Solución:

(a) El valor de n(A): corresponde a la cantidad de elementos en el conjunto A, por lo que

n(A) = 4

(b) El número de elementos en el conjunto potencia de A: para determinar el número de elementos

en el conjunto potencia de un conjunto dado se hace 2n donde n corresponde al número de
elementos del conjunto. Por lo que el número de elementos en el conjunto potencia de A está
dado por
24 = 16

(c) El conjunto potencia de A: corresponde al conjunto que contiene todos los posibles subcon-
juntos de A, por lo que P (A) =

[∅, {2}, {4}, {6}, {8}, {2, 4}, {2, 6}, {2, 8}, {4, 6}{4, 8}, {6, 8}, {2, 4, 6}, {2, 4, 8}, {2, 4, 8}, {4, 6, 8}, A]

(d) La clase de A cuyos subconjuntos contienen exactamente al elemento ”2” y otro elemento
de A: Una clase de un conjunto, corresponde al conjunto que contiene todos los posibles
subconjuntos que cumplen con una caracterı́stica dada. Por lo que la clase de A que contienen
exactamente al elemento ”2” y otro elemento de A, corresponde a:

[{2, 4}, {2, 6}, {2, 8}]

14
2. Dado el conjunto S = {a, b, c}, determine:

(a) El número de elementos del conjunto potencias de S

(b) Escriba el conjunto potencia de S
(c) Escriba una partición de S

Solución:

(a) El número de elementos del conjunto potencias de S: El conjunto potencia de S es el conjunto

que contiene todos los subconjuntos posibles de S. Podemos ver cuantos elementos tiene ese
conjunto haciendo
23 = 8

(b) Escriba el conjunto potencias de S: corresponde al conjunto

P (S) = [∅, {a}, {b}, {c}, {a, b}, {a, c}, {b, c}, S]

(c) Escriba una partición de S: corresponde a un conjunto que contenga subconjuntos disjuntos
entre si y que incluya todos los elementos de S, por ejemplo

C(S) = [{a}, {b, c}]

3. Dado A = [{a, d}, {f }, {b, c, e}] realice lo siguiente:

(a) Enumere los elementos de A

(b) Determine el valor de n(A)
(c) Determine el conjunto potencia de A

Solución:

(a) Enumere los elementos de A: el conjunto A contiene exactamente tres elementos los cuales
son: {a,d},{f} y {b,c,e}.

(b) Determine el valor de n(A): corresponde a la cantidad de elementos de A, por lo que

n(A) = 3

15
 (c) Determine el conjunto potencia de A: corresponde al conjunto que contiene todos los posibles
subconjuntos de A, considere que ese conjunto debe tener exactamente 23 = 8 elementos, por
lo que

P (A) = [∅, [{a, d}], [{f }], [{b, c, e}], [{a, d}, {f }], [{a, d}, {b, c, e}], [{f }, {b, c, e}], A]

4. Dado el conjunto V = {a, b, c, d, e}, analice las siguientes expresiones e indique si son o no una
partición del conjunto V

(a) [{a, b, c}, {a, c, d}, {d, e}]

(b) [{a}, {b, c}, {d, e}]
(c) [{a, b}, {d, e}]
(d) [{a, b, e}, {c, d, a}

Solución: Recuerde que una partición ”es una subdivisión del conjunto original en subconjuntos no
vacı́os que no se traslapen”, analicemos las opciones:

(a) [{a, b, c}, {a, c, d}, {d, e}] no es una partición porque el primero y segundo subconjunto con-
tienen el elemento c, por lo que no son disjuntos

(b) [{a}, {b, c}, {d, e}] es una partición, porque contiene subconjuntos disjuntos entre si e incluye
todos los elementos de V.

(c) [{a, b}, {d, e}] no es una partición porque no se incluye en los subconjuntos el elemento c.

(d) [{a, b, e}, {c, d, a} no es una partición porque ambos subconjuntos tienen en común el ele-
mento a, por lo que no son disjuntos.

16
5. Determine si cada una de las siguientes expresiones, es o no una partición del conjunto de los
números naturales N = {1, 2, 3, 4, 5, 6, ...}

(a) [{n/n ∈ N, n < 4}, {n/n ∈ N, n > 4}]

(b) [{n/n ∈ N, n ≤ 3}, {n/n ∈ N, n > 3}]
(c) [{n/n ∈ N, n > 7}, {2, 3, 5}, {1, 4, 6}]

Solución: Recuerde que una partición ”es una subdivisión del conjunto original en subconjuntos no
vacios que no se traslapen”, analicemos las opciones:

(a) [{n/n ∈ N, n < 4}, {n/n ∈ N, n > 4}] no es una partición, observe, {n/n ∈ N, n < 4} =
{1, 2, 3} y {n/n ∈ N, n > 4} = {5, 6, 7, 8...} por lo que en ninguno de los dos se encuentra el 4

(b) [{n/n ∈ N, n ≤ 3}, {n/n ∈ N, n > 3}] es una partición, porque contiene subconjuntos dis-
juntos entre si e incluye todos los elementos de N.

(c) [{n/n ∈ N, n > 7}, {2, 3, 5}, {1, 4, 6}] es una partición, porque contiene subconjuntos disjun-
tos entre si e incluye todos los elementos de N.

17
 Inducción matemática

1. Demuestre por inducción matemática que ∀n ∈ N la siguiente igualdad se cumple.

2 + 4 + 6 + · · · + 2n = n(n + 1)

Solución:

(a) Primero debemos comprobar que la proposición es cierta para n = 1:

1(1 + 1) = 2

Lo que es igual a la posición 1, por lo que la propiedad es valida para n = 1.

(b) Ahora supongamos que para n la expresión es verdadera,es decir se asume como hipotesis de
inducción que 2 + 4 + 6 + · · · + 2n = n(n + 1) es verdadera, hay que demostrar que se cumple
para (n + 1) es decir

2 + 4 + 6 + · · · + 2n + 2(n + 1) = (n + 1)(n + 2)

Lo cual se prueba de la siguiente manera:

Si 2 + 4 + 6 + · · · + 2n = n(n + 1), sumando 2(n + 1) a ambos lados (que es el término que
sigue) y sacando factor común se obtiene

2 + 4 + 6 + · · · + 2n + 2(n + 1) = n(n + 1) + 2(n + 1)

= (n + 1)(n + 2)

Por lo que la proposición es valida para (n + 1) y se prueba mediante inducción matemática

que 2 + 4 + 6 + · · · + 2n = n(n + 1), para todo n ∈ N.

18
2. Demuestre por inducción matemática que ∀n ∈ N la siguiente igualdad se cumple.

n(3n − 1)
1 + 4 + 7 + · · · + (3n − 2) =
2

Solución:

(a) Primero debemos comprobar que la proposición es cierta para n = 1:

1(3 · 1 − 1)
=1
2
Lo que es igual a la posición 1, por lo que la propiedad es valida para n = 1.

(b) Ahora supongamos que para n la expresión es verdadera,es decir se asume como hipotesis de
n(3n − 1)
inducción que 1 + 4 + 7 + · · · + (3n − 2) = es verdadera, hay que demostrar que
2
se cumple para (n + 1) es decir

(n + 1)(3(n + 1) − 1) (n + 1)(3n + 2)
1 + 4 + 7 + · · · + (3n − 2) + (3(n + 1) − 2) = =
2 2

Lo cual se prueba de la siguiente manera:

n(3n − 1)
Si1 + 4 + 7 + · · · + (3n − 2) = , sumando 3(n + 1) − 2 a ambos lados (que
2
es el término que sigue),realizando las operaciones y factorizando por inspección se obtiene:

n(3n − 1)
1 + 4 + 7 + · · · + (3n − 2) + (3(n + 1) − 2) = + (3(n + 1) − 2)
2
n(3n − 1) + 6(n + 1) − 4
=
2
3n2 − n + 6n + 6 − 4
=
2
3n2 + 5n + 2
=
2
(n + 1)(3n + 2)
=
2
Por lo que la proposición es valida para (n + 1) y se prueba mediante inducción matemática
n(3n − 1)
que 1 + 4 + 7 + · · · + (3n − 2) = , para todo n ∈ N.
2

19
3. Demuestre por inducción matemática que ∀n ∈ N la siguiente igualdad se cumple.

n(n + 1)
1 + 2 + 3 + ··· + n =
2

Solución:

(a) Primero debemos comprobar que la proposición es valida para n = 1:

1(1 + 1)
=1
2
lo que es igual a la posicion 1, por lo que la propiedad es cierta para n = 1.

(b) Ahora supongamos que para n la expresión es valida, ,es decir se asume como hipótesis de
n(n + 1)
inducción que 1 + 2 + 3 + · · · + n = es verdadera, hay que demostrar que se cumple
2
para (n + 1) es decir

(n + 1)((n + 1) + 1) (n + 1)(n + 2)
1 + 2 + 3 + ... + n + (n + 1) = =
2 2

Lo cual se prueba de la siguiente manera:

n(n + 1)
Si 1 + 2 + 3 + ... + n = , sumando (n + 1) a ambos lados (que es el término
2
que sigue),realizando las operaciones y factorizando por factor común se obtiene:

n(n + 1)
1 + 2 + 3 + ... + n + (n + 1) = + (n + 1)
2
n(n + 1) + 2(n + 1)
=
2
(n + 1)(n + 2)
=
2
n(n + 1)
Por lo que la proposición es cierta para (n + 1) y se prueba que 1 + 2 + 3 + ... + n =
2

20
4. Demuestre por inducción matemática que ∀n ∈ N la siguiente igualdad se cumple.

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

Solución:

(a) Primero debemos comprobar que la proposición es cierta para n = 1:

1(1 + 1)(2 · 1 + 1)
= 1 = 12
6
Lo que es igual a la posición 1, por lo que la propiedad es valida para n = 1.

(b) Ahora supongamos que para n la expresión es verdadera,es decir se asume como hipótesis de
n(n + 1)(2n + 1)
inducción que 12 + 22 + 32 + · · · + n2 = es verdadera, hay que demostrar
6
que se cumple para (n + 1) es decir

(n + 1)((n + 1) + 1)(2(n + 1) + 1) (n + 1)(n + 2)(2n + 3)

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

Lo cual se prueba de la siguiente manera:

n(n + 1)(2n + 1)
Si12 + 22 + 32 + · · · + n2 = , sumando (n + 1)2 a ambos lados (que es
6
el término que sigue), realizando las operaciones, factorizando por factor común y luego por
inspección se obtiene:

n(n + 1)(2n + 1)
12 + 22 + 32 + · · · + n2 + (n + 1)2 = + (n + 1)2
6
n(n + 1)(2n + 1) + 6(n + 1)2
=
6
(n + 1)[n(2n + 1) + 6(n + 1)]
=
6
(n + 1)[2n2 + n + 6n + 6]
=
6
(n + 1)[2n2 + 7n + 6]
=
6
(n + 1)(n + 2)(2n + 3)
=
6
Por lo que la proposición es valida para (n + 1) y se prueba mediante inducción matemática
n(n + 1)(2n + 1)
que 12 + 22 + 32 + · · · + n2 = , para todo n ∈ N.
6

21
5. Demuestre por inducción matemática que ∀n ∈ N la suma de todos los números impares menores
que 2n es igual a n2 , es decir

1 + 3 + 5 + · · · + (2n − 1) = n2

Solución:

(a) Primero debemos comprobar que la proposición es cierta para n = 1:

12 = 1

Lo que es igual a la posición 1, por lo que la propiedad es valida para n = 1.

(b) Ahora supongamos que para n la expresión es verdadera,es decir se asume como hipótesis de
inducción que 1 + 3 + 5 + · · · + (2n − 1) = n2 es verdadera, hay que demostrar que se cumple
para (n + 1) es decir

1 + 3 + 5 + · · · + (2n − 1) + (2(n + 1) − 1) = 1 + 3 + 5 + · · · + (2n − 1) + (2n + 1)

= (n + 1)2

Lo cual se prueba de la siguiente manera:

Si1 + 3 + 5 + · · · + (2n − 1) = n2 , sumando (2n + 1) a ambos lados (que es el término

que sigue) y factorizando se obtiene:

1 + 3 + 5 + · · · + (2n − 1) + (2n + 1) = n2 + (2n + 1)

= n2 + 2n + 1
= (n + 1)2

Por lo que la proposición es valida para (n + 1) y se prueba mediante inducción matemática

que 1 + 3 + 5 + · · · + (2n − 1) = n2 , para todo n ∈ N.

22
6. Demuestre por inducción matemática que 7n − 2n es divisible por 5, ∀n ∈ N

Solución:

(a) Primero debemos comprobar que la proposición es cierta para n = 1:

5
71 − 21 = 5 y =1∈N
5
Por lo que para n = 1 la proposición es valida, ya que se probó que 71 − 21 = 5 es divisible
por 5.

(b) Ahora supongamos que para n la expresión es verdadera,es decir se asume como hipótesis de
inducción que 7n − 2n = 5 · a para a ∈ N es verdadera, hay que demostrar que se cumple para
(n + 1) es decir

7(n+1) − 2(n+1) = 5 · b, para b∈N

Lo cual se prueba de la siguiente manera:

7(n+1) − 2(n+1) = 7(n+1) + 7(2)n − 7(2)n − 2(n+1)

= 7(7n − 2n ) + 2n (7 − 2)
= 7 · (5a) + 2n · (5)
= 7 · 5a + 2n · 5
= 5(7a + 2n )

Por lo que tomando b = 7a + 2n se demuestra lo que se querı́a, y por tanto la proposición es

valida para (n + 1) y se prueba mediante inducción matemática que 7n − 2n es divisible por 5,
∀n ∈ N.

23
 Referencias Bibliográficas

Johnsonbaugh, R. (2005). Matemáticas discretas. Chicago. Pearson Educación.

Lipschutz, S. & Lars, M. (2017). Matemáticas para computación I. México D.F. McGraw-Hill Educa-
tion.

Murillo M. (2010). Introducción a la matemática discreta. Costa Rica. Editorial Tecnológica de Costa
Rica.

24