UNIDAD 3

Conjuntos Numéricos
3.1 Propiedades de los Números Reales R
En este capítulo estudiaremos los números reales y sus propiedades como punto de partida. Los
números reales llenan por completo la recta numérica, por eso se la llama recta real. Dado un origen y
una unidad, a cada punto de la recta le corresponde un número real y, a cada número real, le corresponde
un punto de la recta.
Conocemos dos operaciones principales definidas sobre el conjunto de números reales, llamadas
suma y producto (o multiplicación), dichas operaciones se dicen cerradas en los reales, es decir
que a y b son dos números reales cualesquiera, la suma de a y b, denotada a + b y el producto de
a y b, denotado a · b o ab, también son números reales.

∀a, b ∈ R; a+b∈R ∧ a·b∈R

El opuesto o inverso aditivo de un número real a es el número −a, que cumple que a+(−a) = 0,
el número 0 se conoce como identidad aditiva del sistema de los números reales. De esta manera
dados dos números enteros a y b, se define la resta a menos b como la suma del primero con el
opuesto aditivo del segundo, es decir;
a − b = a + (−b)
El recíproco o inverso multiplicativo de un número real no nulo a. Lo definiremos como el
1 1
número a−1 o , que cumple que a · a−1 = a · = 1. El número 1 se conoce como identidad
a a
multiplicativa del sistema de los números reales.
a
Dados dos números reales a y b, con b �= 0, de esta manera el cociente es el producto de a por
b
el recíproco de b, es decir,
a 1
= a · b−1 = a ·
b b

Daremos un conjunto base de enunciados, que llamados propiedades de los números reales, aceptán-
dose que son verdaderas para luego establecer otros resultados que se pueden deducir de estas.

Propiedades de la suma

Axioma 3.1. Conmutativa:

∀a, b ∈ R: a + b = b + a

Axioma 3.2. Asociativa:

∀a, b, c ∈ R: a + (b + c) = (a + b) + c

Axioma 3.3. Existencia del neutro aditivo:

∃ 0 tal que ∀a ∈ R a + 0 = 0 + a = a

Axioma 3.4. Existencia del inverso aditivo u opuesto:

∀a ∈ R, ∃ − a ∈ R tal que a + (−a) = (−a) + a = 0

40
 Propiedades del producto

Axioma 3.5. Conmutativa:

∀a, b ∈ R: a · b = b · a

Axioma 3.6. Asociativa:

∀a, b, c ∈ R: a · (b · c) = (a · b) · c

Axioma 3.7. Existencia del neutro multiplicativo:

∃ 1 tal que ∀a ∈ R: a · 1 = 1 · a = a

Axioma 3.8. Inverso multiplicativo o recíproco:

∀a ∈ R con a �= 0, ∃ a−1 ∈ R tal que a · a−1 = a−1 · a = 1

Axioma 3.9. Propiedad distributiva:

∀a, b, c ∈ R: a · (b + c) = a · b + a · c

Axioma 3.10. ∀a, b, c ∈ R, se tienen las siguientes propiedades de igualdad.

a) Reflexividad: a = a
b) Simetría: si a = b, entonces b = a.
c) Transitividad: si a = b y b = c, entonces a = c.

Axioma 3.11. Ley Uniforme

De la suma: ∀a, b, c ∈ R , si a = b, entonces a + c = b + c
Del producto: ∀a, b, c ∈ R, si a = b, entonces a · c = b · c

Existen muchos teoremas que se pueden demostrar con base en las propiedades de los números reales,
y a la vez, estos teoremas pueden usarse para demostrar otros. Enunciaremos y demostraremos algunos
con el fin de mostrar la aplicación de las propiedades. Si bien no se mencionará siempre, el estudiante
deberá tener muy en cuenta el método utilizado en cada pruebla, que por lo general, es el método
directo.
Teorema 3.1. Propiedades Cancelativas
a) De la suma: ∀a, b, c ∈ R , si a + c = b + c, entonces a = b.
b) Del producto: ∀a, b, c ∈ R, si a · c = b · c ∧ c �= 0, entonces a = b.

Demostración. a) Para el caso de la suma;

a+c=b+c por hipótesis

a + c + (−c) = b + c + (−c) por Ley Uniforme
a + [c + (−c)] = b + [c + (−c)] por prop asociativa
a+0=b+0 por ser −c el opuesto de c
a=b por ser 0 el Neutro de la suma

b) Ejercicio.

41
 Teorema 3.2
El opuesto del opuesto de un número real, es el mismo número real. Es decir que ∀a ∈ R se cumple
que

−(−a) = a

Demostración. ∀a ∈ R

a + (−a) = 0 por ser −a el opuesto de a

