Unidad 1: Axiomas de los números reales

Actividad 2: Propiedades de los números reales

Desarrolla y resuelve lo siguiente tomado en cuenta las propiedades de los números reales.

1. Dado x, y, z ∈ R, donde x < y y z < 0, demostrar que xz > yz.

Demostración:
Se tiene que, dado z < 0, por el axioma del elemento inverso para la adición
∃ − z ∈ R tal que

z + (−z) < 0 + (−z)

Del lado izquierdo de la desigualdad se aplica el elemento inverso,
del lado derecho, por la existencia del elemento neutro para la adición se tiene:

z + (−z) < 0 + (−z)

0 < −z

Ahora bien, puesto que x < y y 0 < −z, entonces

x < y
x(−z) < y(−z)
(−xz) < (−yz)

Puesto que para todo real existe su inverso aditivo, se tiene que
xz es el inverso aditivo de −xz y yz es el inverso aditivo de −yz, entonces

(−xz) < (−yz)

(−xz) + xz < (−yz) + xz
xz + (−xz) < xz + (−yz), por conmutatividad de la adición
0 < xz + (−yz)
0 + yz < [xz + (−yz)] + yz
yz < xz + [(−yz) + yz] elemento neutro y asociatividad
yz < xz + (0) inverso de la adición
yz < xz elemento neutro, por lo tanto
xz > yz que es lo que queríamos demostrar.

1
2. Hallar el conjunto de soluciones de la desigualdad 2 + 3x < 5x + 8 y representarlo en la recta
de los números reales.
Solución:
Por la aplicación de los axiomas de existencia del inverso, neutro, conmutatividad, asociati-
vidad en la adición se tiene:

2 + 3x < 5x + 8
2 − 8 < 5x − 3x
−6 < 2x

Por existencia del elemento inverso en la multiplicación se tiene:

−6 < 2x
6
− < x
2
−3 < x

Que son todos los puntos a la derecha del -3, como se muestra en la gráfica siguiente:

3. Desarrollar y resolver la desigualdad x2 + 4x + 10 < 0; decir si la desigualdad tiene o no tiene

solución en el campo de los números reales y graficarla.
Solución:
Los ceros de la función f (x) = x2 + 4x + 10 son:

2


−(4) ± 42 − 4(10)
x =
√ 2
−4 ± 16 − 40
=
√2
−4 ± −24
=
2√
−4 ± −3 · 2 · 22
=
√2
−4 ± 2 −3 · 2
=
√2
= −2 ± −3 · 2
√
= −2 ± i 6

Por lo que la función no tiene raíces reales, la gráfica de la misma se muestra a continuación:

3
Bibliografía

Swokowski, E. W. (1982). Cálculo con geometría analítica. Wadsworth Internacional Iberoamé-

rica.