# Rational number

• Oct 22nd 2009, 05:18 PM
spikedpunch
Rational number
I need help proving that between any two real numbers there exists a rational number.
• Oct 22nd 2009, 09:09 PM
tonio
Quote:

Originally Posted by spikedpunch
I need help proving that between any two real numbers there exists a rational number.

$r,s \in \mathbb{Q} \Longrightarrow x:=\frac{r+s}{2} \in \mathbb{Q}\,,\,\,so...$

Tonio
• Oct 23rd 2009, 07:36 AM
HallsofIvy
Tonio's proof is that between any two rational numbers, there exist an irrational number. If x is NOT rational, It's a little more complicated.

Suppose that r and s are the given real numbers, with r< s. Again, look at t= (r+s)/2. That is a real number between r and s but may not be rational. Let $\epsilon= t-r= (r+s)/2- 2r/2= (s- r)/2$. There exist an increasing sequence of rational number converging to any real number (The sequence got by truncating the decimal expansion of the number at the $n^{th}$ decimal place is such a sequence.) so there exist an increasing sequence of rational numbers, $\{a_n\}$ converging to t. Since it converges to t, there exist N such that if n> N $|a_n- t|< \epsilon$. $a_n$ for n> N is then larger than t- (s- r)/2= (s+r)/2- (s- r)/2= r and is less than t< s because it is an increasing sequence.
• Oct 23rd 2009, 10:07 AM
tonio
Quote:

Originally Posted by HallsofIvy
Tonio's proof is that between any two rational numbers, there exist an irrational number. If x is NOT rational, It's a little more complicated.

$\color{red}\mbox{No. Tonio's proof is that between the two rational numbers r,s there exists}$ $\color{red}\mbox{ another RATIONAL number which I denoted by x}$

$\color{red}\mbox{This in fact is the easy part. To prove there exists an irrational}$ $\color{red}\mbox{between those two is harder}$

$\color{red}Tonio$

Suppose that r and s are the given real numbers, with r< s. Again, look at t= (r+s)/2. That is a real number between r and s but may not be rational. Let $\epsilon= t-r= (r+s)/2- 2r/2= (s- r)/2$. There exist an increasing sequence of rational number converging to any real number (The sequence got by truncating the decimal expansion of the number at the $n^{th}$ decimal place is such a sequence.) so there exist an increasing sequence of rational numbers, $\{a_n\}$ converging to t. Since it converges to t, there exist N such that if n> N $|a_n- t|< \epsilon$. $a_n$ for n> N is then larger than t- (s- r)/2= (s+r)/2- (s- r)/2= r and is less than t< s because it is an increasing sequence.

.
• Oct 24th 2009, 12:12 AM
proscientia
All tonio has shown is that between two rational numbers there exists a rational number; this does not imply that between two real numbers there exists a rational number.

More precisely, we want to show that between two distinct real numbers there exists a rational number. Let $x,y\in\mathbb R$ with $x Then $0 $\implies$ $\exists\,n\in\mathbb N$ with $\frac1n by the Archimedean principle. $\therefore\ 1 Let $m=\lfloor nx\rfloor$ (so $m$ is the largest integer such that $m\leqslant nx).$ Then $nx and also $m+1 (otherwise $m+1\geqslant ny$ $\implies$ $1\geqslant ny-m\geqslant ny-nx).$ Hence

$x\ <\ \frac{m+1}n\ <\ y$

and $\frac{m+1}n\in\mathbb Q.$
{"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": 33, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "url": "http://mathhelpforum.com/number-theory/109760-rational-number-print.html", "fetch_time": 1516717299000000000, "content_mime_type": "text/html", "warc_filename": "crawl-data/CC-MAIN-2018-05/segments/1516084891976.74/warc/CC-MAIN-20180123131643-20180123151643-00684.warc.gz", "warc_record_offset": 212773147, "warc_record_length": 3784, "token_count": 982, "char_count": 3207, "score": 4.09375, "int_score": 4, "crawl": "CC-MAIN-2018-05", "snapshot_type": "longest", "language": "en", "language_score": 0.891142725944519, "file_path": "/sailhome/yjruan/project/latent-lm/data/processed/finemath-4plus/finemath-4plus/train-00058-of-00064.parquet"}