Facultad de Educación e Idiomas

Departamento de Enseñanza de las Ciencias

Carrera de Física - Matemática
Álgebra I

Turno: Profesionalización Año: Segundo

CONTENIDOS
▪ El cuerpo de los números racionales y reales
▪ El cuerpo de los decimales como copia isomorfa del cuerpo de los
números racionales.

OBJETIVOS
• Manipular propiedades en la estructura de cuerpo ordenado de los
números racionales y reales.
• Resolver problemas con decimales utilizando el isomorfismo de éstos
con los números racionales.

EL CUERPO ORDENADO DE LOS NÚMEROS RACIONALES

Definición 1: Los números racionales se definen como los “cocientes “

𝑚
ℚ= { ∶ 𝑚 𝜖 ℤ, 𝑛 𝜖 ℕ}.
𝑛
Observaciones:
𝑚
1. La expresión es solamente una notación que indica que podemos
𝑛
definir un número racional a partir de 𝑚 y 𝑛.

𝑚 𝑚′
2. La representación no es única pues y representan el mismo número
𝑛 𝑛′
racional si 𝑚𝑛′ = 𝑚′𝑛.

𝑚
3. Cada número entero 𝑚 puede identificarse con el número racional ,
1
razón por la cual podemos decir que el anillo (ℤ, +, ∙) está incluido en el
campo (ℚ , +, ∙) de los números racionales.

OPERACIONES ENTRE NÚMEROS RACIONALES

1
SUMA:
𝑚 𝑚′ 𝑚𝑛′ + 𝑚′𝑛
+ = .
𝑛 𝑛′ 𝑛𝑛′
PRODUCTO:

𝑚 𝑚′ 𝑚𝑚′
∙ = .
𝑛 𝑛′ 𝑛𝑛′
ℚ con estas dos operaciones cumple las siguientes propiedades que definen
a un cuerpo:

1. Para la suma:

a) Asociatividad:
𝑚 𝑚′ 𝑚′′ 𝑚 𝑚′ 𝑚′′
( + )+ = +( + ).
𝑛 𝑛′ 𝑛′′ 𝑛 𝑛′ 𝑛′′
0
b) Existe un elemento neutro tal que
𝑛
𝑚 0 𝑚
+ = .
𝑛 𝑛 𝑛
𝑚 −𝑚
c) Existe un elemento opuesto: para todo ∈ ℚ existe ∈ ℚ tal que
𝑛 𝑛
𝑚 −𝑚
+ = 0.
𝑛 𝑛
d) Conmutatividad:
𝑚 𝑚′ 𝑚′ 𝑚
+ = + .
𝑛 𝑛′ 𝑛′ 𝑛

2. Para el producto:

a) Asociatividad:
𝑚 𝑚′ 𝑚′′ 𝑚 𝑚′ 𝑚′′
( ∙ ) ∙ ′′ = ∙ ( ′ ∙ ′′ ).
𝑛 𝑛′ 𝑛 𝑛 𝑛 𝑛

𝑛
b) Elemento neutro tal que
𝑛
𝑚 𝑛 𝑚
∙ = .
𝑛 𝑛 𝑛
𝑚 𝑛
c) Elemento recíproco: para todo ∈ ℚ − {0} existe ∈ ℚ tal que
𝑛 𝑚
𝑚 𝑛
∙ = 1.
𝑛 𝑚

2
d) Conmutatividad:
𝑚 𝑚′ 𝑚′ 𝑚
∙ = ∙ .
𝑛 𝑛′ 𝑛′ 𝑛
3. El producto es distributivo respecto a la suma:

𝑚 𝑚′ 𝑚′′ 𝑚 𝑚′ 𝑚 𝑚′′
∙( + )= ∙ + ∙ .
𝑛 𝑛′ 𝑛′′ 𝑛 𝑛′ 𝑛 𝑛′′

ORDEN NATURAL EN ℚ

Definición 2. Se llaman números racionales positivos a los que se pueden

𝑚
representar como , donde 𝑚 y 𝑛 son números naturales. Es decir,
𝑛
𝑚
ℚ+ = { ∈ ℚ ∶ 𝑚, 𝑛 ∈ ℕ}.
𝑛

Definición 3. Se dice que un número racional 𝑟 es menor que un número

racional 𝑠, y se escribe 𝑟 < 𝑠, cuando 𝑠 + (−𝑟) es un racional positivo: 𝑟 <
𝑠 si (𝑠 + (−𝑟)) ∈ ℚ+ .

