Friday, 9 August 2013

Given a rational number $x$ and $x^2 < 2$, is there a general way to find another rational number $y$ that such that $x^2

Given a rational number $x$ and $x^2 < 2$, is there a general way to find
another rational number $y$ that such that $x^2

Suppose I have a rational number $a$ and $a^2 < 2$. Can I find another
rational number $B$ such that $a^2<B^2<2$?
Based on the answer to this question, I thought of doing the following:
$$ a^2 < 2 \implies a < \frac{2}{a}\\ \text{Let}\hspace{1cm}
B=\frac{a+\frac{2}{a}}{2}=\frac{a^2+2}{2a} $$
$B$ is greater than $a$ because:
$$ \begin{array} {aa} B>a & \implies \frac{a^2+2}{2a}>a \\ & \implies a^2
+ 2 > 2a^2 \\ & \implies 2 > a^2 \\ & \implies a^2 < 2 \end{array}$$
If $B^2$ is less than $2$, then $B^2-2<0$, but:
$$\begin{array} {aa} B^2-2 < 0 & \implies \left( \frac{a^2+2}{2a}
\right)^2 - 2 < 0 \\ & \implies \frac{a^4+4a^2+4}{4a} - \frac{8a^2}{4a^2}
< 0 \\ & \implies \frac{(a^2-2)^2}{(2a)^2} < 0 \end{array}$$
Which is a contradiction since the left hand side of the inequality will
be positive for all values of $a$.
But I think we must be able to find such a $B$ since based on my
understanding of this answer, we can find a another rational number whose
distance from $a$ is less than the distance between $a$ and $\sqrt{2}$
Therefore, I have 2 questions to ask:
Why does this approach work in the case of $a^2>2$ but not when $a^2<2$?
How should I approach these kind of questions since it seems that there
are a few ways to construct a $B$ that satisfies a given set of
restrictions? For example, see here (the proof is immediately before the
section "13. The Completeness Axiom".

No comments:

Post a Comment