  We observe that an old theorem of Graham implies that for any positive
integer $r$, there exists some positive integer $T(r)$ such that every
$r$-colouring of $\mathbb{Z}^2$ contains a monochromatic pair of points
$(x,y),(x',y')$ with $(x-x')^2 - (y-y')^2 = T(r)$. By scaling, this implies
that every finite colouring of $\mathbb{R}^2$ contains a monochromatic pair of
points $(x,y),(x',y')$ with $(x-x')^2 - (y-y')^2 = 1$, which answer a problem
of Kosheleva and Kreinovich on a pseudo-Euclidean analogue of the
Hadwiger-Nelson problem.
  The proof of Graham's theorem replies on repeated applications of van der
Waerden's theorem, and so the resulting function $T(r)$ grows extremely
quickly. We give an alternative proof in the weaker setting of having a second
spacial dimension that results in a significantly improved bound. To be more
precise, we prove that for every positive integer $r$ with $r\equiv 2
\pmod{4}$, every $r$-colouring of $\mathbb{Z}^3$ contains a monochromatic pair
of points $(x,y,z),(x',y',z')$ such that $(x-x')^2 + (y-y')^2 - (z-z')^2 =
(5^{(r-2)/4}(8\cdot 5^{(r-2)/2})!)^2$. By scaling, this implies that every
finite colouring of $\mathbb{Q}^3$ contains a monochromatic pair of points
$(x,y,z),(x',y',z')$ with $(x-x')^2 + (y-y')^2 - (z-z')^2 = 1$, and we further
conjecture that every finite colouring of $\mathbb{Q}^2$ contains a
monochromatic pair of points $(x,y),(x',y')$ with $(x-x')^2 - (y-y')^2 = 1$.