0 = (−a) + [−(−a)] por ser −(−a) el opuesto de −a
a + (−a) = (−a) + [−(−a)] por transitividad de la igualdad
a = −(−a) por cancelativa de la suma

Ejercicio 16. Probar que ∀a, b ∈ R se cumple que:

a) (−1)a = −a
b) −(ab) = (−a)b = a(−b)
c) (−a)(−b) = ab

Teorema 3.3
Dados a, b ∈ R: existe exactamente un valor x tal que a + x = b. Este valor x se denota por b − a.

Demostración. Ejercicio.

Productos que involucran al cero

Teorema 3.4. Ley absorvente del cero
∀a ∈ R, se cumple que a · 0 = 0.

Demostración.

0=0+0 por ser 0 el neutro aditivo

a · 0 = a · (0 + 0) por propiedad uniforme del producto
a·0=a·0+a·0 (1) por prop. distributiva

a·0=a·0+0 (2) Neutro aditivo aplicada a a · 0

a·0+a·0=a·0+0 por transitividad de la igualdad de (1) y (2)

a·0=0 por prop. cancelativa de la suma

Teorema 3.5
∀a, b ∈ R, a · b = 0 ⇒ a = 0 ∨ b = 0.

Demostración.
Si a = 0 la proposición se cumple ya que, independientemente del valor que se asigne a b, 0 · b = 0
como se demostró anteriormente y, por lo tanto, son verdaderas hipótesis y tesis.
Por otro lado, probaremos que si a �= 0, se cumple que a · b = 0 ⇒ b = 0.
Si a �= 0, entonces ∃a−1 , luego:

42
 a·b=0 por hipótesis
a · b · a−1 = 0 · a−1 por Ley uniforme del producto
(a · a−1 ) · b = 0 · a−1 Conmutativa y Asociativa del producto
(a · a−1 ) · b = 0 por el teorema anterior
1·b=0 Elemento inverso del producto
b=0 Elemento neutro del producto

3.2 Orden en R
Dos números reales a y b con a �= b, pueden compararse mediante la relación de orden “menor que”,
representada por el símbolo <. En la recta real se puede verificar geométricamente la relación de orden
“menor que”, pues a < b significa que el punto que representa a a en la recta numérica se halla a la
izquierda del punto que representa a b.

Definición 3.6
Formalmente, dados dos números reales, definimos la relación “menor que”de la siguiente manera
∀a, b ∈ R : a < b ⇔ ∃x ∈ R+ : a + x = b
Las relaciones
< “menor que”
> “mayor que”
� “menor o igual que”
� “mayor o igual que”
se llaman desigualdades y los símbolos <, >, � y � se llaman símbolos de desigualdad. Estas
relaciones están definidas a partir de la primera de la siguiente manera. ∀a, b ∈ R;
b>a⇔a<b
a≤b⇔a<b∨a=b
b≥a⇔b>a∨a=b

Observación 3.1. En consecuencia, dado a ∈ R, decimos que a es positivo si 0 < a y que a es

negativo si a < 0. Así los números positivos son todos aquellos que se encuentran a la derecha del
cero y los números negativos son todos aquellos que se encuentran a la izquierda del cero.
Si a ≥ 0, decimos que a es no-negativo.
En los números reales se tienen los siguientes axiomas, llamados axiomas de orden.

Axioma 3.12. Ley de Tricotomía: Dados a, b ∈ R, una y sólo una de las siguientes expresiones
es verdadera.
a<b a=b a>b

Axioma 3.13. Ley de Transitividad: Dados a, b, c ∈ R

si a < b y b < c, entonces a < c.

Axioma 3.14. Dados a, b ∈ R, si a y b son positivos, entonces a + b y a · b también lo son.

Observación 3.2. Como consecuencia de estos axiomas, se tiene ∀a, b ∈ R:

i) a<b⇔a−b<0
ii) a<b⇔b−a>0

43
 En particular, para b = 0, obtenemos
a < 0 ⇔ −a > 0

Axioma 3.15. Leyes de Consistencia

Dados ∀a, b, c ∈ R
i) Consistencia de la suma: Si a < b, entonces a + c < b + c.
ii) Consist. del producto: Si a < b y c > 0, entonces ac < bc.
En consecuencia: Si a < b y c < 0, entonces ac > bc (*)

(*) Esta última implicación no es un axioma, por lo que corresponde demostrarse, la enunciaremos
como teorema y haremos la demostración..

Teorema 3.7
∀a, b, c ∈ R, si a < b y c < 0, entonces ac > bc.

Demostración. Veamos que ac − bc > 0. En efecto:

ac − bc = (−a)(−c) + b(−c)
= (b − a) (−c)
por hipótesis a < b y c < 0, luego
(b − a) > 0 y (−c) > 0
luego (b − a) (−c) > 0 ⇒ ac − bc > 0 ⇒ ac − bc > 0.