Observación:

𝑠 > 𝑟 significa que 𝑟 es menor que 𝑠.

𝑟 ≤ 𝑠 significa que 𝑟 es menor o igual que 𝑠.

CARACTERÍSTICAS DEL ORDEN:

1. El orden es total: Dados dos números racionales cualquiera, uno siempre

es menor o igual que el otro.
2. El orden es compatible con las operaciones del cuerpo:
a) Sean 𝑟, 𝑠, 𝑡 ∈ ℚ. Si 𝑟 ≤ 𝑠 implica que 𝑟 + 𝑡 ≤ 𝑠 + 𝑡.
b) Sean 𝑟, 𝑠, 𝑡 ∈ ℚ y 𝑡 ≥ 0. Si 𝑟 ≤ 𝑠 implica que 𝑟 ∙ 𝑡 ≤ 𝑠 ∙ 𝑡.

Definición 4. Un cuerpo se dice que es ordenado si el orden es compatible

con las operaciones del cuerpo.
Por las características del orden, ℚ es un cuerpo ordenado.

3
3. El orden es denso en ℚ porque entre dos números racionales distintos
siempre existe otro racional. Sin embargo, el orden en ℤ no es denso.
¿Por qué?

ACTIVIDADES
1 1
- Encuentre dos números racionales entre y , luego un número
2 3
racional entre los números encontrados. ¿Puede continuar
indefinidamente esta búsqueda?
- Muchos estudiantes suman números racionales de la siguiente manera:
𝑚 𝑝 𝑚+𝑝
+ = . Usando esta definición de suma, suponga que usted a
𝑛 𝑞 𝑛+𝑞
1
partir de hoy empieza a ahorrar 50 centavos, es decir córdoba cada
2
1 1 2 1
día. Según esta suma en dos días usted tendría + = = córdoba
2 2 4 2
¿cuánto dinero habrá ahorrado en una semana? ¿en un mes? ¿en un año?
¿en cien años?
𝑎2 +1
- Si 𝑎, 𝑏 𝜖 ℚ, 𝑎 ≠ 0, 𝑏 ≠ 0 ¿cuál es el recíproco de ?
𝑏
- ¿A qué conjunto pertenece la suma de dos elementos de ℚ+ ?
- ¿A qué conjunto pertenece el producto de dos elementos de ℚ+ ?
- ¿A qué conjunto pertenece el producto de un elemento de ℚ + por otro
de ℚ?
- Pruebe que la relación de orden < en ℚ es transitiva.
- ¿Podemos decir que todo número racional tiene sucesor? Explique.

DECIMALES PERIÓDICOS

Definición 5. Un decimal infinito que repite indefinidamente una sucesión

mínima de 𝑝 dígitos se llama decimal con período 𝑝.

Ejemplo 1. Los números 0.3272727 … y 1.30253025 son periódicos, el primero

de período 𝑝 = 2 y el segundo de período 𝑝 = 4, y se escriben 0.327
̅̅̅̅ y 1. ̅̅̅̅̅̅̅
3025.
1
Ejemplo 2. Encuentre el número racional que representa la suma infinita +
10
1 1
+ ⋯ + 10𝑛 + ⋯.
102

1
SOLUCIÓN. Esta suma infinita es del tipo 𝑎 + 𝑎𝑞 + ⋯ + 𝑎𝑞 𝑛 + ⋯ donde 𝑎 = 10
1 1 𝑎
y 𝑞 = 10 , con 0 < 𝑞 = 10 < 1 representa el número , que en este caso es
1−𝑞

4
 1
10
1
1−
10
1
y es igual al número racional .
9

ACTIVIDAD. Estudie la sección 10.3 sobre sucesiones geométricas del libro

Álgebra y Trigonometría con Geometría Analítica, de Earl Swokowski y Jeffery
Cole, 13ª edición. En la sección de ejercicios resuelva los ejercicios
relacionados con un tipo de fractal llamado tamiz de Sierpinski.

Teorema 1. Todo decimal infinito representa a un número real.

Teorema 2. Un número real tiene a lo más una representación decimal finita

o infinita.

Teorema 3. Todo decimal periódico infinito representa a un número real.

Teorema 4. Todo número racional puede ser desarrollado como un decimal

finito o un decimal infinito periódico.

Nota. Todos estos teoremas tienen su propia demostración, pero para

comprenderlas nos faltan algunos conocimientos de sucesiones y series que
pertenecen al cálculo elemental.

