# Thread:

1. ## Rationals and irrationals - properties

Hey guys!

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 $\sqrt2 \notin \mathbb{Q}$):

Consider $\dfrac{a}{\sqrt2} < \dfrac{p}{q} < \dfrac{b}{\sqrt2}$ where $p,q \in \mathbb{Z}$ with $q\not= 0$ and $a,b \in \mathbb{R}$. That is, by definition, $\dfrac{p}{q} \in \mathbb{Q}$. Multiplying this inequality by $\sqrt2 > 0$ means that the inequality still holds, hence $a < \dfrac{p\sqrt2}{q} < b$ and therefore it follows that between any two real numbers there lies an irrational number as $\dfrac{p\sqrt2}{q} \notin \mathbb{Q}$.

2. ## Re: Rationals and irrationals - properties

some things you need to add, for clarity:

since a,b are assumed distinct, without loss of generality you may assume a < b (or else switch them, a standard tactic).

you should show why p√2/q is not rational (it's not hard, and only takes a line or two).

p needs to be non-zero, or else your argument fails. for example, what if a = -1/n, and b = 1/n, where n is a VERY large positive integer (like 3 billion)? this is a rather serious defect.

what can you do about this?

3. ## Re: Rationals and irrationals - properties

Originally Posted by Deveno
some things you need to add, for clarity:

since a,b are assumed distinct, without loss of generality you may assume a < b (or else switch them, a standard tactic).

you should show why p√2/q is not rational (it's not hard, and only takes a line or two).

p needs to be non-zero, or else your argument fails. for example, what if a = -1/n, and b = 1/n, where n is a VERY large positive integer (like 3 billion)? this is a rather serious defect.

what can you do about this?
Hmm, first of all thanks very much for your input; I really appreciate it.

I understand your points apart from the last one - sorry I don't follow. I sort of understand that p must be non-zero but how does the following argument where a = -1/n and b = 1/n relate?

Also, I've just proved that between two distinct real numbers there lies an irrational number. But how do I prove that between two distinct rational numbers there lies an irrational number? I thought that surely if all rational numbers are real then haven't I kind of just proved that already?

4. ## Re: Rationals and irrationals - properties

Originally Posted by Femto
Also, I've just proved that between two distinct real numbers there lies an irrational number. But how do I prove that between two distinct rational numbers there lies an irrational number? I thought that surely if all rational numbers are real then haven't I kind of just proved that already?
You have done that.
Between any two numbers there is a rational number.

5. ## Re: Rationals and irrationals - properties

how do i answer this question about rational and irrational numbers?

Social media recruitment

#### Search Tags

View Tag Cloud

Copyright © 2005-2013 Math Help Forum. All rights reserved.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 9, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": false}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9549505710601807, "perplexity_flag": "head"}