1
$\begingroup$

Prove that for all positive reals $k,j$ with $2k>3j$, there exists positive integers $s,t$ such that

$k > |\sqrt{s}-\sqrt{t}| > j$

  • 0
    Lol... I just want to see what happens when your own answer gets accepted. Sorry if that offends or anything.2012-12-31

3 Answers 3

0

Let's show that there are positive integers $s, t$ such that:

$3j/2 > |\sqrt{s} - \sqrt{t}| > j$.

Note that $2k > 3j$ iff $k > 3j/2$, so that if we can find $s, t$ as above we'll be done.

Observe $\sqrt{n+1} - \sqrt{n} = 1/(\sqrt{n+1} + \sqrt{n}) \longrightarrow 0$ as $n$ tends to infinity. Pick $n$ large enough for this difference to be less than $j/2$. Then choose $a \in \mathbb{Z}^+$ such that $3j/2 > a(\sqrt{n+1} - \sqrt{n}) > j$.

(This will be possible, since increasing our prospective $a$ by $1$ amounts to taking "steps" of size less than $j/2$. Thus, you don't run the risk of totally "overstepping" the $j/2$ gap between $3j/2$ and $j$.)

Pick $s = a^2 (n+1)$ and $t = a^2 n$.

0

For every positive real numbers $u\lt v$, there exists some positive integers $t\lt s$ such that $u\lt\sqrt{s}-\sqrt{t}\lt v$.

Proof: Pick any integer $t\geqslant1/[4(v-u)^2]$ and consider $x_n=\sqrt{t+n}-\sqrt{t+n-1}$ and $s_n=\sum\limits_{k=1}^nx_k=\sqrt{t+n}-\sqrt{t}$.

For every $n\geqslant1$, $x_n=1/(\sqrt{t+n}+\sqrt{t+n-1})\lt1/(2\sqrt{t})\lt v-u$ and $s_n\to+\infty$ hence there exists $k\geqslant1$ such that $s_{k-1}\lt u\lt s_k$, namely, $k=\inf\left\{i\geqslant1\,\mid\,s_i\gt u\right\}$. Then, $u\lt s_k\lt v$. Choose $s=t+k$.

-1

Another solution:

Select a rational $b/a$ with $a,b$ positive integers such that $2k>b/a>3j$. By multiplying the numerator and denominator by a constant integer, if necessary, we could ensure $3a^2>b$. Now we claim $s=a^2+b,t=a^2$ satisfy the condition. Proof: $k>\frac{b}{2a}>\sqrt{a^2+b}-\sqrt{a^2}=\frac{b}{\sqrt{a^2+b}+a}>\frac{b}{3a}>j$

  • 0
    For a similar problem, see Putnam 2011 B1. (You can find it, e.g., here: http://www.math.northwestern.edu/~mlerma/problem_solving/putnam/easy_putnam_problems.pdf)2012-10-26