Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Excelente tarea c:
1. Lemas
A continuación se enuncian los lemas empleados en la resolución de los proble-
mas.
Lema 1 (Principio de dicotomı́a). Para cualesquiera x, y se cumple únicamente
uno de los dos x = y o x 6= y.
Lema 2 (Axioma 2 de Peano). Para todo n ∈ N existe un único s(n) ∈ N.
Lema 3 (Axioma 5 de Peano: princpio de inducción matemática). Sea M ⊆ N
un conjunto con las siguientes propiedades:
1∈M
Si x ∈ M entonces también s(x) ∈ M
Entonces M = N.
Lema 4. Para todo n ∈ N, n 6= s(n).
Lema 5. Para todo x ∈ N tal que x 6= 1 existe un único u ∈ N tal que x = s(u).
1
Lema 9 (Transitividad del orden). Sean n, m, l ∈ N tales que n < m y m < l.
Entonces n < l.
Lema 10. Sean n, m, p, q ∈ N tales que n < m y p < q. Entonces n + p < m + q
Lema 11 (Principio de tricotomı́a). Para cualesquiera x, y se cumple única-
mente uno de los tres x < y o x = y o x > y.
Demostración:
Por definición de desigualdad, m = n + k, para algún k ∈ N. Además, por
dicotomı́a, se cumple únicamente k = 1 o k 6= 1.
Caso 1 ) Si k = 1, entonces m = n + 1 = s(n), es decir, s(n) = m, verficándose
s(n) ≤ m.
Caso 2 ) Si k 6= 1, entonces, por el Lema 5, se tiene que k = s(u) para algún
u ∈ N, es decir, k = u+1. Ası́, m = n+(u+1) = n+(1+u) = (n+1)+u = s(n)+u
que, por definicón de desigualdad, significa que m > s(n), es decir, s(n) < m,
verificándose s(n) ≤ m.
Se concluye que si n < m entonces s(n) ≤ m.
n + (q + 1) < s(n)
n + (1 + q) < s(n)
(n + 1) + q < s(n)
s(n) + q < s(n).
2
Además, por definición de desigualdad, se tiene s(n) + q > s(n). Esto es una
contradicción, pues, por tricotomı́a, s(n) + q > s(n) y s(n) + q < s(n) no pueden
ser ciertas ambas a la vez.
Se concluye que no existe l que cumpla n < l < s(n).
a) n ≤ 2n−1 .
Demostración:
Sea M = {n | n ≤ 2n−1 }.
3
Se verifica que 1 ∈ M , pues 1 = 20 = 21−1 , que implica 1 ≤ 21−1 .
Sea x ∈ M , entonces x cumple
x ≤ 2x−1 .
2x ≤ 2(2x−1 )
2x ≤ 2x .
x3 − x + 3x2 + 3x + 1 − 1 = 6p + 3x2 + 3x + 1 − 1
Nótese que x y x + 1 son numeros consecutivos, por lo tanto uno de ellos debe
ser par, y el producto de ambos es par. Ası́, el producto de x y x + 1 se puede
expresar como x(x + 1) = 2q, para algún q ∈ Z. Sustituyento esta expresión en
la igualdad, se obtiene
(x + 1)3 − (x + 1) = 6p + 3(2q),
es decir,
(x + 1)3 − (x + 1) = 6p + 6q = 6(p + q),
lo que implica que (x + 1)3 − (x + 1) es también múltiplo de 6, es decir, x + 1 =
s(n) ∈ M .
Ası́, por el Axioma 5 de Peano, se concluye que M = N, es decir, para todo
n ∈ N se cumple que n3 − n es múltiplo de 6.
4
c) Si a ≥ −1, entonces (1 + a)n ≥ 1 + na.
Demostración:
Sea M = {n | (1 + a)n ≥ 1 + na; a ≥ −1}.
Se verifica que 1 ∈ M , pues (1 + a)1 = 1 + a = 1 + (1)a, que implica (1 + a)1 ≥
1 + (1)a.
Sea x ∈ M , entonces se cumple (1 + a)x ≤ 1 + xa. Nótese que, como a ≥ −1,
entonces 1 + a ≥ 1 − 1, es decir, a + 1 ≥ 0. Multiplicando ambos lados de
(1 + a)x ≤ 1 + xa por 1 + a, se obtiene
es decir,
(1 + a)x+1 ≥ 1 + xa + a + xa2 .
Nótese también que a2 ≥ 0 y x ≥ 1. Multiplicando ambas desigualdades, se
obtiene xa2 ≥ 0. Ası́, si ax2 = 0, entonces 1 + xa + a + xa2 = 1 + xa + a, y si
ax2 > 0, etonces, por definición de desigualdad, 1 + xa + a + xa2 > 1 + xa + a;
Es decir, se tiene que
1 + xa + a + xa2 ≥ 1 + xa + a.
(1 + a)x+1 ≥ 1 + xa + a,
es decir,
(1 + a)x+1 ≥ 1 + (x + 1)a,
lo que implica que x + 1 = s(x) ∈ M .
Ası́, por el Axioma 5 de Peano, se concluye que M = N, es decir, para todo
n ∈ N y a ≥ −1 se cumple que (1 + a)n ≥ 1 + na.
1 +3 +5 +. . . +(2k − 1) =f (n)
(2k − 1) +(2(k − 1) − 1) +(2(k − 2) − 1) +. . . +1 =f (n)
2k +2k +2k +. . . +2k =2f (n)
f (n) = k 2 ,
5
es decir,
1 + 3 + 5 + · · · + (2k − 1) = k 2 .
Ahora se procederá a demostrar esta fórmula por inducción.
Sea M = {k | 1 + 3 + 5 + · · · + (2k − 1) = k 2 }.
Se verifica que 1 ∈ M , pues 1 = 12 .
Sea x ∈ M , entonces 1 + 3 + 5 + · · · + (2x − 1) = x2 . Sumando ((x + 1) − 1) a
ambos lados de la igualdad, se obtiene
es decir,
1 + 3 + 5 + · · · + (2x − 1) + (2(x + 1) − 1) = x2 + 2x + 1,
que, factorizando, es
b) Dada la partición C = {{1, 4, 5}, {2, 7}, {3, 6, 8}}, describe la relación de
equivalencia definida por ella.
6
Solución: Sean P la relación de equivalencia deifinida por la partición C.
P = {(1, 1), (1, 4), (1, 5), (4, 1), (4, 4), (4, 5), (5, 1), (5, 4), (5, 5), (2, 2), (2, 7), (7, 2),
(7, 7), (3, 3), (3, 6), (3, 8), (6, 3), (6, 6), (6, 8), (8, 3), (8, 6), (8, 8)}.