Teoria Enteros 1 P2

Números Enteros
Matemática Discreta - 2022 -UNICEN
Cátedra de Matemática Discreta Números Enteros

SISTEMAS N U M É R I C O S

Números Reales
Representación
Sabemos que a cada punto de la recta real le corresponde un
número real
Todo número real puede escribirse como un desarrollo decimal

Finito: 1.102 ó
Infinito: 0.010010000100001...

Números Reales
Estructura de Cuerpo
R es un sistema numérico, es decir, con dos operaciones
binarias suma y producto
Los siguientes axiomas son válidos para todo a, b, c ∈ R
Suma

Números Reales
Suma
S0 a, b ∈ R ⇒ a + b ∈ R

Números Reales
Suma
S0 a, b ∈ R ⇒ a + b ∈ R
S1 a + (b + c) = (a + b) + c
S2 0 + a = a + 0 = a
S3 a ∈ R ⇒ (∃x ∈ R)
[a + x = x + a = 0]

Números Reales
Suma
S0 a, b ∈ R ⇒ a + b ∈ R
S1 a + (b + c) = (a + b) + c
S2 0 + a = a + 0 = a
S3 a ∈ R ⇒ (∃x ∈ R)
[a + x = x + a = 0]
S4 a + b = b + a
D a (b + c) = ab + ac

Números Reales
Suma Producto
S0 a, b ∈ R ⇒ a + b ∈ R
S1 a + (b + c) = (a + b) + c
S2 0 + a = a + 0 = a
S3 a ∈ R ⇒ (∃x ∈ R)
[a + x = x + a = 0]
S4 a + b = b + a
D a (b + c) = ab + ac

Números Reales
Suma Producto
S0 a, b ∈ R ⇒ a + b ∈ R P0 a, b ∈ R ⇒ ab ∈ R
S1 a + (b + c) = (a + b) + c
S2 0 + a = a + 0 = a
S3 a ∈ R ⇒ (∃x ∈ R)
[a + x = x + a = 0]
S4 a + b = b + a
D a (b + c) = ab + ac

Números Reales
Suma Producto
S0 a, b ∈ R ⇒ a + b ∈ R P0 a, b ∈ R ⇒ ab ∈ R
S1 a + (b + c) = (a + b) + c P1 a · (b · c) = (a · b) · c
S2 0 + a = a + 0 = a
S3 a ∈ R ⇒ (∃x ∈ R)
[a + x = x + a = 0]
S4 a + b = b + a
D a (b + c) = ab + ac

Números Reales
Suma Producto
S0 a, b ∈ R ⇒ a + b ∈ R P0 a, b ∈ R ⇒ ab ∈ R
S1 a + (b + c) = (a + b) + c P1 a · (b · c) = (a · b) · c
S2 0 + a = a + 0 = a P2 1 · a = a · 1 = a
S3 a ∈ R ⇒ (∃x ∈ R)
[a + x = x + a = 0]
S4 a + b = b + a
D a (b + c) = ab + ac

Números Reales
Suma Producto
S0 a, b ∈ R ⇒ a + b ∈ R P0 a, b ∈ R ⇒ ab ∈ R
S1 a + (b + c) = (a + b) + c P1 a · (b · c) = (a · b) · c
S2 0 + a = a + 0 = a P2 1 · a = a · 1 = a
S3 a ∈ R ⇒ (∃x ∈ R) P3 a 6= 0 ∈ R ⇒ (∃y ∈ R)
[a + x = x + a = 0] [a · y = y · a = 1]
S4 a + b = b + a P4 a · b = b · a
D a (b + c) = ab + ac

Números Naturales
Estructura
El conjunto de los números naturales como subconjunto de R,
está definido por:
N = {1, 1 + 1 = 2, 1 + 1 + 1 = 3, . . .}
Los siguientes axiomas son válidos para todo a, b, c ∈ N
Suma

Números Naturales
Estructura
N = {1, 1 + 1 = 2, 1 + 1 + 1 = 3, . . .}
Suma
S0 a, b ∈ N ⇒ a + b ∈ N

Números Naturales
Estructura
N = {1, 1 + 1 = 2, 1 + 1 + 1 = 3, . . .}
Suma
S0 a, b ∈ N ⇒ a + b ∈ N
S1 a + (b + c) = (a + b) + c
S2

Números Naturales
Estructura
N = {1, 1 + 1 = 2, 1 + 1 + 1 = 3, . . .}
Suma
S0 a, b ∈ N ⇒ a + b ∈ N
S1 a + (b + c) = (a + b) + c
S2
S3
S4 a + b = b + a
D a (b + c) = ab + ac

Números Naturales
Estructura
N = {1, 1 + 1 = 2, 1 + 1 + 1 = 3, . . .}
Suma Producto
S0 a, b ∈ N ⇒ a + b ∈ N
S1 a + (b + c) = (a + b) + c
S2
S3
S4 a + b = b + a
D a (b + c) = ab + ac

Números Naturales
Estructura
N = {1, 1 + 1 = 2, 1 + 1 + 1 = 3, . . .}
Suma Producto
S0 a, b ∈ N ⇒ a + b ∈ N P0 a, b ∈ N ⇒ ab ∈ N
S1 a + (b + c) = (a + b) + c
S2
S3
S4 a + b = b + a
D a (b + c) = ab + ac

Números Naturales
Estructura
N = {1, 1 + 1 = 2, 1 + 1 + 1 = 3, . . .}
Suma Producto
S0 a, b ∈ N ⇒ a + b ∈ N P0 a, b ∈ N ⇒ ab ∈ N
S1 a + (b + c) = (a + b) + c P1 a · (b · c) = (a · b) · c
S2
S3
S4 a + b = b + a
D a (b + c) = ab + ac

Números Naturales
Estructura
N = {1, 1 + 1 = 2, 1 + 1 + 1 = 3, . . .}
Suma Producto
S0 a, b ∈ N ⇒ a + b ∈ N P0 a, b ∈ N ⇒ ab ∈ N
S1 a + (b + c) = (a + b) + c P1 a · (b · c) = (a · b) · c
S2 P2 1 · a = a · 1 = a, 1 ∈ N
S3
S4 a + b = b + a
D a (b + c) = ab + ac

