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 be given with . Prove that there exists an irrational number such that .

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 ) in I.3.12, Exercise #12.

Proof. Since the rationals are dense in the reals I.3.12, Exercise #6, we know that for with there exist such that Now, assume the existence of an irrational number, say (see note preceding the proof about this). Since we know and from the order axioms exactly one of or is positive ( is nonzero since ). Without loss of generality, let . Then, since , we know there exists an integer such that Also, since , we have ; thus, .
Then, by I.3.12, Exercise #7 we have irrational and hence irrational.
Thus, letting , we have with irrational 1. Anonymous says:

There exist a irrational number between a rational and a irrational number

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