So I have two questions which are similar, but not the same. The first asks me to prove that between any two distinct rational numbers there exists an irrational number - I haven't managed to do this. The question after however, which asks me to show that between any two real numbers there exists an irrational number, I've had an attempt at but I'm not sure whether the proof is adequate enough - it is written below (please bear in mind that I have already proven that between any two real numbers lies a rational number, so the first statement of my proof follows from that theorem, and in addition that ):
Consider where with and . That is, by definition, . Multiplying this inequality by means that the inequality still holds, hence and therefore it follows that between any two real numbers there lies an irrational number as .