Números Naturales
Estructura
N = {1, 1 + 1 = 2, 1 + 1 + 1 = 3, . . .}
Suma Producto
S0 a, b ∈ N ⇒ a + b ∈ N P0 a, b ∈ N ⇒ ab ∈ N
S1 a + (b + c) = (a + b) + c P1 a · (b · c) = (a · b) · c
S2 P2 1 · a = a · 1 = a, 1 ∈ N
S3 P3
S4 a + b = b + a P4 a · b = b · a
D a (b + c) = ab + ac

Números Enteros
Estructura
El conjunto de los números enteros como subconjunto de R,
está formado por:
Z = −N ∪ {0} ∪ N = {0, 1, −1, 2, −2, . . .}
Los siguientes axiomas son válidos para todo a, b, c ∈ Z
Suma

Números Enteros
Estructura
está formado por:
Z = −N ∪ {0} ∪ N = {0, 1, −1, 2, −2, . . .}
Suma
S0 a, b ∈ Z ⇒ a + b ∈ Z

Números Enteros
Estructura
está formado por:
Z = −N ∪ {0} ∪ N = {0, 1, −1, 2, −2, . . .}
Suma
S0 a, b ∈ Z ⇒ a + b ∈ Z
S1 a + (b + c) = (a + b) + c
S2 0 + a = a + 0 = a
S3 a ∈ Z ⇒ (∃x ∈ Z)
[a + x = x + a = 0]

Números Enteros
Estructura
está formado por:
Z = −N ∪ {0} ∪ N = {0, 1, −1, 2, −2, . . .}
Suma
S0 a, b ∈ Z ⇒ a + b ∈ Z
S1 a + (b + c) = (a + b) + c
S2 0 + a = a + 0 = a
S3 a ∈ Z ⇒ (∃x ∈ Z)
[a + x = x + a = 0]
S4 a + b = b + a
D a (b + c) = ab + ac
Números Enteros
Estructura
está formado por:
Z = −N ∪ {0} ∪ N = {0, 1, −1, 2, −2, . . .}
Suma Producto
S0 a, b ∈ Z ⇒ a + b ∈ Z
S1 a + (b + c) = (a + b) + c
S2 0 + a = a + 0 = a
S3 a ∈ Z ⇒ (∃x ∈ Z)
[a + x = x + a = 0]
S4 a + b = b + a
D a (b + c) = ab + ac
Números Enteros
Estructura
está formado por:
Z = −N ∪ {0} ∪ N = {0, 1, −1, 2, −2, . . .}
Suma Producto
S0 a, b ∈ Z ⇒ a + b ∈ Z P0 a, b ∈ Z ⇒ ab ∈ Z
S1 a + (b + c) = (a + b) + c
S2 0 + a = a + 0 = a
S3 a ∈ Z ⇒ (∃x ∈ Z)
[a + x = x + a = 0]
S4 a + b = b + a
D a (b + c) = ab + ac
Números Enteros
Estructura
está formado por:
Z = −N ∪ {0} ∪ N = {0, 1, −1, 2, −2, . . .}
Suma Producto
S0 a, b ∈ Z ⇒ a + b ∈ Z P0 a, b ∈ Z ⇒ ab ∈ Z
S1 a + (b + c) = (a + b) + c P1 a · (b · c) = (a · b) · c
S2 0 + a = a + 0 = a
S3 a ∈ Z ⇒ (∃x ∈ Z)
[a + x = x + a = 0]
S4 a + b = b + a
D a (b + c) = ab + ac
Números Enteros
Estructura
está formado por:
Z = −N ∪ {0} ∪ N = {0, 1, −1, 2, −2, . . .}
Suma Producto
S0 a, b ∈ Z ⇒ a + b ∈ Z P0 a, b ∈ Z ⇒ ab ∈ Z
S1 a + (b + c) = (a + b) + c P1 a · (b · c) = (a · b) · c
S2 0 + a = a + 0 = a P2 1 · a = a · 1 = a
S3 a ∈ Z ⇒ (∃x ∈ Z)
[a + x = x + a = 0]
S4 a + b = b + a
D a (b + c) = ab + ac
Números Enteros
Estructura
está formado por:
Z = −N ∪ {0} ∪ N = {0, 1, −1, 2, −2, . . .}
Suma Producto
S0 a, b ∈ Z ⇒ a + b ∈ Z P0 a, b ∈ Z ⇒ ab ∈ Z
S1 a + (b + c) = (a + b) + c P1 a · (b · c) = (a · b) · c
S2 0 + a = a + 0 = a P2 1 · a = a · 1 = a
S3 a ∈ Z ⇒ (∃x ∈ Z) P3
[a + x = x + a = 0] P4 a · b = b · a
S4 a + b = b + a
D a (b + c) = ab + ac
Anillo
Números enteros
El conjunto de los números enteros (Z,+,· ) es un ejemplo de
anillo
No cumple la propiedad de existencia de inverso multiplicativo
Sin embargo, si tenemos a, b, c ∈ Z se cumple la
Ley Cancelativa
X C: Ley de cancelación
Si a; b; c ∈ A ∧ ca = cb, si c 6= 0 entonces debe ser a = b
X C1: Si a; b ∈ A ∧ ab = 0, entonces debe ser a = 0 ∨ b = 0
X C2: Si a; b ∈ A ∧ a 6= 0 ∧ b 6= 0 entonces ab 6= 0.

Dominio de Integridad
Definición
Se dice que el conjunto D, es un dominio de integridad si D es un
anillo y cumple la ley cancelativa
Son dominio de integridad: Z, Q, R con la suma y el producto. Más
adelante repasaremos otros ejemplos.

DIVISIBILIDAD
DE
N Ú M E R O S ENTEROS

Números Enteros
Divisibilidad
Sean a, b ∈ Z, b 6= 0.
Si el resto de dividir a por b es 0 diremos que b divide a a
Usamos la notación:b|a
Es decir,
Si b|a, existe un entero q tal que a = bq
Ejemplo: a = −35; b = 5 entonces −35 = 5 (−7)

Divisibilidad
Ejemplos
* 3|6 pues 6 = 3 · 2
* 1|a y a|a para todo a ∈ Z
* a|0 pues 0 = 0 · a para todo a ∈ Z

En sı́ntesis
* b|a ⇔ a = b · q, q ∈ Z
⇔ el resto de dividir a por b es 0
a
⇔ b ∈Z