ACTIVIDADES. Resuelva los siguientes ejercicios.

▪ Encuentre los números racionales, como cociente de enteros en su

forma reducida, representados por

(a) 3. 14
̅̅̅̅ (b) 0.10357
̅̅̅̅̅ (c) 2. 718
̅̅̅̅̅
5 22 870
▪ Encuentre la representación decimal de (a) (b) (c)
11 13 43
▪ Encuentre la forma decimal de los números representados por
6 2 7
a) + + ⋯+ +⋯
7 7 7 (3 𝑛−2 )
3 1 1
b) + + ⋯+ +⋯
1 52 5 2𝑛
7
c) + 0 ∙ 9 + ⋯ + (∙ 9)𝑛 + ⋯.
11

5
EL CUERPO ORDENADO DE LOS NÚMEROS REALES

Dado el conjunto ℝ = ℚ,∪ ℚ′, cuyos elementos se llaman números reales.

Dadas dos operaciones, suma y multiplicación, denotadas por + y ∙. La
estructura algebraica con la que estamos tratando es (ℝ, +, ∙). Las
propiedades del sistema son como sigue:

A-1. ℝ es cerrado bajo la suma. Esto es, si 𝑎 y 𝑏 pertenecen a ℝ, entonces

𝑎 + 𝑏 también está en ℝ.

A-2. La adición es asociativa. Es decir, para cualesquiera 𝑎, 𝑏, 𝑐 en ℝ,

𝑎 + (𝑏 + 𝑐 ) = (𝑎 + 𝑏) + 𝑐.

A-3. Hay, exactamente, un elemento de ℝ, denotado por 0, tal que

𝑎 + 0 = 0 + 𝑎 = 𝑎, para cada 𝑎 en ℝ.

A-4. Para cada 𝑎 en ℝ hay exactamente un número −𝑎 en ℝ, llamado

opuesto de 𝑎, tal que
𝑎 + (−𝑎) = (−𝑎) + 𝑎 = 0.

A-5. La adición en ℝ es conmutativa, es decir, para cualesquiera 𝑎 y 𝑏 en

ℝ, entonces
𝑎 + 𝑏 = 𝑏 + 𝑎.

Así pues, estos postulados indican que (ℝ, +) es un grupo abeliano.

M-1. ℝ es cerrado bajo la multiplicación. Esto es, si 𝑎 y 𝑏 pertenecen a ℝ,

entonces 𝑎 ∙ 𝑏 también está en ℝ.

Nota: Aquí, y en lo sucesivo, denotaremos el producto 𝑎 ∙ 𝑏 simplemente

por 𝑎𝑏. Esto es por conveniencia, y no lo haremos consistentemente. Por
ejemplo, cuando escribimos 26, queremos decir veintiséis, no doce.

M-2. La multiplicación es asociativa. Es decir, para cualesquiera 𝑎, 𝑏, 𝑐 en

ℝ, entonces
𝑎 (𝑏𝑐 ) = (𝑎𝑏)𝑐.

M-3. Hay, exactamente, un elemento de ℝ, denotado por 1, talque

𝑎1 = 1𝑎 = 𝑎, para cada 𝑎 en ℝ.

M-4. Para cada 𝑎 en ℝ − {0} hay exactamente un número 𝑎−1 en ℝ,

llamado inverso o recíproco de 𝑎, tal que

6
 𝑎𝑎−1 = 𝑎−1 𝑎 = 1.

M-5. La multiplicación en ℝ es conmutativa, es decir, para cualesquiera 𝑎

y 𝑏 en ℝ, entonces
𝑎𝑏 = 𝑏𝑎.

Así pues, estos postulados indican que (ℝ − {0}, ∙) es un grupo abeliano.

M-6. 1 es diferente de 0.

Este postulado puede parecer peculiar, pero es necesario. Bajo los

postulados precedentes, no tenemos una garantía de que ℝ contiene algún
número además de 0.

Los postulados, hasta ahora, han tratado con la adición y multiplicación

separadamente. Estas dos operaciones están conectadas por el postulado
siguiente.

AM-1. Ley distributiva. Si 𝑎, 𝑏 y 𝑐 pertenecen a ℝ, entonces 𝑎(𝑏 + 𝑐 ) =

𝑎𝑏 + 𝑎𝑐.

Dado que en (ℝ, +, ∙) se cumplen todas las propiedades descritas

anteriormente, entonces (ℝ, +, ∙) recibe el nombre de campo de los números
reales.