Teorema 3.8. Otras Propiedades

Dados a, b, c ∈ R:
i) Si a < b, entonces −a > −b.
1 1
ii) Si 0 < a < b , entonces >
a b
c c
iii) Si 0 < a < b y c < 0, entonces <
a b
d) si a · b > 0 si y sólo si (a < 0 ∧ b < 0) ∨ (a > 0 ∧ b > 0)

Demostración. Para ii). Por el método directo, de la hipótesis se tiene que (0 < a)∧(0 < b)∧(a < b)
, luego
1 1 1 1
0 < a ⇒ 0 < y tambien 0 < b ⇒ 0 < , de donde · > 0
a b a b

a<b por hipótesis

1 1 1 1
a· · <b· · por consistencia del producto
� a� b � a � b
1 1 1 1
a· · < b· · por prop. conmutativa y asociativa
a b b a
1 1
1· <1· por prop. del recíproco
b a
1 1
> equivalencia para las desigualdades < y >
a b
La prueba del resto de los items queda como ejercicio.

1 1
Ejercicio 17. Prueba o refuta que ∀a, b ∈ R − {0} : a < b ⇒ >
a b

44
Operaciones con Números Racionales
Redordemos que un número r es racional si y sólo si, se puede expresar como un cociente de dos
números enteros con un denominador distinto de cero. Un número real que no es racional es irracional.
Formalmente, sea r ∈ R, entonces
a
r ∈ Q ⇔ ∃a, b ∈ Z tales que r = ∧ b �= 0
b
En el uso cotidiano de fracciones utilizamos reglas de operación, a estas las enunciaremos en el
siguiente teorema válido para los números reales.
Teorema 3.9. Leyes de Operación para Fracciones
Dados a, b, c, d ∈ R, con b �= 0 y d �= 0.
a c a+c
i) + =
b b b
a c ad + bc
ii) + =
b d bd
−a a a −a
iii) = =− =−
b −b b −b
a·d a
iv) =
b·d b
a c a·c
v) · =
b d b·d
a
a·d
vi) cb = , si además c �= 0.
b·c
d

Demostración. Ejercicio.
Veamos un caso de como utilizar estas propiedades en el siguiente ejemplo.
Ejemplo 3.1. Probaremos que la suma de dos números racionales es racional.
Demostración: Sean r y s números racionales, debemos demostrar que r+s es racional. Por definición
a c
de número racional, r = y s = para algunos a, b, c, d ∈ Z, con b �= 0 y d �= 0. Entonces;
b d
a c
r+s = + por sustitución
b d
ad + bc
= por el inciso 2) del teorema anterior
bd
p
= donde p = ad + bc ∈ Z y q = bd ∈ Z, con q �= 0 pues b �= 0 y d �= 0
q
luego r + s ∈ Q.

�
Densidad
Decimos que el conjunto de los números reales es denso. Esto quiere decir que sus elementos están
muy cerca el uno del otro, tan cerca que podemos decir que entre dos números reales hay infinitos
números reales. De la misma manera, los racionales e irracionales son conjuntos densos. Por otro lado,
los enteros y los naturales de dicen discretos, pues entre dos enteros siempre hay una cantidad finita
(puede que sea cero) de enteros, esto ocurre de manera similar en los naturales.

45
 Teorema 3.10. Densidad de los Racionales
Entre dos números racionales hay infinitos números racionales.

Demostración. Sea a, b ∈ Q tal que b es mayor que a;

a<b ⇒ a+b<b+b por consistencia de la suma

⇒ a + b < 2b por prop. asociativa de la suma
a+b
⇒ < b (1) por consistencia del producto
2
Por otra parte:

a<b ⇒ a+a<b+a consistencia de la suma

⇒ 2a < a + b asociativa y conmutativa de la suma
a+b
⇒ a< (2) consistencia del producto
2
de (1) y (2), resulta:

a+b
a< <b por propiedad transitiva
2
a+b
Luego c = ∈ Q, por lo que aplicando el mismo método nuevamente otro racional entre a
2
y c. Por lo tanto podemos encontrar infinitos números racionales entre dos números racionales
cualesquiera.
Corolario 3.11
Entre dos números reales hay infinitos números reales.

Ejemplo 3.2. Encuentra un irracional entre 14 y 12 .

Para esto, podemos determinar primero un racional escrito en forma decimal entre 12 y 14 . Hacemos
1
+ 12
la semisuma 4
= 38 = 0, 375 para luego agregar dígitos de manera de asegurar que no exista
2
ningún periodo, por ejemplo
w = 0, 37501001000100001000001 · · · ∈ I

