MathLabs

Problem 1

Prove that for each real number r>2r>2, there are exactly two or three positive real numbers xx satisfying the equation x2=r⌊x⌋x^2=r\lfloor x\rfloor. (Here ⌊x⌋\lfloor x\rfloor denotes the largest integer less than or equal to xx.)
Step 3 of 4: At least two solutions
k∈{⌊r⌋,⌊r⌋−1} ⇒ x=rk is a genuine solutionk\in\{\lfloor r\rfloor,\lfloor r\rfloor-1\}\ \Rightarrow\ x=\sqrt{rk}\ \text{is a genuine solution}
Detailed analysis

Conversely take any integer kk with r−2<k≤rr-2<k\le r; there are always exactly two such integers, namely k=⌊r⌋k=\lfloor r\rfloor and k=⌊r⌋−1k=\lfloor r\rfloor-1 (both positive since r>2r>2). For such kk, k≤rk\le r gives rk≥k2rk\ge k^2, and k>r−2k>r-2 gives r<k+2r<k+2, hence rk<(k+2)k<(k+1)2rk<(k+2)k<(k+1)^2 (as k≥1k\ge1 gives (k+2)k=k2+2k<k2+2k+1(k+2)k=k^2+2k<k^2+2k+1). So k2≤rk<(k+1)2k^2\le rk<(k+1)^2, i.e. k≤rk<k+1k\le\sqrt{rk}<k+1, so x=rkx=\sqrt{rk} satisfies ⌊x⌋=k\lfloor x\rfloor=k and is a genuine solution of x2=r⌊x⌋x^2=r\lfloor x\rfloor.