Divisibilidad
Lema 1
(a) b|a ⇔ (−b) |a ⇔ b| (−a)
Demostración
b|a ⇔ a = b · q ⇔ a = (−b) (−q) ⇔ (−b) |a
(−b) |a ⇔ a = (−b) · q 0 ⇔ −a = (b) · q 0 ⇔ b| (−a)
(b) Si b|a y a|c entonces b|c
Demostración
b|a y a|c ⇒ a = bq ∧ c = aq 0 ⇒ c = b (qq 0 ) ⇒ b|c

Divisibilidad
Lema 1
(c) b|a y b|c ⇒ b| (sa + tc) , t, s ∈ Z
Demostración
b|a ∧ b|c ⇒ (∃q, q 0 ∈ Z) ; a = b · q ∧ c = b · q 0 ⇒
sa + tc = sb · q + tb · q 0 = b (s · q + t · q 0 ) ⇒ b|sa + tc
(d) Si b|a y a|b entonces b = ±a
Demostración
b|a y a|b ⇒ a = bq ∧ b = aq 0 ⇒ b = b (qq 0 ) ⇒ qq 0 = 1 ⇒
q = 1 ∧ q 0 = 1 ∨ q = −1 ∧ q 0 = −1
⇒ b = a ∨ b = −a

Divisibilidad
Lema 1
(e) Si a 6= 0 y b|a entonces |b| ≤ |a|
Demostración
a 6= 0 y b|a ⇒ a = b · q ⇒ |a| = |b · q|
⇒ |a| = |b| · |q|
Como |q| ≥ 1
⇒ |a| ≥ |b|

ALGORITMO
DE LA
D I V I S I Ó N EN Z

Algoritmo de la división
Teorema
Sean a, b ∈ Z, b 6= 0. Entonces existen únicos enteros q y r
verificando que
a = q · b + r , con 0 ≤ r < |b|
Observación: El resto es no negativo

EJERCICIO 1

Divisibilidad
Ejercicio 1
Dados a, b, c ∈ Z, señalar cuáles de las proposiciones siguientes
son verdaderas y cuáles falsas.
En el caso de ser verdadera, se pide hacer una

Divisibilidad
Ejercicio 1
En el caso de ser verdadera, se pide hacer una demostración.

Divisibilidad
Ejercicio 1
En el caso de ser falsa exhibir un

Divisibilidad
Ejercicio 1
En el caso de ser falsa exhibir un contraejemplo.
Además discutir si al restringirlas a los enteros positivos se produce

algún cambio en su valor de verdad.

Divisibilidad
Ejercicio 1 a)
a/b =⇒ a/ (b + c)

Divisibilidad
Ejercicio 1 a)
a/b =⇒ a/ (b + c)
* FALSA

Divisibilidad
Ejercicio 1 a)
a/b =⇒ a/ (b + c)
* FALSA
* contraejemplo:

Divisibilidad
Ejercicio 1 a)
a/b =⇒ a/ (b + c)
* FALSA
* contraejemplo: a = 3, b = 6, c = 8;
3/6 ∧ 3 no divide a 14

Divisibilidad
Ejercicio 1 a)
a/b =⇒ a/ (b + c)
* FALSA
3/6 ∧ 3 no divide a 14
* En Z>0 la proposición es falsa

Divisibilidad
Ejercicio 1 c)
a|b · c =⇒ a|b ∨ a|c

Divisibilidad
Ejercicio 1 c)
a|b · c =⇒ a|b ∨ a|c
* FALSA

Divisibilidad
Ejercicio 1 c)
a|b · c =⇒ a|b ∨ a|c
* FALSA
* contraejemplo:

Divisibilidad
Ejercicio 1 c)
a|b · c =⇒ a|b ∨ a|c
* FALSA
9|18 ∧ 9 no divide a 3 ∧ 9 no divide a 6

Divisibilidad
Ejercicio 1 c)
a|b · c =⇒ a|b ∨ a|c
* FALSA
9|18 ∧ 9 no divide a 3 ∧ 9 no divide a 6
* En Z>0 la proposición es falsa

Divisibilidad
Ejercicio 1 f)
a/ (b + c) ∧ a/b =⇒ a/c

Divisibilidad
Ejercicio 1 f)
a/ (b + c) ∧ a/b =⇒ a/c
* VERDADERA

Divisibilidad
Ejercicio 1 f)
a/ (b + c) ∧ a/b =⇒ a/c
* VERDADERA
* demostración:

Divisibilidad
Ejercicio 1 f)
a/ (b + c) ∧ a/b =⇒ a/c
* VERDADERA
* demostración:
a/ (b + c) ∧ a/b

Divisibilidad
Ejercicio 1 f)
a/ (b + c) ∧ a/b =⇒ a/c
* VERDADERA
* demostración:
a/ (b + c) ∧ a/b =⇒ b + c = a · k ∧ b = a · k 0
con k, k 0 ∈ Z

Divisibilidad
Ejercicio 1 f)
a/ (b + c) ∧ a/b =⇒ a/c
* VERDADERA
* demostración:
a/ (b + c) ∧ a/b =⇒ b + c = a · k ∧ b = a · k 0
con k, k 0 ∈ Z
=⇒ c = a · k − b = a · k − a · k 0 = a (k − k 0 )

Divisibilidad
Ejercicio 1 f)
a/ (b + c) ∧ a/b =⇒ a/c
* VERDADERA
* demostración:
a/ (b + c) ∧ a/b =⇒ b + c = a · k ∧ b = a · k 0
con k, k 0 ∈ Z
=⇒ c = a · k − b = a · k − a · k 0 = a (k − k 0 )
con k − k 0 = m ∈ Z

Divisibilidad
Ejercicio 1 f)
a/ (b + c) ∧ a/b =⇒ a/c
* VERDADERA
* demostración:
a/ (b + c) ∧ a/b =⇒ b + c = a · k ∧ b = a · k 0
con k, k 0 ∈ Z
=⇒ c = a · k − b = a · k − a · k 0 = a (k − k 0 )
con k − k 0 = m ∈ Z
Luego c = a · m y a|c que era lo que querı́amos demostrar