Además de estos postulados, el lector puede sentir la necesidad de los dos

enunciados siguientes:

E-1. Si 𝑎 = 𝑏 y 𝑐 = 𝑑, entonces 𝑎 + 𝑐 = 𝑏 + 𝑑.
E-2. Si 𝑎 = 𝑏 y 𝑐 = 𝑑, entonces 𝑎𝑐 = 𝑏𝑑.

Aquí debe entenderse que 𝑎, 𝑏, 𝑐 y 𝑑 están en ℝ. Pero estos enunciados

no son postulados para el sistema de números reales. Estas propiedades son
llamadas compatibilidad de la igualdad de números reales con respecto a las
operaciones de adición y multiplicación respectivamente.

La resta se define por medio de A-4, de la siguiente manera 𝑎 − 𝑏 = 𝑎 + (−𝑏).

𝑎
Similarmente, división se define por medio de M-4 así, = 𝑎𝑏−1 .
𝑏

De los postulados anteriores, pueden derivarse todos los teoremas usuales

que rigen la adición y la multiplicación. Comenzaremos el proceso de la
manera siguiente.

7
Teorema 5. 𝑎 ∙ 0 = 0 para cualquier 𝑎.

Demostración.
Afirmación Justificación
1 = 1+0 A-3
𝑎 ∙ 1 = 𝑎 ∙ (1 + 0) E-2
𝑎= 𝑎 ∙1 +𝑎 ∙0 M-3 y AM-1
𝑎 = 𝑎 + 𝑎∙ 0 M-3
(−𝑎) + 𝑎 = (−𝑎) + (𝑎 + 𝑎 ∙ 0) E-1
0 = [(−𝑎) + 𝑎] + 𝑎 ∙ 0 A-2 y A-4
0= 0 +𝑎 ∙ 0 A-4
0 = 𝑎 ∙0 A-3
En conclusión, 𝑎 ∙ 0 = 0 para cualquier 𝑎.

Teorema 6. Si 𝑎𝑏 = 0, entonces 𝑎 = 0 o 𝑏 = 0.

Demostración
Afirmación Justificación
𝑎𝑏 = 0 Hipótesis
𝑎≠0 Suposición
−1 (
𝑎 𝑎𝑏) = 𝑎 0 −1
𝑎 ≠ 0 y E-2
−1
(𝑎 𝑎)𝑏 = 0 M-2 y Teorema 1
1𝑏 = 0 M-4
𝑏 =0 M-3
Similarmente se prueba que si 𝑎𝑏 = 0 y 𝑏 ≠ 0, entonces 𝑎 = 0. ¿por qué no
se considera el caso 𝑎 = 0? ¿y 𝑏 = 0?

En conclusión, si 𝑎𝑏 = 0, entonces 𝑎 = 0 o 𝑏 = 0.

Este es el teorema que el lector utiliza al resolver ecuaciones por

factorización. Si
(𝑥 − 1)(𝑥 − 2) = 0,
entonces 𝑥 = 1 o 𝑥 = 2, porque el producto de los números 𝑥 − 1 y 𝑥 − 2
es cero si al menos uno de ellos es cero. Esta propiedad indica que el
producto de elementos distintos de cero da como producto un elemento no
nulo.

Teorema 7. 0 no tiene recíproco. Esto es, no existe un número 𝑥 tal que

0𝑥 = 1.

8
Demostración. Sabemos que 0𝑥 = 0 para cualquier 𝑥. Si tuviéramos 0𝑥 = 1
para algún 𝑥, se seguiría que 0 = 1. Esto es imposible porque M-6 dice que
0 ≠ 1. Por tanto, 0 no tiene recíproco.
Este teorema da la razón de por qué la división entre cero es imposible.

Teorema 8. Ley de cancelación de la adición. Si 𝑎 + 𝑏 = 𝑎 + 𝑐, entonces 𝑏 =

𝑐.

Demostración
Afirmación Justificación
𝑎 +𝑏 = 𝑎+ 𝑐 Hipótesis
(−𝑎) + (𝑎 + 𝑏) = (−𝑎) + (𝑎 + 𝑐) E-1
[(−𝑎) + 𝑎] + 𝑏 = [(−𝑎) + 𝑎] + 𝑐 A-2
0+ 𝑏 = 0+𝑐 A-4
𝑏=𝑐 A-3
Por tanto, si 𝑎 + 𝑏 = 𝑎 + 𝑐, entonces 𝑏 = 𝑐.

