1. Sean 𝑎, 𝑏, 𝑐 ∈ ℤ.

Demuestre que si 𝑎𝑏 = 𝑎𝑐, con 𝑎 ≠ 0,

entonces 𝑏 = 𝑐 (desarrolle la demostración de manera semejante
a la de la proposición 21)

Dem: 𝑎𝑏 = 𝑎𝑐 ⇒ 𝑎𝑏 + (−(𝑎𝑐 ))𝑎𝑐 + (−(𝑎𝑐 )) sustitución aditiva

⇒ 𝑎𝑏 − 𝑎𝑐 = 0 definición de resta, inverso aditivo
⇒ (𝑎 − 𝑐 )𝑎 = 0 proposicion 20 (2)
Entonces 𝑏 − 𝑐 = 0 o 𝑎 = 0 por proposicion 18 (3) y como 𝑎 ≠ 0
por hipótesis, concluimos que 𝑏 − 𝑐 = 0
⇒ 𝑏 + (−𝑐 ) = 0 definición de resta
⇒ [𝑏 + (−𝑐 )] + 𝑐 = 0 + 𝑏 sustitución aditiva
⇒ 𝑏 + [(−𝑐 ) + 𝑐 ] = 𝑐 asociativa de la suma y neutro aditivo
⇒ 𝑏+0 =𝑐 inverso aditivo
∴𝑏=𝑐 neutro aditivo

2. Sean 𝑎, 𝑏, 𝑐 ∈ ℤ. Demuestre
𝑖) − (−(𝑎 − 𝑏)) + (𝑏 − 𝑎) = 0
−( −𝑎 + 𝑏)) + (𝑏 − 𝑎) Leyes de los signos
= ( 𝑎 − 𝑏) + (𝑏 − 𝑎) Leyes de los signos
= 𝑎(−𝑏 + 𝑏) − 𝑎 Asociatividad en la suma
= (−𝑏 + 𝑏) + (−𝑎 + 𝑎) Conmutatividad y asociatividad en la suma
0 + 0 = 0 Inverso aditivo
∴ −(−(𝑎 − 𝑏)) + (𝑏 − 𝑎) = 0
𝑖𝑖) (−𝑎 − 𝑏)(−𝑐) = 𝑎𝑐 + 𝑏𝑐
[(−𝑎 + (−𝑏)](−𝑐 ) = Definición de resta
[(−𝑎)(−𝑐 )] + [(−𝑏)(−𝑐 )] = Distributiva
𝑎𝑐 + 𝑏𝑐 = Prop. 19(3)
∴ (−𝑎 − 𝑏)(−𝑐) = 𝑎𝑐 + 𝑏𝑐

𝑖𝑖𝑖) (𝑎 + 𝑏)(𝑎 − 𝑏) = 𝑎2 − 𝑏 2

(𝑎 + 𝑏)(𝑎[−1(𝑏)] Prop.19(1)
= 𝑎 + (𝑏 + 𝑎)[−1(𝑏)] Asociatividad en la suma
= 𝑎 + (𝑎 + 𝑏)[(𝑏) − 1] Conmutativa en la suma
= (𝑎 + 𝑎) + (𝑏 + 𝑏)(−1) Asociativa en la suma
= 𝑎2 + 𝑏 2 (−1)
= 𝑎2 + [(𝑏 2 − 1)] Asosiatividad
= 𝑎2 + (−𝑏 2 )Prop.19(1)
= 𝑎2 −𝑏 2
∴ (𝑎 + 𝑏)(𝑎 − 𝑏) = 𝑎 2 − 𝑏 2

3. Sean 𝑎, 𝑏, 𝑐 ∈ ℤ, 𝑚, 𝑛, 𝑘 ∈ ℤ+ . Use las propiedades de los

exponentes para demostrar las siguientes igualdades
𝑖)(𝑎𝑛 𝑏 𝑚 )𝑘 = 𝑎𝑛𝑘 𝑏 𝑚𝑘
(𝑎𝑛 𝑏 𝑚 )𝑘 = (𝑎𝑛𝑘 )(𝑏 𝑚𝑘 ) proposición distributiva
= (𝑎 𝑚𝑘 )(𝑏 𝑛𝑘 ) propiedad distributiva
= 𝑎𝑛𝑘 𝑏 𝑚𝑘 propiedad asociativa
∴ (𝑎 𝑚 𝑏 𝑛 )𝑘 = 𝑎𝑛𝑘 𝑏 𝑚𝑘

𝑖𝑖)(𝑎 𝑘 )𝑛+𝑚 = (𝑎𝑚 𝑎 𝑛 )𝑘

= (𝑎 𝑘𝑚 𝑎𝑛𝑘 ) proposición distributiva
= (𝑎 𝑚 𝑎𝑛 )𝑘 propiedad asociativa
∴ (𝑎 𝑘 )𝑛+𝑚 = (𝑎𝑚 𝑎𝑛 )𝑘

4. Sean 𝑎, 𝑏, 𝑐, 𝑑 ∈ ℤ. Utilice las propiedades de orden de los

