El documento define el valor absoluto de un número real y enumera 14 propiedades del valor absoluto. Explica que el valor absoluto de un número x es igual a x si x es mayor o igual a cero, y es igual a -x si x es menor que cero. Luego demuestra dos de las propiedades enumeradas: que el valor absoluto de un número siempre es mayor o igual que el número, y que el valor absoluto de una suma es menor o igual a la suma de los valores absolutos de los sumandos.

1. Valor Absoluto
Definici´n
o
Para todo x ∈ R, se define:
x si x ≥ 0,
|x| = (1)
−x si x < 0.
Propiedades
Para todos x ∈ R e y ∈ R se cumple:
1. |x| ≥ 0.
2. |x| ≥ x.
3. |x| = 0 ↔ x = 0.
4. y > 0 → |x| = y ↔ (x = y ∨ x = −y) .
5. y > 0 → |x| < y ↔ (−y < x < y) .
6. y > 0 → |x| > y ↔ (x < −y ∨ y < x) .
7. y > 0 → |x| ≤ y ↔ (−y ≤ x ≤ y) .
8. y > 0 → |x| ≥ y ↔ (x ≤ −y ∨ y ≤ x) .
9. |x · y| = |x| · |y|.
|x|
10. y = 0 → | x | =
y .
|y|
11. | − x| = |x|.
12. −|x| ≤ x ≤ |x|.
13. |x + y| ≤ |x| + |y|.

2. Demostraci´n de algunas propiedades.
o
Nota: Se asume al demostrar una propiedad que las propiedades que
aparecen antes que ella en la lista son verdaderas (y usables):
Nota: Como el valor absoluto es definido por casos, es preferible di-
vidir el problema en los casos en que se pueda quitar el valor absoluto
y quedarse con expresiones m´s conocidas.
a
Demostraci´n de la propiedad 2:
o
Sea x ∈ R.
Supongamos que x ≥ 0. Entonces |x| = x por definici´n, y en
o
particular se tiene que |x| ≥ x.
Supongamos que x < 0. Entonces |x| = −x por definici´n, y en
o
particular se tiene |x| = −x > 0 > x, es decir, |x| ≥ x.
Q.E.D.
(Queda Entonces Demostrado)
Demostraci´n de la propiedad 13:
o
Sea x ∈ R. Por propiedad 2 se sabe que x ≤ |x| y que y ≤ |y|, y por
propiedades de orden se obtiene x + y ≤ |x| + |y|.
Por otra parte, por propiedad 12 se obtiene que x ≥ −|x| y que
y ≥ −|y|, lo que implica que x + y ≥ −(|x| + |y|).
Se tiene entonces que −(|x| + |y|) ≤ x + y ≤ |x| + |y|, lo que junto a
0 ≤ |x| + |y| y propiedad 7 implica que
|x + y| ≤ |x| + |y|.
Q.E.D.