Entre dos reales existe un racional (27.11.

2012)
Entonces, como todo racional es real, entre cada uno de los dos reales y el racional
(que tambien es real), existen dos nuevos numeros racionales. Reiterando el razonamien-
to, concluimos que entre dos reales existen infinitos racionales. Esta propiedad
puede expresarse tambien diciendo que Q es denso en R (J. Burgos, pg. 58).

D: Sean x, y R, x < y.
1
Como x < y = yx > 0. Tomamos . Como el conjunto N no esta acotado,
yx
podemos asegurar que
1 1
n N / n > ; es decir, y x > .
yx | {z n}
(1)

Sea p Z la parte entera de nx. Entonces

p p+1
p nx < p + 1 = x y x< .
|n {z } | {z n }
(2) (3)

Aplicando las relaciones (1), (2) y (3) se cumple

p 1 p+1
y = x + (y x) |{z}
> + = > x
n n n |{z}
(1) y (2) (3)

Es decir,
p+1 p+1
x< < y, siendo un numero racional.
n n

Entre dos reales existe un irracional

Entonces, como todo irracional es real, entre cada uno de los dos reales y el irra-
cional (que tambien es real), existen dos nuevos numeros irracionales. Reiterando el
razonamiento, concluimos que entre dos reales existen infinitos irracionales. Es-
ta propiedad puede expresarse tambien diciendo que R \ Q es denso en R (J. Burgos,
pg. 58).

D: Sean x, y R, x < y.
Por las propiedades de la relacion de orden se cumplira
x y
< .
2 2
Por la demostracion anterior
x y
r Q / < r <
2 2
de donde
x< 2 r < y, siendo 2 r un numero irracional.