Notemos el agregado cada vez un cero más por cada 1 sucesivo, se elimina la posibilidad de que un
grupo de dígitos se repita. Luego 14 < w < 12 con w ∈ I.
Ejercicio 18. i) Determina si entre dos números irracionales distintos, podemos encontrar infinitos
racionales.
ii) Por otro lado, determina si entre dos racionales distintos, podemos encontrar infinitos irracionales.

3.3 Despejando Variables

En una expresión algebraica, consideramos como variable al símbolo o letra que puede ser reem-
plazado por un valor numérico. En general le asignaremos a las variables las letras x, y o z, pero
también son muy utilizadas las letras t, u y v, entre otras.

Una ecuación es una afirmación de que dos expresiones algebraicas son iguales, en tanto que una
desigualdad o inecuación plantea que una expresión es menor que otra. Cada una de estas
expresiones recibe el nombre de miembros (1er y 2do miembro) de una igualdad o desigualdad.
Se le llama solución a todo valor numérico que verifica la igualdad o desigualdad.

46
 Ejemplo 3.3. Sea:
4(x − 2) = 3
Utilizaremos propiedades de los números reales para despejar la variable x.

4(x − 2) = 3 ⇔ 4x − 8 = 3 por prop. Distributiva.

4x − 8 + 8 = 3 + 8 por Ley Uniforme de la suma.
4x + (−8 − 8) = 11 por prop. asociativa.
4x + 0 = 11 por prop del opuesto.
4x = 11 por prop del elemento neutro aditivo.
1 1
· 4x = 11 · por prop. uniforme del producto.
4 4
� �
1 1
· 4 x = 11 · por prop asociativa.
4 4
11
1x = por prop del recíproco.
4
11
x= por prop del neutro multiplicativo.
4
11
Luego, x = es solución de la igualdad.
4
Notación de Intervalos
Utilizando desigualdades podemos describir ciertos subconjuntos de los números reales llamados
intervalos, para estos subconjuntos tenemos una notación y terminología especial como se muestra en
el siguiente cuadro:

Intervalo Notación de Intervalo Notación de Conjunto

(a, b) {x ∈ R : a < x < b}
Abiertos (−∞, a) {x ∈ R : x < a}
(a, ∞) {x ∈ R : x > a}
[a, b] {x ∈ R : a ≤ x ≤ b}
Cerrados (−∞, a] {x ∈ R : x ≤ a}
[a, ∞) {x ∈ R : x ≥ a}
(a, b] {x ∈ R : a < x ≤ b}
Semiabiertos
[a, b) {x ∈ R : a ≤ x < b}

Nótese que un corchete significa que el punto extremo respectivo se incluye en el intervalo, mientras
que un paréntesis indica que el punto extremo correspondiente no se incluye en el intervalo. Además se
debe notar que hemos utilizado los símbolos ∞ que se lee como infinito y −∞ que se lee como menos
infinito, para representar ciertos tipos de intervalos que llamamos intervalos infinitos. Estos símbolos
no representan números reales por lo tanto las notaciones (a, ∞], [a, ∞], [−∞, b] o [−∞, b) no son
correctas.
Ejemplo 3.4. Para determinar el intervalo de números reales de la desigualdad 5 − x ≥ 0 aplicamos
propiedades;
5 − x ≥ 0 ⇔ (−5) + 5 − x ≥ (−5) + 0 por ley de consistencia de la suma
⇔ [(−5) + 5] − x ≥ (−5) + 0 por asociatividad
⇔ 0 − x ≥ (−5) + 0 por el opuesto de 5
⇔ −x ≥ −5 por el neutro de la suma
⇔ (−1) (−x) ≤ (−1) (−5) por ley de consistencia del producto
⇔x≤5 por el opuesto de − x y de -5
Luego x satisface la desigualdad 5 − x ≥ 0 si x pertenece al intervalo (−∞, 5]. Este se conoce como
intervalo solución de la desigualdad.

47
3.4 Potenciación y Radicación
Definición 3.12. Potencia de un Número Real
Sea a ∈ R, y n ∈ N , definimos an = a � · a · a��· . . . · a�
n − veces
Es decir, se multiplica el valor de a n-veces. Se lee a a la n, donde n se denomina exponente y el
número real a base.
Para cualquier número real a no nulo con exponente cero, se tiene que:
a0 = 1
Para cualquier número real a no nulo y cualquier entero positivo n se tiene que:
1
a−n = n
a

Teorema 3.13. Propiedades de la potenciación

Sean a, b ∈ R y m, n ∈ Z, siempre que cada expresión represente un número real se cumple
las siguientes proposiciones:
am
i) a · a = a
m n m+n
ii) a : a = n = am−n
m n
� �n a
a an
iii) (a · b) = a · b
n n n
iv) = n
b b
v) (a ) = a
n m n·m