Divisibilidad
Ejercicio 1 f)
a/ (b + c) ∧ a/b =⇒ a/c
* VERDADERA
* demostración:
a/ (b + c) ∧ a/b =⇒ b + c = a · k ∧ b = a · k 0
con k, k 0 ∈ Z
=⇒ c = a · k − b = a · k − a · k 0 = a (k − k 0 )
con k − k 0 = m ∈ Z
Luego c = a · m y a|c que era lo que querı́amos demostrar

* La proposición es verdadera en Z

EJERCICIO 2

Divisores positivos
Ejercicio 2
Sea a un entero y D (a) el conjunto de todos los divisores positivos
de a
D (a) = {d ∈ Z : d > 0 ∧ d|a}

Divisores positivos
Ejercicio 1 a)
Listar los elementos de D (a) para a = 0, 1, 2, 4, 17, 102, 1515

Divisores positivos
Ejercicio 1 a)
* D (0) =

Divisores positivos
Ejercicio 1 a)
* D (0) = N

Divisores positivos
Ejercicio 1 a)
* D (0) = N
* D (1) =

Divisores positivos
Ejercicio 1 a)
* D (0) = N
* D (1) = {1}

Divisores positivos
Ejercicio 1 a)
* D (0) = N
* D (1) = {1}
* D (17) =

Divisores positivos
Ejercicio 1 a)
* D (0) = N
* D (1) = {1}
* D (17) = {1, 17}

Divisores positivos
Ejercicio 1 a)
* D (0) = N
* D (1) = {1}
* D (17) = {1, 17}
* D (102) = D (2 · 3 · 17) = {1, 2, 3, 6, 17, 34, 51, 102}

Divisores positivos
Ejercicio 2 b)
Probar que (∀a ∈ Z) [D (a) = D (−a)] y que |a| ∈ D (a)

Divisores positivos
Ejercicio 2 b)
* Sea x ∈ D (a) ⇐⇒ x > 0 ∧ x/a ⇐⇒ x > 0 ∧ x/ − a ⇐⇒
x ∈ D (−a)

Divisores positivos
Ejercicio 2 b)
* Sea x ∈ D (a) ⇐⇒ x > 0 ∧ x/a ⇐⇒ x > 0 ∧ x/ − a ⇐⇒
x ∈ D (−a)
* Sea a > 0 ⇐⇒ |a| = a como a|a =⇒ |a||a ⇐⇒ |a| ∈ D (a)

Divisores positivos
Ejercicio 2 b)
* Sea x ∈ D (a) ⇐⇒ x > 0 ∧ x/a ⇐⇒ x > 0 ∧ x/ − a ⇐⇒
x ∈ D (−a)
* Sea a > 0 ⇐⇒ |a| = a como a|a =⇒ |a||a ⇐⇒ |a| ∈ D (a)
Sea a < 0 ⇐⇒ |a| = −a > 0 como
−a|a =⇒ |a||a ⇐⇒ |a| ∈ D (a)

Divisores positivos
Ejercicio 2 c)
Probar que, (∀x, a ∈ Z) [x ∈ D (a) =⇒ D (x) ⊂ D (a)]

Divisores positivos
Ejercicio 2 c)
* Sea d ∈ D (x) ⇐⇒ d > 0 ∧ d|x
pero por hipótesis

Divisores positivos
Ejercicio 2 c)
* Sea d ∈ D (x) ⇐⇒ d > 0 ∧ d|x
pero por hipótesis x > 0 ∧ x/a
=⇒ d/a =⇒ d ∈ D (a)

Divisores positivos
Ejercicio 2 c)
* Sea d ∈ D (x) ⇐⇒ d > 0 ∧ d|x
=⇒ d/a =⇒ d ∈ D (a) ∴ D (x) ⊂ D (a)

Divisores positivos
Ejercicio 2 c)
* Sea d ∈ D (x) ⇐⇒ d > 0 ∧ d|x
=⇒ d/a =⇒ d ∈ D (a) ∴ D (x) ⊂ D (a)
Si x es divisor positivo de a , entonces todo divisor d de x

también es divisor de a (Propiedad transitiva del ejercicio1 e)
relaciones)

Divisores positivos
Ejercicio 2 d)
Sea a ∈ N, se define la función
f : D (a) → D (a)
a
f (x) =
x
para cada x ∈ D (a)
Probar que f es biyectiva

Ejercicio 2 d)
a
f : D (a) → D (a) , f (x) =
x
1 Es inyectiva, veamos

Ejercicio 2 d)
a
f : D (a) → D (a) , f (x) =
x
Sean b, c ∈ D (a) tales que
f (b) = f (c)

Ejercicio 2 d)
a
f : D (a) → D (a) , f (x) =
x
a a
f (b) = f (c) ⇐⇒ =
b c

Ejercicio 2 d)
a
f : D (a) → D (a) , f (x) =
x
a a
f (b) = f (c) ⇐⇒ = ⇐⇒ b = c
b c
2 Es suryectiva, veamos

Ejercicio 2 d)
a
f : D (a) → D (a) , f (x) =
x
a a
f (b) = f (c) ⇐⇒ = ⇐⇒ b = c
b c
Sea
a
y ∈ D (a) =⇒ y /a ⇐⇒ =m∈N
y

Ejercicio 2 d)
a
f : D (a) → D (a) , f (x) =
x
a a
f (b) = f (c) ⇐⇒ = ⇐⇒ b = c
b c
Sea
a a
y ∈ D (a) =⇒ y /a ⇐⇒ = m ∈ N ⇐⇒ y = =⇒
y m
m > 0 ∧ m/a =⇒

Ejercicio 2 d)
a
f : D (a) → D (a) , f (x) =
x
a a
f (b) = f (c) ⇐⇒ = ⇐⇒ b = c
b c
Sea
a a
y ∈ D (a) =⇒ y /a ⇐⇒ = m ∈ N ⇐⇒ y = =⇒
y m
m > 0 ∧ m/a =⇒ (∃m ∈ D (a)) tal que f (m) = y

Ejercicio 2 d)
a
f : D (a) → D (a) , f (x) =
x
a a
f (b) = f (c) ⇐⇒ = ⇐⇒ b = c
b c
Sea
a a
y ∈ D (a) =⇒ y /a ⇐⇒ = m ∈ N ⇐⇒ y = =⇒
y m
m > 0 ∧ m/a =⇒ (∃m ∈ D (a)) tal que f (m) = y
Por 1 y 2 la función es biyectiva

