Here's a simple solution using basic set theory:

The interval (x,y) is uncountable.

Since there are only countably many rational numbers, there must be an irrational number in the interval.

Note: this proof doesn't require x and y to be rational, only that x<y.