Home » Blog » Prove there is an irrational number between any two real numbers.

Prove there is an irrational number between any two real numbers.

Let x, y \in \mathbb{R} be given with x < y. Prove that there exists an irrational number z such that x < z < y.

Note: To do this problem, I think we need to assume the existence of an irrational number. We will prove the existence of such a number (the \sqrt{2}) in I.3.12, Exercise #12.

Proof. Since the rationals are dense in the reals I.3.12, Exercise #6, we know that for x, y \in \mathbb{R} with x<y there exist r,s  \in \mathbb{Q} such that

    \[ x < r < s < y. \]

Now, assume the existence of an irrational number, say w (see note preceding the proof about this). Since w \in \mathbb{R} we know -w \in \mathbb{R} and from the order axioms exactly one of w or -w is positive (w is nonzero since 0 \in \mathbb{Q}). Without loss of generality, let w > 0. Then, since s-r > 0, we know there exists an integer n such that

    \[ n (s-r) > w \implies s > \frac{w}{n} + r \]

Also, since n,w > 0, we have \frac{w}{n} > 0; thus, r < r + \frac{w}{n}.
Then, by I.3.12, Exercise #7 we have \frac{w}{n} irrational and hence r+\frac{w}{n} irrational.
Thus, letting z = r + \frac{w}{n}, we have x < z < y with z irrational. \qquad \blacksquare


  1. Wilmer Amador says:

    Assume z is irrational and z<x
    Let x and y be real numbers s.t x<y

    – If x<z then z= x+(z-x)

    – if x<y then x+h/n<y

    – Since h is real, there exists an h= x-z such that x+(z-x) = x+h/n where z-x= h

    – Also since the set of positive integers is not bounded above, there are infinite values for z-x/n

    if we let x+(z-x)/n = r we have x<r<y

  2. Camilo says:

    I think it is not necessary to put those x and y since the proof only argues over s and r, and as you see, the conclusion is that the irrational number is between s and r, these two numbers can be any real, so the proof is already complete.

    • Bobby says:

      You need the rational numbers because if you just used x for eg, x can be irrational, and an irrational plus an irrational can be rational so the proof wouldn’t work in that case

Point out an error, ask a question, offer an alternative solution (to use Latex type [latexpage] at the top of your comment):