Divisores positivos
Ejercicio 2 e)
Sea a ∈ N probar que hay a lo sumo dos elementos
a
x ∈ D (a) que verifican x ≥
2

Divisores positivos
Ejercicio 2 e)
a
2
Ejemplos
4
1 D (4) = {1, 2, 4} en este caso hay 2 elementos x ≥
2

Divisores positivos
Ejercicio 2 e)
a
2
Ejemplos
4
1 D (4) = {1, 2, 4} en este caso hay 2 elementos x ≥
2
17
2 D (17) = {1, 17} en este caso hay 1 elemento x ≥
2

Divisores positivos
Ejercicio 2 e)
a
2
Por el absurdo: vamos a suponer que hay tres elementos, es
decir:

Divisores positivos
Ejercicio 2 e)
a
2
a
decir: un elemento d y a en D (a):
2

Divisores positivos
Ejercicio 2 e)
a
2
a
2
a
d ∈ D (a) tal que a = d · k, k ∈ N ∧ < d < a:
2

Divisores positivos
Ejercicio 2 e)
a
2
a
2
a
2
d ·k
=⇒ <d <d ·k
2

Divisores positivos
Ejercicio 2 e)
a
2
a
2
a
2
d ·k k
=⇒ < d < d · k =⇒ <1<k
2 2
=⇒ k < 2 < 2k

Divisores positivos
Ejercicio 2 e)
a
2
a
2
a
2
d ·k k
=⇒ < d < d · k =⇒ <1<k
2 2
=⇒ k < 2 < 2k =⇒ k = 1 =⇒ 2 < 2
absurdo , que provino de suponer que hay tres elementos
a a
entre y a luego, hay a lo sumo 2 elementos: ∧ a
2 2

Divisores positivos
Ejercicio 2 f)
Calcular D (a) ∩ D (b) en los casos siguientes:
a = 10, b = 5
D (10) =

Divisores positivos
Ejercicio 2 f)
a = 10, b = 5
D (10) = {1, 2, 5, 10}

Divisores positivos
Ejercicio 2 f)
a = 10, b = 5
D (10) = {1, 2, 5, 10}
D (5) =

Divisores positivos
Ejercicio 2 f)
a = 10, b = 5
D (10) = {1, 2, 5, 10}
D (5) = {1, 5}

Divisores positivos
Ejercicio 2 f)
a = 10, b = 5
D (10) = {1, 2, 5, 10}
D (5) = {1, 5}
D (10) ∩ D (5) = D (5)

Divisores positivos
Ejercicio 2 f)
a = 10, b = 5
D (10) = {1, 2, 5, 10}
D (5) = {1, 5}
D (10) ∩ D (5) = D (5) = {1, 5}

Divisores positivos
Ejercicio 2 g)
Se define en D (a) una relación ≺ por:
x ≺ y ⇐⇒ x/y , ∀x, y ∈ D (a)

Divisores positivos
Ejercicio 2 g)
x ≺ y ⇐⇒ x/y , ∀x, y ∈ D (a)
Probar que ≺ es una relación de orden parcial

Divisores positivos
Ejercicio 2 g)
x ≺ y ⇐⇒ x/y , ∀x, y ∈ D (a)
Probar que |a| es el máximo en D (a) para este orden

Divisores positivos
Ejercicio 2 g)
x ≺ y ⇐⇒ x/y , ∀x, y ∈ D (a)
Dibujar el diagrama de Hasse para este orden cuando a = 1,
2, 3, 4, 10, 12, 16

Ejercicio 2 g)
x ≺ y ⇐⇒ x/y ∀x, y ∈ D (a)

Ejercicio 2 g)
x ≺ y ⇐⇒ x/y ∀x, y ∈ D (a)

Probar que ≺ es relación de orden parcial

Ejercicio 2 g)
x ≺ y ⇐⇒ x/y ∀x, y ∈ D (a)

1 Reflexiva: ∀x ∈ D (a) , x/x ⇐⇒ x ≺ x

Ejercicio 2 g)
x ≺ y ⇐⇒ x/y ∀x, y ∈ D (a)

2 Antisimétrica: Sean x, y ∈ D (a) ; x ≺ y ∧ y ≺ x ⇐⇒

Ejercicio 2 g)
x ≺ y ⇐⇒ x/y ∀x, y ∈ D (a)

x/y ∧ y /x ⇐⇒

Ejercicio 2 g)
x ≺ y ⇐⇒ x/y ∀x, y ∈ D (a)

x/y ∧ y /x ⇐⇒ y = x · k ∧ x = y · k 0 con k, k 0 ∈ Z>0

Ejercicio 2 g)
x ≺ y ⇐⇒ x/y ∀x, y ∈ D (a)

⇐⇒ y = y (k · k 0 ) ⇐⇒

Ejercicio 2 g)
x ≺ y ⇐⇒ x/y ∀x, y ∈ D (a)

⇐⇒ y = y (k · k 0 ) ⇐⇒
k · k 0 = 1 ⇐⇒ k = 1 ∧ k 0 = 1 ⇐⇒ x = y :

Ejercicio 2 g)
x ≺ y ⇐⇒ x/y ∀x, y ∈ D (a)

⇐⇒ y = y (k · k 0 ) ⇐⇒
k · k 0 = 1 ⇐⇒ k = 1 ∧ k 0 = 1 ⇐⇒ x = y :
3 Transitiva: Sean x, y , t ∈ D (a) ; x ≺ y ∧ y ≺ t ⇐⇒

Ejercicio 2 g)
x ≺ y ⇐⇒ x/y ∀x, y ∈ D (a)

⇐⇒ y = y (k · k 0 ) ⇐⇒
k · k 0 = 1 ⇐⇒ k = 1 ∧ k 0 = 1 ⇐⇒ x = y :
x/y ∧ y /t

Ejercicio 2 g)
x ≺ y ⇐⇒ x/y ∀x, y ∈ D (a)

⇐⇒ y = y (k · k 0 ) ⇐⇒
k · k 0 = 1 ⇐⇒ k = 1 ∧ k 0 = 1 ⇐⇒ x = y :
x/y ∧ y /t =⇒ x/t

Ejercicio 2 g)
x ≺ y ⇐⇒ x/y ∀x, y ∈ D (a)