números enteros para demostrar las siguientes desigualdades
𝑖) Si 𝑎 + 𝑐 < 𝑏 + 𝑐 entonces 𝑎 < 𝑏
Existe d ∈ ℤ tal que 𝑐 + 𝑑 = 0(inverso aditivo)
𝑎 + 𝑐 + 𝑑 < 𝑏 + 𝑐 + 𝑑 suma en la desigualdad.
𝑎 + (𝑐 + 𝑑) < 𝑏 + (𝑐 + 𝑑) Asociatividad en la suma
𝑎 + 0 < 𝑏 + 0 Inverso aditivo
∴𝑎<𝑏

𝑖𝑖) Si 𝑎 < 𝑏 y 𝑐 < 𝑑 entonces 𝑎 + 𝑐 < 𝑏 + 𝑑

Como 𝑎 < 𝑏 y 𝑐 < 𝑑 tenemos que 𝑏 − 𝑎 y 𝑑 − 𝑐 por definición de
orden
Tenemos que 𝑏 − 𝑎 + 𝑑 − 𝑐
𝑏(−𝑎 + 𝑑) − 𝑐 proposición asociativa
𝑏(𝑑 − 𝑎) − 𝑐 proposición conmutativa
(𝑏 + 𝑑)(−𝑎 − 𝑐) proposición asociativa
(𝑏 + 𝑑) − (𝑏 − 𝑑)(−𝑎 − 𝑐) proposición del inverso aditivo
(𝑏 + 𝑑) − (𝑏 + 𝑑) − (𝑎 + 𝑐) prop.16(2)
∴ 𝑎+𝑐 < 𝑏+𝑑

𝑖𝑖𝑖) Sean 𝑚, 𝑛 ∈ ℤ. Diga si las siguientes expresiones son

Verdaderas o Falsas y justifique su respuesta
𝑎) Si 𝑛 ≤ 𝑚 entonces 𝑛2 ≤ 𝑚2
Caso 1. Si 𝑛 = 𝑚, entonces
𝑛+𝑛 = 𝑛+𝑛
𝑛2 = 𝑛2
Caso 2. Si 𝑛 < 𝑚,
𝑚 − 𝑛 + (𝑚 + 𝑛) Def. de resta e inverso aditivo.
𝑚 − (𝑚 + 𝑛) − 𝑛 Conmutativa de la suma
(𝑚 + 𝑚) + (𝑛 − 𝑛) Asociativa de la suma
(𝑚 + 𝑚) + (𝑛 + (−𝑛) Def. de resta
(𝑚 + 𝑚) + (𝑛 + [(−1)(𝑛)]) Prop. 19(1)
(𝑚 + 𝑚) + (𝑛 + [(𝑛)(−1)]) Conmutativa de la mult.
(𝑚 + 𝑚) + [(𝑛 + (𝑛)](−1) Asociativa
𝑚2 + [𝑛2 (−1)]
𝑚2 − 𝑛2 Prop. 19(1)
𝑛2 < 𝑚2 Def. de resta

𝑏) Si 𝑛2 < 𝑚2 entonces 𝑛 < 𝑚

Como 𝑛2 < 𝑚2 , tenemos que 𝑚2 > 0, 𝑝𝑜𝑟 𝑙𝑜 𝑡𝑎𝑛𝑡𝑜 𝑚2 ≠ 0.
Por definición de resta tenemos
𝑚2 − 𝑛2 > 0
(𝑚+𝑛)(𝑚−𝑛)>0
Como
(𝑚+𝑛)>0, entonces 𝑚−𝑛, por definición de resta 𝑛<𝑚.

5. Sean 𝑎, 𝑏, 𝑐 ∈ ℤ. Demuestre las siguientes propiedades del

valor absoluto de números enteros
𝑖)|𝑎2 | = |𝑎|2
Sea (𝑎)(𝑎) = (+𝑎)(+𝑎) = |𝑎| ∙ |𝑎|
Entonces (𝑎)(𝑎) = |𝑎|2 = 𝑎2 = |𝑎2 | por definición de valor absoluto
|𝑎2 | = |𝑎| ∙ |𝑎| = (𝑎)(𝑎 ) = (−𝑎)(−𝑎)
Tenemos que |𝑎2 | = |𝑎|2
∴ |𝑎2 | = |𝑎|2

𝑖𝑖)|𝑎 | = |𝑏| sí y solo si 𝑎 = 𝑏 o 𝑎 = −𝑏

Sea |𝑎| = |𝑏| si 𝑎 = 𝑏
Por definición de valor absoluto
𝑎 = |𝑎| si |𝑎| = 𝑎 ≥ 0
𝑏 = |𝑏| si |𝑏| = 𝑏 ≥ 0
∴ |𝑎| = |𝑏|

Sea |𝑎| = |𝑏| si 𝑎 = −𝑏

Por definición de valor absoluto
𝑎 = |𝑎| si |𝑎| = 𝑎 ≥ 0
−𝑏 = |𝑏| si |𝑏| = −𝑏 ≤ 0
∴ |𝑎| = |𝑏|