Floor function bounding From CMC:

What is the sum of the square of the real numbers $x$ for which $x^2 - 20\lfloor x\rfloor + 19 = 0$?

We use $\lfloor x\rfloor\le x<\lfloor x\rfloor+1$ and eventually get the bounds $1\le x\le19$ and $x\ge 18,x\le 2.$ Of course, it's possible for $x$ not to be an integer, so how do we find the other solutions, other than $19$ and $1$?
Someone wrote this solution:

$x^2 - 20\lfloor x \rfloor + 19 = 0$
Cleary $x\geq \lfloor x \rfloor$ for all real $x$. Thus,
$$x^2-20x+19 \leq x^2 - 20\lfloor x \rfloor + 19=0.$$
Which leads to
$$1 \leq x \leq19.$$Also $x^2=20\lfloor x\rfloor - 19$ which implies $\lfloor x \rfloor=1,17,18,19$.

I'm not sure how we get $\lfloor x\rfloor=17,18$ from this.
 A: $\newcommand{\bbx}[1]{\,\bbox[15px,border:1px groove navy]{\displaystyle{#1}}\,}
 \newcommand{\braces}[1]{\left\lbrace\,{#1}\,\right\rbrace}
 \newcommand{\bracks}[1]{\left\lbrack\,{#1}\,\right\rbrack}
 \newcommand{\dd}{\mathrm{d}}
 \newcommand{\ds}[1]{\displaystyle{#1}}
 \newcommand{\expo}[1]{\,\mathrm{e}^{#1}\,}
 \newcommand{\ic}{\mathrm{i}}
 \newcommand{\mc}[1]{\mathcal{#1}}
 \newcommand{\mrm}[1]{\mathrm{#1}}
 \newcommand{\pars}[1]{\left(\,{#1}\,\right)}
 \newcommand{\partiald}[3][]{\frac{\partial^{#1} #2}{\partial #3^{#1}}}
 \newcommand{\root}[2][]{\,\sqrt[#1]{\,{#2}\,}\,}
 \newcommand{\totald}[3][]{\frac{\mathrm{d}^{#1} #2}{\mathrm{d} #3^{#1}}}
 \newcommand{\verts}[1]{\left\vert\,{#1}\,\right\vert}$
$\ds{\bbox[5px,#ffd]{x^{2} - 20\left\lfloor\,{x}\,\right\rfloor +
19 = 0}\,,\quad x = {\Large ?}}$

It is clear that $\ds{\left\lfloor x\right\rfloor = {x^{2} + 19 \over 20} = m,
\mbox{where}\ m \in \mathbb{N}_{\geq\ 1}\ \mbox{such that}\ x = \root{20m - 19}}$.
Then,
\begin{align}
&\bbox[5px,#ffd]{m = \left\lfloor\,{\root{20m - 19}}\,\right\rfloor}
\implies m \leq \root{20m - 19} < m + 1
\\[5mm] & \implies m^{2} \leq 20m - 19 < m^{2} + 2m + 1
\implies
\left\{\begin{array}{lcl}
\ds{m^{2} - 20m + 19} & \ds{\leq} & \ds{0}
\\
\ds{m^{2} - 18m + 20} & \ds{>} & \ds{0}
\end{array}\right.
\\[5mm] &\
\mbox{with solutions}\quad
1 \leq m <\ \underbrace{9 - \root{61}}_{\ds{\approx 1.1898}}\
\quad\mbox{or}\quad
\underbrace{9 + \root{61}}_{\ds{\approx 16.8102}}\ < m \leq 19
\\[5mm] &\
\implies m \in \braces{1,17,18,19} \implies
\bbx{x \in \braces{1,\root{321},\root{341},19}} \\ &
\end{align}
with $\ds{\root{321} \approx 17.9165}$ and
$\ds{\root{341} \approx 18.4662}$. Please, check for $\ds{\color{red}{x < 0}}$.
A: $$x^2 - 20 \lfloor x \rfloor  + 19 = 0$$
The intuition is that the solutions does not get too far away from the solutions of $x^2-20x+19=0$, namely $x=1, 19$. So go ahead and express that intuition!
I am not used to fiddling with $x-1 < \lfloor x \rfloor \le x$. So let's go for a more granular method.
Let $n = \lfloor x \rfloor , u = x-n$. So $0\le u < 1$. $$(n+u)^2 - 20n + 19=0.$$ Expanding we get $$u^2 + 2nu + (n^2-20n + 19)=0.$$ We know that $u \in [0,1)$. So this equation got to have a solution in that interval. Will it have two? it would mean that the sum of these two solutions is greater than 0. But from Vieta's theorem it is not possible. Therefore, there is exactly 1 solution in the interval $[0,1)$. If that solution is exactly 0, then $0^2 + 2n\cdot 0 + (n^2-20n+19)=0.$ So $n = 1,19$. If not, we see that the function $f_n(u) = u^2 + 2nu + (n^2-20n + 19)$ must change sign exactly once on the interval $(0,1)$. So $f(0)f(1) < 0.$ That means $$(n^2-20n+19)(n^2-18n + 20)<0,$$ which we can factor: $$(n-19)(n-1)(n-1.1897..)(n-16.8102..) < 0.$$ (In practice you don't need that much precision, you just need to calculate the integral part.) Since $n$ is an integer, $n=17, 18.$ (Can you see why? I shall explain that further on request.)
Substituting $n=17$ and $n=18$, we get equations for $u$ respectively. And this becomes regular quadratic equations.
A: From $\lfloor x\rfloor=(x^2+19)/20\gt0$, we see that we must have $x\gt0$, hence $x=\sqrt{20\lfloor x\rfloor-19}$ (i.e., the positive, not the negative, square root). It follows that $x^2-20\lfloor x\rfloor+19=0$ has a (unique) solution with $\lfloor x\rfloor=n\in\mathbb{Z}^+$ if and only if $n\le\sqrt{20n-19}\lt n+1$. With everything in sight non-negative, we have
$$\begin{align}
n\le\sqrt{20n-19}\lt n+1
&\iff n^2\le20n-19\lt n^2+2n+1\\
&\iff n^2-20n+19\le0\lt n^2-18n+20
\end{align}$$
The first quadratic inequality in the last line tells us $1\le n\le19$; the second tells us either $n\lt9-\sqrt{61}$ or $n\gt9+\sqrt{61}$, which, since $7\lt\sqrt{61}$, tells us either $n\lt2$ or $n\gt16$. We thus have four values for $\lfloor x\rfloor=n$, namely $1$, $17$, $18$, and $19$, with $20n-19$ for the corresponding values of $x^2$. The sum of these squares is
$$(20\cdot1-19)+(20\cdot17-19)+(20\cdot18-19)+(20\cdot19-19)=20(1+54)-76=1024$$
(The fact that the final answer turns out to be a power of $2$ is surely pure coincidence.)