Teorema 9. Ley de cancelación de la multiplicación. Si 𝑎𝑏 = 𝑎𝑐 y 𝑎 ≠ 0,

entonces 𝑏 = 𝑐.

Demostración
Afirmación Justificación
𝑎𝑏 = 𝑎𝑐 Hipótesis
𝑎 𝑎𝑏) = 𝑎−1 (𝑎𝑐 )
−1 (
𝑎 ≠ 0 y E-2
(𝑎−1 𝑎)𝑏 = (𝑎−1 𝑎)𝑐 M-2
1𝑏 = 1𝑐 M-4
𝑏=𝑐 M-3
Por tanto, si 𝑎𝑏 = 𝑎𝑐 y 𝑎 ≠ 0, entonces 𝑏 = 𝑐.

Teorema 10. −(−𝑎) = 𝑎, para cada 𝑎 en ℝ.

Demostración

Por A-4 tenemos que (−𝑎) + [−(−𝑎)] = [−(−𝑎)] + (−𝑎) = 0 y también 𝑎 +

(−𝑎) = (−𝑎) + 𝑎 = 0, es decir que −(−𝑎) y 𝑎 son el opuesto de −𝑎. Dado
que el opuesto de un número real es único, entonces −(−𝑎) = 𝑎.

Teorema 11. (−𝑎)𝑏 = −(𝑎𝑏), para cada 𝑎 y 𝑏 en ℝ.

Demostración

Lo que tenemos que demostrar es que (−𝑎)𝑏 es el opuesto de 𝑎𝑏, es decir

9
 (−𝑎)𝑏 + 𝑎𝑏 = 𝑎𝑏 + (−𝑎)𝑏 = 0.
Por la ley distributiva tenemos, (−𝑎)𝑏 + 𝑎𝑏 = [(−𝑎) + 𝑎]𝑏. Ahora por la
propiedad del opuesto, se tiene [(−𝑎) + 𝑎]𝑏 = 0𝑏. Por el teorema 1 0𝑏 = 0.
Finalmente, (−𝑎)𝑏 + 𝑎𝑏 = 0. Dado que la adición es conmutativa, tenemos
(−𝑎)𝑏 + 𝑎𝑏 = 𝑎𝑏 + (−𝑎)𝑏 = 0, es decir (−𝑎)𝑏 = −(𝑎𝑏).

Teorema 12. (−𝑎)(−𝑏) = 𝑎𝑏, para cada 𝑎 y 𝑏 en ℝ.

Demostración

Afirmación Justificación
(−𝑎)(−𝑏) = −[𝑎(−𝑏)] ___________________
= −[(−𝑏)𝑎] ___________________
= −[−(𝑏𝑎)] ___________________
= 𝑏𝑎 ___________________
= 𝑎𝑏 ___________________
(−𝑎)(−𝑏) = 𝑎𝑏 ___________________
Justifique cada paso de la demostración anterior.

Teorema 13. El recíproco del producto es el producto de los recíprocos. Esto

es, para cualesquiera 𝑎 y 𝑏 no nulos, se tiene (𝑎𝑏)−1 = 𝑎−1 𝑏−1 .

Demostración. Necesitamos demostrar que (𝑎𝑏)(𝑎−1 𝑏−1 ) = 1.

Afirmación Justificación
(𝑎𝑏)(𝑎−1 𝑏−1 ) = 𝑎[𝑏(𝑎−1 𝑏−1 )] M-2
= 𝑎[𝑏(𝑏−1 𝑎 −1 )] M-5
= 𝑎[(𝑏𝑏−1 )𝑎−1 ] M-2
= 𝑎[1𝑎−1 ] M-4
= 𝑎𝑎−1 M-3
=1 M-4
−1 −1
(𝑎𝑏)(𝑎 𝑏 ) = 1 Transitividad de la
=
En conclusión, el recíproco del producto es el producto de los recíprocos.

Teorema 14. El opuesto de la suma es la suma de los opuestos. Esto es,

−(𝑎 + 𝑏) = (−𝑎) + (−𝑏).
Demostración. Necesitamos demostrar que (𝑎 + 𝑏) + [(−𝑎) + (−𝑏)] = 0.

Afirmación Justificación
(𝑎 + 𝑏) + [(−𝑎) + (−𝑏)] = 𝑎 + [𝑏 + [(−𝑎) + (−𝑏)]] A-2

10
 = 𝑎 + [𝑏 + [(−𝑏) + (−𝑎)]] A-5
= 𝑎 + [[𝑏 + (−𝑏)] + (−𝑎)] A-2
= 𝑎 + [0 + (−𝑎)] A-4
= 𝑎 + (−𝑎) A-3
=0 A-4
(𝑎 + 𝑏) + [(−𝑎) + (−𝑏)] = 0 Transitividad de la
=
En conclusión, el opuesto de la suma es la suma de los opuestos.

Tenemos que para cualquier número real 𝒂 ≠ 𝟎 y 𝑛 ∈ ℕ, se tiene que

𝑎𝑛 = ⏟
𝑎 ∙ 𝑎 ∙ ⋯ ∙ 𝑎.
𝑛 veces
De modo semejante 1 + 1 = 2, 3 = 2 + 1 = 1 + 1 + 1, y así sucesivamente.

ACTIVIDADES.

1. Demuéstrese que para cualesquiera 𝑎, 𝑏 y 𝑐 en ℝ, se cumple que

a) (𝑎 + 𝑏)(𝑎 − 𝑏) = 𝑎2 − 𝑏2
b) 𝑏(−𝑎) = −(𝑎𝑏)
c) 𝑎(𝑏 − 𝑐 ) = 𝑎𝑏 − 𝑎𝑐
d) −0 = 0
e) (−𝑎) + (−𝑎) = (−2)𝑎
f) 𝑎3 𝑏 = 𝑏𝑎3