⇐⇒ y = y (k · k 0 ) ⇐⇒
k · k 0 = 1 ⇐⇒ k = 1 ∧ k 0 = 1 ⇐⇒ x = y :
x/y ∧ y /t =⇒ x/t ⇐⇒ x ≺ t

Ejercicio 2 g)
x ≺ y ⇐⇒ x/y ∀x, y ∈ D (a)

⇐⇒ y = y (k · k 0 ) ⇐⇒
k · k 0 = 1 ⇐⇒ k = 1 ∧ k 0 = 1 ⇐⇒ x = y :
x/y ∧ y /t =⇒ x/t ⇐⇒ x ≺ t
Por 1, 2 y 3 la relación ≺ es de orden parcial

Ejercicio 2 g)
x ≺ y ⇐⇒ x/y ∀x, y ∈ D (a)


Ejercicio 2 g)
x ≺ y ⇐⇒ x/y ∀x, y ∈ D (a)

|a| ∈ D (a) (Ejercicio 2 b)

Ejercicio 2 g)
x ≺ y ⇐⇒ x/y ∀x, y ∈ D (a)

Supongamos que existe x(6= |a|) ∈ D (a) tal que |a| ≺ x

Ejercicio 2 g)
x ≺ y ⇐⇒ x/y ∀x, y ∈ D (a)

Supongamos que existe x(6= |a|) ∈ D (a) tal que |a| ≺ xEs
decir, x es el máximo en D (a)

Ejercicio 2 g)
x ≺ y ⇐⇒ x/y ∀x, y ∈ D (a)

x ∈ D (a) ⇐⇒ x/|a| ⇐⇒ x ≺ |a|

Ejercicio 2 g)
x ≺ y ⇐⇒ x/y ∀x, y ∈ D (a)

x ∈ D (a) ⇐⇒ x/|a| ⇐⇒ x ≺ |a| pero supusimos que
|a| ≺ x ⇐⇒ |a| = x ya que la relación es antisimétrica

Ejercicio 2 g)
x ≺ y ⇐⇒ x/y ∀x, y ∈ D (a)

x ∈ D (a) ⇐⇒ x/|a| ⇐⇒ x ≺ |a| pero supusimos que
|a| ≺ x ⇐⇒ |a| = x ya que la relación es antisimétrica
Absurdo, que provino de suponer que |a| no era el máximo de
D (a), luego probamos que |a| es el máximo

Ejercicio 2 g)
Diagrama de Hasse para D(4)

EJERCICIO 3

Ejercicio 3
Dados a, m ∈ N, a ≤ m, hallar la cantidad de múltiplos de a

que son positivos y menores o iguales que m

Ejercicio 3

Un múltiplo positivo de a se expresa como k · a con k ∈ N

Ejercicio 3

Entonces tenemos
a≤a·k ≤m

Ejercicio 3

Entonces tenemos
a≤a·k ≤m
y cuando k es máximo, será el valor que indique la cantidad
de múltiplos buscada
m
a ≤ a · k ≤ m ⇐⇒ 1 ≤ k ≤
a

Ejercicio 3

Entonces tenemos
a≤a·k ≤m
m
a ≤ a · k ≤ m ⇐⇒ 1 ≤ k ≤
a
El k máximo es entonces el

Ejercicio 3

Entonces tenemos
a≤a·k ≤m
m
a ≤ a · k ≤ m ⇐⇒ 1 ≤ k ≤
a
El k máximo es entonces el
m m
máx{k ∈ N : k ≤ } = b c
a a

EJERCICIO 4

Ejercicio 4
Probar que las afirmaciones siguientes son verdaderas ∀n ∈ N

b) 4/5n − 1

Ejercicio 4

b) 4/5n − 1
La demostración por el Principio de Inducción Completa

Ejercicio 4

b) 4/5n − 1
P(n) : 4/5n − 1 o equivalentemente

Ejercicio 4

b) 4/5n − 1
P(n) : 4/5n − 1 o equivalentemente P(n) : 5n = 4k + 1, k ∈ Z

Ejercicio 4

b) 4/5n − 1
1 Mostrar la verdad de P(1)
P(1) : 51 − 1 = 4 = 4 · 1, P(1) es verdadera

Ejercicio 4

b) 4/5n − 1
P(1) : 51 − 1 = 4 = 4 · 1, P(1) es verdadera
2 Supongamos que P(n) es verdadera y probemos la verdad de
P(n + 1)

Ejercicio 4

b) 4/5n − 1
P(1) : 51 − 1 = 4 = 4 · 1, P(1) es verdadera
P(n + 1)
P(n + 1) : 5n+1 − 1 = 5n · 5 − 1

Ejercicio 4

b) 4/5n − 1
P(1) : 51 − 1 = 4 = 4 · 1, P(1) es verdadera
P(n + 1)
P(n + 1) : 5n+1 − 1 = 5n · 5 − 1 |{z}
= (4k + 1) 5 − 1 =
HI
4k · 5 + 5 − 1 = 4 (k · 5 + 1) con (k · 5 + 1) ∈ Z

Ejercicio 4

b) 4/5n − 1
P(1) : 51 − 1 = 4 = 4 · 1, P(1) es verdadera
P(n + 1)
P(n + 1) : 5n+1 − 1 = 5n · 5 − 1 |{z}
= (4k + 1) 5 − 1 =
HI
4k · 5 + 5 − 1 = 4 (k · 5 + 1) con (k · 5 + 1) ∈ Z
Luego 4/5n+1 − 1 y P(n + 1) es verdadera

Ejercicio 4

b) 4/5n − 1
P(1) : 51 − 1 = 4 = 4 · 1, P(1) es verdadera
P(n + 1)
P(n + 1) : 5n+1 − 1 = 5n · 5 − 1 |{z}
= (4k + 1) 5 − 1 =
HI
4k · 5 + 5 − 1 = 4 (k · 5 + 1) con (k · 5 + 1) ∈ Z
Luego 4/5n+1 − 1 y P(n + 1) es verdadera
Por 1 y 2 tenemos que 4/5n − 1 es verdadera ∀n ∈ N

Ejercicio 4
Otra solución
b) 4/5n − 1

Ejercicio 4
Otra solución
b) 4/5n − 1
5=4·1+1

