Intereting Posts

Enumerating number of solutions to an equation
Find intersection of two lines given subtended angle
Possible all-Pentagon Polyhedra
What is the deepest / most interesting known connection between Trigonometry and Statistics?
Complex integral help involving $\sin^{2n}(x)$
Asymptotics for zeta zeros?
Would nonmath students be able to understand this?
Why is the last digit of $n^5$ equal to the last digit of $n$?
What is a simple example of an unprovable statement?
Fiber bundles with same total spaces, but different base spaces
Show that there is no integer n with $\phi(n)$ = 14
Are Euclidean domains exactly the ones which we can define “mod” on?
“Strong” derivative of a monotone function
variance inequality
Two different solutions to integral

Let $a$ and $b$ be reals with $a<b$. Show that there are infinitely many rationals $x$ such that $a<x<b$.

My plan of action was to assume that $x$ is the smallest such rational and find another rational in the interval $(a, x)$, but I am struggling to make it work. A hint will be much preferred to a full solution.

- Irreducibility of $f(x)=x^4+3x^3-9x^2+7x+27$
- Do there exist an infinite number of 'rational' points in the equilateral triangle $ABC$?
- Equality of positive rational numbers.
- Why do we switch the denominator and numerator when we divide fractions?
- Is $\frac{\zeta (m+n)}{\zeta (m)\zeta (n)}$ a rational number for $m,n\ge 2\in\mathbb N$?
- What's an example of a number that is neither rational nor irrational?

- There is no smallest rational number greater than 2
- Compute the period of a decimal number a priori
- How can we find and categorize the subgroups of $\mathbb{R}$?
- Tautological line bundle over rational projective space
- Equality of positive rational numbers.
- Prove that given any rational number there exists another greater than or equal to it that differs by less than $\frac 1n$
- Are there infinitely many rational outputs for sin(x) and cos(x)?
- Axiomatic characterization of the rational numbers
- How to prove the existence of $b$ in $Q$ such that $a<b^2<c$ in $Q$?
- Solutions to $f'=f$ over the rationals

Note that the real numbers are an Archimedean field, so for any real number $r$ we have some integer $n>r$. This means that for any real number $\epsilon>0$, we have some $n>1/\epsilon$, so $1/n<\epsilon$. Furthermore, the rationals are dense in the reals, so we can find some rational $x$ such that $a<x<b$.

Let $n$ be such that $1/n<b-x$. Then $x+\frac{1}{n},x+\frac{1}{n+1},\ldots$ is an infinite set of rationals between $a$ and $b$.

There is no smallest such rational. But your basic strategy will work if we can show there is at least one such rational. We sketch a proof of the fact that there are at least two. There is some detail that needs to be filled in.

Let $\epsilon=\dfrac{1}{b-a}$. Then by something that has undoubtedly already been proved, there is a positive integer $N$ such that $\dfrac{1}{N}\lt \epsilon/2$.

There is a largest integer $m$ such that $\dfrac{m}{N}\lt a$. Argue that

$$a\lt \frac{m+1}{N}\lt \frac{m+2}{N}\lt b.$$

Maybe one can try something like this. Using the following

Lemma 1.For every real number $x$ there is exactly one integer $N$ such that $N \le x < N + 1$. (This integer $N$ is called theinteger partof $x$, and is sometimes denoted $N = \lfloor x \rfloor$.)

Lemma 2.For any positive real number $x > 0$ there exists a positive integer $N$ such that $0 < 1/N < x$.

We now show

Proposition 3.Given any two real numbers $x < y$, we can find a rational number $q$ such that $x < q < y$.

By hypothesis, we have $y -x$ is positive. By Lemma 2, exists a positive integer $N$ such that $0 < 1/N < y – x$. Since $xN$ is a real number, by Lemma 1, there exists a integer $n$ such that $n – 1 \le xN < n$, i.e., $n/N – 1/N \le x$ and $x < n/N$. Thus $x < n/N \le x + 1/N$. Since $1/N \le y – x$, i.e., $x + 1/N < y$, we have $x < n/N < y$. Thus $n/N$ is rational, the claim follows.

If you already know (or can prove) that there is at least *one* rational

between any two real numbers, then you can do this for $a < b$:

There is a rational number $x$ such that $a < x < \frac{a+b}{2}.$

There is a rational number $y$ such that $\frac{a+b}{2} < y < b.$

Now $a < x < y < b,$ with $x$ and $y$ rational.

This PDF may help, but I improved the picture :

Whence we observe by inspection : $\color{#1FB4BF}{1/n} < \color{#E431D2}{(y – x)}$ for all $x, y \in \mathbb{R}$.

Separately from the line above, we also know $ \; k/n < x $.

Add both inequalities above: $ k/n + \color{#1FB4BF}{1/n}< x + \color{#E431D2}{(y – x)}$.

In summary, $k/n + \color{#1FB4BF}{1/n} = \dfrac{k+1}{n}$ $\in (x,y)$ is the rational number desired.

Say $a\ne b$ and we want to show that infinitely many rationals are between $a$ and $b$. Then $|a-b|>0$. Is there an integer $n$ so big that $1/n < |a-b|$? If not, then $|a-b|>0$ is a lower bound of the set $\{1/n:n\in\{1,2,3,\ldots\}\}$, which therefore has an infimum $c$ that is positive and therefore has a reciprocal $1/c>0$, and $c=\sup\{1,2,3,\ldots\}$. Since $c>0$ is the *smallest* number greater than every positive integer, $c/2$ is smaller than sum positive integer $n$, so $c$ is smaller than $2n$, but $2n$ is a positive integer, so we have a contradiction. Conclusion: for some positive integer $n$, we have $1/n<|a-b|$. From there it’s not hard to show that for every denominator $m\ge n$, some rationals with denominator $m$ are between $a$ and $b$.

- Proof by contradiction: $r – \frac{1}{r} =5\Longrightarrow r$ is irrational?
- Can you use a logarithm coefficient in a linear equation?
- prove change of basis matrix is unitary
- Calculating the length of the semi-major axis from the general equation of an ellipse
- $\sigma(x)$ has no hole in the algebra of polynomials
- Is every convex function on an open interval continuous?
- What is vector division?
- Fastest way to find if a given number is prime
- Different ways to come up with $1+2+3+\cdots +n=\frac{n(n+1)}{2}$
- Integral $\int_0^\infty \frac{\sin^2 ax}{x(1-e^x)}dx=\frac{1}{4}\log\left( \frac{2a\pi}{\sinh 2a\pi}\right)$
- Selfadjoint compact operator with finite trace
- Is there a prime number between every prime and its square?
- What is the ratio of rational to irrational real numbers?
- Consequences of Degree Theory
- A closed form for $\int_{0}^{\pi/2} x^3 \ln^3(2 \cos x)\:\mathrm{d}x$