Corolario 3.14
Sean a, b ∈ R y n ∈ Z, siempre que cada expresión represente un número real se cumple que:
� �−n � �n
a b
=
b a

Demostración. Ejercicio.
.
Ejemplo 3.5.
1
2−1 =
2
1
2−3 = 3
2
� �−3 � �3
7 4
=
4 7
(a−1 + b−1 )
−1
Ejemplo 3.6. Para simplificar , usamos propiedades de potencias y de las operaciones
ab
con fracciones: � �−1
�
1 1 −1
� b+a ab ab
(a + b ) −1 −1 + 1
= a+b = a+b ·
−1
ab
= a b =
ab ab ab
� � ab � �1 ab
ab 1 1 1 1 1
= · = · ab · = ·1 =
a + b ab a+b ab a+b a+b

Ejercicio 19. i) Refute que ∀a, b ∈ R, ∀n ∈ N : (a + b)n = an + bn

ii) Demuestre que ∀a, b ∈ R, ∃n ∈ N : (a + b)n = an + bn

Solución:
48
 i) La proposición es falsa, por el método del contraejemplo basta tomar a = 3 y b = 4 de manera
que
(3 + 4)2 �= 32 + 42
72 �= 9 + 16
49 �= 25
ii) La proposición es verdadera, debemos mostrar la existencia de un elemento en N que verifica la
igualdad. En efecto; ∃n = 1 ∈ N que cumple (a + b)1 = a1 + b1 .

Definición 3.15. Raíz de un Número Real

Sea n un entero positivo mayor a 1, se llama raíz n-ésima de un número real a al número b, si este
existe, tal que:
Si a > 0, entonces √
n
a = b ⇔ bn = a ∧ b > 0
Si a = 0, entonces √
0=0
n

Si a < 0 y n es impar, entonces

√
n
a = b ⇔ bn = a (donde b < 0)
√
Si a < 0 y n es par, entonces no existe n a en los números reales.

Ejemplo 3.7.
√
i) 4 81 = 3, pues 34 = 81
√
Notar que (−3)4 = 81, sin embargo 4 81 �= −3
√
ii) 3 −8 = −2, pues (−2)3 = (−2)(−2)(−2) = −8
iii) No están definidas dentro de los números reales las raíces con índice par de números negativos.
Así: √
−9 ∈ /R
pues ningún número al cuadrado es igual a −9.
Teorema 3.16. Propiedades de Raíces
Sean n y m enteros positivos, a y b números reales, siempre que cada expresión represente un
número real, se tienen las siguientes propiedades.
� √
√ √ √ a n
a
i) n
a·b= a· b
n n
ii) n
= √n
b b
�√ √ √ √
iii) n m a = n.m a iv) ak = n a, k ∈ Z+
n.k

√ √ √
Ejemplo 3.8. 36 = 62 = 6
6 3·2 3

�
Ejemplo 3.9. 5
(−2)5 = −2
�
4
(−2)4 = |−2| = 2

El concepto de raíz n−ésima nos permite ampliar la definición de potencia de un número, donde
para el exponente podremos considerar un número racional.

Definición 3.17. Exponentes Racionales

m
Sea un número racional, donde m y n son enteros y n > 1.
n √
Si a es un número real tal que n a existe, entonces:
1 √
an = n a

49
 √
Si a es un número real tal que n
a existe, entonces:
√
a n = n am
m

3 √ � √ �3
Ejemplo 3.10. 4 5 = 43 = 4
5 5

3
� �
1 3
� √ �3
45 = 45 = 5
4

Racionalización de denominadores
Sabemos efectuar√ divisiones cuando el divisor es un número racional, pero ¿qué sucede si hacemos
la división de 3 en 2 ? Podemos solucionar este inconveniente si encontramos un cociente equivalente
al anterior cuyo denominador sea un número racional. Al procedimiento que nos permite hallar tal
cociente equivalente se lo denomina racionalización de denominadores.
Veamos algunos ejemplos:
1 5
Ejemplo 3.11. Usamos propiedades de potencias y de raices para racionalizar i) √ y ii) √ .
13 7
3 · 52
√ √ √
1 1 13 13 13
i) √ = √ · √ = �√ �2 =
13 13 13 13 13
√ √
5 5 36 · 5 5 5 · 36 · 5 5
7 7

ii) √ = √ ·√ = √ =
3 · 52 3 · 52 36 · 5 5 3 · 5 2 · 36 · 55
7 7 7 7

√ √ √ √
5 · 36 · 5 5 5 · 36 · 5 5 5 · 36 · 5 5 36 · 5 5
7 7 7 7