Ejercicio 4
Otra solución
b) 4/5n − 1
5=4·1+1
5n = (4 + 1)n =

Ejercicio 4
Otra solución
b) 4/5n − 1
5=4·1+1
5n = (4 + 1)n =
Pn n
4k =

k=0 k

Ejercicio 4
Otra solución
b) 4/5n − 1
5=4·1+1
5n = (4 + 1)n =
Pn n Pn n
4k = 4k + 1

k=0 k k=1 k

Ejercicio 4
Otra solución
b) 4/5n − 1
5=4·1+1
5n = (4 + 1)n =
Pn n Pn n
4k = 4k + 1

k=0 k k=1 k
Pn n
5n − 1 = 4k =

k=1 k

Ejercicio 4
Otra solución
b) 4/5n − 1
5=4·1+1
5n = (4 + 1)n =
Pn
4k = nk=1 kn 4k + 1
n P
k=0 k
n
Pn n
X n k−1
5n − 1 =
k
k=1 k 4 = 4 4
k
|k=1 {z }
∈Z

Ejercicio 4
Otra solución
b) 4/5n − 1
5=4·1+1
5n = (4 + 1)n =
Pn
4k = nk=1 kn 4k + 1
n P
k=0 k
n
Pn n
X n k−1
5n − 1 =
k
k=1 k 4 = 4 4
k
|k=1 {z }
∈Z
Luego, 4|5n − 1

Ejercicio 4
d) P(n) : 10n+1 + 3 · 10n + 5 = 9k, k ∈ Z

Ejercicio 4
d) P(n) : 10n+1 + 3 · 10n + 5 = 9k, k ∈ Z

Ejercicio 4
d) P(n) : 10n+1 + 3 · 10n + 5 = 9k, k ∈ Z
P(1) : 102 + 3 · 10 + 5 = 135 = 9 · 15, P(1) es

Ejercicio 4
d) P(n) : 10n+1 + 3 · 10n + 5 = 9k, k ∈ Z
P(1) : 102 + 3 · 10 + 5 = 135 = 9 · 15, P(1) es
2 Supongamos que P(n) es V y probemos la verdad de P(n + 1)

Ejercicio 4
d) P(n) : 10n+1 + 3 · 10n + 5 = 9k, k ∈ Z
P(1) : 102 + 3 · 10 + 5 = 135 = 9 · 15, P(1) es
P(n + 1) : 10n+2 + 3 · 10n+1 + 5 = 10n+1 10 + 3 · 10n+1 + 5

Ejercicio 4
d) P(n) : 10n+1 + 3 · 10n + 5 = 9k, k ∈ Z
P(1) : 102 + 3 · 10 + 5 = 135 = 9 · 15, P(1) es
P(n + 1) : 10n+2 + 3 · 10n+1 + 5 = 10n+1 10 + 3 · 10n+1 + 5
= (9k − 3 · 10n − 5) 10 + 3 (9k − 3 · 10n − 5) + 5
|{z}
HI
= 90k − 3 · 10n+1 − 50 + 27k − 9 · 10n − 15 + 5

Ejercicio 4
d) P(n) : 10n+1 + 3 · 10n + 5 = 9k, k ∈ Z
P(1) : 102 + 3 · 10 + 5 = 135 = 9 · 15, P(1) es
P(n + 1) : 10n+2 + 3 · 10n+1 + 5 = 10n+1 10 + 3 · 10n+1 + 5
= (9k − 3 · 10n − 5) 10 + 3 (9k − 3 · 10n − 5) + 5
|{z}
HI
= 90k − 3 · 10n+1 − 50 + 27k − 9 · 10n − 15 + 5
= 90k − 3 · (9k − 3 · 10n − 5) − 50 + 27k − 9 · 10n − 15 + 5
|{z}
HI
= 90k − 27k + 9 · 10n + 15 − 50 + 27k − 9 · 10n − 15 + 5

Ejercicio 4
d) P(n) : 10n+1 + 3 · 10n + 5 = 9k, k ∈ Z
P(1) : 102 + 3 · 10 + 5 = 135 = 9 · 15, P(1) es
P(n + 1) : 10n+2 + 3 · 10n+1 + 5 = 10n+1 10 + 3 · 10n+1 + 5
= (9k − 3 · 10n − 5) 10 + 3 (9k − 3 · 10n − 5) + 5
|{z}
HI
= 90k − 3 · 10n+1 − 50 + 27k − 9 · 10n − 15 + 5
= 90k − 3 · (9k − 3 · 10n − 5) − 50 + 27k − 9 · 10n − 15 + 5
|{z}
HI
= 90k − 27k + 9 · 10n + 15 − 50 + 27k − 9 · 10n − 15 + 5
= 9 (10k − 5) =⇒ P(n + 1) es verdadera
Por 1, 2 se tiene ∀n ∈ N, P(n) es verdadera
Ejercicio 4
Otra solución
d) 9/10n+1 + 3 · 10n + 5

Ejercicio 4
Otra solución
d) 9/10n+1 + 3 · 10n + 5
10n+1 + 3 · 10n + 5 =

Ejercicio 4
Otra solución
d) 9/10n+1 + 3 · 10n + 5
10n+1 + 3 · 10n + 5 = 10 · 10n + 3 · 10n + 5 =

Ejercicio 4
Otra solución
d) 9/10n+1 + 3 · 10n + 5
10n+1 + 3 · 10n + 5 = 10 · 10n + 3 · 10n + 5 = 13 · 10n + 5

Ejercicio 4
Otra solución
d) 9/10n+1 + 3 · 10n + 5
10n+1 + 3 · 10n + 5 = 10 · 10n + 3 · 10n + 5 = 13 · 10n + 5
10 = 9 · 1 + 1

Ejercicio 4
Otra solución
d) 9/10n+1 + 3 · 10n + 5
10n+1 + 3 · 10n + 5 = 10 · 10n + 3 · 10n + 5 = 13 · 10n + 5
10 = 9 · 1 + 1
10n = (9 + 1)n =

Ejercicio 4
Otra solución
d) 9/10n+1 + 3 · 10n + 5
10n+1 + 3 · 10n + 5 = 10 · 10n + 3 · 10n + 5 = 13 · 10n + 5
10 = 9 · 1 + 1
10n = (9 + 1)n =
Pn n
9k =

k=0 k