2. Supóngase que la resta se considera como una operación, ¿es asociativa

la resta? ¿y conmutativa?

3. Supóngase que la división se considera como una operación, ¿es

asociativa la división? ¿y conmutativa?

El orden en los números reales

Definición 6. En ℝ se define la relación < de la siguiente manera:

O-1. Cada par de números reales (𝑎, 𝑏) satisface una, y sólo una, de las
condiciones 𝑎 < 𝑏, 𝑏 < 𝑎 o 𝑎 = 𝑏.

O-2. Si 𝑎 < 𝑏 y 𝑏 < 𝑐, entonces 𝑎 < 𝑐.

11
La expresión 𝑎 < 𝑏 se pronuncia “𝑎 es menor que 𝑏”. Cuando escribimos
𝑏 > 𝑎, esto significa que 𝑎 < 𝑏. Cuando escribimos 𝑎 ≤ 𝑏 significa que 𝑎 <
𝑏 o 𝑎 = 𝑏. La relación < está conectada con la suma y la multiplicación
mediante las siguientes condiciones.

AO-1. Si 𝑎 < 𝑏, entonces 𝑎 + 𝑐 < 𝑏 + 𝑐 para cada 𝑐.

MO-1. Si 𝑎 > 0 y 𝑏 > 0, entonces 𝑎𝑏 > 0.

El hecho de que en ℝ se cumplan estas dos condiciones, indica que

(ℝ, +, ∙, <) es un campo ordenado.

Teorema 15. Si 𝑎 < 𝑏 y 𝑐 < 𝑑, entonces 𝑎 + 𝑐 < 𝑏 + 𝑑.

Demostración
Afirmación Justificación
𝑎<𝑏 ∧ 𝑐<𝑑 Hipótesis
𝑎 +𝑐 < 𝑏 +𝑐 ∧ 𝑏+ 𝑐 < 𝑏 +𝑑 AO-1
𝑎 + 𝑐 < 𝑏 +𝑑 O-2
Teorema 16. 𝑎 < 𝑏 si y solo si 𝑏 − 𝑎 > 0.

Demostración
Afirmación Justificación
𝑎<𝑏 Hipótesis
𝑎 + (−𝑎) < 𝑏 + (−𝑎) AO-1
0< 𝑏−𝑎 Prop. del opuesto y def. de resta

Teorema 17. Si 𝑎 < 𝑏 y 𝑐 > 0, entonces 𝑎𝑐 < 𝑏𝑐.

Demostración
Afirmación Justificación
𝑎<𝑏 Hipótesis
𝑏 −𝑎 > 0 Teorema 12
𝑐>0 Hipótesis
( 𝑏 − 𝑎) 𝑐 > 0 MO-1
𝑏𝑐 − 𝑎𝑐 > 0 Ejercicio 01, inciso c.
𝑎𝑐 < 𝑏𝑐 Teorema 12

Teorema 18. Si 𝑎 > 0, entonces −𝑎 < 0.

12
Demostración. Si 𝑎 > 0, entonces 𝑎 + (−𝑎) > 0 + (−𝑎) (por AO-1), de lo cual
por la propiedad del opuesto y la del neutro resulta 0 > −𝑎, es decir −𝑎 <
0.

