El pedido de los axiomas:
- $O1$ (reflexividad): $x \le x$
- $O2$ (anti-simetría): $x \le y$ $y \le x$ implican $x = y$
- $O3$ (transitividad): $x \le y$ $y \le z$ implican $x \le z$
- $O4$ (totalidad): $x \le y$ o $y \le x$
- $O5$ (aditivo de compatibilidad): $a \le b$ implica $a+c \le b+c$
- $O6$ (multiplicativo de compatibilidad): $0 \le a$ $0 \le b$ implican $0 \le ab$
$1.1$ Lema: $x^2 \ge 0$ todos los $x$.
Prueba: por la totalidad, o bien $x \le 0$ o $x \ge 0$ (o ambos).
Si $x \le 0$, $0 \le -x$ por aditivo de compatibilidad, por lo $0 \le (-x)(-x)$ por multiplicativo de compatibilidad, es decir,$0 \le x^2$.
Si $x \ge 0$, $0 \le (x)(x) = x^2$ también por multiplicativo de compatibilidad.
$1.2$ Definición: $|x|$ se define como $x$ al $x \ge 0$ $-x$ lo contrario.
Por ejemplo, $|3| = 3$$|-3| = -(-3) = 3$.
$1.3$ Lema: $|x^2| = x^2$ todos los $x$.
Prueba: $x^2 \ge 0$$1.1$, lo $|x^2| = x^2$, por definición,$1.2$.
$1.4$ Lema: $x \le 0$ $y \le 0$ implican $0 \le xy$.
Prueba: Por aditivo de compatibilidad, $0 \le -x$$0 \le -y$, así que por multiplicativo de compatibilidad tenemos $0 \le (-x)(-y) = xy$.
$1.5$ Lema: Si $x \le -4$,$x^2 \ge 16$.
Prueba: Tenemos $x+4 \le 0$ por aditivo de compatibilidad. También, $-4 \le 4$$-4+x \le 4+x$, de donde por transitividad tenemos $-4+x \le 0$, es decir,$x-4 \le 0$.
Entonces, por $1.4$ obtenemos $0 \le (x+4)(x-4)$, es decir,$0 \le x^2-16$, es decir,$x^2 \ge 16$.
$1.6$ Lema: Si $x \ge 4$,$x^2 \ge 16$.
Prueba: $x-4 \ge 0$ por aditivo de compatibilidad y, a continuación,$-4 \le 4$$x-4 \le x+4$, lo $x+4 \ge x-4 \ge 0$ por transitividad. Entonces, por multiplicativo de compatibilidad tenemos $(x+4)(x-4) \ge 0$, es decir,$x^2-16 \ge 0$, es decir,$x^2 \ge 16$.
$1.7$ Definición: $a < b$ se define como true si y sólo si $a \le b$$a \ne b$.
$1.8$ Lema (aditivo de compatibilidad): $a < b$ implica $a+c < b+c$.
Prueba: $a<b$ implica $a \le b$$a \ne b$, de donde $a+c \le b+c$$a+c \ne b+c$, de donde $a+c < b+c$.
$1.9$ Lema (multiplicativo de compatibilidad): $0 < a$ $0 < b$ implican $0 < ab$.
Prueba: $0<a$ $0<b$ significa que $0\le a$$0\le b$$0\ne a$$0\ne b$, de donde $0 \le ab$$0 \ne ab$, de donde $0 < ab$.
$1.10$ Lema: Si $-4 < x < 4$,$x^2 < 16$.
Prueba: $-4 < x$ significa que $0 < x+4$ por aditivo de compatibilidad, y $x < 4$ significa que $0 < 4-x$ por aditivo de compatibilidad, de donde por multiplicativo de compatibilidad tenemos $0 < (x+4)(4-x) = 16-x^2$, y aditivos de compatibilidad tenemos $x^2 < 16$.
$1.11$ Lema: $x \le y$ o $y < x$, y ambos no pueden poseer simultáneamente.
Prueba: si $x=y$ $x \le y$ mantiene, y si $x \ne y$ entonces $x \le y$ mantiene o $y \le x$ es por la totalidad, pero en este último caso se vuelve $y < x$ porque $y \ne x$.
Si ambos mantienen, entonces tenemos $x \le y$$y \le x$, de donde por anti-simetría tenemos $x=y$, contradiciendo el hecho de que $x \ne y$ como se deduce de $y < x$.
$1.12$ Lema: Si $x^2 < 16$,$-4 < x < 4$.
Prueba: de lo Contrario, si $x \le -4$ o $x \ge 4$, $1.5$ $1.6$ obtenemos $x^2 \ge 16$, contradiciendo $1.11$.
$1.13$ Lema: para $b > 0$, $|x| < b$ si y sólo si $-b < x < b$.
Prueba: Supongamos $|x| < b$.
De$1.11$, $x \ge 0$ o $x < 0$. Si $x \ge 0$,$|x| = x$, por definición, de absoluto, de modo que $x < b$; $-b < x$ debido a $-b < -x$$-x < x$, que es debido a $0 < x+x$, que es debido a $0<x$$x<x+x$, que es debido a $0<x$. Si $x < 0$,$|x| = -x$, por lo que tenemos $-x < b$, es decir,$-b < x$. También tenemos $x < b$ porque $x < 0$$0 < b$.
Suponga $-b < x < b$.
De$1.11$, $x \ge 0$ o $x < 0$. Si $x \ge 0$,$|x| = x$, lo $|x| < b$ porque $x < b$. Si $x < 0$,$|x| = -x$, lo $|x| < b$ porque $-x < b$ porque $-b < x$.
$1.14$ Teorema: $|x^2| < 16 \iff |x| < 4$.
De $1.10$ $1.12$ tenemos $x^2 < 16 \iff -4 < x < 4$.
De $1.3$ que puede volver a escribir como $|x^2| < 16 \iff -4 < x < 4$ desde $|x^2| = x^2$.
De $1.13$ tenemos $-4 < x < 4 \iff |x| < 4$, por lo que estamos por hacer.