= √ = √ √ = =
7
37 · 5 7
7
37 · 57
7
15 3
1
En ambos casos, estamos racionalizando expresiones de la forma √ n m
con m < n y b ∈ N, lo
√ b
que se hizo fue multiplicar
√ y dividir
√ dicha expresión por n bn−m . De esto resulta una expresión cuyo
denominador es n bm · bn−m = n bn , y así podemos simplificar índice y exponente para eliminar la raíz
del denominador.
Para racionalizar el denominador de una fracción que consta de un binomio necesitaremos de la
fórmula de diferencia de cuadrados. ∀a, b ∈ R se cumple que:
(a + b)(a − b) = a2 − b2

2
Ejemplo 3.12. Para racionalizar usamos diferencias de cuadrados.
√ √
3+ 2
�√ √ �
2 2 3− 2
√ √ = �√ √ � · �√ √ �
3+ 2 3+ 2 3− 2
�√ √ �
2 3− 2
= �√ √ � �√ √ �
3+ 2 3− 2
�√ √ � �√ √ �
2 3− 2 2 3− 2 �√ √ �
= �√ �2 �√ �2 = =2 3− 2
3 − 2 3−2

50
3.5 Valor Absoluto o Módulo
Definición 3.18. Valor Absoluto o Módulo
∀x ∈ R, definimos valor absoluto o módulo a de la siguiente manera:

 x si x ≥ 0
|x| =
 −x si x < 0

Así por ejemplo |−5| = − (−5) = 5.

Veamos algunos ejemplos sencillos de como utilizamos esta definición para resolver algunas igualdades
con valor absoluto.
Ejemplo 3.13. Sea
|x − 3| = 2
por definición de Valor Absoluto, para determinar los valores de x que hacen cierta la igualdad, se
presentan dos posibilidades:
x−3=2 ∨ x − 3 = −2
de donde rápidamente vemos que
x=5 ∨ x=1
Decimos que 1 o 5 son soluciones de |x − 3| = 2.
Ejemplo 3.14. Dada la siguiente igualdad
|x − 3| + 2 = 5
por la ley uniforme se obtiene que;
|x − 3| = 3
De donde puede pasar que:
x−3=3 ∨ x − 3 = −3
x=0 ∨ x=6
De igual manera que en el ejemplo anterior, decimos que 0 o 6 son soluciones de |x − 3| + 2 = 5.
Podemos aplicar esta regla en casos similares, sin embargo tenemos que ser cuidadosos en casos como
en el siguiente ejemplo, donde la variable no solo aparece dentro de las barras del valor absoluto, sino
que también fuera de ellas.
Ejemplo 3.15. Sea
|x − 3| + 2 = 2x
Por deficición de Valor Absoluto 
 x−3 si x − 3 ≥ 0
|x − 3| = 
− (x − 3) si x − 3 < 0
O lo que es igual 
 x−3 si x ≥ 3
|x − 3| =
− (x − 3) si x < 3
A partir de las condiciones para x ∈ R de acuerdo a la definiciòn de valor absoluto, se debe considerar
que x ∈ (−∞, 3) o x ∈ [3, ∞). Estudiaremos ambas posibilidades.
Si x ∈ [3, ∞), o lo que es lo mismo, si x ≥ 3, reemplazamos |x − 3| por x − 3 en la igualdad, es decir
que;
|x − 3| + 2 = 2x
x − 3 + 2 = 2x
x − 1 = 2x
x = −1
sin embargo −1 �∈ [3, ∞) por lo que −1 no es solución.

51
Si x ∈ (−∞, 3), (o x < 3), en este caso reemplazamos |x − 3| por − (x − 3) en la igualdad;
|x − 3| + 2 = 2x
− (x − 3) + 2 = 2x
−x + 3 + 2 = 2x
−3x = 5
5
x=−
3
Luego − 53 ∈ (−∞, 3) por lo que − 53 es solución.
Ejemplo 3.16. Sea
|x − 4| = 2 + x
Por definición de módulo se tiene que:
�
x−4 si x ≥ 4
|x − 4| =
−(x − 4) si x < 4
es decir que:
x≥4 ∨ x<4 (1)
si x ≥ 4 ⇒ |x − 4| = x − 4 además si x < 4 ⇒ |x − 4| = −(x − 4)
reemplazando estas dos posibilidades para |x − 4| en la igualdad dada:
Si x ≥ 3

x−4=2+x
x−x=2+4
0x = 6

luego �x : 0x = 6
si x < 3

−(x − 4) = 2 + x
−x + 4 = 2 + x
−x − x = 2 − 4
−2x = −2
x=1

Por lo que la solución es x = 1.

Ejemplo 3.17. Sea
|5 − x| = 2 + |x + 1|
Por definición de valor absoluto se tiene que:
 
 5−x si 5 − x ≥ 0  5−x si x ≤ 5