Teorema 19. Si 𝑎 < 0, entonces −𝑎 > 0.

Demostración. Si 𝑎 < 0, entonces 𝑎 + (−𝑎) < 0 + (−𝑎) (por AO-1), de lo cual

por la propiedad del opuesto y la del neutro resulta 0 < −𝑎, es decir −𝑎 >
0.

Teorema 20. Si 𝑎 < 𝑏 y 𝑐 < 0, entonces 𝑎𝑐 > 𝑏𝑐.

Demostración
Afirmación Justificación
𝑎<𝑏 Hipótesis
𝑏 −𝑎 > 0 Teorema 16
𝑐<0 Hipótesis
−𝑐 > 0 Teorema 19
(𝑏 − 𝑎)(−𝑐) > 0 MO-1
−𝑏𝑐 + 𝑎𝑐 > 0 Prop. distributiva y ejercicios.
𝑏𝑐 < 𝑎𝑐 Teorema 16

El valor absoluto de un número 𝑥 se indica por |𝑥 | y se define de la siguiente

manera
𝑥, si 𝑥 ≥ 0
|𝑥 | = { .
−𝑥, si 𝑥 < 0

Por ejemplo, |2| = 2 por que 2 ≥ 0, y |−2| = −(−2) = 2 por que −2 < 0.

Teorema 21. Para cada 𝑥, |𝑥 | ≥ 0.

Demostración. Si 𝑥 ≥ 0, entonces |𝑥 | = 𝑥 ≥ 0. En caso contrario, es decir 𝑥 <

0, tenemos que |𝑥 | = −𝑥 > 0 (Teorema 5). En ambos caso, podemos ver que
|𝑥 | ≥ 0.

Teorema 22. |−𝑥 | = |𝑥 |, para cada 𝑥.

Demostración. Si 𝑥 ≥ 0, entonces −𝑥 ≤ 0, así que

|𝑥 | = 𝑥 y |−𝑥 | = −(−𝑥 ) = 𝑥.

En consecuencia, en este caso |−𝑥 | = |𝑥 | .

13
Si 𝑥 < 0, entonces −𝑥 > 0, por lo cual
|𝑥 | = −𝑥 y |−𝑥 | = −𝑥.

Por lo tanto, también en este caso |−𝑥 | = |𝑥 |.

Teorema 23. |𝑥 | ≥ 𝑥, para cada 𝑥.

Demostración. Si 𝑥 ≥ 0, se tiene que |𝑥 | = 𝑥. En cambio si 𝑥 < 0, entonces

|𝑥 | = −𝑥 > 0 > 𝑥, es decir que por O-2 |𝑥 | > 𝑥. Por tanto, |𝑥 | = 𝑥 o |𝑥 | > 𝑥,
es decir |𝑥| ≥ 𝑥.

Teorema 24. Para cualesquiera 𝑥 e 𝑦, se cumple que |𝑥𝑦| = |𝑥 | ∙ |𝑦|.

Demostración. Sean 𝑥 e 𝑦 números reales. Por definición de valor absoluto,

se tiene

𝑦, si 𝑦 ≥ 0
|𝑥 | = { 𝑥, si 𝑥 ≥ 0 y |𝑦| = { .
−𝑥, si 𝑥 < 0 −𝑦, si 𝑦 < 0

Por los teoremas 3 y 6, y la propiedad anuladora del cero, se tiene que

𝑥𝑦, si 𝑥≥0 y 𝑦≥0

−𝑥𝑦, si 𝑥≥ 0 y 𝑦<0
|𝑥 ||𝑦| = { .
−𝑥𝑦, si 𝑥< 0 y 𝑦≥0
𝑥𝑦, si 𝑥<0 y 𝑦<0

En el segundo caso, podemos quitar 𝑥 = 0, ya que tendríamos −𝑥𝑦 = −0𝑦 =

0, y este caso está siendo considerado en el primer caso. Similarmente
hacemos en el tercero con 𝑦 = 0. Luego, tendríamos
𝑥𝑦, si 𝑥𝑦 ≥ 0
−𝑥𝑦, si 𝑥𝑦 < 0
|𝑥 ||𝑦| = { . (I)
−𝑥𝑦, si 𝑥𝑦 < 0
𝑥𝑦, si 𝑥𝑦 > 0

En los casos 1 y 4 tenemos 𝑥𝑦 si 𝑥𝑦 ≥ 0, y en 2 y 3 −𝑥𝑦 si 𝑥𝑦 < 0. Así

reescribimos (I) como
𝑥𝑦, si 𝑥𝑦 ≥ 0
|𝑥 ||𝑦| = { . (II)
−𝑥𝑦, si 𝑥𝑦 < 0
Por otro lado,
𝑥𝑦, si 𝑥𝑦 ≥ 0
|𝑥𝑦| = { . (III)
−𝑥𝑦, si 𝑥𝑦 < 0

En conclusión, por (II) y (III) |𝑥𝑦| = |𝑥 | ∙ |𝑦|.

14
Teorema 25. Sea 𝑎 > 0. Entonces |𝑥 | < 𝑎, si y solo si −𝑎 < 𝑥 < 𝑎.

Demostración. Supongamos que |𝑥 | < 𝑎. Si 𝑥 ≥ 0, entonces |𝑥 | = 𝑥, así

tenemos 0 ≤ 𝑥 < 𝑎, así por O-2 0 < 𝑎 y por el teorema 4 −𝑎 < 0. Luego,
−𝑎 < 𝑥 < 𝑎.

Si fuera 𝑥 < 0, entonces por el teorema 5 0 < −𝑥. Luego, por O-2 𝑥 < −𝑥. Por
otra parte, |𝑥 | = −𝑥, y como |𝑥 | < 𝑎, entonces −𝑥 < 𝑎. Luego, de 𝑥 < −𝑥 y
−𝑥 < 𝑎 resulta que 𝑥 < 𝑎. También como −𝑥 < 𝑎, entonces −𝑎 < 𝑥.

En conclusión, de −𝑎 < 𝑥 y 𝑥 < 𝑎 entonces −𝑎 < 𝑥 < 𝑎. Hemos probado

así, que si |𝑥 | < 𝑎, entonces −𝑎 < 𝑥 < 𝑎.

Supongamos ahora que −𝑎 < 𝑥 < 𝑎. Si 𝑥 ≥ 0, entonces |𝑥 | = 𝑥, pero 𝑥 < 𝑎,

por lo cual |𝑥 | < 𝑎. Ahora, asumamos que 𝑥 < 0, es decir |𝑥 | = −𝑥. Por otro
lado, de −𝑎 < 𝑥 se deduce que 𝑎 > −𝑥, por lo cual 𝑎 > |𝑥 |.

Teorema 26. Para cada 𝑎, 𝑏 en ℝ, se tiene que |𝑎 + 𝑏| ≤ |𝑎| + |𝑏|.

Demostración. Supongamos que 𝑎 + 𝑏 ≥ 0. En este caso |𝑎 + 𝑏| = 𝑎 + 𝑏. Por

el Teorema 23, 𝑎 ≤ |𝑎| y 𝑏 ≤ |𝑏|. Por lo cual, 𝑎 + 𝑏 ≤ |𝑎| + |𝑏|. En
consecuencia, de |𝑎 + 𝑏| = 𝑎 + 𝑏 y 𝑎 + 𝑏 ≤ |𝑎| + |𝑏|, se obtiene |𝑎 + 𝑏| ≤ |𝑎| +
|𝑏|.

Asumamos que 𝑎 + 𝑏 < 0, es decir (−𝑎) + (−𝑏) > 0. Por el caso anterior, se
tiene |(−𝑎) + (−𝑏)| ≤ |−𝑎| + |−𝑏|. Por el Teorema 22, sabemos que
|(−𝑎) + (−𝑏)| = |𝑎 + 𝑏|, | −𝑎| = 𝑎, |−𝑏| = 𝑏. En consecuencia, |𝑎 + 𝑏| ≤ |𝑎| +
|𝑏|.

ACTIVIDADES.

1. Demuestre que si 𝑏 ≠ 0, entonces

1 1
| |= .
𝑏 |𝑏|
2. Demuestre que si 𝑏 ≠ 0, entonces
𝑎 |𝑎|
| |= .
𝑏 |𝑏|
3. Demuestre que para cada 𝑎 y 𝑏, |𝑎 − 𝑏| ≥ |𝑎| − |𝑏| .

4. Demuestre que para cada 𝑎 y 𝑏, |𝑎 + 𝑏| ≥ |𝑎| − |𝑏| .

15
 𝑎
5. ¿Para qué números 𝑎 está definida la fracción | 𝑎|
? ¿A qué es igual estas
fracciones, para distintos valores de 𝑎?

16