Ejercicio 4
Otra solución
d) 9/10n+1 + 3 · 10n + 5
10n+1 + 3 · 10n + 5 = 10 · 10n + 3 · 10n + 5 = 13 · 10n + 5
10 = 9 · 1 + 1
10n = (9 + 1)n =
Pn n Pn n
9k = 9k + 1

k=0 k k=1 k

Ejercicio 4
Otra solución
d) 9/10n+1 + 3 · 10n + 5
10n+1 + 3 · 10n + 5 = 10 · 10n + 3 · 10n + 5 = 13 · 10n + 5
10 = 9 · 1 + 1
10n = (9 + 1)n =
Pn n Pn n
9k = 9k + 1

k=0 k k=1 k
Pn n
13·10n +5 = 13 9k +18 =

k=1 k

Ejercicio 4
Otra solución
d) 9/10n+1 + 3 · 10n + 5
10n+1 + 3 · 10n + 5 = 10 · 10n + 3 · 10n + 5 = 13 · 10n + 5
10 = 9 · 1 + 1
10n = (9 + 1)n =
Pn n Pn n
9k = k

k=0 k k=1 k 9 +1
n
!
Pn n
X n k−1
13·10n +5 = 13 9k +18 = 9 13

k=1 k 9 +2
k
k=1
| {z }
∈Z

Ejercicio 4
Otra solución
d) 9/10n+1 + 3 · 10n + 5
10n+1 + 3 · 10n + 5 = 10 · 10n + 3 · 10n + 5 = 13 · 10n + 5
10 = 9 · 1 + 1
10n = (9 + 1)n =
Pn n Pn n
9k = k

k=0 k k=1 k 9 +1
n
!
Pn n
X n k−1
13·10n +5 = 13 9k +18 = 9 13

k=1 k 9 +2
k
k=1
| {z }
∈Z
Luego, 9|10n+1 +3· 10n +5

Autoevaluación
A cargo de alumnos
Hallar todos los n ∈ Z, n 6= 1 tales que (n − 1) | n2 + 5


Autoevaluación - Respuesta
Hallar todos los n ∈ Z, n 6= 1 tales que (n − 1) | n2 + 5

* (n − 1) | (n − 1) todo número 6= 0 se divide a sı́ mismo

Usando la propiedad a|b ⇒ a|bc (∀c ∈ Z)
⇒ (n − 1) | (n − 1) (n + 1) ⇒ (n − 1) | n2 − 1

Tenemos (n − 1) | n2 + 5 y (n − 1) | n2 − 1

⇒ (n − 1) divide a la resta
(n − 1) | n2 + 5 − n2 − 1 ⇒ (n − 1) |6


 n − 1 = ±1 → n = 0 ∨ n = 2
n − 1 = ±2 → n = −1 ∨ n = 3


 n − 1 = ±3 → n = −2 ∨ n = 4
n − 1 = ±6 → n = −5 ∨ n = 7


Teoria Enteros 1 P2

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Teoria Enteros 1 P2

Cargado por

Copyright:

Formatos disponibles

Números Enteros

Matemática Discreta - 2022 -UNICEN

Cátedra de Matemática Discreta Números Enteros

Cátedra de Matemática Discreta Números Enteros

Todo número real puede escribirse como un desarrollo decimal

Cátedra de Matemática Discreta Números Enteros

Cátedra de Matemática Discreta Números Enteros

Cátedra de Matemática Discreta Números Enteros

Cátedra de Matemática Discreta Números Enteros

Cátedra de Matemática Discreta Números Enteros

Cátedra de Matemática Discreta Números Enteros

Cátedra de Matemática Discreta Números Enteros

Cátedra de Matemática Discreta Números Enteros

Cátedra de Matemática Discreta Números Enteros

Cátedra de Matemática Discreta Números Enteros

Cátedra de Matemática Discreta Números Enteros

Cátedra de Matemática Discreta Números Enteros

Cátedra de Matemática Discreta Números Enteros

Cátedra de Matemática Discreta Números Enteros

Cátedra de Matemática Discreta Números Enteros

Cátedra de Matemática Discreta Números Enteros

Cátedra de Matemática Discreta Números Enteros

Cátedra de Matemática Discreta Números Enteros

Cátedra de Matemática Discreta Números Enteros

Cátedra de Matemática Discreta Números Enteros

Cátedra de Matemática Discreta Números Enteros

Cátedra de Matemática Discreta Números Enteros

Cátedra de Matemática Discreta Números Enteros

Cátedra de Matemática Discreta Números Enteros

Cátedra de Matemática Discreta Números Enteros

Ejemplo: a = −35; b = 5 entonces −35 = 5 (−7)

Cátedra de Matemática Discreta Números Enteros

* 1|a y a|a para todo a ∈ Z

* a|0 pues 0 = 0 · a para todo a ∈ Z

Cátedra de Matemática Discreta Números Enteros

Cátedra de Matemática Discreta Números Enteros

Cátedra de Matemática Discreta Números Enteros

Cátedra de Matemática Discreta Números Enteros

Cátedra de Matemática Discreta Números Enteros

a = q · b + r , con 0 ≤ r < |b|

Observación: El resto es no negativo

Cátedra de Matemática Discreta Números Enteros

Cátedra de Matemática Discreta Números Enteros

En el caso de ser verdadera, se pide hacer una

Cátedra de Matemática Discreta Números Enteros

En el caso de ser verdadera, se pide hacer una demostración.

Cátedra de Matemática Discreta Números Enteros

En el caso de ser verdadera, se pide hacer una demostración.

En el caso de ser falsa exhibir un

Cátedra de Matemática Discreta Números Enteros

En el caso de ser verdadera, se pide hacer una demostración.

En el caso de ser falsa exhibir un contraejemplo.

Además discutir si al restringirlas a los enteros positivos se produce

Cátedra de Matemática Discreta Números Enteros

Cátedra de Matemática Discreta Números Enteros

Cátedra de Matemática Discreta Números Enteros

Cátedra de Matemática Discreta Números Enteros

Cátedra de Matemática Discreta Números Enteros

* En Z>0 la proposición es falsa

Cátedra de Matemática Discreta Números Enteros

Cátedra de Matemática Discreta Números Enteros

Cátedra de Matemática Discreta Números Enteros

Cátedra de Matemática Discreta Números Enteros