|5 − x| = =
 − (5 − x) si 5 − x < 0  − (5 − x) si x > 5

 
 x+1 si x + 1 ≥ 0  x+1 si x ≥ −1
|x + 1| = =
− (x + 1) si x + 1 < 0
  − (x + 1) si x < −1

Observemos que la recta real queda dividida en 3 intervalos definidos por los valores críticos 5 y −1,
es decir que :
R = (−∞, −1) ∪ [−1, 5] ∪ (5, ∞)
Debemos de analizar como se comportan |5 − x| y |x + 1| en cada uno de esos intervalos.
Si x ∈ (−∞, −1), se tiene que x < −1 y tambien x < 5, por lo que en la igualdad reemplazamos los

52
 valores absolutos de acuerdo a la definición:
|5 − x| = 2 + |x + 1|
5 − x = 2 − (x + 1)
5−x=2−x−1
−x + x = 2 − 1 − 5
0 = −4 (inconsistencia)
∴no hay soluciones en este intervalo.
Si x ∈ [−1, 5], se tiene que x ≥ −1 y ademas x ≤ 5, entonces
|5 − x| = 2 + |x + 1|
5 − x = 2 + (x + 1)
−2x = −2
x = 1 ∈ [−1, 5]
∴ 1 es solución.
Si x ∈ (5, ∞), se tiene que x > 5 y tambien x > −1
|5 − x| = 2 + |x + 1|
− (5 − x) = 2 + (x + 1)
−5 + x = 2 + x + 1
0 = 8 (inconsistencia)
∴ no hay solución en este intervalo.
Finalmente, la solución es
x=1

Propiedades del Valor Absoluto

Proposición 3.19.
Sea x ∈ R, se cumple que:
i) |x| ≥ 0
ii) |x| = 0 si y sólo si x = 0
iii) − |x| ≤ x ≤ |x|
iv) |−x| = |x|

Demostración. Se deducen de la propia definición de Valor Absoluto, por lo que se deja como
ejercicio realizar una justificación sobre la validez de las mismas.
Ejemplo 3.18. Sea
|x − 4| = −3
Si se tiene en cuenta la definición de valor absoluto, este siempre es un valor mayor o igual a cero,
por lo que la igualdad no tiene solución.

Ejemplo 3.19. Sea

|x − 4| = 0
De igual manera que en el ejemplo anterior, se tiene en cuenta que valor absoluto es igual a cero, si
y sólo si lo que esta dentro de las barras es cero. Luego
|x − 4| = 0 ⇔ x − 4 = 0
⇔ x=4

53
 Es decir que la solución es x = 4.

Proposición 3.20
Sean x, y ∈ R, se cumple que:
i) |x · y| = |x| · |y|
� �
�x� |x|
� �
ii) � � = , si y �= 0
�y� |y|
iii) |x − y| = |y − x|

Demostración. i) Consideraremos los distintos casos que pueden presentarse según el signo de x e
y en la siguiente tabla, donde la igualdad queda probada observando las dos últimas columnas:

x y x·y |x| |y| |x| · |y| |x · y|

≥0 ≥0 ≥0 x y x·y x·y
≥0 ≤0 ≤0 x −y −x · y −x · y
≤0 ≥0 ≤0 −x y −x · y −x · y
≤0 ≤0 ≥0 −x −y x·y x·y

ii) Se demuestra de manera similar a i).

iii) Se deja como ejercicio.

Teorema 3.21
∀x ∈ R se cumple que:
√
x2 = |x|

Demostración.
La demostración consiste en dos partes; consideraremos para x los casos x ≥ 0 y x < 0.
Si x ≥ 0
|x| = x Por definición de módulo
√
si x ≥ 0, entonces x2 = x Por propiedad de los reales
√
x2 = |x| Por sustitución
Si x < 0
|x| = −x Por definición de módulo
si x < 0, entonces −x > 0
�
(−x)2 = −x Por propiedad de los reales
√
x2 = |x| Por sustitución
√
Por que queda demostrado que ∀x ∈ R : x2 = |x|.

Observación 3.3. Generalizando

√
Si n es impar n
√ an = a
Si n es par n
an = |a|
Ejercicio 20. Determinar para que valores reales se cumple que x2 ≤ |x|.

54
Proposición 3.22. Desigualdades con Valor Absoluto
Sean x ∈ R ∧ a ∈ R+ se cumple que:

i) |x| < a si y sólo si −a < x < a

ii) |x| > a si y sólo si x < −a ∨ x > a

Estas propiedades i) y ii) también se aplican con ≤ y ≥ en lugar de < y > respectivamente.

Proposición 3.23
Sean x, y ∈ R, se cumple que:
i) |x + y| ≤ |x| + |y| (Esta se conoce como la propiedad de Desigualdad Triángular)
ii) |x| − |y| ≤ |x − y|

Demostración. i) Por el inciso iii) de la Proposición 3.19.

− |x| ≤ x ≤ |x|
− |y| ≤ y ≤ |y|
Por lo tanto, sumando miembro a miembro
− |x| − |y| ≤ x + y ≤ |x| + |y|
asociando
− (|x| + |y|) ≤ x + y ≤ (|x| + |y|)
+
de donde por ser |x| + |y| ∈ R0 , por el inciso i) de la Proposición 3.22
|x + y| ≤ |x| + |y|
ii) Se tiene por propiedad del neutro
|x| = |x − y + y|
Asociando convenientemente
|x| = |(x − y) + y|
Por la desigualdad triángular
|x| = |(x − y) + y| ≤ |x − y| + |y|
Luego, por transitividad
|x| ≤ |x − y| + |y|
Por consistencia de la suma, sumando − |y| en ambos lados
|x| − |y| ≤ |x − y|

Ejemplo 3.20. Para resolver |3x − 7| < 1 utilizamos la propiedad i) de la Proposición 3.22; así:
−1 < 3x − 7 < 1
−1 + 7 < 3x − 7 + 7 < 1 + 7
6 < 3x < 8
1 1 1
(6) < (3x) < (8)
3 3 3
8
2<x<
3 � �
Las soluciones de la desigualdad son todos los números del intervalo abierto 2, 83 . Su representación
gráfica es la siguiente:

55
 � �
� 5 �� 1
Ejemplo 3.21. Para resolver 2 ��x − � ≤ aplicamos la ley de consistencia y multiplicamos en
2 2
ambos lados por 12 , luego � �
�
�x −
5 �� 1
≤
�
2� 4
Por el inciso i) de la propiedad anterior;
1 5 1
− ≤x− ≤
4 2 4
1 5 1 5
− + ≤x≤ +
4 2 4 2
9 11
≤x≤
4 4
� �
9 11
Las soluciones de la desigualdad son todos los valores reales del intervalo ,
4 4

� �
Ejemplo 3.22. Veamos como resolver ��4 − 12 x�� ≥ 7 y graficar su solución
De la propiedad ii) de la proposición Proposición 3.22, se tiene que
1 1
4 − x � −7 ∨ 4− x�7
2 2
resolvemos cada una de estas desigualdades por separado.
1 1
4 − x � −7 4− x�7
2 2
1 1
− x � −11 − x�3
2 2
x � 22 x � −6
Puesto que cualquier número real que satisfaga bien sea a
x � 22 ∨ x � −6
� �
� 1 �
también satisface ��4 − x�� � 7, las soluciones son los números que están en la unión de dos intervalos
2
sin elementos comunes;
(−∞, −6] ∪ [22, ∞)

Ejemplo 3.23. Para la desigualdad |3x − 4| � 0.

Puesto que el valor absoluto de una expresión nunca es negativo por la proposición Proposición 3.19
, los únicos valores que satisfacen la desigualdad son aquellos para los cuales
|3x − 4| = 0

4
o sea, 3x − 4 = 0 por lo que su solución es x = .
3
Ejemplo 3.24. Para resolver
|x − 3| + 2 < 2x

56
Por la Definitición 3.18 de Valor Absoluto

 x−3 si x − 3 ≥ 0
|x − 3| =
 − (x − 3) si x − 3 < 0
O lo que es igual 
 x−3 si x ≥ 3
|x − 3| =
− (x − 3) si x < 3
Por lo que para x ∈ R, se debe considerar que x ∈ (−∞, 3) o x ∈ [3, ∞).
Si x ∈ [3, ∞), o lo que es lo mismo, si x ≥ 3, luego reemplazamos |x − 3| por x − 3 en la desigualdad;
|x − 3| + 2 < 2x
x − 3 + 2 < 2x
x − 1 < 2x
x > −1
sin embargo, si x ≥ 3 también satisface que x > −1, se tiene que si x ∈ [3, ∞) entonces es solución.
Sea:
S1 = [3, ∞)
Si x ∈ (−∞, 3), (o x < 3), en este caso reemplazamos |x − 3| por − (x − 3) en la desigualdad;
|x − 3| + 2 < 2x
− (x − 3) + 2 < 2x
−x + 3 + 2 < 2x
−3x < 5
5
x>−
3 � �
Es decir que si x < 3 también debe cumplir que x > − 3 , por lo que si x ∈ − 53 , 3 entonces es
5

solución. Sea: � �
5
S2 = − , 3
3
Finalmente, las soluciones de la desigualdad se expresan en la unión de los intervalos S1 y S2 ;
� �
5
S1 ∪ S2 = − , 3 ∪ [3, ∞)
�
3 �
5
= − ,∞
3

57